"The Curry-Howard correspondence shows how logical propositions map to types…" is the software equivalent of using the word “quantum” in self-help books.
Systems engineer, computer programmer, free software proponent, BEAMer, lisper wannabe and post-Unix advocate.
Farmer cosplay on weekends.
"The Curry-Howard correspondence shows how logical propositions map to types…" is the software equivalent of using the word “quantum” in self-help books.
"11th International Workshop on Plan 9, held in 2025 at Le Conservatoire national des arts et métiers (Cnam), Paris, France, Europe"
IWP9 2025 - YouTube - https://www.youtube.com/playlist?list=PLEZEb6vVXSE-CV_vti2I6tJQNBn6f9swB
@cwebber My three favorite things in this world are music, computers, and movies. They are all amazing and awesome.
Stick the word "industry" on the end of each of them, and they all become hellscapes.
Most software processes in companies come from people who do not write software but want to control those who do. Unsurprisingly the project failure rate in the industry is off the charts.
Imagine how salespeople would react if the head of sales could not close a deal.
Anyone can become disabled at any time. It’s one of the few minority groups you can always join.
Even if you do everything “right”. Even if you’re young and healthy. Even if you “try hard”
It’s not a moral failing. It’s a part of life.
If more people would accept that and work with us, we would all be better off.
ESCA :moar:
FLOW :moarr:
NE :moar:
@h4ckernews "My love for Haskell is irrational" is perhaps the most honest part of that post.
Systems matter.
1. Prioritize stability, resilience, and long-term design over syntax trends or rewrites.
2. Make them composable.
The approach to building, maintaining, and evolving systems is shifting.
At first, it wasn’t obvious to me, but traditional methods like CRUD operations and ticket-driven workflows are becoming less relevant.
[ANN] Pharo 13 Released!
https://pharo.org/news/2025-05-21-pharo13-released.html
RIP John, your work and efforts will always be a cornerstone of our journey.
https://www.eff.org/deeplinks/2025/05/memoriam-john-l-young-cryptome-co-founder
People being dumb over CVE-2025-32433 🤷
Everytime I read about "vibe coding" I can't stop thinking about a REPL.
Spot on; our current democratic structures are products of 18th-century limitations.
https://www.schneier.com/blog/archives/2025/04/reimagining-democracy-2.html
Testify, @bbatsov ! #emacs start time doesn't matter.
https://batsov.com/articles/2025/04/07/emacs-startup-time-does-not-matter/
A tool that cannot orchestrate its own use is not worth using.
Stop saying “artificial intelligence”. (And “neural networks” too.)
Be more specific. Say “reinforcement learning”. Say “generative modelling”. Say “Bayesian filtering”. Say “statistical prediction”.
These are incredibly useful tools that have nothing to do with “intelligence”.
And say “model trained on plagiarised data”.
Say “bullshit generator”.
Say “internet regurgitator”.
These are also nothing to do with intelligence, but they have the added bonus of being useless, too.
Very good read about the history of #Erlang. Goes into details about the way the language evolved. 3.8. is very related to the main difference between Erlang and #Go for process communication (mailboxes betwen chans). Something Erlang does better.
https://www.labouseur.com/courses/erlang/history-of-erlang-armstrong.pdf