Formal Specs as Sets of Behaviors

https://surfingcomplexity.blog/2025/07/26/formal-specs-as-sets-of-behaviors/

1•gm678•3m ago•0 comments

Show HN: CopyIP - copy my IP in one click

https://copyip.co

1•oliv__•3m ago•1 comments

Boeing Predicts the Future, Foresees 50k Planes by 2044

https://www.jalopnik.com/1920543/boeing-predicts-future-foresees-50000-planes-by-2044/

1•rntn•6m ago•0 comments

Ask HN: Will I get left behind if I don't jump on AI train?

1•LLcolD•8m ago•0 comments

Wikipedia editors, unsung heroes, keep it one of the last best places online

https://www.theglobeandmail.com/canada/article-wikipedia-page-editors/

1•throw0101d•12m ago•1 comments

Graph foundation models for relational data

https://research.google/blog/graph-foundation-models-for-relational-data/

2•PaulHoule•17m ago•0 comments

Show HN: Competitor Finder – Paste your domain, get your top competitors

https://champsignal.com/tools/competitor-finder

2•maximedupre•17m ago•0 comments

Robots eating other robots: The benefits of machine metabolism

https://arstechnica.com/science/2025/07/robots-eating-other-robots-the-benefits-of-machine-metabolism/

1•pseudolus•20m ago•0 comments

Physics of Language Models: The Magic of Canon Layers

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5240330

1•diwank•20m ago•0 comments

Ask HN: Discrete Mathematics Preriquisites for Data Structures?

1•shivajikobardan•20m ago•0 comments

RT Employees Funded Videos in Furtherance of Russian Interests

https://www.justice.gov/archives/opa/pr/two-rt-employees-indicted-covertly-funding-and-directing-us-company-published-thousands

1•mobileturdfctry•21m ago•0 comments

Build generative search engine with verifiable answers

https://github.com/nikolamilosevic86/verifAI

2•nikolamilosevic•24m ago•0 comments

Startup Claims Up to 100x Better Embedded Computing Efficiency

https://spectrum.ieee.org/efficient-computer-dataflow-architecture

4•hasheddan•24m ago•0 comments

Seeing is believing in biomedicine, which isn't great when AI gets it wrong

https://www.theregister.com/2025/07/27/biomedviz_ai_wrong_problems/

2•rntn•25m ago•0 comments

Wanderer: Decentralized, self-hosted trail database

https://wanderer.to/

2•esher•25m ago•0 comments

How Old Dubai's historic streets beat extreme heat

https://www.bbc.com/future/article/20250715-how-old-dubais-historic-streets-beat-extreme-heat

3•bookofjoe•26m ago•0 comments

In Seawater, Researchers See an Untapped Bounty of Critical Metals

https://e360.yale.edu/features/desalination-saltwater-brine-mining

1•ck45•26m ago•0 comments

When reading a book how do you validate the thesis in an unknown field for you?

2•L0in•29m ago•1 comments

Energy Driven Development

https://blog.waleson.com/2025/07/energy-driven-development.html

1•jtwaleson•29m ago•0 comments

Missionaries using secret audio devices to evangelise Brazil's isolated peoples

https://www.theguardian.com/global-development/2025/jul/27/missionaries-using-secret-audio-devices-to-evangelise-brazils-isolated-peoples

3•axiologist•30m ago•1 comments

Wikipedia: Signs of AI Writing

https://en.wikipedia.org/wiki/Wikipedia:Signs_of_AI_writing

4•FergusArgyll•34m ago•0 comments

The evolution of Worse is Better

https://www.dreamsongs.com/WorseIsBetter.html

2•sundarurfriend•34m ago•0 comments

Ethereum EIP-55 added backward-compatible error checking

https://www.johndcook.com/blog/2025/07/27/retrofitting-error-detection/

1•ColinWright•37m ago•0 comments

I built a finance aggregator to manage wealth across banking and crypto

https://www.vin.gs

2•chriskrogh•38m ago•1 comments

Ask HN: Open source projects make money？

3•neocanable•45m ago•1 comments

Show HN: Thread4.eu – Platform to deploy a Python function to the web in seconds

https://thread4.eu/

3•joexbayer•48m ago•0 comments

UK facing 'significant' volume of cyber attacks, security minister warns

https://www.the-independent.com/tech/security/uk-cyber-attacks-dan-jarvis-b2795118.html

3•RealCodingOtaku•50m ago•1 comments

Show HN: Book2Speech – books to near-human quality AI‑narrated audiobooks

https://www.book2speech.com/

2•orencoda•50m ago•0 comments

No AI Content

https://eclecticlight.co/2025/07/27/last-week-on-my-mac-%f0%9f%a6%89-no-ai-content/

9•frizlab•51m ago•3 comments

How to Conference

https://lerner.co.il/2025/07/27/how-to-conference/

1•reuven•52m ago•0 comments

Formal Specs as Sets of Behaviors

Show HN: CopyIP - copy my IP in one click

Boeing Predicts the Future, Foresees 50k Planes by 2044

Ask HN: Will I get left behind if I don't jump on AI train?

Wikipedia editors, unsung heroes, keep it one of the last best places online

Graph foundation models for relational data

Show HN: Competitor Finder – Paste your domain, get your top competitors

Robots eating other robots: The benefits of machine metabolism

Physics of Language Models: The Magic of Canon Layers

Ask HN: Discrete Mathematics Preriquisites for Data Structures?

RT Employees Funded Videos in Furtherance of Russian Interests

Build generative search engine with verifiable answers

Startup Claims Up to 100x Better Embedded Computing Efficiency

Seeing is believing in biomedicine, which isn't great when AI gets it wrong

Wanderer: Decentralized, self-hosted trail database

How Old Dubai's historic streets beat extreme heat

In Seawater, Researchers See an Untapped Bounty of Critical Metals

When reading a book how do you validate the thesis in an unknown field for you?

Energy Driven Development

Missionaries using secret audio devices to evangelise Brazil's isolated peoples

Wikipedia: Signs of AI Writing

The evolution of Worse is Better

Ethereum EIP-55 added backward-compatible error checking

I built a finance aggregator to manage wealth across banking and crypto

Ask HN: Open source projects make money？

Show HN: Thread4.eu – Platform to deploy a Python function to the web in seconds

UK facing 'significant' volume of cyber attacks, security minister warns

Show HN: Book2Speech – books to near-human quality AI‑narrated audiobooks

No AI Content

How to Conference

Analoguediehard

Formal Specs as Sets of Behaviors

Show HN: CopyIP - copy my IP in one click

Boeing Predicts the Future, Foresees 50k Planes by 2044

Ask HN: Will I get left behind if I don't jump on AI train?

Wikipedia editors, unsung heroes, keep it one of the last best places online

Graph foundation models for relational data

Show HN: Competitor Finder – Paste your domain, get your top competitors

Robots eating other robots: The benefits of machine metabolism

Physics of Language Models: The Magic of Canon Layers

Ask HN: Discrete Mathematics Preriquisites for Data Structures?

RT Employees Funded Videos in Furtherance of Russian Interests

Build generative search engine with verifiable answers

Startup Claims Up to 100x Better Embedded Computing Efficiency

Seeing is believing in biomedicine, which isn't great when AI gets it wrong

Wanderer: Decentralized, self-hosted trail database

How Old Dubai's historic streets beat extreme heat

In Seawater, Researchers See an Untapped Bounty of Critical Metals

When reading a book how do you validate the thesis in an unknown field for you?

Energy Driven Development

Missionaries using secret audio devices to evangelise Brazil's isolated peoples

Wikipedia: Signs of AI Writing

The evolution of Worse is Better

Ethereum EIP-55 added backward-compatible error checking

I built a finance aggregator to manage wealth across banking and crypto

Ask HN: Open source projects make money？

Show HN: Thread4.eu – Platform to deploy a Python function to the web in seconds

UK facing 'significant' volume of cyber attacks, security minister warns

Show HN: Book2Speech – books to near-human quality AI‑narrated audiobooks

No AI Content

How to Conference