mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.6K
active users

#syntax

1 post1 participant0 posts today

In lispy languages, you have prefix notation. Mostly this doesn't bother me, except for inequalities:

(< a b)

My little pea-brain thinks visually and wants the pointy end pointing to the smaller number -- or, equivalently, the alligator eating the larger number.

But prefix notation makes it very slick to check for a monotonic sequence with just a single < or >:

(< a b c d)

that same boolean expression would, with infix notation, be something like

(a < b) && (b < c) && (c < d)

or maybe a < b < c < d.

Just a random little thing that I do like about Racket, and lisp-y languages in general.

1/ OK. Da wir jetzt Uni-LLMs haben, spiele ich auch ein bisschen rum. Ich muss sagen, dass das beeindruckend ist. Das Ding kann Syntaxbäume für komplexe Sätze machen, die nicht schlecht sind.

Mit Korrelaten, Satzklammern und Extraposition scheint es noch Schwierigkeiten zu geben. Das "sich" hat es auch elegant weggelassen.

#LLM#KI#Grammatik

#Orgdown:

Mit der Auskopplung des #Emacs Org-mode in die #Syntax der vereinfachten Auszeichnungssprache #Orgdown, soll ein besserer Standard als Markdown gesetzt werden. Was Orgdown ist und ob das mit dem neuen Standard etwas werden kann, lest ihr in diesem Artikel.

Ihr alle kennt Markdown und nutzt es wahrscheinlich auch. Markdown ist eine vereinfachte Auszeichnungssprache, die von John Gruber entworfen und im Dezember 2004 mit Version 1.0.1 spezifiziert wurde.

gnulinux.ch/orgdown

GNU/Linux.chOrgdownMit der Auskopplung des Emacs Org-mode in die Syntax der vereinfachten Auszeichnungssprache Orgdown, soll ein besserer Standard als Markdown gesetzt werden. Was Orgdown ist und ob das mit dem neuen Standard etwas werden kann, lest ihr in diesem Artikel.

At this years #LFG conference, I will talk about #TAG and what it shows us for the old phrasal vs. lexical discussion:

lingbuzz.net/lingbuzz/009130

I think valence information has to be encoded lexically and lexical rules or empty heads or transformations should be used to derive resultative constructions or caused motion constructions. They can not be related to other constructions in inheritance networks.

Comments welcome!

Continued thread

Hmmm.... maybe @ for "pc-relative address operator"....

previous instruction: -1@
current instruction: 0@
next instruction: 1@

and so on...

Or any number of '<'s or '>'s to represent the address the instruction that many before or after...

li x3, 5
mul x5, x3, 10
stw x5, (x7)
subi x3, x3, 1
bnez x3, <<<

(I probably could have already implemented local labels in the time I've been considering this)

1/ I am proud to announce that my paper on Generative approaches to Germanic syntax is published:

doi.org/10.1093/acrefore/97801

You may often have asked yourself what we need publishers for. Well, there was peer review and a good editorial process, but my main partner in this was Prof. Oliver Schallert and the editors of the encyclopedia. The remaining task of the publishers is to ruin our manuscripts and they did quite successfully.

#todotxr #ebnf #bnf #wsn #grammar #syntax

Are there any grammar/syntax folks here who've worked with (E)BNF/WSN/etc?

I'm doing some work on todotxt (todotxt.org) to define its formal grammar in EBNF. I'm having a terrible time being able to validate its syntax, etc. Every on-line validator I've found (or library via rust) seems to completely disagree on the proper syntax, for example:

foo ::= "1" | "2"' ;

Some don't like the "::", some want ":=", or "=", some don't like the terminator (";") at the end of the line, etc.

I've written EBNF before, although admittedly I just made my own judgement as to the validity of it -- and in this example, the point wasn't to then generate a parsing syntax from it.

But with todotxt, I do want to be able to do that, and I'm struggling with all these little discrepancies.

Any help/thoughts would be really useful.

TIA!

todotxt.orgTodo.txt: Future-proof task tracking in a file you controlTrack your tasks and projects in a plain text file, todo.txt. A todo.txt is software and operating system agnostic; it's searchable, portable, lightweight and easily manipulated.

📢🎙️Could an #LLM create a full Domain-Specific Language? Can you #vibe your new #DSL? Including a #metamodel, a #textual and a #graphical #syntax?

I tried to answer these and other questions as part of my #talk: “Who will create the languages of the future?” at #OOPLE25.

As an experiment, I used Cursor + Claude to generate a DSL to create #funding.yml files (used in open source projects to specify the management of sponsorship money).

See how it went (and the reflections the experiment triggered!) ⬇️⬇️

modeling-languages.com/vibe-ds

(thanks to all that came for the very interesting questions and discussions 🙏)

Modeling Languages · Could an LLM create a full Domain-Specific Language?Can you vibe a DSL? Will future languages be created by language engineers? The answer is "yes but".