1681
Solving LinkedIn Queens Using Haskell
Solving LinkedIn Queens in the LogicT monad
New
The latest blog posts to take off on Hacker News. 14,538 posts.
1682
I Switched from Flutter and Rust to Rust and Egui
This is just a personal experience, there are no absolute truths. Like in any other blog post, a lot of the things you'll read here could be just a skill issue, or legitimate issues. It's up to you to decide.
1683
How I use my terminal
i have gone a little above and beyond trying to get all the features of VSCode
1684
Making TRAMP faster
I recently changed jobs and found myself in a position where I would need to do a lot of work on remote machines. Since I am Emacs user, the most common way to do this is using TRAMP (Transparent Remote access, Multiple Protcol). TRAMP is an Emacs package that let’s you treat a remote host like a local system, similar…
1685
I wrote my PhD Thesis in Typst
I recently submitted my PhD thesis , and while waiting for the physical copies to get printed I thought I’d write about something you (hopefully) wouldn’t notice when reading it. I wrote it in Typst, not LaTeX. In this post I will talk a bit about what went well and what didn’t.
1686
Writing a basic Linux device driver when you know nothing about Linux drivers
How difficult could it really be?
1687
The probability of a hash collision (2022)
Exploring the math behind hash collisions.
1688
1689
Learn you Galois fields for great good (2023)
This is the introduction to a series on Abstract Algebra. In particular, our focus will be on Galois Fields (also known as Finite Fields) and their applications in Computer Science. This is a project I've been excited about for many years now, but have been too busy to dedicate the adequate effort to meet my…
1690
Python can run Mojo now
Chris Lattner mentioned that Python can actually call Mojo code now. I love this idea (!) as I'm definitely in the market for a simple compiled language that can offer Python some really fast functions.
1691
Minimal Boolean Formulas (2011)
28 . That's the minimum number of AND or OR operators you need in order to write any Boolean function of five variables. Alex Healy and I computed that in April 2010. Until then, I believe no one had ever known that little fact. This post describes how we computed it and how we almost got scooped by Knuth's Volume 4A…
1692
JavaScript broke the web (and called it progress)
We replaced simple websites with complex apps nobody asked for. Now it takes a complex build pipeline just to change a headline.
1693
Homegrown Closures for Uxn
For a week or so now, I've been writing niënor , a "lispy environment for uxn" . I did not want it to become a full-blown lisp but just another way of writing uxntal . Uxntal is a bit too dense for my liking, and I prefer lisp/scheme s-expression syntax. Niënor is just a compiler and a macroexpander that takes in…
1694
What would a Kubernetes 2.0 look like
As we approach the 10 year anniversary of the 1.0 release of Kubernetes, let's take stock of the successes and failures of the project in the wild. Also what would be on a wish list for a Kubernetes 2.0 release.
1695
The unreasonable effectiveness of fuzzing for porting programs
A simple strategy of having LLMs write fuzz tests and build up a port in topological order seems effective at automating porting from C to Rust.
1696
Homomorphically Encrypting CRDTs
Homomorphic encryption allows a computer to run programs on encrypted data. Learn how homomorphic encryption works through interactive examples, build a homomorphically encrypted CRDT and see whether it has promise for local-first software.
1697
Claude Code feels like magic because it is iterative
Personal blog of Omar Abid
1698
The Humble Programmer (1972)
As a result of a long sequence of coincidences I entered the programming profession officially on the first spring morning of 1952 and as far as I have been able to trace, I was the first Dutchman to do so in my country. In retrospect the most amazing thing was the slowness with which, at least in my part of the…
1699
Generative AI coding tools and agents do not work for me
People keep asking me If I use Generative AI tools for coding and what I think of them, so this is my effort to put my thoughts in writing, so that I can send people here instead of having to repeat…
1700
1701
Jokes and Humour in the Public Android API
Previously I have covered a relatively obscure now-removed placeholder string in Android that doubles as an easter egg, the fictitious carrier by the name of El Telco Loco. But this time it is about methods and other parts of the publicly facing Android API that may generally be more humourous than they are useful…
1702
Writing Toy Software Is a Joy
Why you should write more toy programs
1703
Simplest C++ Callback, from SumatraPDF
C++ implementation of the simplest callback
1704
Datalog in miniKanren
A browser with Wasm GC and tail call support is required for this demo. We recommend using either Mozilla Firefox or Google Chrome.
1705
I Wrote a Compiler
I have a Computer Science degree. I attended a whole course of lectures on compilers (and have a certain fondness for “the red dragon book” as a result). However, I had never actually written a compiler from start to finish until a rainy day last weekend.
1706
The Art of Lisp and Writing (2003)
Lisp is the language of loveliness. With it a great programmer can make a beautiful, operating thing, a thing organically created and formed through the interaction of a programmer/artist and a medium of expression that happens to execute on a computer.
1707
Q-learning is not yet scalable
Over the past few years, we've seen that next-token prediction scales, denoising diffusion scales, contrastive learning scales, and so on, all the way to the point where we can train models with billions of parameters with a scalable objective that can eat up as much data as we can throw at it. Then, what about…
1708
Occurences of swearing in the Linux kernel source code over time
How many times are words, names or functions found in the Linux kernel source code? Browse an example or write your own comma-separated list to find out! You can use * for wildcards, foo|bar for sums, and a word is defined as \<[[:alnum:]_]+\> (ignoring case, considering accents).
1709
Meta-analysis of three different notions of software complexity
Discussion on notions of software complexity as defined by Rich Hickey, John Ousterhout and Zach Tellman.
1710
SIMD-friendly algorithms for substring searching (2016)
Popular programming languages provide methods or functions which locate a substring in a given string. In C it is the function strstr , the C++ class std::string has the method find , Python's string has methods pos and index , and so on, so forth. All these APIs were designed for one-shot searches . During past…