Rochus

Wow, sounds cool, but what an effort. I wouldn't want to do this on my piano.

There was a version in 2024 on Arxiv. As it seems, it took 1.5 more years to officially publish it. The following seems to have changed since: - The 2024 version only evaluated Deegen using one langua…

Typst is great. I think they'll catch up to LuaTeX in terms of typographic quality in near future. But Typst is for typesetting; it's essentially a programming language for layout. If you co…

Wow, more than 11k commits. Looks like a cool GUI library on SDL2 bringing along its own window manager.

> in Standard Pascal it was pretty much impossible to write a library implementing linear algebra algorithms You likely mean Wirth's original Pascal; "Standard Pascal" (i.e. ISO 7185…

The Olimex board has 768KB RAM and 32MB PSRAM, more than enough. The original Ceres only had 2 MB of DRAM and 256 KB of VRAM.

> any plans to update for the 5? It currently works on the 2b, 3b and Zero 2; the latter was my actual target because it is a very nice and still lean board available for ~15$ worldwide at least un…

> nowadays it places an unneeded toll on the shift and caps lock keys and makes coding a bit more tedious Right. But there are evolutions of Oberon without these orthodoxies (e.g. https:/&#…

> Do you think it is good policy for a country to cap its population? That's a misconception. The goal of the initiative is to limit immigration and infrastructure strain. As a Swiss myself I …

Paywalled (and apparently globalist lecturing from a glass house).

Your analogy doesn't quite hold. The primary use case of a compilation target is to compile programs, not the compiler itself. With Dart specifically, "dart compile wasm" already exists…

Why not Asciidoc? It works well with AI so far. To make it even work better I made a more formal subset which can be read with a single-pass parser ( https://github.com/rochus-keller&#x…

> I was able to compile the Dart VM (the compiler + analyzer + VM) to wasm and run it on the web Is this really a representative use-case of WASM/WASI? Would'n it be much better to compil…

According to cloc, it's about 15kSLOC of C (body + header), plus 228 SLOC of assembly. xv6 x86 for comparison has about 7.5kSLOC of C and 201 SLOC of assembly. According to your readme, you didn&…

Very interesing; looks like an incredible research effort.

Not to be mixed-up with the Micron programming language (see https://github.com/micron-language/specification and https://github.com/rochus-keller/micron&#…

Interesting interview, thanks for sharing. It's fascinating that Odersky started with Modula-2 and did a PhD with Wirth, but eventually switched to functional programming.

Interesting documentary, just watching it. Includes a lot of stuff I didn't know and shows a lot of involved people. Great.

Yes, I think the reaction is disproportionate. The philosophical concern is understandable, but withdrawing the project doesn't address it; it just removes something valuable from people who aren…

It's his code and of course he can decide what to do with it. I just think it's a shame when people make hasty, ill-considered decisions based on misunderstandings and false assumptions. Cop…

> designed to maximize source availability Right. It depends on what you mean by "use"; GPL maximizes use in the sense that it prevents anyone from taking the code proprietary and thereby…

> You'll have to prove that LLMs do not actually contain encoded copies In law, the presumption is that an act is lawful unless proven otherwise. The burden lies on whoever claims a violation …

> LLMs trained on GPL code can produce derivative works This confuses two completely separate things. GPL governs distribution of derivative works. An LLM trained on GPL code does not distribute th…

I have many GPL projects (e.g. https://github.com/rochus-keller/Oberon , https://github.com/rochus-keller/Luon , https://github.com/rochus-kel…

Same here. The 2b, 3b and Zero 2 have the best cost-benefit ratio. I recently migrated the Oberon System 3 to those three boards and particulary the Zero is a great host for this bare-bone system: ht…

When you consider SQLite, you might want to get around SQL for impedance and performance reasons. There is a robust and decently fast key/value store in the backend. I used it in some of my proje…

Thanks, great that the work is useful.

V8 was significantly faster than LuaJIT when I did measurements in 2021 (see https://github.com/rochus-keller/Oberon/blob/master/testcase... , didn't measure i…