plainOldText

9 ms·

1.
by plainOldText 15d ago
I'm glad I'm not the only one who thinks the new default page is absolutely horrible in terms of usability. I've noticed less comments on posts, but this is probably also the result of more AI-assisted Elixir projects being a
2.
Neural Computer: A New Machine Form Is Emerging(metauto.ai)
8 points by plainOldText 5mo ago|2 comments
3.
by plainOldText 9mo ago
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=46294574
4.
by plainOldText 9mo ago
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-programmers
5.
by plainOldText 9mo ago
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 engineering discipline will change in the age of gen AI,
6.
Performance Engineering: Algorithms for Modern Hardware(en.algorithmica.org)
2 points by plainOldText 10mo ago|0 comments
7.
by plainOldText 11mo ago
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 been doing compiler and language development for over 20 y
8.
by plainOldText 11mo ago
Reminder the creator of Wren wrote the awesome Crafting Interpreters book [0]. [0] https://craftinginterpreters.com/
9.
OpenBSD Jumpstart(openbsdjumpstart.org)
3 points by plainOldText 11mo ago|0 comments
10.
Optimizable Code (2013)(deplinenoise.wordpress.com)
1 points by plainOldText 11mo ago|0 comments
11.
by plainOldText 11mo ago
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. It illustrates the tradeoffs in software engineering.
12.
by plainOldText 11mo ago
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 is written in Zig.
13.
Why Is SQLite Coded In C(sqlite.org)
357 points by plainOldText 11mo ago|391 comments
14.
by plainOldText 11mo ago
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? So far programming has been quite fun and creative, b
15.
by plainOldText 11mo ago
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 illuminating one's path, by consulting a large body of knowl
16.
by plainOldText 11mo ago
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, then yeah, you can do your best work; hence augmented enginee
17.
Erlang ARM32 JIT is born(grisp.org)
170 points by plainOldText 1y ago|19 comments
18.
Phoenix Creator Argues Elixir Is AIs Best Language(thenewstack.io)
5 points by plainOldText 1y ago|0 comments
19.
by plainOldText 1y ago
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 + 2).Age Error: 202 can't be convert
20.
by plainOldText 1y ago
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 can't be converted to Age [1
21.
by plainOldText 1y ago
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 if AI becomes adept at translating
22.
by plainOldText 1y ago
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 communicating to the user: Hey I have "Your Pictures&
23.
by plainOldText 1y ago
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 UI elements? Should I name say a tab “My Pictures” a
24.
by plainOldText 1y ago
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 of the QNX realtime operating system, the Photon microGUI w
25.
by plainOldText 1y ago
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 them completely. - Let it crash philosophy allows components t
26.
Nim 3.0: Design Principles(nim-lang.org)
7 points by plainOldText 1y ago|0 comments
27.
by plainOldText 1y ago
Yeah, CamelCase for modules, snake_case for functions and variables. Your brain can instantly tell what entity you’re dealing with.
28.
by plainOldText 1y ago
We used to infer one’s mind from their writing. Nowadays? I’m surprised people are too lazy to even remove them dashes. Well, in fact it might actually be a good thing for one can spot when something was AI generated much easier. I feel lik
29.
by plainOldText 1y ago
Judging from the small example in the readme, the language looks pleasing to the eye. What’s under the hood though? What are some of the technical choices, performance characteristics and longer term goals?
30.
by plainOldText 1y ago
I am not associated with the project, so I cannot answer that.

More ›