Topics /
The most popular blog posts about software engineering on Hacker News. 21,817 posts.
Three years, two states, and one pandemic ago, I wrote about a very weird idea: what if the type system could track which data existed before a pure call, to eliminate its memory safety overhead? 0
The official home of the Erlang Programming Language
When someone says “7 is greater than 5”, you declare that they’re really the same.
Counting years backwards unlocks faster speed. The first date algorithm to use only 4 multiplications, instead of 7+
Rocket is a web framework for the Rust programming language that makes it simple to write fast web applications without sacrificing flexibility or type safety.
Full-Text Search is one of those tools people use every day without realizing it. If you ever googled "golang coverage report" or tried to find "indoor wireless camera" on an e-commerce website, you used some kind of full-text search.
How my quest to make a business card sized raytracer got a little out of hand.
In my spare time I’m an emergency services volunteer, and one of the tasks our unit has is to run the radio network and keep track of what’s happening. This can be a pretty stressful job, especially when there’s lots of radio traffic, and it’s not unusual to miss words or entire transmissions. To help with a personal…
This is a post about strong static typing, why I feel strongly about the topic, and some of the ways we utilize the Rust type system at Svix.
Starting today, experimental support for WebAssembly is available in V8 and Chromium behind a flag.
Once upon a time, someone with the handle “entha_saava” posted this question on Hacker News :
Once upon a time, Cisco, Ericsson, Klarna, Goldman Sachs, T-Mobile, WhatsApp, Amazon and many other top companies kept a secret. Erlang was that badly kept secret. Discover more on our blog.
Posted by Carlton Gibson on April 6, 2021
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
We normally think of git merges as having two parent commits. For example, the most recent Linux kernel merge as I write this is commit 2c5d955, which is part of the run-up to release 4.10-rc6. It has two parents:
Discover the new -fanalyzer option coming to GCC 10 that provides a static analysis pass to identify problems at compile-time, rather than at runtime.
This post is the first of many to come on Apache Arrow, pandas, pandas2, and the general trajectory of my work in recent times and into the foreseeable future. This is a bit of a read and overall fairly technical, but if interested I encourage you to take the time to work through it.
Go 1.9 adds type aliases, bit intrinsics, optimizations, and more.
A week ago, I finally got round to implementing an idea I’d been toying with for years: what if your computer made a little bit of noise every time it sent data to Google? From studying logs, I’d long known just how many sites send all your visits and clicks to (at least) Google, but a log that you have to manually…
How to use Python to generate 3D SVG.
New zine: The Pocket Guide to Debugging
By Gremlins, For Gremlins™
Last week, Microsoft published the binary file formats for Office. These formats appear to be almost completely insane. The Excel 97-2003 file format is a 349 page PDF file. But wait, that’s not al…
An overview of the tools and environment Stripe engineers used to write and test code, as of 2019 or so.
