Computer Scientists Figure Out How to Prove Lies

https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/

85•nsoonhui•2h ago•40 comments

Magic .env files built for sharing: Human-first, AI-friendly

https://varlock.dev/

18•mooreds•1h ago•4 comments

Optimizing a Math Expression Parser in Rust

https://rpallas.xyz/math-parser/

55•serial_dev•3h ago•24 comments

Show HN: Typeform was too expensive so I built my own forms

https://www.ikiform.com/

46•preetsuthar17•3h ago•39 comments

Kite – News App by Kagi

https://kite.kagi.com/

83•tigroferoce•4h ago•37 comments

Thunderbird 140 “Eclipse”

https://blog.thunderbird.net/2025/07/welcome-to-thunderbird-140-eclipse/

130•TangerineDream•2d ago•71 comments

At last, a use case for AI agents with sky-high ROI: Stealing crypto

https://www.theregister.com/2025/07/10/ai_agents_automatically_steal_cryptocurrency/

35•rntn•1h ago•5 comments

MCP-B: A Protocol for AI Browser Automation

https://mcp-b.ai/

256•bustodisgusto•13h ago•128 comments

Tree Borrows

https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html

516•zdw•21h ago•132 comments

Radiocarbon dating reveals Rapa Nui not as isolated as previously thought

https://phys.org/news/2025-06-radiocarbon-dating-reveals-rapa-nui.html

18•wglb•2d ago•0 comments

A Typology of Canadianisms

https://dchp.arts.ubc.ca/how-to-use

176•gnabgib•14h ago•179 comments

Show HN: MCP server for searching and downloading documents from Anna's Archive

https://github.com/iosifache/annas-mcp

175•iosifache•15h ago•54 comments

Show HN: FlopperZiro – A DIY open-source Flipper Zero clone

https://github.com/lraton/FlopperZiro

300•iraton•19h ago•61 comments

Biomni: A General-Purpose Biomedical AI Agent

https://github.com/snap-stanford/Biomni

195•GavCo•17h ago•29 comments

The Origin of the Research University

https://asteriskmag.com/issues/10/the-origin-of-the-research-university

91•Petiver•3d ago•5 comments

The jank programming language

https://jank-lang.org/

339•akkad33•3d ago•93 comments

Browser extensions turn nearly 1M browsers into website-scraping bots

https://arstechnica.com/security/2025/07/browser-extensions-turn-nearly-1-million-browsers-into-website-scraping-bots/

10•chha•1h ago•4 comments

Solar power has begun to transform the world’s energy system

https://www.newyorker.com/news/annals-of-a-warming-planet/46-billion-years-on-the-sun-is-having-a-moment

194•dmazin•1d ago•303 comments

A fast 3D collision detection algorithm

https://cairno.substack.com/p/improvements-to-the-separating-axis

237•OlympicMarmoto•22h ago•27 comments

Show HN: Petrichor – a free, open-source, offline music player for macOS

https://github.com/kushalpandya/Petrichor

132•kushalpandya•14h ago•60 comments

Author of William the Conqueror's 'Medieval Big Data' Project Revealed

https://www.ox.ac.uk/news/2025-07-02-author-william-conqueror-s-medieval-big-data-project-revealed

6•zeristor•3d ago•0 comments

Show HN: BreakerMachines – Modern Circuit Breaker for Rails with Async Support

https://github.com/seuros/breaker_machines

31•seuros•4d ago•17 comments

Bootstrapping a side project into a profitable seven-figure business

https://projectionlab.com/blog/we-reached-1m-arr-with-zero-funding

861•jonkuipers•2d ago•230 comments

Grok 4 Launch [video]

https://twitter.com/xai/status/1943158495588815072

247•meetpateltech•8h ago•201 comments

Evaluating the Effectiveness of Memory Safety Sanitizers

https://www.computer.org/csdl/proceedings-article/sp/2025/223600a088/21TfesaEHTy

31•signa11•2d ago•9 comments

Archaeologists unveil 3,500-year-old city in Peru

https://www.bbc.co.uk/news/articles/c07dmx38kyeo

161•neversaydie•3d ago•60 comments

YouTube prepares crackdown on mass-produced videos as concern over AI slop grows

https://techcrunch.com/2025/07/09/youtube-prepares-crackdown-on-mass-produced-and-repetitive-videos-as-concern-over-ai-slop-grows/

10•baylearn•22m ago•0 comments

Xenharmlib: A music theory library that supports non-western harmonic systems

https://xenharmlib.readthedocs.io/en/latest/

179•retooth•1d ago•18 comments

Linda Yaccarino is leaving X

https://www.nytimes.com/2025/07/09/technology/linda-yaccarino-x-steps-down.html

474•donohoe•21h ago•827 comments

Configuring Split Horizon DNS with Pi-Hole and Tailscale

https://www.bentasker.co.uk/posts/blog/general/configuring-pihole-to-serve-different-records-to-different-clients.html

104•gm678•19h ago•29 comments

Open in hackernews

An ambitious vision of a city built from lava

https://www.cnn.com/2025/07/03/style/lava-material-architecture-venice-biennale

20•dabinat•2d ago

Comments

CodeBeater•12h ago

Real life version of Minecraft lava casts?

mrbluecoat•10h ago

I can't imagine the safety risks to this approach compared to classic materials like concrete.

derbOac•7h ago

It seems to assume flow fields never happen in the same place twice, for one.

I admit I really enjoyed reading about the ideas though.

AAAAaccountAAAA•7h ago

Wet concrete is already pretty nasty stuff if it gets on the skin, though.

cluckindan•7h ago

Creating/excavating lava molds at world scale seems like it could release more CO2 than the cement/concrete processing.

And because capitalism, we would eventually have artificial volcanoes spewing volcanic gases into the atmosphere.