9781
Bitcoin transaction malleability: looking at the bytes
"Malleability" of Bitcoin transactions has recently become a major issue. This article looks at how transactions are modified, at the byte...
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,544 posts.
9782
The Perfect Voxel Engine
What is it about voxels that makes people go crazy? Throughout the past decade, there have been SO many developers obsessed with shrinking them down to have as many as possible ( 1 , 2 , 3 , 4 , 5 ), admittedly including myself. It’s exciting both as a developer and to the gaming community to see amazing algorithms…
9783
Nix Derivations, Without Guessing
I went on a little low-level Nix adventure yesterday and early this morning because of this excellent blog post. In it, Farid builds up the simplest possible Nix derivation—making a file that has the contents “hello world”. Here’s what I like about it:
9784
Book list for streetfighting computer scientists (2022)
2025 edition. this is very different from most "best books for programmers" lists you'll see, with Code Complete and Clean Code and Wistful Wanking for Practical Wankers and Design Slatterns and titles like that. you'll figure all that out as you go along. these are books to read so that you can cut motherfuckers with…
9785
Functors, Applicatives, and Monads in Plain English
Functors, Applicatives, and Monads in Plain English - This is a no-bullshit zone
9786
Haskell in Production: 12 Months Building ApiEngine
Web development in Haskell is efficient, contorting, rewarding, frustrating and elegant all at the same time. 12 Months building production quality Haskell has taught many lessons, and in this talk we will discuss the amazing, with the downright painful, and hope to provide a glimpse at what it is like building real…
9787
9788
Formalizing CPython
AI agents wrote 613,318 lines of Lean that copy Python's internals, tested every piece against real Python, and turned up 418 bug reports along the way.
9789
One of these JPEGs is not like the other
“JPEG” or the image encoding specification by the “Joint Photographic Experts Group” (JPEG) is a truly universal format at this stage. You really cannot go very far on the internet without seeing a JPEG file. The amount of content encoded in JPEGs must be surely biblical by now. If there is one thing that is going to…
9790
9791
Dependent Types for F#
F# DependentTypes
9792
Unwinding the Stack the Hard Way
Tutorial on how to make a stack trace or backtrace manually unwinding the stack using ELF’s .eh_frame and call frame information (CFI)
9793
9794
9795
List out of Lambda
If you ignore the practical issues of computers like size, weight, cost, heat, and so on, what do you really need in a programming language? Let's play around with this question.
9796
CSS adds vertical centering in 2024
CSS finally adds vertical centering in 2024
9797
9798
Optimizing 128-bit Division
When it comes to hashing, sometimes 64 bit is not enough, for example, because of birthday paradox — the hacker can iterate through random $latex 2^{32}$ entities and it can be proven that wi…
9799
9800
Downloading All of Hacker News Posts and Comments
Shital Shah's personal website and blog. Research Engineer at Microsoft Research with interests in deep learning and reinforcement learning. Created AirSim, TensorWatch, archai, most recently worked on training Phi series of LLM models.
9801
9802
An alternative Haskell home page
The web site has since been through various iterations and changes, therefore I include some screenshots below for posterity (because my design is much more beautiful than what is now online ;-).
9803
Model View Controller isn't
Maybe the most misunderstood design pattern.
9804
A brief introduction to OCaml
A couple of weeks ago I did an introductory presentation on OCaml at our local meetup groups @GotLambda . The material is in the form of one long interactive session, in a style similar to learnxinyminutes.com .
9805
Tracking Java native memory with JDK flight recorder
As regular readers of this blog will now, JDK Flight Recorder (JFR) is one of my favorite tools of the Java platform. This low-overhead event recording engine built into the JVM is invaluable for …
9806
Read “Data and Reality”
Once more: we are not modeling reality, but the way information about reality is processed, by people. — Bill Kent I've got this working theory that you can...
9807
9808
Building a semantic search engine in Rust
If you're interested in building a semantic search engine in Rust, this article will show you how! We'll cover building a basic engine using sentence transformers and a kd-tree.
9809
9810
Jon Bentley's Programming Pearls: 25 years old, still brilliant
To my astonishment, I see that it’s been a whole year since the last installment in the Programming Books series (1, Coders at Work; 2, The Elements of Programming Style; 3, Programming the …