10831
It's not enough for a program to work – it has to work for the right reasons
Successful software is buggy software.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,545 posts.
10832
10833
10834
Highly efficient matrix transpose in Mojo
In this blogpost I will step by step show you how to implement a highly efficient transpose kernel for the Hopper architecture using Mojo. The best kernel a...
10835
Shared Libraries as Executables
Typically you either have an executable or a shared library, but can you have an executable shared library too?
10836
What part of Rust compilation is the bottleneck?
Rust compilation times is an ongoing topic that generates many discussions online1. Most people don’t really care about what exactly takes time when compiling Rust program; they just want it to be faster in general. But sometimes, you can see people pointing fingers at specific culprits, like LLVM or the borrow…
10837
Rust for C++ programmers – part 2: control flow
If The `if` statement is pretty much the same in Rust as C++. One difference is that the braces are mandatory, but brackets around the ...
10838
Comic Code: Monospaced interpretation of the most over-hated typeface
Name: Comic Code, Comic Code Ligatures Type: Retail typeface Publisher: Tabular Type Foundry Release year: 2019 Purchase links: I Love Typography (both)
10839
Now is the best time to write code by hand
As more engineers use the irresistible LLMs their skills atrophy, practicing will make you special.
10840
In-Memory Filesystems in Rust
I’ve been working on a CLI tool recently, and one of the things it does is manage files on disk. I have written a lot of file management tests for Bundler, and the two biggest reasons that the Bundler test suite is slow are exec and fstat. Knowing that, I thought I would try to get out ahead of the slow file stat…
10841
10842
AVX-512: First Impressions on Performance and Programmability
A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.
10843
10844
Size visualization of Go executables using D3
Note The latest version of this document can be found online at https://dr-knz.net/go-executable-size-visualization-with-d3.html. Alternate formats: Source, PDF. Note Erratum (2019-04-02): The increase in binary size from CockroachDB v1.0 to v19.2 is 94%/125%, not 194%/225% as initially written. The increase in source…
10845
10846
Practical Libc-free threading on Linux
Suppose you’re not using a C runtime on Linux, and instead you’re programming against its system call API. It’s long-term and stable after all. Memory management and buffered I/O are easily solved, but a lot of software benefits from concurrency. It would be nice to also have thread spawning capability. This article…
10847
Techniques for safe garbage collection in Rust
This will be the first in a series of posts describing different design decisions made writing two Rust crates:
10848
10849
A New Development for Coverity and Heartbleed
Byte swapping does not necessarily imply the data comes from an external source. For example, when writing graphics code, you sometimes need to do byte swapping if you’re converting between 24-bit RGB and BGR image formats (Windows’ GDI famously uses BGR so this is one place where you need to do such conversions)…
10850
XFCE 4.20 Released
After almost two years of work, we are happy to announce the release of Xfce 4.20.
10851
One Line of Code That Compromises Your Server
Demonstrating how a weak session secret can allow an attacker to take control of a server
10852
10853
10854
The plumber programmer
I called someone a plumber programmer the other day. The person I was speaking to didn't realize that "plumber programmer" is a term of great respect. The plumber is often the most experienced programmer on a team. As with literal plumbing, software plumbing connects things together. It deals with things other people…
10855
10856
A retrospective on Requests
After writing my thoughts on github3.py down here, someone was asking about Python libraries that people recommend new Python developers read for learning how to structure code and use the packaging systems. My initial reaction was "Don't listen to folks that tell you to read python-requests as a good example." When…
10857
10858
Finding Goroutine Bugs with TLA+
My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study…
10859
/usr/bin/env -S uv run
This is a really neat pattern. Start your Python script like this: #!/usr/bin/env -S uv run # /// script # requires-python = ">=3.12" # dependencies = [ # "flask==3.*", # …
10860