4861
Why CVE-2022-3602 was not detected by fuzz testing
So recently a very hyped memory corruption security vulnerability was discovered in the OpenSSL punycode parser. Some folks including Hanno ...
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,540 posts.
4862
Is software abstraction killing civilization? (2021)
Or: Jonathan Blow is wrong but also right and we still need to prevent the collapse of civilization
4863
The combined power of F# and C#
Where C# is the most dominant language in the .NET world, other languages are built on top of the Framework that deserves their respective place. F# is strong when it comes down to functional programming! In this blog post, we will leverage the power of F# and C# to showcase where both excel!
4864
Parallel ./configure
I paid good money for my 24 CPU cores, but ./configure can only manage to use 69% of one of them. As a result, this random project takes about 13.5× longer to configure the build than it does to actually do the build.
4865
The anatomy of a Godot API call
UPDATE: This article has started an ongoing conversation with the Godot devs. They care about the issues raised, and would like to improve things. Significant improvements will almost certainly be made, although it’s still early days and it’s unclear what will change and by how much. I am encouraged by the response. I…
4866
4867
Request bodies in GET requests
12 years ago I asked on Stack Overflow: Are HTTP GET requests allowed to have request bodies? . This got a 2626 upvotes and a whopping 1.6 million views, so clearly it’s something lots of people are still curious about, and in some cases disagree with the accepted answer.
4868
Filenames and pathnames in shell: How to do it correctly (2020)
This article explains how to correctly handle filenames in Bourne shells (the primary shell of Unix/Linux/POSIX systems), based on the issues discussed in 'Fixing Unix/Linux/Filenames'. Many programs fail to work properly on filenames that include spaces, begin with dash (-), include newlines, and so on, because…
4869
Things that suck in AngularJS
Every once in a while, I find that someone is interested in AngularJS, but not sure if they should stick to their jQuery comfort zone or mak...
4870
Don’t Let Architecture Astronauts Scare You (2001)
When great thinkers think about problems, they start to see patterns. They look at the problem of people sending each other word-processor files, and then they look at the problem of people sending…
4871
So We've Got a Memory Leak
A story of finding, understanding, and fixing a memory leak in our Rails app. With graphs and code!
4872
The God Login
I graduated with a Computer Science minor from the University of Virginia in 1992. The reason it’s a minor and not a major is because to major in CS at UVa you had to go through the Engineering School, and I was absolutely not cut out for that kind
4873
Fsyncgate: Errors on fsync are unrecoverable (2018)
This is an archive of the original "fsyncgate" email thread. This is posted here because I wanted to have a link that would fit on a slide for a talk on file safety with a mobile-friendly non-bloated format .
4874
Test-driven development with an LLM for fun and profit
Welcome to the very first post in a new blog! Here I will discuss software development, SRE work, and other fun stuff. Sometimes an idea is just too good to pass up. I hope this blog will motivate me to turn sparks and little pieces into general knowledge in writing the words down. The other day I was discussing Tabby…
4875
4876
Curl is just the hobby
Jan Gampe took things to the next level by actually making this cross-stitch out of the pattern I previously posted online. The flowers really gave it an extra level of charm I think. As a cross-stitch As a pillow This quote is from a comment by an upset user on my blog, replying to one … Continue reading curl is just…
4877
WTH is happening to Rails? I'll tell you.
I just read the blog post that got some traction on HN last night, entitled “ What the hell is happening to rails? ” It goes on to list a litany of complaints against changes in Rails 3.x, ranging from the default commenting of the catch-all route to, yes, of course, CoffeeScript. They all end up sounding a lot like…
4878
$15 Production Kubernetes Cluster on DigitalOcean
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.
4879
Stapler: I remade a 32 year old classic Macintosh app
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/
4880
Verifying ARM processors against the official ARM specification
Researcher at Intel
4881
A bad citizen in Javaland (2006)
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&#…
4882
The Pragmatic Programmer: 20th Anniversary Edition (2023)
A review of the 20th anniversary edition of The Pragmatic Programmer, updated for modern software development.
4883
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
4884
My first superoptimizer
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.
4885
Texture-Less Text Rendering
How to draw text to a Vulkan renderpass without binding a single texture
4886
4887
Let's create a Tree-sitter grammar
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).
4888
Towards Tactic Metaprogramming in Haskell
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…
4889
How the OCaml type checker works (2022)
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.
4890
A Missing Link in Postgres 11: Fast Column Creation with Defaults
How a seemingly minor enhancement in Postgres 11 fills one of the system’s biggest operational holes.