Congratulations! I put it on my read list.
25.02.2026 08:51
👍 0
🔁 0
💬 1
📌 0
Congratulations! I put it on my read list.
Thanks to @fearful-odds.rocks I switched from merlin (maybe misconfigurated) to eglot and I got a much better experience editing OCaml code in GNU Emacs.
Let's see if I can help; I'll send you a DM.
I use Zettlr for this (plus it has some nice export functions using pandoc): zettlr.com
As a longtime user* of Gnu Emacs I still keep a copy of VSCode on my machine. But I rarely use it and it always complains about updates. If you have any questions, I am happy to try to help.
*=And decades ago I wrote a small application in Emacs Lisp as well. 😅
If you're interested in how to implement programming languages give @andrejbauer.mathstodon.xyz.ap.brid.gy's "Programming Languages Zoo" (small languages to demonstrate techniques, written in OCaml) a try. I used his MiniML implementation for my course in functional programming.
Yes. Alpine Linux gives small images.
After reading your blog post about Azure App Service I played a bit with dream and Docker images. I just pushed my repo: github.com/krrrcks/test... The resulting image is about 24 MB in size (I haven't stripped the binary.)
Einmal incl. Museum aber sehr lange her.
Gratulation und einen guten Start!
Wäre per ePerso und Meinjustizpostfach gegangen oder musste es zwingend aus dem beA kommen?
Hier eine Quelle, in der auch ein "Irish Online Safety Code" und "EU regulations" erwähnt werden: www.rte.ie/news/busines... 🤷♂️
Ja, aber ich kann keine DM schicken. :-)
Danke für das interessante Gespräch.
Das fällt vielen freiwillig Versicherten auch nicht sehr auf, da ihr Einkommen oft über der Beitragsbemessungsgrenze ist. Aber wenn es wirtschaftlich schwierige wird und man dann noch für jede Zinszahlung etc. KV-Beiträge zahlen muss, dann frisst das ganz schön Budget.
Selbständige zahlen schon seit je her (weiß nicht genau seit wann), KV-Beiträge auf ihr gesamtes Einkommen incl. Kapitalerträgen (und auch aus Vermietung und Verpachtung).
Had to use both recently (for the first time; I haven't taken a compiler class at uni). It's great when things work. But the way to get there has been painful for me.
Frei nach dem Motto: "Wenn die Anwältin es vorschlägt, muss ja ein Haken dran sein, machen wir einfach das schriftliche Vorverfahren."? ;)
Ich glaube, es war eine andere Auseinandersetzung, aber die Mitarbeitenden haben diesen Teil in der Verhandlung sehr ausführlich dargestellt. ^^
Ich habe bei www.buzer.de/index.htm auch schon Fassungen zu Gesetzen (zB für das BGB: www.buzer.de/gesetz/6597/...) gefunden, die noch nicht in Kraft sind, aber keine Ahnung, ob das vollständig ist.
Bei uns in der Region gibt es einen Wertstoffhof, da ballerte der Chef mit dem Luftgewehr Richtung Angestellte. Woher ich das weiß? Eine arbeitsgerichtliche Auseinandersetzung, über die die lokale Presse sehr ausführlich berichtete.
So so, die "Fachärztin für Naturheilkunde" macht die Leichenschau? 😆
Zeitiges Vereinbaren von Ortsterminen ist auch so die hohe Kunst der Gutachter-Tätigkeit, scheint mir.
Wird bei uns oftmals durch das Konzept "Grill auf dem Balkon" entschärft.
Schwer fassbar. Was geht in den Leuten vor?
Sozusagen das "Hochachtungsvoll" der sozialen Medien?
Irgendwie überrascht mich das nicht.
"Mysteriös" ist im Zusammenhang mit religiösen Symbolen, die aber doch nur Ausdruck für die "geschichtliche und kulturelle Prägung" sein sollen, besonders schön.
Auszug Entscheidung, u.a. mit: "Die völlig ausufernde Verfassungsbeschwerde genügt in weiten Teilen offensichtlich nicht den Anforderungen an eine substantiierte Begründung. Den enormen Umfang der Beschwerdeschrift - einschließlich ergänzender Schriftsätze von mehr als 330 Seiten - haben die Bevollmächtigten der Beschwerdeführerin unter anderem durch umfangreiche, sachlich durch nichts gerechtfertigte Wiederholungen mutwillig herbeigeführt."
Oder völlig sinnfrei aufernde Schriftsätze einreichen: www.bundesverfassungsgericht.de/SharedDocs/E...
Easy: DIN 66398, Leitlinie zur Entwicklung eines Löschkonzepts mit Ableitung von
Löschfristen für personenbezogene Daten.🤓