Tabbiy – Tab Auto Grouping Expert (tabbiy.top)

1 points by TyrusLockwood 1m ago 1 comments

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4 (medium.com)

1 points by syumei 2m ago 0 comments

The History of Nuclear Powered Pacemakers (2015) (large.stanford.edu)

1 points by Bluestein 3m ago 0 comments

Vibe Coding with AI: Ensuring User Needs Are Met (kamil.chm.ski)

1 points by kamilchm 3m ago 1 comments

NeurIPS Announces Support for Newly Developing Scientific Community Gathering (blog.neurips.cc)

1 points by jensgk 4m ago 1 comments

Three-person IVF technique spared children from inherited diseases (reuters.com)

1 points by geox 4m ago 0 comments

Show HN: Userband: Free User Feedback Platform (userband.com)

1 points by ashbrother 5m ago 0 comments

Bear does analytics with CSS (2023) (herman.bearblog.dev)

1 points by Bluestein 8m ago 0 comments

Five things [Dave Karpf believes] about actually-existing AI today (davekarpf.substack.com)

1 points by username223 9m ago 0 comments

I Love Generative AI and Hate the Companies Building It (cwodtke.medium.com)

2 points by adrianhoward 9m ago 0 comments

Europe's New Hypersonic Test Platform – Invictus (esa.int)

1 points by t43562 10m ago 1 comments

Chinese Students Flocked to Central Illinois. Their Food Followed (nytimes.com)

1 points by bookofjoe 13m ago 1 comments

Are Diamonds Even a Luxury Anymore? De Beers Reckons with Price Plunge (wsj.com)

2 points by coloneltcb 13m ago 0 comments

The power of the Unix philosophy for LLM agentic tools (blog.korny.info)

2 points by freediver 13m ago 0 comments

The Sputnik vs. Deep Seek Moment: The Answers (marginalrevolution.com)

1 points by Michelangelo11 14m ago 0 comments

Self-hosting CI runners is a trap (shipfox.io)

9 points by PoissonVache 15m ago 0 comments

Disney's spent 70 years funneling IP into its theme parks. Here's why it works (cnbc.com)

2 points by rntn 15m ago 0 comments

Bitnami containers community catalog has been deprecated (github.com)

1 points by migmartri 16m ago 0 comments

Exercise science is not science (scottlocklin.wordpress.com)

2 points by surprisetalk 16m ago 0 comments

Career Hypnosis (quarter--mile.com)

2 points by surprisetalk 16m ago 0 comments

Store Tags After Payloads (scattered-thoughts.net)

1 points by surprisetalk 16m ago 0 comments

The Most Beautiful Program Ever Written [video] (youtube.com)

1 points by surprisetalk 16m ago 0 comments

A privacy-first, no-nonsense, super-fast blogging platform (bearblog.dev)

2 points by krthr 16m ago 0 comments

Don't Eliminate Risk, Manage It (emeaentrepreneurs.com)

1 points by sixhobbits 17m ago 0 comments

Tractor: Translating all C to Rust (darpa.mil)

1 points by hhs 18m ago 0 comments

Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities (github.com)

1 points by abhas9 18m ago 0 comments

Government Doesn't Want Storm Talking About Privacy, Kidnappings (therage.co)

1 points by madars 18m ago 0 comments

Why Aggregators Ate the Internet (every.to)

1 points by hn_acker 24m ago 1 comments

Show HN: Speclinter-MCP, better specs for your coding agent (github.com)

2 points by orangebread 26m ago 0 comments

Texas has banned talking on college campuses at night. Seriously (houstonchronicle.com)

21 points by hn_acker 26m ago 8 comments

The rise of AI as a threat to the S&P 500 [pdf] (autonomy.work)

1 points by seangrvs 27m ago 0 comments

Headlong into our glorious AI-powered future, are we on the road to Idiocracy? (theguardian.com)

1 points by Bluestein 28m ago 1 comments

Enhanced Meetings for Microsoft Teams app: Mercedes‑Benz to enable in-car camera (automotiveworld.com)

1 points by taubek 29m ago 0 comments

SoftBank announcing to end the era of human developers (lightreading.com)

2 points by wisdome 34m ago 2 comments

Debugging Bash Like a Sire (blog.brujordet.no)

2 points by gfalcao 34m ago 0 comments

The Longest Economics Textbook (2012) (insidethevatican.com)

1 points by danielam 36m ago 0 comments

Show HN: Needle – An Explorable Map of the News (needle.news)

5 points by ryry 36m ago 2 comments

Is the Interstellar Object 3I/Atlas Alien Technology? (avi-loeb.medium.com)

1 points by BruceEel 37m ago 0 comments

Could this laser zap malaria? (2010) [video] (ted.com)

1 points by simonebrunozzi 37m ago 0 comments

Mastra is now Apache 2.0 licensed (mastra.ai)

1 points by calcsam 37m ago 0 comments

OpenAI and Anthropic researchers decry 'reckless' safety culture at Musk's xAI (techcrunch.com)

1 points by rntn 37m ago 0 comments

If This Comet Is What We Think It Is, Unlike Any Object Humans Have Ever Seen (popularmechanics.com)

1 points by Bluestein 40m ago 0 comments

Uber to invest in Lucid and Nuro in robotaxi deal (theverge.com)

2 points by world2vec 40m ago 0 comments

IntelliJ IDEA Moves to the Unified Distribution (blog.jetbrains.com)

3 points by bartekpacia 41m ago 0 comments

My analysis of 439 models proves: You're overpaying for your LLMs (whatllm.vercel.app)

2 points by demian101 41m ago 1 comments

Approximate First Principal Component (30fps.net)

1 points by ibobev 43m ago 0 comments

Distilling the Cloud: The Journey Continues (eric.mann.blog)

1 points by eamann 43m ago 0 comments

Free PNG to WebP Converter (towebp.org)

1 points by banner520 44m ago 0 comments

AIHint an open standard for signed verifiable metadata readable by AI on the web

2 points by aihint 45m ago 0 comments

Show HN: Add a Pixel, the internet's pixel graffiti wall (addapixel.com)

1 points by pg_bot 46m ago 0 comments

Gccrs June 2025 monthly report

3 Bogdanp 0 7/17/2025, 12:28:23 PM rust-gcc.github.io ↗

Comments (0)

No comments yet