Alonzo Church: Architect of computer intelligence
The man who gave us the solution to the Entscheidungsproblem
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 3,433 posts.
The man who gave us the solution to the Entscheidungsproblem
A data scientist’s perspective
I have been tinkering with the vanilla source code of Wolfenstein 3D from 1992. Even though it is more than 20 years old and has rotten for modern systems, you can still compile it if you recreate the environment. All you need is :
A new paper from Google Research describing custom syntax for analytical SQL queries that has been rolling out inside Google since February, reaching 1,600 "seven-day-active users" by August 2024. A …
An in-depth analysis that explains how this console works internally
Tip: In complex software modernization projects treat estimates as guidelines, not deadlines.
If you have discipline to throw away your first idea, draft, throwaway PRs often drives more progress than a design doc.
The nonprofit organization that supports the Firefox web browser said today it is winding down its new partnership with Onerep , an identity protection service recently bundled with Firefox that offers to remove users from hundreds of people-search sites. The move comes just days after a report by KrebsOnSecurity…
A fresh look at the CSS grid template areas and how to take advantage of its full potential today.
How I run a software book club
A story about data and a very foolish hobby
Learn how to spot the difference between and expert and an imitator with 5 key tells.
Last week I wanted to replace my OpenVPN setup with WireGuard. The basics were well-documented, going beyond the basics was a bit trickier. Let me teach you want I learned. The basics But first, let’s summarize the basics. I have a server with a hosting provider that I want to use as a VPN server. I won’t delve into…
If you have a project, an idea, a product feature, or anything else that you want other people to understand and have conversations about... give them something to link to! …
The English spelling system is such a pain, we’d might as well switch to hanzi — Chinese characters. How should we go about it?
OpenAI is to this decade’s generative-AI revolution what Netscape was to the 1990s’ internet revolution.
This post shares the story of Pedro David Garcia Lopez, a Ruby and Rails developer based in UK, who used to be a Lorry driver.
It has been three days. The room is cold and dark, but your screens are blinding. You feel disoriented as you come in and out of dissociative episodes. Now and again, you laugh, to no accompaniment. Why are you here? Was this your fault?
There was a time when software (and games! Games are just software for fun!) were distributed on DVD. A physical disk that you would insert into your system ...
This summer, I embarked on a side project to create a brand-new Palm OS game, and after less than two months of intermittent coding, I'm excited to announce that it's ready to be released to the public!
On large platforms, it's impossible to have policies on things like moderation, spam, fraud, and sexual content that people agree on. David Turner made a simple game to illustrate how difficult this is even in a trivial case, No Vehicles in the Park . If you haven't played it yet, I recommend playing it now before…
This is my personal blog, where I write solely in my personal capacity. It does not represent the positions of any organisations I'm associated with.
At work, we really like the basic simple idea of Htmx. Based on using Htmx in a non-trivial user interface, across a team, we’ve found that the following cases are actually not simple and are quite complicated.
Great success brings with it great expectations. And sometimes it brings an identity crisis as well.
LLMs don’t make chips better. Good engineers do.
The emerging golden age of home-cooked software, barefoot developers, and why the local-first community should help build it