news
SpecForge – A Platform for Authoring Formal Specifications
80 pointsposted 3 days ago
by agnishomStop Killing the Internet: No Digital ID and No Age Verification
711 pointsposted 4 days ago
by doenerGoogle Flow Music launches Lyria 3.5 with advances in musicality, lyrics, vocals
12 pointsposted a day ago
by noivShow HN: XY – A Fast, composable, GPU-accelerated interactive plotting library
135 pointsposted 3 days ago
by apetuskeySome thoughts about Anthropic's new cryptanalysis results
187 pointsposted 2 days ago
by supermatouTurning a dumb AC unit smart (without losing my security deposit)
207 pointsposted 2 days ago
by austinallegroVehicle Motion Cues
208 pointsposted 4 days ago
by Austin_ConlonFall of Situational Awareness Is a Warning, So Is Nvidia's Vendor Financing
6 pointsposted 9 hours ago
by mapping365What it means for an API to be RESTful
37 pointsposted 2 days ago
by ibobevHow Do I Profile eBPF Code?
123 pointsposted 3 days ago
by snaveenInflammation-targeting drug misses mark in heart disease study
7 pointsposted 12 hours ago
by brandonbCracking Windows Open: Porting RADV to Win32
93 pointsposted 3 days ago
by zdwThe year Claude users sued over limits is the year the limits mostly went up
3 pointsposted 3 hours ago
by ermantroutIranian hackers likely behind Minnesota municipal water cyberattack
7 pointsposted 10 hours ago
by porridgeraisinFBI gets voter's IP address in new fraud probe tactic
8 pointsposted 11 hours ago
by sailfast48K/50K ppl who crossed illegally into Ceuta have been returned to Morocco
7 pointsposted 10 hours ago
by MarkoffU.S. debt-to-GDP ratio reaches 123%
115 pointsposted 14 hours ago
by johnbarronNSF pilots 4-year PhDs with industry research placements
84 pointsposted 2 days ago
by osnium123Google withdraws new Earth AI tool after warnings over misinformation risks
9 pointsposted 8 hours ago
by dabinatAnthropic and OpenAI are competing to see whose agents can go rogue harder
10 pointsposted 13 hours ago
by joebuckwilliamsShow HN: A local merge queue for parallel Claude Code agents
42 pointsposted 2 days ago
by funadorFlume Water Monitor 915 MHz Security Is Pretty Good
41 pointsposted 2 days ago
by credibleconureHalf-Life ported to Mac OS 9
302 pointsposted 3 days ago
by freediverOffloading I/O to Dedicated Cores: An Asymmetric io_uring Back end for Seastar
7 pointsposted a day ago
by cyndunlopMCP 2026-07-28 Specification: transport going stateless
127 pointsposted 3 days ago
by EldodiSo you want to use plants to reduce CO₂
122 pointsposted a day ago
by surprisetalkShow HN: Supapool – a Supabase per coding agent in ~400 ms
30 pointsposted 2 days ago
by kevo1ution