My OTP 21 Highlights
The official home of the Erlang Programming Language
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 3,470 posts.
The official home of the Erlang Programming Language
A blog mostly about Clojure programming
The question on the lips of everyone in the Linux community is, "What if Linus Torvalds (affectionately known to the trade press as 'Linux Torvalds') gets hit by a bus?" Reams of virtual paper have been wasted on idle speculation about the results of what is a fairly simple experiment. We decided it was high time…
Justin Searls writes: Why traditional TDD teaching methods fall short and explore effective strategies to make TDD a valuable tool for developers.
“With more careful calculations, one can win; with less, one cannot” — Sun Tzu, The Art of War .
Go 1.21 adds a new port targeting the WASI preview 1 syscall API
Many recent Intel processors benefit from a new family of instructions called AVX-512. These instructions operate over wide registers (up to 512 bits) and follow the Single instruction, multiple data (SIMD) paradigm. These new AVX-512 instructions allow you to break some speed records, such as decoding base64 data at…
Bringing the web up to speed with WebAssembly Haas et al., PLDI 2017 This is a joint paper from authors at Google, Mozilla, Microsoft and Apple describing the motivations for WebAssembly together w…
A high-minded goal like “expand the boundaries of the medium” doesn’t always mean forging ahead in crazy new unknown directions. Sometimes it means examining lost evolutionary lines in game design – picking up ideas that were abandoned long ago and seeing if there’s any new life in them. The game I keep coming back to…
Ten rules for writing safety critical code, to facilitate analysis and increase software reliability
UPDATE: The Next Web wrote a story about my findings…
I was recently reminded of why I think it’s a bad idea to teach beginners C++. It’s a bad idea because it is an objective mess—albeit a beautiful, twisted, tragic, wondrous mess. Despite the current state of the community, this post is not a polemic against modern C++. This post is partly a follow-up on Simon Brand’s…
TLA+ is a formal specification language that you can use to verify programs. It’s different from other formal verification systems in that it’s very pragmatic. Instead of writing proofs…
Unsloth fixing Google's open-source language model Gemma.
The WITH clause adds named subqueries to SQL queries. WITH is also known as Common Table Expression (CTE).
The Official Web Site of Nicholas C. Zakas
Saagar Jha's website.
OpenAI’s GPT-4 Turbo with Vision model scores worse on aider’s code editing benchmarks than all the previous GPT-4 models. In particular, it seems much more prone to “lazy coding” than the existing GPT-4 Turbo “preview” models.
In the ownership trio, we discussed 3 elements: Knowledge, Mandate and Responsibility. This article digs into various broken ownership scenarios where 1-2 of those elements are missing, what are the common symptoms and how to fix them.
And its sibling slime-js-jack-in-browser are some conveniences that I've built around slime-js. You can find them here in my .emacs.d on github.
Verilog is the most commonly used language for hardware design in America (VHDL is more common in Europe). Too bad it's so baroque. If you ever browse the Verilog questions on Stack Overflow , you'll find a large number of questions, usually downvoted, asking “why doesn't my code work?”, with code that's not just a…
Cyrille Rossant's small ray-tracer is an nice self-contained Python program (using NumPy) that renders this 400×300 image in about 15 seconds on a fast PC:
There is a misconception that Lisp is a dynamically typed language and doesn’t offer compile-time type checking. Lisp being the…