The unreasonable likelihood of being: origin of life, terraforming, and AI

https://arxiv.org/abs/2507.18545

2•bookofjoe•2m ago•0 comments

Show HN: Accelerate AI agent development by grounding AI assistant in local docs

https://github.com/botingw/langgraph-dev-navigator

1•botingw_job•2m ago•0 comments

Linear Types for Programmers

https://twey.io/for-programmers/linear-types/

1•marvinborner•4m ago•0 comments

Invisible Symbols

https://symbol.so/invisible-characters

1•liquid99•12m ago•0 comments

US Army tests robot coyotes to prevent catastrophic bird strikes

https://cyberguy.com/robot-tech/army-tests-robot-coyotes-prevent-catastrophic-bird-strikes/

1•speckx•14m ago•0 comments

Telo MT1

https://www.telotrucks.com/

2•turtleyacht•16m ago•0 comments

The Creative Tension Between Developer and Language

https://krishna.github.io/posts/creative-tension-between-developer-and-language/

1•kenshi•19m ago•1 comments

Show HN: I've had success in SaaS and now I'm building tools for indie hackers

https://reallysimplesupport.com

1•gigamick•20m ago•0 comments

German police expands use of Palantir surveillance software

https://www.dw.com/en/german-police-expands-use-of-palantir-surveillance-software/a-73497117

4•LeftHandPath•20m ago•1 comments

California affordable housing programs on the chopping block after SCOTUS rules

https://calmatters.org/housing/2025/08/affordable-housing-developer-fees/

1•kqr2•21m ago•0 comments

Show HN: F1 COSMOS – Live timing and data dashboard for F1 fans

https://f1cosmos.com/

2•conradmk•28m ago•0 comments

Peter Thiel and the Antichrist

https://www.nytimes.com/2025/06/26/opinion/peter-thiel-antichrist-ross-douthat.html

2•dotcoma•30m ago•1 comments

Partisan hostility, not just policy, drives U.S. protests

https://phys.org/news/2025-08-partisan-hostility-policy-protests.html

2•bikenaga•30m ago•2 comments

Might Tariffs Get "Overturned"?

https://ritholtz.com/2025/07/tariffs-overturned/

1•throwaway81523•30m ago•0 comments

Getting Real with AI

https://doc.searls.com/2025/08/02/getting-real-with-ai/

1•speckx•31m ago•0 comments

Winners and Losers of the Bivalve Evolution

https://www.mdpi.com/1424-2818/17/7/500

1•PaulHoule•35m ago•0 comments

Architecture decision record (ADR) examples for software planning, IT leadership

https://github.com/joelparkerhenderson/architecture-decision-record

1•thunderbong•36m ago•0 comments

AI party game born from a drunk night with friends

https://taptrap.app

1•eliezerpujols•36m ago•1 comments

Choosing AI Tools for Work

https://www.augmentedswe.com/p/the-ultimate-overview-of-ai-tools

1•wordsaboutcode•40m ago•0 comments

Show HN: Let AI design your web project dev roadmap

https://www.archaltect.pro

1•jeremykip•42m ago•0 comments

Why Nobody Wants to Visit Las Vegas Right Now [video]

https://www.youtube.com/watch?v=W62Ie7dKXRY

2•pessimizer•44m ago•0 comments

New world record Weather satellites detect 515-mile-long lightning flash

https://www.space.com/astronomy/earth/new-world-record-weather-satellites-detect-515-mile-long-lightning-flash

2•Brajeshwar•46m ago•0 comments

Data Labeling Is the Hot New Thing in AI

https://spectrum.ieee.org/data-labeling-scale-ai-agents

2•Brajeshwar•47m ago•0 comments

Man Kept a Meticulous List of All 3,599 Books He'd Read Since 1962

https://www.smithsonianmag.com/smart-news/this-man-kept-a-meticulous-list-of-all-3599-books-hed-read-since-1962-when-he-died-his-family-published-it-online-180987074/

4•Brajeshwar•47m ago•0 comments

Google Sold This (Search Appliance) [video]

https://www.youtube.com/watch?v=YXoXJHn2vD0

2•thm•48m ago•1 comments

Creating realistic deepfakes is getting easier, motivating even more AI in reply

https://apnews.com/article/artificial-intelligence-deepfake-trump-espionage-hack-scammers-da90ad1e5298a9ce50c997458d6aa610

1•rntn•49m ago•0 comments

The X11 SECURITY extension from the 1990ies

https://www.uninformativ.de/blog/postings/2025-08-02/0/POSTING-en.html

1•zdw•50m ago•0 comments

How the US Weaponized Pakistan Against India

https://www.bloomberg.com/opinion/articles/2025-08-01/how-the-us-weaponized-pakistan-against-india

2•koolhead17•52m ago•0 comments

Build a Kanban Board in Minutes with GenosDB

https://medium.com/genosdb/build-a-kanban-board-in-minutes-with-genosdb-a4ae06a99ac9

1•estebanrfp•53m ago•1 comments

Can it be the best Bug bounty platform?

https://app.bugseekers.com/

2•Slowrodreguez•53m ago•0 comments

Open in hackernews

Ask HN: How is it possible to get -0.0 in a sum?

5•gus_massa•2h ago

I'm looking for corner cases where he result is -0.0. As far as I know, the only way to get -0.0 in a sum is

  (-0.0) + (-0.0)

Does someone know any other case in IEEE 754?

Bonus question: What happens in subtractions? I only know

  (-0.0) - (+0.0)

Is there any other case?