Extremely dated. No HKTs, no typeclasses (modules are not a good substitute), no call-site expansion.
True, but then concurrency via algebraic effects makes it look more modern than Rust.
Readit Newsgrumpyprole commented on OCaml as my primary language xvw.lol/en/articles/why-o... · Posted by u/nukifw
grumpyprole commented on I Used Arch, BTW: macOS, Day 1 yberreby.com/posts/i-used... · Posted by u/yberreby
I don't really understand the comparison with a cheap Asus laptop. Ofcourse the MBP will win. But a decent Lenovo ThinkPad or HP EliteBook/ZBook will have flawless Linux support with a rigid and robust chassis.
The vast majority of which unfortunately still come with Intel processors, especially the premium models. I handed my work issued Lenovo X1 back to my employer as being unusable due to overheating and excessive thermal throttling. The M4 Macbook Pro I now have is such a huge positive difference, I have adjusted to macOS and enjoy Intel outside.
grumpyprole commented on I tried vibe coding in BASIC and it didn't go well goto10retro.com/p/vibe-co... · Posted by u/ibobev
Maybe other folks’ vibe coding experiences are a lot richer than mine have been, but I read the article and reached the opposite conclusion of the author.
I was actually pretty impressed that it did as well as it did in a largely forgotten language and outdated platform. Looks like a vibe coding win to me.
Sure it did ok with examples that are easily found in a text book like drawing a circle.
grumpyprole commented on Helm local code execution via a malicious chart github.com/helm/helm/secu... · Posted by u/irke882
But I thought security vulnerabilities couldn't happen in memory-safe languages!
I would argue that not sanitising strings is analogous to a form of memory unsafety. You take as an input, an opaque blob of bytes that you then pass on to a myriad of other libraries and pieces of code. Nothing is captured in the types other than "String". Mainstream programming languages need to make it easier to define new types and parse strings into them. Rust is very promising in this area, as it features algebraic data types.
Deleted Comment
grumpyprole commented on Atari Means Business with the Mega ST goto10retro.com/p/atari-m... · Posted by u/rbanffy
I had a 520ST back in the mid 80s. I would have killed for a Mega ST, but I couldn't afford one and realistically needed an IBM-compatible PC, which I eventually got.
Things I remember about about the 520ST:
- Those horrible diagonal function keys. There was no reason for them to be diagonal, rather than normal keys as they were on the IBM. But I've always hated function keys.
- Games like Dungeon Master (really still quite a good game today).
- Not a bad C compiler, but I can't remember who by - LightSomething?
- The GEM GUI was not so bad, but using it with a floppy disk was.
But all-in-all I was quite happy to get my PC-compatible to do serious work with.
GEM was in ROM on the Atari ST and it was fantastic. It was light years ahead of where Windows was at the time. It was Amiga Workbench that was somewhat limited by being on a floppy disk.
grumpyprole commented on Atari Means Business with the Mega ST goto10retro.com/p/atari-m... · Posted by u/rbanffy
And, just to add a third point, the Atari runs stable! I just tried to sequence with a SoundBlaster AWE32 and Voyetra MIDI Orchestra MIDI Sequencer under Windows 95b. For fun. I already recorded some MIDI tracks, then suddenly after 60 minutes Windows presented me with the famous bluescreen. Everything I've just recorded and didn't autosave lost. Haha.
Absolutely, when I first tried Windows Cubase in the 90s, it wasn't long before it ate all my data. Even today's DAWs still haven't caught up with the original ST Cubase in terms of stability.
The drop-outs are "succeeding wildly" because people like Turing, Church, and Hilbert invented the sand pit they're playing in.
Knuth created LaTeX. Pandoc is written in Haskell, famous for being a completely useless academic language with no real purpose beyond torturing undergraduates (it says here.) Efficient search and data compression algorithms aren't hacked together in late night hobby coding sessions.
Cryptography, digital signal processing for images, sound, and video, and ML core algorithms are all mathematical inventions. The digital world literally runs on them.
"Real world achievers" might want to try being a little less parochial and a little more educated about the originators of the concepts and environments they take for granted.
Vibe coding "Social AI chatbot network with ads = $$profit$$" or "Cat videos as a service" is only possible because the entire field stands on the shoulders of mathematical giants.
Well said. I guess such ignorance is not that surprising given that most "programming" today is glueing code together with scripting languages. This is really just a form of configuration. It certainly requires domain knowledge and a tolerance for digital bureaucracy, but not always maths. I do wish schools would do a better job of teaching that the entire fabric of western civilization rests upon mathematics.
The code in question reminds me a lot of my favorite Kubernetes bug:
if (request.authenticationData) {
ok := validate(etc);
if (!ok) {
return authenticationFailure;
}
}
The way software is built hasn't changed in decades.
grumpyprole commented on Zelensky leaves White House after angry meeting bbc.com/news/live/c625ex2... · Posted by u/yakkomajuri
Is this a parody? the US is talking about annexing territory from allies, cosying up to Putin and purging the state apparatus of anyone non-compliant.
And taking away women's rights.