0 3
Writing that changed how I think about PL (bernsteinbear.com)1 10
Show HN: Mycelium (github.com)42 92
Bus stops here: Shanghai lets riders design their own routes (www.sixthtone.com)1 12
ChatGPT may be polite, but it's not cooperating with you (www.theguardian.com)5 62
RPG in a Box (rpginabox.com)7 29
Mipmap selection in too much detail (pema.dev)30 29
How “The Great Gatsby” took over high school (www.newyorker.com)4 32
Replicube: A puzzle game about writing code to create shapes (store.steampowered.com)151 172
I failed a take-home assignment from Kagi Search (bloggeroo.dev)43 64
Show HN: I’ve built an IoT device to let my family know when I’m in a meeting (nullonerror.org)51 65
DeepSeek’s founder is threatening US dominance in AI race (www.bloomberg.com)191 119
Airbnb is in midlife crisis mode (www.wired.com)0 20
A visual history of the safety pin (museumofeverydaylife.org)33 22
Less meat is nearly always better than sustainable meat (ourworldindata.org)40 103
Fingers wrinkle the same way every time they’re in the water too long (www.binghamton.edu)1 17
Map of Palaeohispanic Coins and Inscriptions (hesperia.ucm.es)2 31
When graphic design saves lives (news.harvard.edu)0 35
A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)125 167
Flattening Rust’s learning curve (corrode.dev)39 34
How (memory) safe is Zig? (2021) (www.scattered-thoughts.net)55 164
Type-constrained code generation with language models (arxiv.org)39 119
Y Combinator says Google is a monopolist, no comment about its OpenAI ties (techcrunch.com)162 61
Coffee for people who don't like coffee (ostwilkens.se)13 27
Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (www.cs.drexel.edu)7 46
Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)8 63
Garbage collection of object storage at scale (www.warpstream.com)285 140
Starcloud (www.ycombinator.com)18 114
Build real-time knowledge graph for documents with LLM (cocoindex.io)14 13
The Battle to Bottle Palm Wine (2021) (www.atlasobscura.com)107 170
Dusk OS (duskos.org)10 39
Turritopsis dohrnii: Immortal jellyfish (www.nhm.ac.uk)102 52
Android and Wear OS are getting a redesign (blog.google)25 15
Programmers Will Be Replaced by People with Ideas (www.cleverthinkingsoftware.com)4 45
FCC threatens EchoStar licenses for spectrum that SpaceX wants to use (arstechnica.com)88 130
Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (www.space.com)65 40
Ask HN: How do you store the knowledge gained in a day?12
undefined325 246
Why are banks still getting authentication so wrong? (jamal.haba.sh)15 82
OpenTelemetry protocol with Apache Arrow (opentelemetry.io)55 92
Don't unwrap options: There are better ways (2024) (corrode.dev)7 35
Mill as a direct style build tool (mill-build.org)13 39
PyPI Organizations (2023) (blog.pypi.org)324 315
The great displacement is already well underway? (shawnfromportland.substack.com)7 57
TheForger's Win32 API Tutorial (winprog.org)7 32
Chrome's New Embedding Model: Smaller, Faster, Same Quality (dejan.ai)64 149
Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com)5 23
Show HN: AG-UI Protocol – Bring Agents into Frontend Applications (github.com)26 51
Sid Meier's Colonization (peyre.42web.io)118 107
GOP sneaks decade-long AI regulation ban into spending bill (arstechnica.com)22
undefined30 18
GM says new battery chemistry will enable 400-mile range EVs (www.theverge.com)21 34
Fewer people want to work in the U.S. (www.axios.com)133 354
Branch Privilege Injection: Exploiting branch predictor race conditions (comsec.ethz.ch)56 151
It Awaits Your Experiments (www.rifters.com)14 45
A Taxonomy of Bugs (ruby0x1.github.io)163 95
OpenAI's Stargate project struggling to get off the ground, due to tariffs (techcrunch.com)36 131
Membrane: Media Framework for Elixir (membrane.stream)66 113
Show HN: Basecoat – shadcn/UI components, no React required17 14
Tariffs Drive Honda to Move SUV Production from Canada to U.S. (www.nytimes.com)151 255
PDF to Text, a challenging problem (www.marginalia.nu)10 15
Understanding Java's Asynchronous Journey (amritpandey.io)14 38
Detecting if an expression is constant in C (nrk.neocities.org)3 20
Coinbase joins the S&P 500, another summit scaled on towards economic freedom (www.coinbase.com)75 53
Remote workers more likely to start their own business (www.theregister.com)215 270
Google is building its own DeX: First look at Android's Desktop Mode (www.androidauthority.com)42 114
As US vuln-tracking falters, EU enters with its own security bug database (www.theregister.com)265 223
Why I'm resigning from the National Science Foundation (time.com)1 21
Ada in China (1994) (dl.acm.org)56 52
We can no longer run Microsoft Store on 1809/LTSC 2019 (github.com)189 302
In a high-stress work environment, prioritize relationships (wqtz.bearblog.dev)2 16
FlyLoop – AI Agent for Scheduling Meetings and Managing Your Calendar95 171
Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses32 127
I learned Snobol and then wrote a toy Forth (ratfactor.com)36 83
How the United States Gave Up Being a Science Superpower (steveblank.com)7
undefined101 90
AI Is Like a Crappy Consultant (lukekanies.com)68 43
Why the Poor Vote for the Right (and Stop Demanding More Equality) (www.unibocconi.it)27 83
Show HN: A5 (github.com)87 90
One hundred and one rules of effective living (mitchhorowitz.substack.com)89 47
Conspiracy theorists can be deprogrammed (nautil.us)593 641
The world could run on older hardware if software optimization was a priority (twitter.com)218 363
Multiple security issues in GNU Screen (www.openwall.com)44 129
Why are coffee stains darker at the edges? (www.why.is)5 14
Show HN: Why hanging out on Hacker News is a good use of your time? (www.parliant.ai)163 249
Nextcloud cries foul over Google Play Store app rejection (www.theregister.com)8 32
The Microsoft unit working to thwart hackers (www.bloomberg.com)2 8
Low-intensity transcranial focused ultrasound amygdala neuromodulation (www.nature.com)0 4
We Fixed 2k+ Security Issues (2023) (www.sudhishkr.com)311 482
Ask HN: How are you acquiring your first hundred users?191 175
Odin: A programming language made for me (zylinski.se)43 83
Trial by Fire: The crash of Aeroflot flight 1492 (admiralcloudberg.medium.com)52 116
Anti-Personnel Computing (2023) (erratique.ch)35 48
Iceland approved 4-day workweek in 2019; six years later, predictions came true (farmingdale-observer.com)2 13
Offline vs. online ML pipelines (decodingml.substack.com)42 49
Alephic Writing Style Guide (www.alephic.com)94 83
Persuasion methods for engineering managers (newsletter.manager.dev)8 16
ChatGPT Blows Mapmaking 101 (garymarcus.substack.com)57 76
Twitch star HasanAbi says he was detained, questioned by border agents (www.washingtonpost.com)53 42
Texas Senate passes bill requiring solar plants to provide power at night (thehill.com)18 69
Revisiting Image Maps (css-tricks.com)434 790
Mozilla Firefox – Official GitHub repo (github.com)3 9
System lets robots identify an object's properties through handling (news.mit.edu)31 117
TransMLA: Multi-head latent attention is all you need (arxiv.org)54 38
Why the 737 MAX has been such a headache for Boeing (www.jalopnik.com)25 138
15 Years of Shader Minification (www.ctrl-alt-test.fr)2 5
I developed an AI clothing-changing tool. Would you like to take a look? (www.aioutfitgen.com)32 263
Open Hardware Ethernet Switch project, part 1 (serd.es)8 45
Policy of Transience (www.chiark.greenend.org.uk)72 353
FastVLM: Efficient vision encoding for vision language models (github.com)81 110
How to avoid P hacking (www.nature.com)61 91
FedRAMP 20x – One Month in and Moving Fast (www.fedramp.gov)44 76
Has anyone coined the term “fast tech” yet? (chaos.social)