librasteve
librasteve on Hacker News
same reason that readable machine code is not on my list
I made a new spreadsheet
https://omasheet.org based on a wish list of the things I wanted:
- ease of use
- markdown friendly
- strongly typed
- exact maths
- columnar data (Apache Arrow)
- fast queries (Polars)
- code oriented
- AI driven
(a partial list btw!)
Happy 41st birthday Excel
ah … wondered when that (or Excel) was going to land - about time
I second this. Worked at Weitek in the 80s and my first job was to write a P754 test suite in C. At that time, Sun engineers wrote a test called “paranoia” and would regularly pick holes in our FPU chip designs. Mostly they ended up taking what we had built and we were in notice they weren’t happy. Then then built their own SPARC FPU and we went to the wall.
I spent months in all the corners of P754 and can attest to it being the most carefully thought through and subtly powerful document.
At this time we built custom FPUs for non P754 such as DEC format which iirc was deliberately close to P754 but slightly twisted to maintain code incompatibility.
Anyone who thinks FPU math is deterministic has not got close to circuit design for these beasts. I suppose MAYBE that got fixed in the last 40 years, but the move to GPU leads me to suspect that determinism in all the myriad corner cases is not top of the list.
Posted by
librasteve on Sunday October 11, 2026 @02:53PM
from the github.com dept.
when I worked in Swindon (Intel fwiw), HR told all the Americans “draw a circle 15 miles radius around Swindon station and live outside it”
I claim 1% commission if anyone on HN buys it
well I (the submitter) messed up and wrote 15M in the submission title (note the cap) in error just to add to the confusion (now fixed, soz.) … I thought “best” just to repeat the article title
sorry for the capital M … I have fixed in the title to 15m as in metres
that’s ~ 45 ft underground, I believe … perhaps not that impressive, but quite funny since I would hesitate to undermine my own house and surely this makes it worth less
sorry for the ads … but this made me smile
Posted by
librasteve on Wednesday October 07, 2026 @08:57AM
from the readingchronicle.co.uk dept.
> Are you not biased having created another PL in a similar fashion?
guilty as charged (but also with experience that I have made something cool that I would not otherwise have had the skills or time to do)
> same fashion as a group project in school
you describe my approach to schoolwork with uncanny accuracy
> that’s the funnest part!
amazingly, finding a name for a new PL is the hardest part and yes I plead guilty to working collaboratively with an LLM for inspiration and for grunt checks (motorbike for the mind)
Soon, hopefully, we will have evidence based analysis of those programming languages best suited for LLM authoring. Fwiw I doubt that CL will make the cut - but happy to be proven wrong. Obviously a large factor remains the facility of the human driver for a particular language.
Until then, I subscribe to the view that strong types fit LLM coding well since LLMs are prone to make silly mistakes when they patch together code examples in dynamic languages.
[Disclosure, my new language https://bil-lang.org aims to add “strong typing” around parallel programming to help weed out deadlock conditions.]
very Rendezvous with Rama
fwiw I recently tried this with ChatGPT. The result (
https://bil-lang.org) came after I dumped the LLM as a name suggester. As a checker and idea source it was fine. The language name space is quite crowded!
I have come slowly to the view that LLMs are very good at this kind of thing and we can use them very productively. I’m tempted to say that this is optimal human+LLM collaboration.
even when the underlying language is widely used (in this case, Rust) I think there is a case to coin a new language when (i) there is a bunch of new stuff, (ii) it ain’t gonna be adopted wholesale by the core team and (iii) it has a coherent toolchain and (iv) it makes promises to coders that are stable over time. Disclosure, I am the author of
https://bil-lang.org that pulls the same trick as an extension / transpiler targeting golang
As the video points out, there is a hardware/software feedback loop at play here. Since the hardware is deeply pipelined SIMD FPU datapath, the software is hand tuned machine coded transformations. In addition to limiting flexibility (every variation has to be ground out in CUDA), this prevents sparse matrix type optimisations. I predict that a set of general purpose CPUs - non shared memory at this scale - would be a much better use of transistor/power. And you can code that at high level give a CSP style approach such as
https://bil-lang.org
Posted by
librasteve on Thursday October 01, 2026 @03:59AM
from the bil-lang.org dept.