Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (queue.acm.org)
173 points by yarapavan 5 days ago | 54 comments
211Clawtype: Custom wearable chorded keyboard and mouse (github.com)
10 points by zdw 2 days ago | 2 comments
212Calibrated Basic Income by Derek Van Gorder [pdf] (greshm.org)
56 points by Suncho 4 days ago | 73 comments
213An AlphaStation's SROM (thejpster.org.uk)
79 points by ingve 6 days ago | 6 comments
214Show HN: Nue – Apps lighter than a React button (nuejs.org)
738 points by tipiirai 5 days ago | 566 comments
215Microsoft reports several bootloader vulnerabilities (microsoft.com)
89 points by hacknslack 6 days ago | 59 comments
216Search could be so much better. And I don't mean chatbots with web access (matterrank.ai)
61 points by mfkhalil 4 days ago | 61 comments
217MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (shd.mit.edu)
251 points by imakwana 4 days ago | 19 comments
218The Guardian flourishes without a paywall (nymag.com)
620 points by bookofjoe 9 days ago | 514 comments
219Ploopy Classic 2 open source trackball (blog.ploopy.co)
119 points by namanyayg 7 days ago | 50 comments
220UK Police Arrest 30 People Per Day for Internet Comments (thetimes.com)
40 points by A_D_E_P_T 8 hours ago | 16 comments
221Show HN: I open-sourced a tool to compare Google Play apps side-by-side (clashofapps.com)
13 points by ntorresdev 2 days ago | 1 comment
222Show HN: Zig Topological Sort Library for Parallel Processing (github.com)
113 points by ww520 5 days ago | 47 comments
223Was Houdini a Spy? (2021) (cia.gov)
52 points by carlos-menezes 3 days ago | 17 comments
224RubyUI (Former PhlexUI): Ruby Gem for RubyUI Components (github.com)
167 points by ksec 5 days ago | 39 comments
225Launch HN: Augento (YC W25) – Fine-tune your agents with reinforcement learning
101 points by lmeierhoefer 6 days ago | 60 comments
226Tell HN: Camelgate NPM Outage (Cloudflare)
119 points by bavarianbob 5 days ago | 36 comments
227Trump delays TikTok ban again (theverge.com)
8 points by kwiktrip 6 hours ago | 0 comments
228Showcase: Working on a voice/text chat app in a cyberpunk style (static.mollohq.com)
67 points by b0bben 6 days ago | 32 comments
229Mozilla launching “Thundermail” email service to take on Gmail, Microsoft 365 (techradar.com)
426 points by bentobean 4 days ago | 330 comments
230In the 1980s we also downloaded software from TV (newslttrs.com)
6 points by spzb 2 days ago | 0 comments
231Train and Weather Tracker with Raspberry Pi and E-Ink (sambroner.com)
135 points by tosh 8 days ago | 41 comments
232Certification Authority/Browser Forum adopts new security standards (security.googleblog.com)
60 points by terminalbraid 6 days ago | 24 comments
233How Google built its Gemini robotics models (blog.google)
203 points by simonpure 4 days ago | 86 comments
234Existence of 'CIA Tokyo Station' revealed in new JFK files release (asahi.com)
30 points by rntn a day ago | 0 comments
235Porting Tailscale to Plan 9 (tailscale.com)
369 points by adriangrigore 4 days ago | 92 comments
236DOGE's Plan to Rewrite Social Security's Code in Months (finance.yahoo.com)
28 points by AnimalMuppet 17 hours ago | 25 comments
237Why F#? (batsov.com)
445 points by bozhidar 5 days ago | 412 comments
238Recession Watch (calculatedriskblog.com)
21 points by b_emery 17 hours ago | 3 comments
239Bash-ini-parser: Advanced bash INI parser library (github.com)
35 points by lsferreira42 6 days ago | 32 comments
240