Rochus

Intersting. The author of the attached document is Dr. Thomas Haigh, a prominent academic historian specializing in the history of computing. The document challenges the conventional historical narrat…

Well, what is AI music? I uploaded many of my songs I produced over the last three decades to Suno and very much enjoy the new arrangements and great solos (see e.g. https://rochus-keller.c…

This is primarily a strategic and architectural statement regarding compiler development rather than a feature release plan.

Had a similar experience (obvious flagging misuse, toxic nagging culture) some time ago and was no longer on the platform since.

Cool, I was at ETH when Modula-2 was en vogue, and we also had lectures where we programmed transputers in Occam-2. In contrast to my experiences with e.g. Gemini 3 Pro, where it regularly happened th…

Interesting. How long did it take until the result effectively worked? What agent did you use? I recently tried to generate an Oberon to C99 transpiler in devin.ai from an existing parser and validate…

Well, just let it make a transpiler, e.g. from Oberon90 to C99. I gave this task to Devin and after two days of round-tripping and the LLM increasingly entangling in special cases and producing strang…

Interesting. Why MkDocs and not e.g. AsciDoc?

Personally I would remove the downvote button entierly because apparently it is a lossy projection of an at least three-dimensional vector: agreement, quality, truth. Graying out text so it is no long…

> I am worried about is if Ladybird changes the language again In the time of good LLMs this is likely no longer a show-stopper (as e.g. the specific formating rules in C/C++ since there are g…

SPARK is not used for the whole system, but for the < 5% parts, which are safety/security-related in a good architecture.

> which might have the HN people who prefer rust to respond with downvotes. This completely misses the purpose of the downvoting feature, which is not surprising, since upvoting seems no longer to …

Unfortunately a really good question gets downvoted instead of causing a relevant discussion, as so often in recent HN. It would be really interesting to know, why Ada would not be considered for such…

Your statement may well be protected by freedom of speech, but it is a highly unobjective, personal attack of the kind that I personally do not want to see here. It does not help any of the readers in…

This is just a honest view, with which you can agree or not, presented emotionless, referring to facts. How can this post be "toxic in itself". Maybe I'm too old (gen X) and culture has…

I agree that downvoting is definitely misused. I often see the most intelligent and best technical answer to be downvoted. Votes no longer seem to represent quality or truth.

> I don't think HN is more toxic than anywhere else It is supposed to be less toxic, enabling interesting discussions about tech, where people can exchange ideas and learn something. There a…

Thanks for the hint. The "LeanMachines" project literally seems to recreate Event-B constructs (contexts, machines, events, and refinement proof obligations) inside the Lean 4 proof assistan…

My claim was not that an LLM was a formal, mathematically sound non-monotonic logic engine, but that the problem space is "non-monotonic" and "open world". The fact that an LLM is …

This discussion started already in the sixties (see e.g. the 1969 publication by McCarthy and Hayes where they describe the "frame problem" as a fundamental obstacle to the attempt to model …

Interesting. It's essentially the same idea as in this article: https://substack.com/home/post/p-184486153 . In both scenarios, the human is relieved of the burden of wr…

> never explicitly mentioned law. The fellow said "It should be required to include the AI model as a featured artist"; the common means is laws and regulations, like in the food industry…

"If *you* start to require such things, then *you* should.." > prevent unmitigated spam on music platforms That's not the true reason. The reason is that some clever people have foun…

Still more laws and regulations. We're already drowning in regulations. If you start to require such things, then you should also require that labels declare whether the artist indeed sung him&#x…

> A disgrace to democracy Like so many current trends in Germany and Europe. But the US is not better when it comes to IP rights and rulings. There is so much misuse of patent- and copyright and th…

Cool. There has also been some effort for coding agents generating hardware descriptions e.g. in Verilog (see e.g. https://arxiv.org/html/2408.08927v1 ). Wonder how good they are …

> Converting between ACK and GCC assembler is a solved problem. I assume you mean because the assembler was manually migrated in later Minix versions, not because there is a tool which can do so au…

I'm usign DJVU files every day. It's just a great format. I have a lot of archived documents which are much faster to use and require much less space than equivalent PDF documents.

This is a talk by one of the authors of the original Oberon System (J. Gutknecht) at the European Lisp Symposium (honi soit qui mal y pense).