Rochus

11 ms·

241.
by Rochus 6mo ago
Nice figures, but actually just a presentation, not a theory. Apparently based on this book: https://bookerapp.replit.app/book/fom , which neither seems to actually explain much. I agree that a better music theory is ne
242.
by Rochus 6mo ago
There is no inherrent reason why no new programming languages should be developed in the age of AI. As long as people are programming, there will be new languages. As there are still people playing traditional musical instruments in the age
243.
by Rochus 6mo ago
> ..., fix timing issues. Which might behave pretty differently on the specific hardware; getting the simulation correct is only a fraction of the path. A lot more is necessary, and usually you spend days (or months depending on the si
244.
by Rochus 6mo ago
Maybe Espressif will notice that there are no RV32 chips with MMU so far (at least to my knowledge); we only have 32 bit MCUs or then only 64 bits for the CPUs. Something like Cortex-A7 is missing.
245.
by Rochus 6mo ago
They claim that the chip has an "MMU". But unfortunately this doesn't seem to be a true RISC-V MMU (according to the Sv32 specification) integrated into the CPU core itself, but just a peripheral designed for memory mapped SP
246.
by Rochus 7mo ago
My migration from the Oberon System 3 to the Raspberry Pi 2 and 3 comes at just the right time as it seems (see https://github.com/rochus-keller/OberonSystem3Native/release... ). There is also a stand-alone version
247.
by Rochus 7mo ago
" Common Lisp is the most powerful programming language in history. Emacs is the most powerful text editor in history. " .. " I’m a former English teacher (ALT) and current freelance software developer "
248.
by Rochus 7mo ago
Cool. Reminds me of Nodal (see https://nodalmusic.com/ ).
249.
by Rochus 7mo ago
Well, I think instead of the article's functional utopia, there will be the same pragmatic programming language adoption as in the past. Cutting-edge AI and programming language research is already actively building "auto-formaliz
250.
by Rochus 7mo ago
This is cool. Did you have a look at the Olimex ESP32-P4 board which has a HDMI socket? Have you implemented all hardware drivers yourself, or could you reuse IDF or thirdparty code?
251.
by Rochus 7mo ago
Refers to the May 2025 edition.
252.
by Rochus 7mo ago
> Mauchly was actually interesting in using computers for weather modeling and I’m sure that influenced the design of ENIAC True. Mauchly was a physics professor interested in meterology, and he knew that predicting the weather and calcu
253.
by Rochus 7mo ago
> The Z3 was only general purpose by accident ... ENIAC [..] was the first intentionally general purpose computer That's a pretty academic take. Neither Eckert, nor Mauchly, nor Zuse knew about Alan Turing’s 1936 paper when they des
254.
by Rochus 7mo ago
Eniac was indeed impressive and an important milestone. I recommend the 1999 book "ENIAC - The triumphs and tragedies of the world's first computer" by Scott McCartney which is both interesting to read and very informative. A
255.
by Rochus 7mo ago
Full paper: https://arxiv.org/abs/2402.00854 (2024)
256.
by Rochus 7mo ago
The fascination of HN for Habermas is really astonishing. According to Algolia we are going towards 20 posts ( https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... ), more than three times the number fo
257.
by Rochus 7mo ago
For me (60 too) it's both, the journey and the destination. LLMs not only help me get around the boring stuff so I have more time for the things I really want to design and build, but they also open areas for me in which I always wante
258.
by Rochus 7mo ago
That's interesting, thanks. Some of the things you listed (dangling else, variant records, Wirth has fixed in Modula-2 or Oberon). Algol 68 seems to have perfected the procedural paradigm.
259.
by Rochus 7mo ago
> ALGOL 68 was much better than the ALGOL W .. or any of the languages designed later by Wirth. In what respects particularly?
260.
by Rochus 7mo ago
Sure. I could delegate the boring stuff to an agent and focus on what I'm interested in. It would make me more productive, if I could e.g. just let the agent generate an optimizer and code generator for any required target for my inter
261.
by Rochus 7mo ago
Cool. But what is the core benefit, i.e. in what respect is it preferable to existing systems? Which systems are the major competitors (if any)?
262.
by Rochus 7mo ago
Nice. How does it compare to e.g. Common Music or Nyquist (besides Python vs SAL or LISP)? Are there audio examples of the interesting things it can better do than other algorithmic composition or live coding systems?
263.
by Rochus 7mo ago
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 narrative surrounding the birth of software en
264.
by Rochus 7mo ago
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.ch/?p=1350 ). So yes, I hear AI musi
265.
by Rochus 7mo ago
This is primarily a strategic and architectural statement regarding compiler development rather than a feature release plan.
266.
by Rochus 8mo ago
Had a similar experience (obvious flagging misuse, toxic nagging culture) some time ago and was no longer on the platform since.
267.
by Rochus 8mo ago
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 that the LLM claimed to have reached full
268.
by Rochus 8mo ago
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 validated AST I have already implemented myself
269.
by Rochus 8mo ago
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 strange code with more and more redundancy, I
270.
by Rochus 8mo ago
Interesting. Why MkDocs and not e.g. AsciDoc?

More ›