Tabbiy – Tab Auto Grouping Expert

1•TyrusLockwood•1m ago•1 comments

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4

https://medium.com/@Koukyosyumei/from-paper-to-proof-how-we-can-formally-verify-blockchain-protocols-with-lean4-part-1-a7b3d0fc563f

1•syumei•2m ago•0 comments

The History of Nuclear Powered Pacemakers (2015)

http://large.stanford.edu/courses/2015/ph241/degraw2/

1•Bluestein•3m ago•0 comments

Vibe Coding with AI: Ensuring User Needs Are Met

https://kamil.chm.ski/vibe-coding-cheap-show-me-demo

1•kamilchm•3m ago•1 comments

NeurIPS Announces Support for Newly Developing Scientific Community Gathering

https://blog.neurips.cc/2025/07/16/neurips-announces-support-for-newly-developing-scientific-community-gathering/

1•jensgk•4m ago•1 comments

Three-person IVF technique spared children from inherited diseases

https://www.reuters.com/business/healthcare-pharmaceuticals/three-person-ivf-technique-spared-children-inherited-diseases-scientists-say-2025-07-16/

1•geox•4m ago•0 comments

Show HN: Userband: Free User Feedback Platform

https://www.userband.com/

1•ashbrother•5m ago•0 comments

Bear does analytics with CSS (2023)

https://herman.bearblog.dev/how-bear-does-analytics-with-css/

1•Bluestein•8m ago•0 comments

Five things [Dave Karpf believes] about actually-existing AI today

https://davekarpf.substack.com/p/five-things-i-believe-about-actually

1•username223•10m ago•0 comments

I Love Generative AI and Hate the Companies Building It

https://cwodtke.medium.com/i-love-generative-ai-and-hate-the-companies-building-it-3fb120e512ac

2•adrianhoward•10m ago•0 comments

Europe's New Hypersonic Test Platform – Invictus

https://www.esa.int/Enabling_Support/Space_Engineering_Technology/Shaping_the_Future/INVICTUS_Europe_s_new_hypersonic_test_platform

1•t43562•10m ago•1 comments

Chinese Students Flocked to Central Illinois. Their Food Followed

https://www.nytimes.com/2025/07/14/dining/chinese-food-urbana-champaign-student-visa.html

1•bookofjoe•13m ago•1 comments

Are Diamonds Even a Luxury Anymore? De Beers Reckons with Price Plunge

https://www.wsj.com/business/retail/de-beers-diamonds-price-lab-grown-468b33ab

2•coloneltcb•13m ago•0 comments

The power of the Unix philosophy for LLM agentic tools

https://blog.korny.info/2025/07/11/the-power-of-the-unix-philosophy-for-llm-agentic-tools

2•freediver•13m ago•0 comments

The Sputnik vs. Deep Seek Moment: The Answers

https://marginalrevolution.com/marginalrevolution/2025/07/the-sputnik-vs-deep-seek-moment-the-answers.html

1•Michelangelo11•14m ago•0 comments

Self-hosting CI runners is a trap

https://www.shipfox.io/blog/2945ab39-efed-415c-ab19-389be27df8d3/self-hosting-ci-runners-is-a-trap

9•PoissonVache•15m ago•0 comments

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

https://www.cnbc.com/2025/07/17/disney-ip-anchors-theme-parks.html

2•rntn•16m ago•0 comments

Bitnami containers community catalog has been deprecated

https://github.com/bitnami/charts/issues/35164

1•migmartri•16m ago•0 comments

Exercise science is not science

https://scottlocklin.wordpress.com/2025/07/14/exercise-science-is-not-science/

2•surprisetalk•16m ago•0 comments

Career Hypnosis

https://quarter--mile.com/career-hypnosis

2•surprisetalk•16m ago•0 comments

Store Tags After Payloads

https://www.scattered-thoughts.net/writing/store-tags-after-payloads/

1•surprisetalk•16m ago•0 comments

The Most Beautiful Program Ever Written [video]

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

1•surprisetalk•16m ago•0 comments

A privacy-first, no-nonsense, super-fast blogging platform

https://bearblog.dev/

2•krthr•17m ago•0 comments

Don't Eliminate Risk, Manage It

https://emeaentrepreneurs.com/anti/dont-eliminate-risk-manage-it/

1•sixhobbits•17m ago•0 comments

Tractor: Translating all C to Rust

https://www.darpa.mil/research/programs/translating-all-c-to-rust

1•hhs•18m ago•0 comments

Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities

https://github.com/abhas9/cve-default-exploitability

1•abhas9•18m ago•0 comments

Government Doesn't Want Storm Talking About Privacy, Kidnappings

https://www.therage.co/roman-storm-privacy-kidnappings/

1•madars•18m ago•0 comments

Why Aggregators Ate the Internet

https://every.to/thesis/why-aggregators-ate-the-internet

1•hn_acker•24m ago•1 comments

Show HN: Speclinter-MCP, better specs for your coding agent

https://github.com/orangebread/speclinter-mcp

2•orangebread•26m ago•0 comments

Texas has banned talking on college campuses at night. Seriously

https://www.houstonchronicle.com/opinion/outlook/article/texas-ban-universities-speech-talking-night-20361753.php

21•hn_acker•26m ago•8 comments

Tabbiy – Tab Auto Grouping Expert

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4

The History of Nuclear Powered Pacemakers (2015)

Vibe Coding with AI: Ensuring User Needs Are Met

NeurIPS Announces Support for Newly Developing Scientific Community Gathering

Three-person IVF technique spared children from inherited diseases

Show HN: Userband: Free User Feedback Platform

Bear does analytics with CSS (2023)

Five things [Dave Karpf believes] about actually-existing AI today

I Love Generative AI and Hate the Companies Building It

Europe's New Hypersonic Test Platform – Invictus

Chinese Students Flocked to Central Illinois. Their Food Followed

Are Diamonds Even a Luxury Anymore? De Beers Reckons with Price Plunge

The power of the Unix philosophy for LLM agentic tools

The Sputnik vs. Deep Seek Moment: The Answers

Self-hosting CI runners is a trap

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

Bitnami containers community catalog has been deprecated

Exercise science is not science

Career Hypnosis

Store Tags After Payloads

The Most Beautiful Program Ever Written [video]

A privacy-first, no-nonsense, super-fast blogging platform

Don't Eliminate Risk, Manage It

Tractor: Translating all C to Rust

Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities

Government Doesn't Want Storm Talking About Privacy, Kidnappings

Why Aggregators Ate the Internet

Show HN: Speclinter-MCP, better specs for your coding agent

Texas has banned talking on college campuses at night. Seriously

"Bypassing" Specialization in Rust or How I Learned to Stop Worrying and Love F

Tabbiy – Tab Auto Grouping Expert

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4

The History of Nuclear Powered Pacemakers (2015)

Vibe Coding with AI: Ensuring User Needs Are Met

NeurIPS Announces Support for Newly Developing Scientific Community Gathering

Three-person IVF technique spared children from inherited diseases

Show HN: Userband: Free User Feedback Platform

Bear does analytics with CSS (2023)

Five things [Dave Karpf believes] about actually-existing AI today

I Love Generative AI and Hate the Companies Building It

Europe's New Hypersonic Test Platform – Invictus

Chinese Students Flocked to Central Illinois. Their Food Followed

Are Diamonds Even a Luxury Anymore? De Beers Reckons with Price Plunge

The power of the Unix philosophy for LLM agentic tools

The Sputnik vs. Deep Seek Moment: The Answers

Self-hosting CI runners is a trap

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

Bitnami containers community catalog has been deprecated

Exercise science is not science

Career Hypnosis

Store Tags After Payloads

The Most Beautiful Program Ever Written [video]

A privacy-first, no-nonsense, super-fast blogging platform

Don't Eliminate Risk, Manage It

Tractor: Translating all C to Rust

Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities

Government Doesn't Want Storm Talking About Privacy, Kidnappings

Why Aggregators Ate the Internet

Show HN: Speclinter-MCP, better specs for your coding agent

Texas has banned talking on college campuses at night. Seriously