news
A whirlwind tour of systemd-nspawn containers (2025)
55 pointsposted 4 days ago
by ibobevLLMs are making formal software verification feasible at a much larger scale
462 pointsposted 5 days ago
by johnbenderWoman charged with computer fraud due to scam CashApp account being in her name
665 pointsposted 5 days ago
by oidareMudhra to exit global SSL/TLS certificate business
1157 pointsposted 5 days ago
by bo0tzzProgressive disclosure in agents to make them 2.3x faster
21 pointsposted 3 days ago
by suchintanSS United States to be sunk as largest artificial reef
5 pointsposted a day ago
by geoxPentagon orders bases to plan for 90 days without the grid
10 pointsposted 10 hours ago
by russfinkShow HN: Steal My Bitcoin
616 pointsposted 3 days ago
by cloudlandsdevMicrosoft offers buyouts to around 60k employees to contain costs
7 pointsposted 20 hours ago
by ibn_khaldunAnthropic files S-1 with the SEC for proposed initial public offering
25 pointsposted a day ago
by meetpateltechGemma-4-26B-A4B with 39-69% less thinking at same accuracy
126 pointsposted 4 days ago
by armcatI will no longer be uploading to the Debian NEW queue
6 pointsposted 14 hours ago
by phoronixrlyThe Small Web is Huge [video]
3 pointsposted 15 hours ago
by CuriositryThe HTML-in-Canvas API origin trial
123 pointsposted 5 days ago
by andrewstuartUpwelling – Combining real-time collaboration with version control for writers
5 pointsposted 2 days ago
by andsoitisMonoidal computer I: Basic computability by string diagrams (2012)
16 pointsposted 5 days ago
by measurablefuncSecuring our frontier model training environment
125 pointsposted 4 days ago
by pretextRemove pgrust: the entry is cheating (per-query kernels and result caching)
195 pointsposted 4 days ago
by f311aNo signs of AI payoff outside the tech sector
641 pointsposted 3 days ago
by the-mitrPolice Pulling People over Because AI Deems Their Driving Patterns "Suspicious"
10 pointsposted 16 hours ago
by voxadamHow we made our MMDB files a 33% smaller
8 pointsposted 2 days ago
by mmaiaICE plan to buy robot dogs spurs protest from Boston Dynamics employees
7 pointsposted 7 hours ago
by dataflowEvolving Threat: http2shell is an RCE in Node, Python, and more
186 pointsposted 4 days ago
by cowlevelWho killed the EV cert? A browser whodunit for Halloween
30 pointsposted 4 days ago
by roddylindsayAsk HN: Is it not possible to enroll for Apple Developer anymore?
31 pointsposted 2 days ago
by olalondeParsing EDIFACT in Python with syntax trees
25 pointsposted 5 days ago
by alexprengereMPs moving to restrict gambling ads in Canada
265 pointsposted 5 days ago
by Teever