news
ArXiv receives multiyear commitments to support it as an independent nonprofit
311 pointsposted 5 days ago
by JohnHammersleyOpenAI is well positioned to fast-follow Jev
328 pointsposted 6 days ago
by JohnBerrymanShow HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
21 pointsposted 2 days ago
by jsLavaGoatAlan Kay: Shannon gave us a way of dealing with noisy channels [video]
149 pointsposted 3 days ago
by behooveNotes on a strongly aperiodic monotile in E^3
4 pointsposted a day ago
by ColinWrightNokia Design Archive (2025)
251 pointsposted 4 days ago
by pillarsShow HN: Air-gapped file encryption as self-decrypting HTML page
90 pointsposted 4 days ago
by emurlinVSCode's SSH Agent Is Bananas (2025)
310 pointsposted 5 days ago
by Rapzid6,800-year-old Serbian settlement was large, with little social inequality
13 pointsposted 2 days ago
by msolujicStuck in the Suez Canal – the short version (2021)
3 pointsposted a day ago
by joebigMy Recent Woodworking Projects
44 pointsposted 21 hours ago
by trwhiteShow HN: AgentRun: DSL to turn agents into workflows
51 pointsposted 5 days ago
by miguelriosGoogle’s Project Suncatcher to put ML infrastructure in space
232 pointsposted 4 days ago
by xnxClaude Code reads AGENTS.md only when telemetry is on [fixed]
485 pointsposted 5 days ago
by pszypowiczFlux 3 Action: A 7B open-weight world action model for robots
12 pointsposted 18 hours ago
by fourfireOwners mourn spoiled food after firmware update bricks Samsung smart fridges
323 pointsposted 4 days ago
by nonfamousProbing picosecond depairing currents in type-II superconductors
10 pointsposted 4 days ago
by PaulHouleAlternatives to GPS are around the corner
14 pointsposted a day ago
by BrajeshwarApple has added persistent 'ads' to iOS, and it's driving users crazy
817 pointsposted 6 days ago
by MC995The Copilot+ PC brand is dead
118 pointsposted 2 days ago
by bj-rnThe far side of the Moon provides clues to a previous magnetic field
24 pointsposted 2 days ago
by croesMeta's Muse appears to use an OpenAI model labeled muse-special
143 pointsposted 3 days ago
by AeroiWeb-based IBM 1620 emulator and IPL-V from 1963
52 pointsposted 6 days ago
by abrax3141Obscura: VPN that can't log your activity
232 pointsposted 6 days ago
by FlimmSwap, ZRAM, Zswap and Hibernate on NixOS
78 pointsposted 5 days ago
by speckxShow HN: Koi.rest – watch some fish and regain your balance
226 pointsposted 4 days ago
by hxii