Propositions as Types (2014) [pdf]
Download PDF
Memory-safe sudo to become the default in Ubuntu
May 6, 2025 – Ubuntu 25.10 is set to adopt sudo-rs by default. Sudo-rs is a memory-safe reimplementation of the widely-used sudo utility, written in the Rust programming language. This move is part of a broader effort by Canonical to improve the resilience and maintainability of core system components. Sudo-rs is developed by the Trifecta […]
Getting things “done” in large tech companies
What does it mean to get things done? In the abstract, you can complete a mathematical proof or a problem set, but the real world is much fuzzier. Suppose I plant a tree in my backyard. Once the sapling is in the ground, is that done? Not really. There’s always more work to do: clearing […]
Inheritance was invented as a performance hack
Inheritance was invented as a performance hack Inheritance was invented by the Simula language as a way to support intrusive lists, save memory, and simplify the garbage collector. It’s well known that inheritance was invented by Simula. The History of Programming Languages session on Simula tells us the motivations behind that invention. Let’s take a […]
NSA spied through Angry Birds, other apps: report (2014)
LONDON — Documents leaked by former NSA contractor Edward Snowden suggest that spy agencies have a powerful ally in Angry Birds and a host of other apps installed on smartphones across the globe. The documents, published Monday by The New York Times, the Guardian, and ProPublica, suggest that the mapping, gaming and social networking apps […]
Show HN: AnuDB– Backed on RocksDB, 279x Faster Than SQLite in Parallel Workloads
AnuDB is a lightweight, serverless document database designed for C++ applications, offering efficient storage of JSON documents through MessagePack serialization. It provides a serverless, schema-less solution for applications requiring flexible data management with robust query capabilities. Since AnuDB written on top of RocksDB, it ensures atomicity, durability and consistency of your documents. You can adjust […]
FTC rule on unfair or deceptive fees to take effect on May 12
Staff of the Federal Trade Commission published Frequently Asked Questions (FAQs) designed to provide consumers and businesses with information regarding the agency’s Rule on Unfair or Deceptive Fees, which takes effect on May 12, 2025. The Rule prohibits bait-and-switch pricing and other tactics used to hide total prices and mislead people about fees in the […]
The Turkish İ Problem and Why You Should Care (2012)
Take a look at the following code. const string input = “interesting”; bool comparison = input.ToUpper() == “INTERESTING”; Console.WriteLine(“These things are equal: ” + comparison); Console.ReadLine(); Let’s imagine that input is actually user input or some value we get from an API. That’s going to print out These things are equal: True right? Right?! Well […]
Hyper – Outperform React on every metric
May 6, 2025 Today I’m releasing Hyper: a simple markup language for building user interfaces. It enables developers (and AI models) to generate complex UIs with amazingly clean syntax. It aims to make frontend development enjoyable. Compare: React vs Hyper Backstory Hyper is the new reactive library for Nue, eventually replacing the current Nue JS […]
Sneakers (1992) – 4K makeover sourced from the original camera negative
4K Ultra HD + Blu-ray Kino Lorber | 1992 | 126 min | Rated PG-13 | Apr 22, 2025 VideoCodec: HEVC / H.265Resolution: Native 4K (2160p)HDR: Dolby Vision, HDR10Aspect ratio: 1.85:1Original aspect ratio: 1.85:1 Audio English: DTS-HD Master Audio 5.1 (48kHz, 24-bit)English: DTS-HD Master Audio 2.0 (48kHz, 24-bit) English: DTS-HD Master Audio 5.1 (48kHz, 24-bit)English: […]