Graph foundation models for relational data (research.google)

1 points by Bogdanp 57s ago 0 comments

Show HN: I built a GitHub AI app to automate the fixing of outdated docs (github.com)

1 points by NeelDas 1m ago 0 comments

How to Get Foreign Keys Horribly Wrong (hakibenita.com)

1 points by thunderbong 2m ago 0 comments

Trail Runner Stopped in Utah for Not Having a Hunting or Fishing License (outdoorlife.com)

1 points by freedomben 3m ago 0 comments

Upended by Meth, Some Communities Are Paying Users to Quit (nytimes.com)

2 points by mitchbob 3m ago 1 comments

OpenAI to take cut of ChatGPT shopping sales in hunt for revenues (ft.com)

1 points by jmsflknr 4m ago 0 comments

Fedora SIG changes Python packaging strategy (lwn.net)

2 points by orf 5m ago 0 comments

A LoD of Gaussians: Ultra-Large Scale Reconstruction with External Memory (arxiv.org)

1 points by PaulHoule 5m ago 0 comments

Chain of Thought Monitorability: A New and Fragile Opportunity for AI Safety (arxiv.org)

1 points by mfiguiere 5m ago 0 comments

Our Milky Way galaxy may be surrounded by 100 undetected 'orphan' galaxies (space.com)

4 points by DocFeind 8m ago 0 comments

Complaint upheld against Belgian ticket inspector who said 'bonjour' in Flanders (theguardian.com)

1 points by 6LLvveMx2koXfwn 9m ago 0 comments

Beneath China's resilient economy, a life of pay cuts and side hustles (reuters.com)

1 points by bikenaga 10m ago 0 comments

FBI's Video Game Piracy Crackdown Leads to Domain Confusion (torrentfreak.com)

2 points by DocFeind 12m ago 0 comments

Beyond the Hype of AI (nubero.ch)

1 points by mykarakus 12m ago 0 comments

Don't sell shovels, sell treasure maps (platforms.substack.com)

1 points by peter_d_sherman 13m ago 0 comments

Rust is a great fit for the agentic era (kerkour.com)

4 points by randomint64 13m ago 1 comments

A Statement on the Rapidly Escalating Measles Crisis (gvn.org)

3 points by geox 14m ago 0 comments

Valuing Assets with Different Volatilities (niklasbuschmann.github.io)

1 points by niklasbuschmann 16m ago 0 comments

Billionaires Convince Themselves Chatbots Close to Making Scientific Discoveries (gizmodo.com)

6 points by ceejayoz 16m ago 2 comments

Show HN: GitHub for Politicians (github.com)

2 points by lewis232 17m ago 0 comments

Three Decades of Software Execution over Dogma (michaelbastos.com)

2 points by mbastos 18m ago 1 comments

'The game has been called': China vs. the US on the race for clean energy (cnn.com)

3 points by sleepyguy 19m ago 1 comments

A Sloth could do complex tasks in NixOS (lemosjose.github.io)

1 points by voidjl 19m ago 0 comments

Show HN: ggc – A terminal-based Git CLI written in Go (github.com)

1 points by bmf-san 20m ago 0 comments

There could be "dark main sequence" stars at the galactic center (arstechnica.com)

1 points by DocFeind 21m ago 0 comments

Show HN: I built a logic AI simulator with pen, paper, and no code

1 points by symbol_reasoner 21m ago 0 comments

How I Learned to Stop Worrying and Have Fun with A.I. (nytimes.com)

2 points by mitchbob 22m ago 1 comments

A Treatise for One Network – Anonymous National Deliberation [pdf] (simurgh-beau.github.io)

1 points by simurgh_beau 24m ago 1 comments

The Outsize Impact of AI Logistics (austinvernon.site)

1 points by surprisetalk 26m ago 0 comments

The Paradox of India (substack.com)

1 points by surprisetalk 26m ago 0 comments

Show HN: Fast word game to test your vocab and speed (chain-the-words.com)

2 points by martianmanhunt 27m ago 0 comments

Show HN: Improving RAG with Chess Elo Scores? (YC W25) (zeroentropy.dev)

2 points by ghita_ 27m ago 0 comments

Divine Documentation (aneeshsathe.com)

1 points by boredgargoyle 28m ago 0 comments

China Is Spending Billions to Become an A.I. Superpower (nytimes.com)

3 points by thm 29m ago 1 comments

Kiro and the future of AI spec-driven software development (kiro.dev)

2 points by todsacerdoti 29m ago 0 comments

Revocation of Food Standards for 11 Products Not Currently Sold [pdf] (public-inspection.federalregister.gov)

2 points by impish9208 29m ago 0 comments

Artificial Intelligence Appreciation Day (nationaldayarchives.com)

2 points by mindcrime 30m ago 0 comments

JavaScript Microtasks: A Comprehensive Guide the Event Loop (codedynasty.dev)

2 points by 66yatman 32m ago 0 comments

The breakthrough proof bringing mathematics closer to a grand unified theory [pdf] (lims.ac.uk)

1 points by feelthepain 32m ago 0 comments

Droip: The Modern Website Builder WordPress Needed (smashingmagazine.com)

1 points by PaulHoule 34m ago 0 comments

A Windows mutex is not a mutex (sevangelatos.com)

1 points by 90s_dev 37m ago 0 comments

Ears and Eyes: Database of physical surveillance devices hidden by authorities (notrace.how)

1 points by fishingmountain 37m ago 0 comments

Linear Matching of JavaScript Regular Expressions (dl.acm.org)

2 points by Bogdanp 38m ago 0 comments

Claude Finds God (asteriskmag.com)

2 points by surprisetalk 38m ago 0 comments

Thinking in Rust: Ownership, Access, and Memory Safety (cocoindex.io)

4 points by weinzierl 40m ago 0 comments

Facebook privacy practices the focus of $8B trial targeting Zuckerberg (reuters.com)

3 points by c420 40m ago 0 comments

Can diffusion models solve visual Sudoku? (github.com)

1 points by s-macke 41m ago 0 comments

Japan sets new internet speed record – it's 4M times faster than average (livescience.com)

2 points by LAsteNERD 43m ago 0 comments

Show HN: Drop-In PWA Support for Next.js with next-PWA-pack

1 points by devfamdk 43m ago 0 comments

1990 Networking: LAN Manager 2.0 (os2museum.com)

2 points by kencausey 44m ago 0 comments

Annals of Formalized Mathematics Volume 1

1 Smaug123 0 7/16/2025, 7:17:56 AM afm.episciences.org ↗

Comments (0)

No comments yet