- 121How Gödel's Proof Works (2020) (quantamagazine.org)
by tzury 5 days ago | 64 comments - 10US tech stock correction likely, warn ECB economists (ft.com)
by aanet 11 hours ago | 1 comments - 280The federal keyword lists that canceled billions in research funding (highereddive.com)
by walrus01 a day ago | 184 comments - 172Pixel Watch 5 (blog.google)
by ortusdux 6 days ago | 396 comments - 679Delta (zed.dev)
by khy 6 days ago | 258 comments - 63GitHub Has an Availability Problem. Is It Time to Look Elsewhere? (dhruv2038.bearblog.dev)
by dhruv3006 16 hours ago | 31 comments - 226I turned my RSS feeds into an e-ink newspaper to stop reading on my phone (heyjonny.dev)
by speckx 4 days ago | 100 comments - 190Thanks to social media, canned sardines are a scarcity on the supermarket shelf (corneroffifth.studio)
by carabiner 5 days ago | 325 comments - 5There's a Libcurl.dll in My System32 (daniel.haxx.se)
by chmaynard 11 hours ago | discuss - 121Every fucking website: 2026 edition (op.tngl.io)
by nerdypepper 4 days ago | 33 comments - 6Elon Musk's GitHub alternative couldn't have arrived at a worse time for GitHub (neowin.net)
by bundie 5 hours ago | 1 comments - 429Choose Boring Technology (2015) (mcfunley.com)
by tosh 5 days ago | 245 comments - 78Ruby 4.0 Universal RCE Deserialization Gadget Chain (elttam.com)
by pentestercrab 4 days ago | 22 comments - 378Hello, me. It's been a while (themech.net)
by somesoftdev 5 days ago | 203 comments - 7USS Benfold Stalled and Lost Power in the South China Sea for Four Days (news.usni.org)
by Gaishan 6 hours ago | discuss - 165Lovable raises $400M Series C (lovable.dev)
by thoughtpeddler 6 days ago | 202 comments - 11The risk of weather data sabotage is rising (technologyreview.com)
by jonbaer 17 hours ago | discuss - 105Show HN: LuaCAD – Parametric CAD Scripted in Lua (luacad.ad-si.com)
by adius 4 days ago | 25 comments - 79Show HN: Silent Shark – tactical map-based WWII submarine sim (silentshark.app)
by epaga 6 days ago | 38 comments - 54Show HN: Deltix – AI Driven Testing (app.deltix.ai)
by oneounceman 3 days ago | 12 comments - 94Printytron – Describe a part, get a printable STL (printytron.com)
by statenjason 3 days ago | 48 comments - 12Show HN: Flynt.js – 2.2kb, zero-build, CSP-safe reactivity library for MPAs (github.com)
by bosmarcel 2 days ago | 1 comments - 34Design 3D-printable parts by talking (nurb.dev)
by mkmk 4 days ago | 13 comments - 25Why I've tracked every single piece of clothing I've worn for three years (reaktor.com)
by geneticdrifts 3 days ago | 11 comments - 5122026 Eclipse Webcams (jonty.github.io)
by zoenolan 6 days ago | 143 comments - 176The TEMU-Fication of Software, Digital Goods and Services (xn--gckvb8fzb.com)
by surprisetalk 4 days ago | 134 comments - 58HashAgent – Share an AI agent as a URL, runs locally via WebGPU (hashagent.pages.dev)
by masonhsu 4 days ago | 7 comments - 279Donkey.bas is 45 Years Old – 131 line of Glory (donkeybas.com)
by jkrauska 5 days ago | 147 comments - 4Trillion-Parameter Sequential Transducers for Generative Recommendations (2024) (arxiv.org)
by peter_d_sherman a day ago | discuss - 74Bede Liu, a digital signal processing pioneer, has died (spectrum.ieee.org)
by Jimmc414 2 days ago | 4 comments