Viewing profile — plainOldText

It's not strange at all. The second story, and highly upvoted, on HN right now is: "AI will make formal verification go mainstream"[1]. [1] https://news.ycombinator.com/item?id=462…

This Scott Wlaschin talk [1] is a good introduction to TLA+. And the slides [2]. [1] https://www.youtube.com/watch?v=qs_mmezrOWs [2] https://speakerdeck.com/swlaschin/tla-plus-for-…

I guess it’s time to learn OCaml then. It appears many of the proof assistants/verification systems can generate OCaml. Or perhaps ADA/Spark? Regardless of how the software enginee…

The main designer is Andreas Rumpf, but investigating the git commits of the new Nim reveals more people being involved. [1] Whether Andreas is a genius, I have no idea, but he has…

Reminder the creator of Wren wrote the awesome Crafting Interpreters book [0]. [0] https://craftinginterpreters.com/

The article allocates the last section to explaining why Rust is not a good fit (yet) so I wanted the title to cover that part of the conversation since I believe it is meaningful.…

I’d be curious to know what the creators of SQLite would have to say about Zig. Zig gives the programmer more control than Rust. I think this is one of the reasons why TigerBeetle …

It's interesting to observe how many people are undergoing an identity crisis due to the emergence of LLMs challenging the status quo. What will our craft of programming turn into?…

You're absolutely right ((: Now, seriously though, no tools is perfect, and I agree we should not trust it blindly, but leaving aside AI Agents, LLMs are very helpful in illuminati…

A better term would be “Augmented Engineering” (AE). You want something to inspire engineers to do their best work. When you can expand your capabilities using the power of AI, the…

Your example also gets evaluated at comptime. For more complex cases I wouldn't be able to tell you, I'm not the compiler :) For example, this get's checked: let ageFails = (200 + …

Nim was inspired by Ada & Modula, and has subranges [1]: type Age = range[0..200] let ageWorks = 200.Age let ageFails = 201.Age Then at compile time: $ nim c main.nim Error: 201 ca…

Nim is a statically typed language with a syntax resembling Python's. https://nim-lang.org/ Sometimes I'm questioning if it has the potential to become more popular in the future i…

Hmm, I guess this then makes sense if we regard the app as a latent space projecting user's data, so its views are awaiting to be activated. Seen this way, the app is basically com…

From the article: > In summary: > Use “your” when communicating to the user > Use “my” when the user is communicating to us I could see how this makes sense with dialogs. But for U…

I couldn’t see passed the 100% mark. Looking at some YouTube videos, it looks like this was the greeting upon booting: “Stored on this single, 1.44 Mbyte floppy disk is a demo copy…

Some core ideas from the paper for the inpatient (failures, isolation, healing): - Failures are inevitabe, so systems must be designed to EXPECT and recover from them, NOT AVOID th…