How to Run the World (aeon.co)

1 points by Brajeshwar 1m ago 0 comments

Finland's Sand Battery: Storing Green Energy Beneath the Surface (greenubuntu.com)

1 points by Brajeshwar 1m ago 0 comments

Researchers test the trustworthiness of AI by teaching it to play sudoku (techxplore.com)

1 points by Brajeshwar 1m ago 0 comments

Big Tech Killed the Golden Age of Programming (taylor.gl)

4 points by taylorlunt 4m ago 0 comments

Ask people to give you what you want (herbertlui.net)

2 points by herbertl 4m ago 0 comments

Launching Peedief – Structured Document Generation for AI Agents (peedief.com)

1 points by junedkhatri31 5m ago 1 comments

LangExtract: Python library for extracting structured data from language models (github.com)

2 points by simonpure 5m ago 0 comments

Winning Remote Work Strategies: Tools, Routines, and Talent to Boost Team Output (theflock.com)

1 points by theflock2025 7m ago 0 comments

Hyper Built a 1M-Accurate Indoor GPS (andrewhart.me)

1 points by thedavemann 7m ago 0 comments

Visual training, including juggling, can be a secret weapon in elite sports (theconversation.com)

1 points by PaulHoule 8m ago 0 comments

The "Careless People" Who Make Up Elite Institutions (currentaffairs.org)

3 points by speckx 9m ago 0 comments

Linux: Secure Boot, encryption and A/B updates with Yocto (blog.3mdeb.com)

2 points by pietrushnic 9m ago 0 comments

Robot Riot (cinemasojourns.com)

2 points by jjgreen 10m ago 0 comments

Show HN: GetEles, a browser extension that helps you easily understand webpages

2 points by WayneFung1992 10m ago 0 comments

Show HN: A High-Altitude Low-Power Flight Computer for High-Altitude Balloons (github.com)

2 points by mpkendall 11m ago 0 comments

Is Privacy Legal? Roman Storm's Defense Rests in Tornado Cash Trial (therage.co)

2 points by janandonly 12m ago 0 comments

Show HN: Made my own app switcher because ⌘-Tab wasn't cutting it [video] (youtube.com)

1 points by segev_s 13m ago 0 comments

Why the Moon Needs Its Own Time Zon (cacm.acm.org)

1 points by yarapavan 14m ago 0 comments

True Linux power users get more out of the best OS (zdnet.com)

2 points by losgehts 14m ago 0 comments

Graph-R1: Towards Agentic GraphRAG Framework via End-to-End RL (arxiv.org)

1 points by omarsar 15m ago 0 comments

IRS Denies Open Source Software Company's Tax Exempt Status [pdf] (irs.gov)

5 points by daft_pink 16m ago 1 comments

Show HN: Kokoro – A simple app to manage chores and allowances for kids (kokoroapp.online)

1 points by csjohnst 17m ago 0 comments

Google Maps Reviews in Germany Are Basically Dead

6 points by tahaygun 17m ago 1 comments

Show HN: Sourcebot, the self-hosted Perplexity for your codebase (github.com)

2 points by bshzzle 18m ago 0 comments

SHOW HN: Discover anime colors (anicolors.com)

2 points by meetqy 19m ago 0 comments

Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)

2 points by fanf2 20m ago 0 comments

Opera filed a complaint against Microsoft for tricking customers into using Edge (neowin.net)

1 points by speckx 21m ago 0 comments

Show HN: Universal Control" for Macintosh Classic (github.com)

2 points by bartjakobs 21m ago 0 comments

Responsive Infinite Logo Marquee (css-tip.com)

2 points by eustoria 21m ago 0 comments

The Gen Xers Who Waited Their Turn to Be CEO Are Getting Passed Over (wsj.com)

2 points by petethomas 22m ago 0 comments

German Olympic star Laura Dahlmeier confirmed dead in Pakistan (dw.com)

2 points by _Microft 22m ago 0 comments

Viral starvation photo tells a different story (ynetnews.com)

2 points by hersko 26m ago 2 comments

Show HN: Cloudlvl – Generate and Deploy AWS Lambda with AI (cloudlvl.com)

1 points by mavdol04 26m ago 0 comments

Show HN: Print the daily weather forecast on a thermal receipt printer (github.com)

2 points by chr15m 27m ago 0 comments

Drone strike kits to Ukraine: Auterion CEO explains how autonomy will change war (theregister.com)

2 points by rntn 29m ago 0 comments

Show HN: hanaco Weather – A poetic weather SNS from the OS Yamato project (github.com)

1 points by tsuyoshi_k 30m ago 2 comments

Photoshop just made it easy to add objects into photos (theverge.com)

1 points by speckx 31m ago 0 comments

The first AI for Phone Addiction (alcovecomputer.com)

1 points by aashrit 32m ago 0 comments

Who Has the Fastest Google Search API? (serpapi.com)

3 points by barron35 32m ago 1 comments

Get Started with the Open Floor Protocol (OFP) (openfloor.dev)

3 points by trendschau 32m ago 0 comments

Until the End of the Internet (37signals.com)

2 points by AndroidKitKat 33m ago 1 comments

Payments startup from Revolut alumnus extends seed with £3M (uktech.news)

1 points by barron35 34m ago 0 comments

1975 Banqiao Dam Failure (en.wikipedia.org)

1 points by simonebrunozzi 35m ago 0 comments

'Pervasive sense of fear': China steps up exit bans as US tensions flare (ft.com)

3 points by sandbach 35m ago 2 comments

'Weird shading' tricks the brain into seeing 3D forms from simple lines (medicalxpress.com)

1 points by PaulHoule 36m ago 0 comments

Ask HN: Do you have a library card?

5 points by waldopat 38m ago 5 comments

Fagan Finder (faganfinder.com)

1 points by bookofjoe 38m ago 0 comments

Meta faces Italian competition investigation over WhatsApp AI chatbot (reuters.com)

1 points by giuliomagnifico 38m ago 0 comments

Show HN: Bloogle, Create a Blog from Google Docs (bloogle.blog)

1 points by webzz 39m ago 0 comments

Amazon to Pay New York Times at Least $20M a Year in AI Deal (wsj.com)

3 points by petesergeant 39m ago 0 comments

Types of types in Lean: common → exotic

2 fanf2 0 7/29/2025, 2:42:04 PM stephendiehl.com ↗

Comments (0)

No comments yet