Solving `Passport Application` with Haskell
Using logic programming to beat the game
The latest blog posts to take off on Hacker News. 21,819 posts.
Using logic programming to beat the game
The Trademark Trial and Appeal Board has dismissed our fraud claim against Oracle. We disagree with this decision.
A single-function JSON parser for the POSIX shell.
Or: The Day My Toaster Started Taking Phone Calls
Rust has a very powerful type system, but as a result it has some quirks, some would say cursed expressions. There’s a test file, weird-expr.rs , in the rust repository that tests for some of these and makes sure there consistent between updates. So I wanted to go over each of these and explain how it’s valid rust.
C23 has a new rule for struct, union, and enum compatibility finally appearing in compilers starting with GCC 15, released this past April, and Clang later this year. The same struct defined in different translation units (TU) has always been compatible — essential to how they work. Until this rule change, each such…
Update: See my follow up post, What should a native DOM templating API look like? .
How cubic reduced noisy AI code review comments with reasoning logs, fewer tools, specialized agents, and evaluation before changes reached production.
The most famous quote from Knuth’s paper “Structured Programming with go to Statements” is this: There is no doubt that the grail of efficiency leads to abuse. Programmers waste e…
In early 1982, the Lisa software team was trying to buckle down for the big push to ship the software within the next six months. Some of the managers decided that it would be a good idea to track the progress of each individual engineer in terms of the amount of code that they wrote from week to week. They devised a…
Build and share AI-powered apps directly in Claude. Update: Now available on Team and Enterprise plans. (July 31, 2025) Update: Upload PDFs, images, and more into your artifact.
Free and open source, Gemini CLI brings Gemini directly into developers’ terminals — with unmatched access for individuals.
A conceptual model for thinking about time in programming that encapsulates the complexity that many programmers cite online
How to use uv and the Python inline script metadata proposal PEP 723 to run scripts seamlessly.
Why you should write more toy programs
I noticed about a 10x speed up across a number of projects, we'll avoid using a venv and run things as a non-root user too.
Solving LinkedIn Queens in the LogicT monad
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.
i have gone a little above and beyond trying to get all the features of VSCode
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…
An exploration of the mindset, methods, and motivations behind crafting tiny, expressive shaders that combine code, art, and constraint.
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.
How difficult could it really be?
Exploring the math behind hash collisions.
Despite the hype, Model Context Protocol (MCP) isn’t magic or revolutionary. But, it’s simple, well-timed, and well-executed. At Stainless, we’re betting it’s here to stay.
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…
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.
Documentation and guides from the team at Fly.io.