Magos Logis Logan @jmw150@qoto.org

@catswhocode

@catswhocode @kevyn @maumau @stux

Ping 🏓

@sweber_de @maumau @stux @kevyn who got that point? Everyone but Stefan? Lol

@vyivel

Nah. Stuff like regular expressions and even C compilers do consistency testing.

The details of language at scale are tricky. Everyone's spec kind of sucks.

@projectmirai39

I just use Huel for lazy meals.

@worldsendless It might be a good way to talk about macros.

@worldsendless Kind of like this

str_decl : 'string' id '=' val ';'
{
st.addVariable(Type.STRING, $id.text, $val.text);
// ...

};

I wonder if grammar based types exist.

I see types based of predicates (dependent types) and algebraic types. Maybe Antlr informally counts as that. But it only really parses and scans stuff.

@piggo

Will you make it like Lua? Where it can interopt with C?

@rootbsd@distrotoot.com

Same. And I already want another. Coffee inbound.

@worldsendless

It is all in the emoji icon. If you pause over an emoji, you can see the ascii needed to type it out.

@claudiom@mastodon.sdf.org

Like GCC struggles on Mac M1 chips. Goodbye FORTRAN based computational science tools that a bunch of software relies on. Over 50 years of running just fine, then axed.

@claudiom@mastodon.sdf.org

Linux development has been the same way. Big donations in development time from IBM and Google make up most of the project.

It seems to be the way of things, to use a close fork of a corporate funded, but mostly open, project.

But to combat this, tech industry needs to learn that aside from security and bug fixes, updates are unnecessary. New hardware means needing new drivers, and introducing possible semantic bugs in the pipeline. It kills past charity software work. Fast changing languages have the same issue. Most lang's are getting stuck in single compiler territory.

@delve

Deblobbed Linux, or openBSD

I don't get the slow transition between operating systems people have. Give it a weekend. Getting vendor locked is a type of intellectual slavery. 😛

@worldsendless

Type theory and logic computing research are especially big with them.

@worldsendless

They are also one of the big 5. If the other 4 do not own something, MS probably does. You can look under Microsoft Research and find that many languages and tech infrastructures belong to them.

@worldsendless

So are things like dafny and z3