Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,826 posts.
As you might already know, I’m into containers , static configuration and self-service infrastructures . Naturally, I love Kubernetes , which I consider the most promising cluster scheduler around.
The latest version of this app is now available as a free download on the Mac App Store.More info on my apps website at: gingerbeardman.com/apps/stapler/
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Researcher at Intel
You are born with no body parts. One by one, your organs are pushed into you. Should anyone attempt to interact with you before your organs have finished arriving you will die. Luckily this doesn&#…
A review of the 20th anniversary edition of The Pragmatic Programmer, updated for modern software development.
We’re excited to announce the alpha release of a new AWS SDK for Rust. AWS customers developing in Rust want a native Rust SDK so they can use the language constructs they are used to, and customers new to Rust want an SDK that behaves similarly to SDKs they have used in other language environments. […]
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
I heard about these mythical programs that find optimal code through a brute-force search, but I didn't know how they worked. So I made one.
How to draw text to a Vulkan renderpass without binding a single texture
One of my favorite features in Neovim is the Tree-sitter integration. It allows for fast syntax highlighting that works well even in an error state (often the case when you’re editing code), and it has additional semantics (you can differentiate between function parameters and local variables).
Isn’t it weird that we treat source code as text? That is, we have this extremely well-structured and strongly-typed object — the abstract syntax tree — that exists conceptually in our minds, and in actuality inside of our compiler, but for some reason we pretend it’s just a pile of bytes and edit it byte-by-byte…
Hanami 2.0 opens a new chapter for the Ruby community.
A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.
How a seemingly minor enhancement in Postgres 11 fills one of the system’s biggest operational holes.
Today we're releasing pg_jsonschema, a Postgres extension for JSON validation.
This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project .
We discovered why language models catastrophically fail on long conversations: when old tokens are removed to save memory, models produce complete gibberish. We found models dump massive attention onto the first few tokens as "attention sinks"—places to park unused attention since softmax requires weights to sum to 1…
Git is a fast, flexible but challenging distributed version control system. Before jumping in: Along with a book, tutorial and cheatsheet, here are the…
The free GraphQL book takes you on a journey to master GraphQL in JavaScript the pragmatic way with React, Node, and Apollo. Grab your free PDF, EPUB, or MOBI and get free updates for new releases. On the road to GraphQL you will learn how to build GraphQL server and client-side applications ...
This is a brief introduction into polynomials. From how to make a polynomial run through your set of points to how to make it into a spline.
A small CSS library to make browser defaults more consistent
Why should we add generics to Go, and what might they look like?
Update: See my follow up post, What should a native DOM templating API look like? .
A good example of a simple looking, but hard to use correctly, API is one which takes two or more parameters of the same type. Let’s compare two function signatures:
It helps, of course, that I still consider many of the people I worked with friends, and I know some of them even still read this blog. (Hi!)
