fp.

LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video]

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

1•amichail•2m ago•0 comments

Open Book Touch: open-source e-reader

https://www.crowdsupply.com/oddly-specific-objects/open-book-touch

1•surprisetalk•3m ago•0 comments

128Gb Eight Channel Workstation Madness: Threadripper 3995WX in Windows 8.1

https://trackerninja.codeberg.page/post/128gb-eight-channel-workstation-madness-paired-with-threa...

1•spacedrone808•5m ago•0 comments

Building an Advanced Agentic Harness

https://data4sci.substack.com/p/building-an-advanced-agentic-harness

1•Anon84•7m ago•0 comments

Trump blames Canada for wildfire smoke, says he'll add cost to tariffs

https://www.reuters.com/world/ontario-buy-new-11-new-aircraft-very-difficult-wildfire-fight-2026-...

2•sleepyguy•7m ago•0 comments

Surprise and Delight [video]

https://www.youtube.com/watch?v=4J1dQIjneJY

1•Anon84•7m ago•0 comments

Webpack Is Now on Bluesky

https://bsky.app/profile/webpack.js.org

2•avivkeller•7m ago•0 comments

Young women who go to North Lake Tahoe's beaches are shallow heightists

1•AnonymousAProb•8m ago•0 comments

Topcoat: The full full-stack framework for Rust

https://github.com/tokio-rs/topcoat

3•wertyk•10m ago•0 comments

Caution: Children Might Impoverish Their Parents

https://retirementincomejournal.com/article/warning-children-might-impoverish-their-parents/

1•petethomas•11m ago•0 comments

Right to Repair Fundraiser Goal Reached

https://sfconservancy.org/news/2026/jul/16/software-right-to-repair-baltobu-fundraiser-succes/

1•nfriedly•12m ago•0 comments

Faulty Towers, vibe sickness, and the vibe bobsled

https://dustycloud.org/blog/faulty-towers-vibe-sickness-and-the-vibe-bobsled/

1•sanqui•16m ago•1 comments

Google Weather Lab 2

https://deepmind.google.com/science/weatherlab

2•xnx•19m ago•0 comments

Show HN: Tests.ws – WebSocket testing tools, language guides, Chrome extension

https://tests.ws/

1•gingermanymph•19m ago•0 comments

Aurora DSQL: Scalable, Multi-Region OLTP

https://arxiv.org/abs/2607.13276

2•shenli3514•20m ago•0 comments

Sliding into Silence? We Are Speaking 300 Daily Words Fewer Every Year

https://journals.sagepub.com/doi/10.1177/17456916261425131

1•Pamar•21m ago•1 comments

China's Latest A.I. Breakthrough Threatens America's Lead

https://www.nytimes.com/2026/07/17/business/china-ai-moonshot-kimi.html

2•petilon•22m ago•0 comments

Grumpy Website

https://grumpy.website/

3•Gecko4072•24m ago•0 comments

The first patch is a price check, not the product

https://github.blog/engineering/the-cost-of-saying-yes-has-changed/

1•logickkk1•24m ago•0 comments

Static search trees: 40x faster than binary search (2024)

https://curiouscoding.nl/posts/static-search-tree/

1•lalitmaganti•26m ago•0 comments

China's Xi Jinping launches new AI alliance, WAICO

https://www.aljazeera.com/news/2026/7/17/chinas-xi-jinping-launches-new-ai-alliance-what-is-it

3•culi•27m ago•2 comments

Recreating the best engineering zine from the 90s

https://circazine.hackclub.com/

2•lsanchezz•28m ago•0 comments

France blocks access to Polymarket website

https://www.reuters.com/technology/french-internet-service-providers-told-block-access-polymarket...

2•1659447091•28m ago•1 comments

Ask HN: Did you try Nordstjernen Web Browser 1.0.19 yet?

2•roschdal•28m ago•1 comments

MLB restricts using dugout iPads for AI-assisted in-game strategy

https://www.espn.com/mlb/story/_/id/49385415/mlb-restricts-dugout-ipad-use-prevent-artificial-int...

2•HardwareLust•31m ago•0 comments

Linus Torvalds to critics of AI coding in Linux: "Fork it. Or just walk away."

https://arstechnica.com/ai/2026/07/linus-torvalds-to-critics-of-ai-coding-in-linux-fork-it-or-jus...

6•baal80spam•32m ago•1 comments

Google Earth Pro for desktop will no longer be available to download soon

https://www.techradar.com/computing/the-impact-to-thousands-of-companies-across-industries-will-b...

LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video]

Open Book Touch: open-source e-reader

128Gb Eight Channel Workstation Madness: Threadripper 3995WX in Windows 8.1

Building an Advanced Agentic Harness

Trump blames Canada for wildfire smoke, says he'll add cost to tariffs

Surprise and Delight [video]

Webpack Is Now on Bluesky

Young women who go to North Lake Tahoe's beaches are shallow heightists

Topcoat: The full full-stack framework for Rust

Caution: Children Might Impoverish Their Parents

Right to Repair Fundraiser Goal Reached

Faulty Towers, vibe sickness, and the vibe bobsled

Google Weather Lab 2

Show HN: Tests.ws – WebSocket testing tools, language guides, Chrome extension

Aurora DSQL: Scalable, Multi-Region OLTP

Sliding into Silence? We Are Speaking 300 Daily Words Fewer Every Year

China's Latest A.I. Breakthrough Threatens America's Lead

Grumpy Website

The first patch is a price check, not the product

Static search trees: 40x faster than binary search (2024)

China's Xi Jinping launches new AI alliance, WAICO

Recreating the best engineering zine from the 90s

France blocks access to Polymarket website

Ask HN: Did you try Nordstjernen Web Browser 1.0.19 yet?

MLB restricts using dugout iPads for AI-assisted in-game strategy

Linus Torvalds to critics of AI coding in Linux: "Fork it. Or just walk away."

Google Earth Pro for desktop will no longer be available to download soon

Chemical Onshoring of All Kinds

CollpaseOS: Program microcontrollers through civilizational collapse

Apple Passed Nvidia to Become Most Valuable Company Again

Show HN: Tools Berry – client-side calculators with open-source tax engines

Comments

LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video]

Open Book Touch: open-source e-reader

128Gb Eight Channel Workstation Madness: Threadripper 3995WX in Windows 8.1

Building an Advanced Agentic Harness

Trump blames Canada for wildfire smoke, says he'll add cost to tariffs

Surprise and Delight [video]

Webpack Is Now on Bluesky

Young women who go to North Lake Tahoe's beaches are shallow heightists

Topcoat: The full full-stack framework for Rust

Caution: Children Might Impoverish Their Parents

Right to Repair Fundraiser Goal Reached

Faulty Towers, vibe sickness, and the vibe bobsled

Google Weather Lab 2

Show HN: Tests.ws – WebSocket testing tools, language guides, Chrome extension

Aurora DSQL: Scalable, Multi-Region OLTP

Sliding into Silence? We Are Speaking 300 Daily Words Fewer Every Year

China's Latest A.I. Breakthrough Threatens America's Lead

Grumpy Website

The first patch is a price check, not the product

Static search trees: 40x faster than binary search (2024)

China's Xi Jinping launches new AI alliance, WAICO

Recreating the best engineering zine from the 90s

France blocks access to Polymarket website

Ask HN: Did you try Nordstjernen Web Browser 1.0.19 yet?

MLB restricts using dugout iPads for AI-assisted in-game strategy

Linus Torvalds to critics of AI coding in Linux: "Fork it. Or just walk away."

Google Earth Pro for desktop will no longer be available to download soon

Chemical Onshoring of All Kinds

CollpaseOS: Program microcontrollers through civilizational collapse

Apple Passed Nvidia to Become Most Valuable Company Again