news
Prose as Code: Applying Formal Verification to Product Specs
8 pointsposted 13 hours ago
by happyalexanderShow HN: Share your AI Setup, Learn from others
250 pointsposted 5 days ago
by steveybrownTrump says AI will be renamed 'super intelligence' in all US documents
16 pointsposted 5 hours ago
by guardiangodSuspension of the de minimis administrative exemption for imports $800 or less
159 pointsposted a day ago
by burnt-resistorNewborn girls and boys show different attention patterns within hours of birth
13 pointsposted 8 hours ago
by theanonymousoneA Kansas girl ran off to join the circus and changed the tattoo world
27 pointsposted a day ago
by gmaysLibreOffice dev explains why it cannot display some Microsoft Office charts
17 pointsposted 19 hours ago
by bundieXbox continues its “reset” with dramatic restructuring
47 pointsposted 7 hours ago
by dgrin91New evidence for hidden chambers beyond Tutankhamun's tomb
150 pointsposted 5 days ago
by rndsignalsCommunication by means of modulated Johnson noise
66 pointsposted 6 days ago
by austinallegroGo-based Robotics Framework built around NATS.io
41 pointsposted 5 days ago
by BluesteinUS threatens to ground Iranian airlines worldwide from Wednesday
36 pointsposted 21 hours ago
by teleforceAmazon blocks Meta’s new Muse AI agent from shopping on amazon.com
151 pointsposted a day ago
by simianwordsRate limits on GitLab.com are changing
177 pointsposted 5 days ago
by darkwaterAnthropic, OpenAI et al. face antitrust suit for agreeing to slow AI development
32 pointsposted a day ago
by MC995Warez: The Infrastructure and Aesthetics of Piracy (2021)
220 pointsposted 5 days ago
by succinct_ideasInside ZCode: Silently uploading your Git history to the cloud
339 pointsposted 5 days ago
by csmantleAMD briefly joins the $1T club
10 pointsposted 17 hours ago
by mdp2021Mathematicians Build Long-Awaited Graph Sandwich
88 pointsposted 4 days ago
by ibobevNorth Korean nuclear test sets off years of earthquakes
224 pointsposted 4 days ago
by rbanffyI vibed a proof of Conway's conjecture
271 pointsposted 4 days ago
by m-hodgesAdversarial examples for fast hash functions
9 pointsposted 2 days ago
by ibobevDBison: Free Modern Database Explorer
5 pointsposted a day ago
by janvorisekShopify CEO: employees' 'slop grenades' are making more work for everyone else
4 pointsposted 5 hours ago
by cratermoonArrow heads at Obi-Rakhmat (Uzbekistan) 80K years ago?
35 pointsposted 4 days ago
by bookofjoeShow HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash
236 pointsposted 5 days ago
by HenryNdubuakuElevated errors for multiple models – Resolved
138 pointsposted a day ago
by corvadRaspberry Pi 5 EEPROM update now blocks manual RAM upgrades
55 pointsposted 2 days ago
by csmantleTin: full-text search for Postgres
228 pointsposted 3 days ago
by ksec