Lil’ Fun Langs

lil’-fun-langs

LOC Host HM ADTs Match Cl. Target Hirrolot’s CoC src ~70 OCaml ✗ ✗ ✗ ✓ Interpreter Harrop MiniML src ~100 OCaml ✗ ✗ ✗ ✗ LLVM → native Algorithm W src ~300 Haskell ✓ ✗ ✗ ✗ Type checker only tomprimozic/type-systems src ~300 OCaml ✓ ✗ ✗ ✗ Type checker only THIH src ~429 […]

No Skill. No Taste

Ironic image generated with nano banana to showcase my point.  I was reading a thread on HN and I started writing this super long comment and rewriting and editing and thought, hey, if I’m doing this I clearly care enough about the state of Show HN and HN in general to write a post on […]

Trump’s global tariffs struck down by US Supreme Court

trump’s-global-tariffs-struck-down-by-us-supreme-court

Daniel BushWashington Correspondent The Supreme Court’s tariff ruling today dealt Donald Trump a major setback on one of his signature economic issues. But it doesn’t mean Trump’s trade agenda will suddenly disappear overnight. The Court ruled that the US president does not have the authority to levy sweeping global tariffs on any country, for any […]

Child’s Play: Tech’s new generation and the end of thinking

child’s-play:-tech’s-new-generation-and-the-end-of-thinking

[Letter from San Francisco] Child’s Play Tech’s new generation and the end of thinking by Sam Kriss, Illustration by Max Guther The first sign that something in San Francisco had gone very badly wrong was the signs. In New York, all the advertising on the streets and on the subway assumes that you, the person […]

“Playmakers,” reviewed: The race to give every child a toy

“playmakers,”-reviewed:-the-race-to-give-every-child-a-toy

Books The Race to Give Every Child a Toy For most of history, parents couldn’t buy their kids dolls, action figures, or the like. Then playtime became big business. By Alexandra Schwartz February 9, 2026 “Playmakers” studies the Jewish Americans who helped remake what childhood looks like.Illustration by Joost Swarte Save this storySave this story […]

I found a useful Git one liner buried in leaked CIA developer docs

i-found-a-useful-git-one-liner-buried-in-leaked-cia-developer-docs

20 Feb 2026 In 2017, WikiLeaks published Vault7 – a large cache of CIA hacking tools and internal documents. Buried among the exploits and surveillance tools was something far more mundane: a page of internal developer documentation with git tips and tricks. Most of it is fairly standard stuff, amending commits, stashing changes, using bisect. […]

Show HN: A native macOS client for Hacker News, built with SwiftUI

show-hn:-a-native-macos-client-for-hacker-news,-built-with-swiftui

A native macOS client for Hacker News, built with SwiftUI. Screenshots Browse top, new, best, ask, show, and job stories Read articles with built-in web view Ad blocking and pop-up blocking Comment threads with collapsible replies HN account login and session management Automatic updates via Sparkle Native macOS look and feel Download the latest DMG […]

What is f(x) ≤ g(x) + O(1)? Inequalities With Asymptotics

Recently I came across asympotic inequalities of the form $f(x) le g(x) + O(1)$ in Li and Vitanyi’s An Introduction to Kolmogorov Complexity and Its Applications, where this notion is used to discuss bounds on the complexity of strings. In this post I give a brief definition of what this notation means and how it […]

Ggml.ai joins Hugging Face to ensure the long-term progress of Local AI

ggml.ai-joins-hugging-face-to-ensure-the-long-term-progress-of-local-ai

{{ message }} 👍 1 reacted with thumbs up emoji 👎 1 reacted with thumbs down emoji 😄 1 reacted with laugh emoji 🎉 1 reacted with hooray emoji 😕 1 reacted with confused emoji ❤️ 1 reacted with heart emoji 🚀 1 reacted with rocket emoji 👀 1 reacted with eyes emoji You can’t […]