Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

https://arxiv.org/abs/2507.23726

1•jonbaer•1m ago•0 comments

Refrigerator Hibernation for Tortoises and Turtles

https://www.tortoisetrust.org/articles/Refrigerator.htm

1•thunderbong•4m ago•0 comments

Ask HN: How do you personally evaluate new LLM models?

1•_samjarman•4m ago•0 comments

We Built an Auto-Aiming Trash Can [video]

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

1•dangoodmanUT•7m ago•0 comments

Mastercard denies pressuring game platforms, Valve tells a different story

https://techcrunch.com/2025/08/03/mastercard-denies-pressuring-game-platforms-valve-tells-a-different-story/

2•DoctorOW•7m ago•0 comments

Texas House Democrats flee state in bid to block GOP proposed congressional map

https://www.texastribune.org/2025/08/03/texas-democrats-quorum-break-redistricting-map/

1•diogenes_atx•7m ago•0 comments

Next-gen digital loyalty and automated marketing for small businesses

https://chckn.app/

1•simgooder•17m ago•1 comments

Render your Jupyter notebooks in OpenGist

https://blog.fabiomanganiello.com/article/render-your-jupyter-notebooks-in-opengist

1•todsacerdoti•19m ago•0 comments

I'm working to switch from wget to curl (due to Fedora)

https://utcc.utoronto.ca/~cks/space/blog/linux/WgetToCurl

1•josephcsible•23m ago•0 comments

Harry K. Daghlian, Jr.: America's First Peacetime Atom Bomb Fatality

https://members.tripod.com/~Arnold_Dion/Daghlian/

1•marcodiego•25m ago•0 comments

Ocean Darkening Is Causing Marine Habitats to Shrink

https://sevenseasmedia.org/ocean-darkening-marine-habitats-shrinking/

1•alechewitt•26m ago•0 comments

Show HN: Andre – A privacy-first, location-aware assistant that helps you

https://andreapp.org

2•billellsd•27m ago•0 comments

Learnable Programming (2012)

https://worrydream.com/LearnableProgramming/

3•kunzhi•36m ago•0 comments

Names are not type safety (2020)

https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/

1•azhenley•38m ago•0 comments

How to Grow Almost Anything

https://howtogrowalmostanything.notion.site/htgaa25

12•car•38m ago•0 comments

SubtitleWise – Complete Subtitle Management Suite and Translation

https://www.subtitlewise.com/

2•mirlind•39m ago•1 comments

Writers Jam

https://writersjam.shantaram.xyz

1•rishikeshs•40m ago•0 comments

What does AI progress mean for medical progress?

https://blog.jacobtrefethen.com/ai-progress-medical-progress/

1•zerealshadowban•41m ago•0 comments

Ask HN: Can no-code AI workflow tools replace runbooks?

1•rkalahasty•41m ago•0 comments

AnyCable for Laravel: reliable WebSocket infrastructure

https://evilmartians.com/chronicles/anycable-for-laravel

3•mooreds•42m ago•0 comments

A study of lights at night suggests dictators lie about economic growth (2022)

https://www.economist.com/graphic-detail/2022/09/29/a-study-of-lights-at-night-suggests-dictators-lie-about-economic-growth

20•mooreds•42m ago•6 comments

Google users are less likely to click on links when an AI summary is in results

https://www.pewresearch.org/short-reads/2025/07/22/google-users-are-less-likely-to-click-on-links-when-an-ai-summary-appears-in-the-results/

4•mooreds•43m ago•0 comments

Private and HIPAA Compliant LLM Summarizer for Apple Health's Medical Records

https://timeline.yari.care/

1•amiroo•46m ago•1 comments

AI Automation Tools: The Future of Web Development

https://github.com/topics/ai-automation

1•kim11•47m ago•0 comments

The Responsibility of Engineers in the Age of AI

https://julien.ch/posts/responsibility-of-engineers-in-the-age-of-ai/

2•julien-may•49m ago•1 comments

Can AI 'Feel' Guilt?

https://www.sciencenews.org/article/ai-guilt-feel-emotion-game-theory

3•pseudolus•52m ago•0 comments

Crustal faulting drives biological redox cycling in the deep subsurface

https://www.science.org/doi/10.1126/sciadv.adx5372

2•PaulHoule•52m ago•0 comments

Do photons take all paths or not?

https://physics.stackexchange.com/questions/571421/do-photons-take-all-paths-or-not

2•imadr•53m ago•1 comments

Little Dig Game

https://little-dig-ga.me/

1•memalign•53m ago•0 comments

Figma CEO's path from college dropout and Thiel fellow to tech billionaire

https://www.cnbc.com/2025/08/03/figma-ceo-dylan-fields-path-from-college-dropout-to-billionaire.html

3•TMWNN•57m ago•0 comments

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Refrigerator Hibernation for Tortoises and Turtles

Ask HN: How do you personally evaluate new LLM models?

We Built an Auto-Aiming Trash Can [video]

Mastercard denies pressuring game platforms, Valve tells a different story

Texas House Democrats flee state in bid to block GOP proposed congressional map

Next-gen digital loyalty and automated marketing for small businesses

Render your Jupyter notebooks in OpenGist

I'm working to switch from wget to curl (due to Fedora)

Harry K. Daghlian, Jr.: America's First Peacetime Atom Bomb Fatality

Ocean Darkening Is Causing Marine Habitats to Shrink

Show HN: Andre – A privacy-first, location-aware assistant that helps you

Learnable Programming (2012)

Names are not type safety (2020)

How to Grow Almost Anything

SubtitleWise – Complete Subtitle Management Suite and Translation

Writers Jam

What does AI progress mean for medical progress?

Ask HN: Can no-code AI workflow tools replace runbooks?

AnyCable for Laravel: reliable WebSocket infrastructure

A study of lights at night suggests dictators lie about economic growth (2022)

Google users are less likely to click on links when an AI summary is in results

Private and HIPAA Compliant LLM Summarizer for Apple Health's Medical Records

AI Automation Tools: The Future of Web Development

The Responsibility of Engineers in the Age of AI

Can AI 'Feel' Guilt?

Crustal faulting drives biological redox cycling in the deep subsurface

Do photons take all paths or not?

Little Dig Game

Figma CEO's path from college dropout and Thiel fellow to tech billionaire

What will the AI revolution mean for the global south?

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Refrigerator Hibernation for Tortoises and Turtles

Ask HN: How do you personally evaluate new LLM models?

We Built an Auto-Aiming Trash Can [video]

Mastercard denies pressuring game platforms, Valve tells a different story

Texas House Democrats flee state in bid to block GOP proposed congressional map

Next-gen digital loyalty and automated marketing for small businesses

Render your Jupyter notebooks in OpenGist

I'm working to switch from wget to curl (due to Fedora)

Harry K. Daghlian, Jr.: America's First Peacetime Atom Bomb Fatality

Ocean Darkening Is Causing Marine Habitats to Shrink

Show HN: Andre – A privacy-first, location-aware assistant that helps you

Learnable Programming (2012)

Names are not type safety (2020)

How to Grow Almost Anything

SubtitleWise – Complete Subtitle Management Suite and Translation

Writers Jam

What does AI progress mean for medical progress?

Ask HN: Can no-code AI workflow tools replace runbooks?

AnyCable for Laravel: reliable WebSocket infrastructure

A study of lights at night suggests dictators lie about economic growth (2022)

Google users are less likely to click on links when an AI summary is in results

Private and HIPAA Compliant LLM Summarizer for Apple Health's Medical Records

AI Automation Tools: The Future of Web Development

The Responsibility of Engineers in the Age of AI

Can AI 'Feel' Guilt?

Crustal faulting drives biological redox cycling in the deep subsurface

Do photons take all paths or not?

Little Dig Game

Figma CEO's path from college dropout and Thiel fellow to tech billionaire