12 17
There should be no Computer Art (1971) (dam.org)4 36
Implementing a Forth (ratfactor.com)6 15
Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (www.belfercenter.org)99 186
EU Commission refuses to disclose authors behind its mass surveillance proposal (old.reddit.com)2 11
The Shape of the Essay Field (paulgraham.com)0 17
Fun with Futex (blog.fredrb.com)26 24
Rsync's defaults are not always enough (rachelbythebay.com)47 37
Stop Over-Thinking AI Subscriptions (steipete.me)2 13
Ubicloud: Open-Source Alternative to AWS (github.com)11 18
The Creepy, Surprisingly Routine Business of Animal Cloning (www.theatlantic.com)21 16
Ask HN: Cloud vs. Edge Computing–Why Choose a Local NAS?0 22
A High-Level View of TLA+ (lamport.azurewebsites.net)81 190
Quarkdown: A modern Markdown-based typesetting system (github.com)10 64
A Complete Guide to Meta Prompting (www.prompthub.us)51 45
Poison Pill: Is the killer behind 1982 Tylenol poisonings still on the loose? (www.trulyadventure.us)27 69
Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)56 86
GUIs are built at least 2.5 times (patricia.no)31 65
The Metamorphosis of Prime Intellect (1994) (localroger.com)3 28
Magic Ink: Information Software and the Graphical Interface (worrydream.com)30 34
Britain's biggest companies are preparing for a third world war (www.telegraph.co.uk)96 141
AI makes the humanities more important, but also weirder (resobscura.substack.com)14 26
Naked billboard that shocked the establishment – blazed a trail in the art world (www.bbc.com)94 72
IT workers struggling in New Zealand's tight job market (www.rnz.co.nz)5 50
Largest punk archive to find new home at MTSU's Center for Popular Music (mtsunews.com)12 13
Apple Appeals EU's March Ruling on 'Interoperability' Requirements Under the DMA (daringfireball.net)26 65
GenAI Is Our Polyester (culture.ghost.io)37 108
How to Store Data on Paper? (www.monperrus.net)28 75
MonsterUI: Python library for building front end UIs quickly in FastHTML apps (www.answer.ai)5
undefined6
undefined77 118
Ask HN: How do I learn practical electronic repair?1 7
The Atari ST, Everyone's Second Favourite 16-Bit Home Computer, Turns 40 (www.timeextension.com)10 44
Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)30
undefined34 81
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (www.mongodb.com)46 213
Japanese scientists develop artificial blood compatible with all blood types (www.tokyoweekender.com)1953 1558
My AI skeptic friends are all nuts (fly.io)59 142
Snowflake to buy Crunchy Data for $250M (www.wsj.com)48 226
Show HN: I build one absurd web project every month (absurd.website)195 144
Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)250 111
Can I stop drone delivery companies flying over my property? (www.rte.ie)5 77
Decorative Text Within HTML (shkspr.mobi)24 118
CVE 2025 31200 (blog.noahhw.dev)149 122
The Unreliability of LLMs and What Lies Ahead (verissimo.substack.com)71 68
Disaster awaits if we don't secure IoT now (spectrum.ieee.org)3 28
Jemalloc Repositories Are Archived (github.com)6 28
Taurine Revisited (www.science.org)27 54
Arcol simplifies building design with browser-based modeling (www.arcol.io)110 114
Younger generations less likely to have dementia, study suggests (www.theguardian.com)33 57
War and Wilderness: British Soldiers in Revolutionary America (www.historytoday.com)299 118
Ask HN: Who wants to be hired? (June 2025)317 313
Ask HN: Who is hiring? (June 2025)71 142
Show HN: Penny-1.7B Irish Penny Journal style transfer (huggingface.co)1 42
Mesh Edge Construction (maxliani.wordpress.com)69 227
Show HN: A toy version of Wireshark (student project) (github.com)6 49
Intelligent Agent Technology: Open Sesame! (1993) (blog.gingerbeardman.com)14 50
Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)40 131
ThorVG: Super Lightweight Vector Graphics Engine (www.thorvg.org)379 607
Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com)1 35
A Hidden Weakness (serge-sans-paille.github.io)5 10
IE6, AI, and the future of browsing the Web (agenticweb.substack.com)59 44
Bohemians at the Gate? (inferencemagazine.substack.com)42 77
After 25 Years, Linux Format Magazine Is No More (www.omgubuntu.co.uk)9 31
Google DMARC Policy Changes?88 343
Ask HN: How do I learn robotics in 2025?100 51
Ask HN: What do you spend your money on?26 75
The Atomic Airplane (whatisnuclear.com)6 33
Our production Ruby on Rails stack (attendlist.com)53 51
Show HN: Fast Random Library for C++17 (github.com)55 58
Cuss: Map of profane words to a rating of sureness (github.com)12 67
Beyond the Black Box: Interpretability of LLMs in Finance (arxiv.org)289 153
Whatever happened to cheap eReaders? (shkspr.mobi)1 9
Pianocorder (2022) (www.pianocorder.info)194 422
Show HN: Kan.bn – An open-source alterative to Trello (github.com)120 109
TradeExpert, a trading framework that employs Mixture of Expert LLMs (arxiv.org)1 28
Awesome-ArXiv: curated tools for discovering and working with ArXiv papers (github.com)124 76
Computer science has one of the highest unemployment rates (www.newsweek.com)46 142
EasyTier – P2P mesh VPN written in Rust using Tokio (easytier.cn)27 96
ReasoningGym: Reasoning Environments for RL with Verifiable Rewards (arxiv.org)4 15
Understanding Consistency in Databases: Beyond the Basics (medium.com)2 55
Yet another tmux cheat sheet (tmuxai.dev)12 45
Show HN: System Prompt Learning – LLMs Learn Problem-Solving from Experience339 782
If you are useful, it doesn't mean you are valued (betterthanrandom.substack.com)13 47
Show HN: I built an AI Agent that uses the iPhone (github.com)12 35
Hip: C++ Heterogeneous-Compute Interface for Portability (github.com)45 23
AI-first – We're just 6 months away from AGI (revontulet.dev)45 74
A man who sailed round the world with a chicken (2019) (www.theguardian.com)53 54
Is It JavaScript? (blog.jim-nielsen.com)16 25
Rethinking PostgreSQL Storage (www.ubicloud.com)11 27
Revisiting Loop Recognition in C++ in Rust (blomqu.ist)85 60
Euro execs mull use of US clouds (www.theregister.com)102 32
0.9999 ≊ 1 (lcamtuf.substack.com)42 117
How reliable are MicroSD cards? (old.reddit.com)35 68
In POSIX, you can theoretically use inode zero (utcc.utoronto.ca)121 86
Is “The Phoenician Scheme” Wes Anderson's Most Emotional Film? (www.newyorker.com)12 21
Rolldown-Vite: a Rust-Rewrite of Rollup (voidzero.dev)46 42
Gabon longs to cash in on sacred hallucinogenic remedy (phys.org)235 579
How to post when no one is reading (www.jeetmehta.com)14 72
LFSR CPU Running Forth (github.com)153 243
The rise of judgement over technical skill (notsocommonthoughts.com)19 70
Show HN: Agno – A full-stack framework for building Multi-Agent Systems (github.com)6 39
The Zach Attack Scratch 'N Solve Puzzle Pack (coincidence.games)34 61
Show HN: MBCompass – Android Compass App (github.com)44 62
How can AI researchers save energy? By going backward (www.quantamagazine.org)67 74
Writing your own C++ standard library part 2 (nibblestew.blogspot.com)15 65
Show HN: Moon Phase Algorithms for C, Lua, Awk, JavaScript, etc. (github.com)15 58
TPDE: A Fast Adaptable Compiler Back-End Framework (arxiv.org)1 7
Exponential Functions and Euler's Formula (www.deaneyang.com)4 12
Not Everything Is on the Internet (2024) (www.bruh.ltd)11 20
Silicon Valley wants to help me make a superbaby (sfstandard.com)136 339
I made a chair (milofultz.com)37 137
The Princeton INTERCAL Compiler's source code (esoteric.codes)22 13
I Miss My Fan Regulator (rishikeshs.com)0 7
Ru and W isotope systematics in ocean island basalts reveals core leakage (www.nature.com)48 157
HeidiSQL Available Also for Linux (www.heidisql.com)66 133
What works (and doesn't) selling formal methods (www.galois.com)