Rochus

Was already discussed here: https://news.ycombinator.com/item?id=23450287

Funny idea. As Claude A asks: "What test could distinguish 'actual' consciousness from a perfect functional replica of it?" Their shared uncertainty becomes evidence itself—genuine…

The article criticizes AI-generated music and argues the music industry is legitimizing artificial content at the expense of real artists. But who and what are "real artists"? Much of the bo…

> " If you use AI to replace your mind, you're training the model. If you use it to extend your mind, you're training yourself. " Claude Sonnet 4.5 Thinking is an excellent tool…

> the only Unix-like kernel I was aware of in a Wirthian language was TUNIS SPIN developed at the University of Washington in the nineties was written in Modula-3; it was a microkernel-based syst…

It's just the name of the service, as imagined by its creator, Cognition Labs; it's called a "wiki" because it creates wiki-style documentation similar to Wikipedia's format. …

Don't tell me you don't know this service. It's extremely useful to get to know the code and architecture of a project. You can even ask questions about the code and get the relevant re…

Here is the deepwiki documentation: https://deepwiki.com/Ironclad-Project/Ironclad

Ironclad has a POSIX API, so yes, in principle it should be possible. There is an OS on top of Ironclad ( https://github.com/Ironclad-Project/Gloire ) which uses GNU tools.…

Ironclad isn't a microkernel, is it? At least the device drivers, file system and network stack seem to run in kernel space. I didn't find any strong architectural hints pointing to microker…

Sounds interesting. Have you published your generator somewhere? I don't understand yet what you exactly do with the askama templates (the result is Rust code, isn't it?).

Works great, just generated my first songs. Great composition and arrangement (not yet as great as Suno, see below). But the sound quality is better than Suno (less compression/alias artefacts, m…

Cool idea. So you essentially only use the Typst parser (i.e. the generated AST, I assume the text format of it)? With askama templates you essentially implement your own Typst renderer, which sounds …

"Transpiler" is no less well-defined a term than "compiler".

Here is an article with no paywall: https://www.theregister.com/2025/11/04/uk_court_getty_stabil... Getty Images largely lost its lawsuit against Stability AI, with the…

Just amazing. A good alternative to Linux for many use cases.

> it has been around for almost 30 years now, so it's very mature. The compiler is insanely large and complex, more than the sum of the implemented languages would suggest. I can't imag…

Interesting. Never heard of this system before. It's apparently a monolithic kernel, developed almost exclusively by originally Canadian programmer Andy McLaughlin since 1997. The system has a gr…

It is clear that the three monopolists are playing for time in order to stifle all innovations and the mostly much smaller companies behind them that threaten their position of power, even if they hav…

There are quite many given that I only started using Sequoia a few weeks ago, and all happen only on Sequoia, not on my other macOS versions. A nasty one I discovered last week is e.g. that I have to …

> "Go to Privacy & Security and click "Open anyway" Thanks. Unfortunately this no longer works on sequoia; you first have to run "spctl --global-disable" in a terminal …

Very simple. Some of the applications work with the "console/allow all" trick (which is a tedious procedure, but hey, I'm just a dumb customer), others still don't work but cr…

> This is simply not true. Ok, then try to run a pre-compiled macOS M1 compatible application on your new Sequoia system, such as https://github.com/rochus-keller/oberonsyste…

This is very frustrating. As if they couldn't afford to continue it. And at the same time they keep making the system more and more closed, so that you can't even run applications without Ap…

This article indeed exhibits multiple strong indicators of AI-generated content, particularly from early ChatGPT-era models. The text was published in January 2023, just two months after ChatGPT'…

https://news.ycombinator.com/item?id=45729400 , 4 comments

> " It's not just the destination, but the journey for getting there. " You can still enjoy the journey, but still profit of AI; I think AI is extremely useful to discuss concepts; e…

Respectfully disagree. This is a compiler engineering tool backed by peer-reviewed research (DLS'16, 112+ citations) and used in 30+ academic publications across PLDI, OOPSLA, and ECOOP. It requi…

See e.g. https://github.com/rochus-keller/Oberon or https://github.com/rochus-keller/Are-we-fast-yet/blob/main/O... .…