HumanLayer (YC F24) Is Hiring Founding Engineers
At HumanLayer, we’re on a mission to change how teams build software with AI. If we had a motto it would be “no vibes allowed” – we believe that AI agent-enabled coding is a deeply technical engineering craft, and we’re building CodeLayer to unlock it at scale. A Stanford study from June 2025 said AI […]
Dark Mode Sucks
The fetish modern Internet users have with “dark mode” has to stop, as does the rhetoric they typically use to advance their arguments, stuff like: blasts my eyeballs with full-beam daylight. or Every time I open it, I physically recoil like a Victorian child seeing electricity for the first time. or My retinas and I […]
Calculus for Mathematicians, Computer Scientists, and Physicists [pdf]
Download PDF
Raycast for Windows Is Here
You know the feeling. Search that can’t find your files. Apps buried in menus. Simple tasks that take too many clicks. Your computer should be faster than this. It should feel like everything is at your fingertips. That’s why we built Raycast. For the past five and a half years, hundreds of thousands of people […]
Mount Proton Drive on Linux using rclone and systemd
This guide automates the process of mounting Proton Drive on a Linux system using rclone and systemd. Tested on Arch Linux, but should work on most Linux distributions with minor adjustments. 🔧 Features Mounts Proton Drive at login via systemd –user Uses rclone with –vfs-cache-mode writes for compatibility Enables background service with logging Adds FUSE […]
Court filings allege Meta downplayed risks to children and misled the public
Sex trafficking on Meta platforms was both difficult to report and widely tolerated, according to a court filing unsealed Friday. In a plaintiffs’ brief filed as part of a major lawsuit against four social media companies, Instagram’s former head of safety and well-being Vaishnavi Jayakumar testified that when she joined Meta in 2020 she was […]
UK minister ducks cost questions on nationwide digital ID scheme
A UK tech minister has declined to put a figure on the cost of the government’s digital ID plans as MPs question the contributions expected from central departments. Speaking to a House of Commons select committee this week, minister for digital government and data Ian Murray defended the government’s decision not to publish budgeted costs […]
Editing Code in Emacs
2025_11_23_emacs_for_code_editing When you write code, you want to focus on the code, not on the text of the code. This means a) you have to have a good text editing setup, and b) you need to have a muscle-memory level instinct for using that setup. The second comes with practice and with consistency (i.e. not changing […]
Racket v9.0
posted by Stephen De Gabrielle and John Clements We are pleased to announce Racket v9.0 is now available from https://download.racket-lang.org/. Racket 9.0 is here! A major release is always exciting and Racket 9.0 is no exception in that it introduces Parallel Threads. While Racket has had green threads for some time, and supports parallelism via […]
Signal knows who you’re talking to
Or, at the very least, they can. Recently I got a friend to finally join me on Signal. He asked something about whether or not Signal is truly secure and private, like if it was safe from US government surveillance. I told him: “Well, it’s end-to-end encrypted, so they don’t know what we’re talking about, […]