This makes it good for formal maths, but bad for philosophy, since it means it can’t encode the speculative movement

Which logic are you saying “can’t encode the speculative moment”?

I think the two logics can emulate one another? Or, at the very least, can describe what the other concludes. I know intuitionistic logic can have classical logic embedded in it through some sort of “put double negation on everything”. I think if you add some sort of modal operator to classical logic you could probably emulate intuitionistic logic in a similar way?

You don't even need to add a modal operator since modal logic itself can be embedded in classical logic via possible-world semantics. Of course the whole thing becomes a bit clunky - but that's the argument for starting with intuitionistic logic, where you wouldn't need to do that.

Any logic with LEM

For me the widespread fear over this is evidence that it’s different from syntax highlighting and stuff

> Just because you use AI doesn't mean your brain grows a black hole from which information can never return.

How do you know this? I’m not taking that risk

Every single second of our existence is taking risks about things we don't know. Of course he doesn't know this, he just assigns odds, as we do. Clearly you've assigned much higher odds.

Small stdlib, “implement it yourself” philosophy to even things like classes, diverging language versions and fragmentation (a lot of people don’t like any of the post 5.1 changes), bad tooling and editor support, dynamic duck typed language with no type hints

If it were about making a choice of which web framework to use on the server, obviously you wouldn't want to use Lua.

But if it is about using it as an embedded language. you want just enough language to get you started and be able to tweak controls. so that the embedded language itself doesn't take up unnecessary space, on its own.

It's a design choice to have a language as small as possible while still offering cool tools.

> If it were about making a choice of which web framework to use on the server, obviously you wouldn't want to use Lua.

Wait just a minute, there exist many web frameworks in lua, and programmers who enjoy lua might want to use them.

Cloudfare got pretty far with nginx+luajit before switching to rust, iirc

It's usually 6 months probation in Germany, not 3 months

If only the demoscene wasn’t so horrible culturally. It’s absolutely full of old sceners who have “earned” being dicks to people, and unfortunately many newbies who think that the way to be a real scener is to copy that behaviour. The constant flamewars on pouet.net are embarrassing. It is a good reminder that the internet did not used to be a nicer place though

> I'm incapable of doing basic operations in Finder or changing basic system settings, and random shit I didn't want to press pops up when I'm doing other things

Why?

Because the interface is very counter-intuitive. I don't have any other explanation. In Windows, KDE and Gnome I eventually "get there" with Gnome being my least favorite, while MacOS feels like vibecoded "my first UI".

Also, the Macbook keyboard is fucked. I constantly press buttons I didn't mean to. This literally never happened to me on any other device. And that's after years of using a Macbook.

I’m sure you can learn how to use it

It’s a nice demonstration of this software but it really sounds very little like a 303

Try tweaking the accent multiplier to .1 from .5 - you can get there but it requires a lot of value tweaking. There's no singular TB-303 sound, but the components are there.

Code review basically never actually means thinking through all the code again as if you wrote it

Even if they do (often not the case) this will be far from exhaustive, and likely won’t reflect the structure of the application very well. Vision based testing is often combined with accessibility based testing