Computer Scientists Figure Out How to Prove Lies (quantamagazine.org)

65 points by nsoonhui 2h ago 28 comments

Optimizing a Math Expression Parser in Rust (rpallas.xyz)

51 points by serial_dev 2h ago 24 comments

Show HN: Typeform was too expensive so I built my own forms (ikiform.com)

41 points by preetsuthar17 3h ago 32 comments

Thunderbird 140 “Eclipse” (blog.thunderbird.net)

121 points by TangerineDream 2d ago 60 comments

Kite – News App by Kagi (kite.kagi.com)

55 points by tigroferoce 4h ago 13 comments

Magic .env files built for sharing: Human-first, AI-friendly (varlock.dev)

3 points by mooreds 1h ago 0 comments

MCP-B: A Protocol for AI Browser Automation (mcp-b.ai)

249 points by bustodisgusto 13h ago 127 comments

Tree Borrows (plf.inf.ethz.ch)

514 points by zdw 21h ago 132 comments

A Typology of Canadianisms (dchp.arts.ubc.ca)

173 points by gnabgib 14h ago 176 comments

At last, a use case for AI agents with sky-high ROI: Stealing crypto (theregister.com)

17 points by rntn 55m ago 3 comments

Show HN: MCP server for searching and downloading documents from Anna's Archive (github.com)

170 points by iosifache 14h ago 53 comments

Show HN: FlopperZiro – A DIY open-source Flipper Zero clone (github.com)

296 points by iraton 18h ago 61 comments

Biomni: A General-Purpose Biomedical AI Agent (github.com)

193 points by GavCo 16h ago 29 comments

The Origin of the Research University (asteriskmag.com)

89 points by Petiver 3d ago 4 comments

The jank programming language (jank-lang.org)

335 points by akkad33 3d ago 93 comments

Radiocarbon dating reveals Rapa Nui not as isolated as previously thought (phys.org)

12 points by wglb 2d ago 0 comments

Solar power has begun to transform the world’s energy system (newyorker.com)

185 points by dmazin 23h ago 292 comments

A fast 3D collision detection algorithm (cairno.substack.com)

235 points by OlympicMarmoto 21h ago 27 comments

Show HN: BreakerMachines – Modern Circuit Breaker for Rails with Async Support (github.com)

30 points by seuros 4d ago 13 comments

Show HN: Petrichor – a free, open-source, offline music player for macOS (github.com)

130 points by kushalpandya 13h ago 57 comments

Bootstrapping a side project into a profitable seven-figure business (projectionlab.com)

858 points by jonkuipers 2d ago 230 comments

Grok 4 Launch [video] (twitter.com)

233 points by meetpateltech 8h ago 182 comments

Author of William the Conqueror's 'Medieval Big Data' Project Revealed (ox.ac.uk)

5 points by zeristor 3d ago 0 comments

Evaluating the Effectiveness of Memory Safety Sanitizers (computer.org)

29 points by signa11 2d ago 9 comments

Archaeologists unveil 3,500-year-old city in Peru (bbc.co.uk)

160 points by neversaydie 3d ago 60 comments

Configuring Split Horizon DNS with Pi-Hole and Tailscale (bentasker.co.uk)

104 points by gm678 18h ago 28 comments

Linda Yaccarino is leaving X (nytimes.com)

469 points by donohoe 21h ago 813 comments

Xenharmlib: A music theory library that supports non-western harmonic systems (xenharmlib.readthedocs.io)

178 points by retooth 1d ago 18 comments

Ruby 3.4 frozen string literals: What Rails developers need to know (prateekcodes.dev)

233 points by thomas_witt 4d ago 113 comments

The most otherworldly, mysterious forms of lightning on Earth (nationalgeographic.com)

106 points by Anon84 3d ago 37 comments

From Task to Table: How I Got to the Korean Burger (medium.com)

7 points by cvicpp123 2d ago 0 comments

Show HN: I built a playground to showcase what Flux Kontext is good at (fluxkontextlab.com)

34 points by Zephyrion 10h ago 11 comments

HyAB k-means for color quantization (30fps.net)

40 points by ibobev 14h ago 10 comments

Large-scale DNA study maps 37,000 years of human disease history (cam.ac.uk)

3 points by XzetaU8 4h ago 0 comments

Desktop Publishing Tools That Didn't Make It (2022) (tedium.co)

64 points by rbanffy 18h ago 53 comments

German court rules Meta tracking technology violates European privacy laws (therecord.media)

305 points by bundie 7h ago 133 comments

Making Explainable Minesweeper (sublevelgames.github.io)

39 points by greentec 3d ago 33 comments

Async Ruby Is the Future of AI Apps (and It's Already Here) (paolino.me)

14 points by doppp 9h ago 0 comments

Understand CPU Branch Instructions Better (chrisfeilbach.com)

68 points by mfiguiere 3d ago 23 comments

Helm local code execution via a malicious chart (github.com)

166 points by irke882 1d ago 85 comments

Matt Trout has died (shadowcat.co.uk)

60 points by todsacerdoti 4h ago 15 comments

White Noise – secure and private messenger (whitenoise.chat)

96 points by onhacker 14h ago 42 comments

The Architecture Behind Lovable and Bolt (beam.cloud)

59 points by Mernit 19h ago 26 comments

Multi-Region Row Level Security in CockroachDB (cockroachlabs.com)

46 points by rusticwizard 14h ago 10 comments

I Ported SAP to a 1976 CPU. It Wasn't That Slow (github.com)

139 points by weinzierl 3d ago 64 comments

Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left (medium.com)

185 points by gabiteodoru 2d ago 132 comments

Zorin OS (zorin.com)

185 points by oldfuture 1d ago 172 comments

US Court nullifies FTC requirement for click-to-cancel (arstechnica.com)

552 points by gausswho 1d ago 515 comments

Over 2k senior staff set to leave NASA under agency push (politico.com)

11 points by Anon84 3h ago 0 comments

Would You Like an IDOR With That? Leaking 64m McDonald's Job Applications (ian.sh)

99 points by samwcurry 16h ago 57 comments

Fun with flags: How Compilers Break and Fix Constant-Time Code

6 belter 0 7/9/2025, 8:13:02 PM arxiv.org ↗

Comments (0)

No comments yet