HNHacker News
TopNewBestAskShowJobs

Rochus

4,306 karma · joined November 19, 2018

see http://rochus-keller.ch
submissionscomments
Rochus··on Quake 2 on ESP32-P4
Cool. You could run it on the Olimex ESP32-P4-PC board, which even has a HDMI socket.
Rochus··on Alan Kay: Shannon gave us a way of dealing with noisy channels [video]
This has moved well beyond my point. I’ll leave it there.
Rochus··on Alan Kay: Shannon gave us a way of dealing with noisy channels [video]
> I think that my claim that Mesa's GUI was inspired by Smalltalk

That was not my topic.

I was (obviously) talking about the influence of Smalltalk to Oberon, and only that.

And don't forget that the Smalltalk 76 and 80 GUI (and language) we know today was Ingalls' work, not Kay's.

> Wirth didn't know Kay well enough to recognize him

The popularity and influence of Kay is generally overstated. And not to forget that he received the Turing award much later, and what he published was not really the kind of topics Wirth was interested in. At least we have access to all relevant documents today and can check ourselves instead of taking the many tales at face value.

Rochus··on Oral history of John Chowning, inventor of FM synthesis [video]
> the problem was that they weren't interested in, or capable of, building digital synths^1

Didn't the Synclavier have FM and was on the market even before Yamaha? So I would assume that at least NED must have been interested and have the capabilities of implementing FM.

Rochus··on Oral history of John Chowning, inventor of FM synthesis [video]
> Quite an incredible story the whole thing.

Even more with Chowning's background as a musician, not an engineer.

> Multiplying sounds just sounded too ridiculous

Is this really the "official" reason, or your interpretation?

Rochus··on Oral history of John Chowning, inventor of FM synthesis [video]
> John Chowning actually first licensed his FM synthesis patent to Yamaha

Did he? Wasn't there New England Digital (NED) with the Synclavier which had FM on the market before Yamaha? Are you sure Chowning gave licenses? I would rather expect that this was the Standford administration's business, not Chowning's.

Rochus··on Ask HN: Have you read the Dune books by Frank Herbert?
Yes, the first two of them.
Rochus··on Alan Kay: Shannon gave us a way of dealing with noisy channels [video]
> a sabbatical year at PARC in 01976 and 01977, where Kay was then the director of the Learning Research Group

Well, PARC was quite big and Wirth was focussed on the work the Mesa people with Buttler Lampson did. If you watch the Q&A session of his 1993 HOPL talk you may notice that Kay asked a question, and it is obvious that Wirth didn't know him in person. And I'm not aware of any Wirth publication before 1987 mentioning Smalltalk. The only publication where Kay appears by name at all (as "Smalltalk (Goldberg and Kay, 1980)") is Wirth's 2008 IEEE paper.

> However, Wirth's style was more influenced by the Smalltalk-inspired GUI being written in Mesa, which would officially give rise to Cedar in 01980

Pretty adventurous claims. Wirth adopted Cedar’s tiled-viewer approach; I'm not aware of any features he adopted from the Smalltalk GUI. Instead he considered Smalltalk an anti-pattern in several respects, which you confirm.

> Smalltalk-76 already had compiled virtual methods and table-based polymorphic dispatch like SIMULA

Right. That's what Ingalls published in his 1978 paper, where he explicitly quotes the 1973 "SIMULA Begin" version and discusses its features.

Rochus··on Alan Kay: Shannon gave us a way of dealing with noisy channels [video]
> Kay came to Simula as a reader, turned it into Smalltalk

There is a significant difference between Simula I and Simula 67, and Kay in his 1969 dissertation only referenced the 1966 ACM paper on Simula I. It took many more years until Simula 67 was referenced in a publication by Kay or his team (specifically, "SIMLUA Begin" in Ingalls' 1978 publication about Smalltalk-76). The documented facts (see also Ingalls' 2020 ACM HOPL paper) rather suggest the following relations: Kay - Simula I - Smalltalk-72 and Ingalls - Simula 67 - Smalltalk-76/80

Rochus··on Alan Kay: Shannon gave us a way of dealing with noisy channels [video]
In contrast to the "usual" (i.e. Simula 67 based) OO approach, Wirth avoided virtual methods in his Oberon language, but instead used type extension (i.e. inheritance) to declare specialized message records (as the replacement to variant records of Pascal and Modula) which were handled by procedure-typed fields of record variables (i.e. objects) using polymorphic dispatch based on the dynamic message type. The intention was not to "correspond better" to Kay's vision (Wirth likely didn't know Kay nor was he interested in his visions), but he arrived at a similar design from a different motivation. And the analogy only holds when considering what Kay and team actually implemented (i.e. "message delivery" - a record in case of Oberon, a stream of tokens in case of Smalltalk-72 - via synchronous call semantics). Smalltalk-80 instead implemented compiled virtual methods and table-based polymorphic dispatch like Simula 67, just with a dynamically typed language.
Rochus··on Alan Kay: Shannon gave us a way of dealing with noisy channels [video]
How about Elixir and Erlang? They do pretty much exactly what Kay preaches.

Interestingly, the OO model that Wirth and Gutknecht implemented in the Oberon system corresponds better to Kay's message-based vision than Smalltalk-80. Wirth arrived here not by trying to emulate biology, but by trying to avoid the V-Table.

Java implemented the Simula 67 object model, confirmed e.g. by a 2017 Gosling lecture (as did early C++ and Smalltalk-80 to a significant degree).

Rochus··on Show HN: A benchmark comparison of C++ vs. Node.js performance
A few years ago I made similar performance measurements based on the Are-we-fast-yet benchmark suite; here are some results: https://github.com/rochus-keller/Oberon/blob/master/testcase...

There are always benchmarks where the one or the other might be faster; this is the reason why we use benchmark suites and geometric means of the factors to make the comparison more representative.

In the above results, Node.js was twice as fast as C++ in the Storage benchmark, and equally fast in Richards and CD, but overall C++ was twice as fast.

Implementations can differ significantly, which you confirmed with the two C++ implementations you measured. The Are-we-fast-yet suite includes guidelines (see https://github.com/smarr/are-we-fast-yet/blob/master/docs/gu...) for this purpose which must be followed by new implementations, and which assure comparability.

Rochus··on In Sweden, Organized Election Fraud, "Clan Voting"
It's a paywalled article and in Swedish.

Is there evidence on an election fraud with significant scope? How did the fraud work?

Rochus··on Why do we have rust in the kernel?
Published Wed 05 Feb 2025
Rochus··on Show HN: An ObjC-like compiler for Mac ARM, x86_64(Linux, Win), WASM, & others
Wow, that's far from expensive; actually incredible to get a full language with compiler and optimzier and a bunch of targets for just a few hundered dollars. That makes me feel like a movie theater pianist back when sound films first came out.
Rochus··on Show HN: An ObjC-like compiler for Mac ARM, x86_64(Linux, Win), WASM, & others
I see, thanks; but what about the cost? Is this just a fixed subscription? If so, what level is necessary for such kinds of large projects? Can you just let it run ad infinitum, or are there daily or weekly limits, or do you even have to spend money by effort?
Rochus··on Show HN: An ObjC-like compiler for Mac ARM, x86_64(Linux, Win), WASM, & others
Cool. Amazing to see what AI (Claude Code?) can do when the operator is an expert. It's like working as a lead engineer with a team. I never touched Claude code so far and am hesitant to give this tool direct access to my machine. I made some good experience with Google AiStudio when implementing my compilers and oberon system migration this year (see e.g. https://github.com/rochus-keller/oberonsystem3native/); it's fascinating that you can give it a bunch of sources with an error description and there is a very good chance that it points to the bug.
Rochus··on Show HN: An ObjC-like compiler for Mac ARM, x86_64(Linux, Win), WASM, & others
Interesting, thanks for the detailed explanations.

Objective-C has indeed some impressive features, but also some inefficiencies and it got a bit out of favour over the years. Coming from the Wirth school I also understand the virtue and challenge of writing a compiler in his own language, but in practice it is often rather an obstacle than a benefit, and if a language is useful, there should never be a lack of representative projects. I thus write my own compilers always in a conservative C++98 subset or even in C so bootstrapping is never an issue and there is no second compiler necessary.

Is your blewit, which sounds yet like another big code base, also AI generated/assisted? If I understand you correctly, you indeed have the engineering expertise to write compilers and to understand its architecture and complexities; so the project is not "vibe coded", but rather "augmented engineering"; I didn't manage to have a detailed look at the large code base yet, but in that case I would expect that it rather looks like a human engineered code base than the often strange looking architecture and code which I already have seen in Claude projects where the AI is just left alone for a few weeks.

A performance within 1.1 to 1.8 on average of optimized Clang is a very good start for such a project.

As I understand, the AI has implemented the frontend and lowering after your spec, which is amazing and demonstrates that it is able to work not only in and for the languages it was trained on. How was the AI able to demonstrate that your spec has been completely and correctly implemented? Is the language and IR spec somewhere on the web? What formalism did you use for the spec?

I well remember GEM and also wrote software for Atari ST many years ago ;-)

Rochus··on Show HN: An ObjC-like compiler for Mac ARM, x86_64(Linux, Win), WASM, & others
Wow, this is huge. Is the goal really to have a new language better than Objective-C, and to actually use it in projects, or mainly to demonstrate what an AI can do? As far as I understand, there is a non-trivial optimiser, assumingly also generated by AI, including the associated IR and lowerings. Are there comparisons of the resulting machine code quality and performance compared to e.g. GCC? Did you design and specify the xc language, and did the AI implement the frontend based on your specification, or was it a "full package" AI approach? (sorry if some questions were already answered on the web sites and the code, but it was too much to quickly get the answers)
Rochus··on The Thinking Machine (1961) – AI debates 65 years ago [video]
Cool, thanks for sharing. Shannon was a bit too optimistic about when all this should happen, but he essentially describes what we have today, 65 years later.
Rochus··on ElevenLabs Music v2.5
They also seem to use a different encoding scheme which has more bandwidth and less artefacts up front. If you download a WAV from Suno, you still essentially have MP3 quality, just serialized to a WAV file. The elevenlabs WAV has full audio bandwidth instead and I checked frequency sections with a parametric EQ and noticed that e.g. the cymbals go high up in spectrum (which is not obvious in the given sample song where middle and bass frequencies dominate); with a bit of mastering the result is much better, but I posted the original here. I can also upload the WAV file if needed.
Rochus··on ElevenLabs Music v2.5
Great sound quality, definitely better than Suno 5 and 6. It let me download a WAV file which goes unfiltered up to 20kHz (Suno goes to ~15kHz and has more artefacts).

Here is my first attempt: http://rochus-keller.ch/Diverses/Polyphonic_Threshold_1.mp3

And here are some Suno v5 tracks with the same prompt for comparison: https://rochus-keller.ch/?p=1428

All in all, Suno still has much better musicality (or at least had in version 5), but the sound quality of elevenmusic is clearly better.

Rochus··on YuE2 · Frontier Music with Symbolic Planning
> but as soon as they get good, then any human composition will be completely devalued

I think it will take many more years until an AI is able to compose like e.g. John Williams and play a score and sound like e.g. the London Symphony Orchestra. So there is room left for human contribution. On the other hand, the majority of humans even before AI was not able to value good vs. bad musical composition and performance, and instead satisfied with the commercial slop the market was flooded over the last thirty years. Studies of e.g. Spotify consumer behaviour demonstrated for many years before AI that more and more people consume anonymous playlists never caring who composed or played the music, just using music for its functional purpose like a commodity. It's depressing, but that's how society develops.

> a curiosity, someone who does things the hard way for their own amusement

That development already started long ago. In the eighties and nineties, music schools florished and children wanted to learn instruments and play in bands or orchestras. That completely changed over the last thirty years. Musical instruments will be a curiosity in a decade or two people are going to watch in a museum, wondering why anyone would have learned these skills in the past.

Rochus··on Suno rolls out v6 song making model, will pay royalties
Just listened to some v6 samples on https://suno.com/labs/genre-wheel

Sound quality doesn't seem to have improved, especially the grand pianos still sound detuned. I hear new musical and sound features such as wild Paganini violine solos and more progressive arrangements. But in general I don't think it is better from what I've heard so far than what we had in v5 (here some of my v5 experiments for comparison: https://rochus-keller.ch/?p=1428).

Rochus··on Switzerland's Federal Government Is Replacing Microsoft on 3k Computers
To the point, thanks.
Rochus··on Switzerland's Federal Government Is Replacing Microsoft on 3k Computers
What misconception? The administration wrote themselves few years ago: https://www.edoeb.admin.ch/de/07032023-bundesverwaltung-fueh... Now (eventually) they seem to reconsider that this dependability might not have been a good idea. I worked for the Swiss administration myself as an external consultant for many years and have I pretty good insight.
Rochus··on Switzerland's Federal Government Is Replacing Microsoft on 3k Computers
Wouldn't a true Swiss person be neutral and cautious, and wouldn't they refrain from parroting all sorts of nonsense in public about other countries? Anyway, it doesn’t exactly seem like smart move when a government agency tasked with protecting its citizens’ sensitive information switches on a large scale from local, closed networks with energy-efficient desktop applications to externally hosted SaaS infrastructure, with wasteful, fragile, unsecure browser-based applications, sending each byte over many borders. This development should never have happened in the first place.
Rochus··on Music Theory for Programmers
Doesn't look like really a "v2" to me, rather v1 a bit re-arranged. A true "theory" able to explain present music (or even Jazz from the seventies) and also support its creation is still widely lacking, or just a naive variation of what was used for classical music. Tymoczko & co go a bit in a more general/useful direction where the theory eventually can also be used to define algorithms which can "compose" credible contemporary music, but still a long way to go. The latter is like the "litmus test" from my humble point of view whether a theory is indeed useful.
Rochus··on Keybench Analysis on TidesDB v10.0.0 and RocksDB v11.8.1
This is amazing. How is this possible? RocksDB seems to have much more development resources than TidesDB, isn't it?
Rochus··on Project Xanadu: Even More Hindsight (2025)
I agree that transclusion, particularly based on byte offsets, is not very useful for the WWW. But the concept is much more useful than what the author suggests. Maybe you have heard of Ivar Jacobson's Objectory tool. I worked with it in the nineties in large projects and it was able to transclude terms and definitions wherever they were linked, even integrated in the text flow where they appeared. That was true added value and much more useful than tools like DOORS. I myself have implemented CrossLine, which I used for large project information aggregation, creating new documents with transcluded passages from specifications and minutes put into the most useful context. In CrossLine, the unit of transclusion is an outline item. Also Jacobson's tool had useful units. I think the failure of approaches like Xanadu was not an absence of meaningful transclusion use-cases; rather to identify and integrate the right units of knowledge.
Page 1 of 34Next →