- Sally, Asimov 1953 (spot on with Waymo)
- I, Robot etc, Asimov
- HAL 2001 A Space Odyssey
- any Iain M. Banks Culture novel928 karma · joined July 15, 2023
- Sally, Asimov 1953 (spot on with Waymo)
- I, Robot etc, Asimov
- HAL 2001 A Space Odyssey
- any Iain M. Banks Culture novelstill working out the use cases more thoroughly, for now i would say that they range from ad hoc calculations (like a quick thrown together Excel), though LLM workflows (markdown centric reports with numeric calculated tables) to 1GB+ dataset ingestion and interactive analysis
For 41 years Excel has been the dominant way to mess with numbers in a grid. Google Sheets and Apple Numbers are really just me too players, albeit with their niches. LibreOffice struggles imo since its main claim is to be fully Excel compatible but there are so many ancient Excel sheets that fail in practice (VBScript?).
I think that there will continue to be a need for folks to mess with numbers in a grid … more between a super calculator and an interactive dataset. I could have chosen a DB vernacular for Omasheet - DuckDB does this for Polars - but that lacks some of the numeric purity of the sheet. So I have gone for the core Polars query model - closer to Arrow columnar data (parquet), streaming support, lowered calculations, lazy execution … but without the DB abstraction layer.
oh and omasheet is Rust and uses Polars so I am working with that rather than NumPy SciPy
All feedback good and bad v welcome.
- 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
I particularly like the one with David Wallace.
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.
This gets my goat.
fwiw I just threw this in since many on HN probably don’t know much about Reading
red face
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
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)
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.]