Show HN: Tiny Hoare logic verifier using SMT

https://github.com/namin/metaprogramming/tree/master/lectures/5-smt

1•namin•1m ago•0 comments

Generic Model Calling

https://pypi.org/project/model-calling/

1•rdwj•4m ago•1 comments

Donald J. Trump: The Muscovy Candidate

https://github.com/mfreeze77/DJT/blob/main/Current_Working_Tmanch_Conclusion.md

1•surprisetalk•5m ago•0 comments

Godfather of AI: I Tried to Warn Them, but We've Lost Control G. Hinton [video]

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

2•grg0•6m ago•1 comments

Prompt-Improver

https://docs.anthropic.com/en/docs/build-with-claude/prompt-engineering/prompt-improver

2•handfuloflight•14m ago•0 comments

Why Quantum Computers Cannot Work [pdf]

https://www.math.ucdavis.edu/~deloera/TEACHING/VIDEOS/Kalai-Lectures/hkD.pdf

2•bpiroman•14m ago•1 comments

My plan to make art for 200 years after I die

https://www.thetimes.com/culture/art/article/damien-hirst-money-death-therapy-a-yba-turns-60-78v9x2mwn

1•driftsumi-e•14m ago•0 comments

Website claims wildfire destroyed clothing warehouse. But it doesn't exist

https://www.cbc.ca/news/canada/manitoba/a-website-claims-wildfire-destroyed-a-single-mom-s-clothing-warehouse-but-the-store-doesn-t-exist-1.7557826

1•gnabgib•15m ago•0 comments

Slack pricing change: business pricing increasing by 20%, AI features added

https://slack.com/intl/en-au/blog/news/june-2025-pricing-and-packaging-announcement?nojsmode=1

2•spauka•15m ago•0 comments

Cannabis use could double risk of heart deaths, study suggests

https://www.theguardian.com/society/2025/jun/17/cannabis-use-could-double-risk-of-heart-deaths-study-suggests

1•pseudolus•24m ago•1 comments

Opening the Doors of Creativity [video] (1990)

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

1•artur_makly•25m ago•1 comments

Waitlist form with location-based user information

https://www.betajoiner.xyz/

2•aravindkumarv•27m ago•0 comments

Electronic Labels Have Not Led to Surge Pricing in US Grocery, Despite Concerns

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5271491

2•gnabgib•31m ago•0 comments

First fault rupture ever filmed [video]

https://www.youtube.com/watch?v=77ubC4bcgRM

2•gone35•34m ago•1 comments

Building JSON on the Command Line Is Obnoxious

https://blog.stulta.dev/posts/annoying_json/

1•todsacerdoti•35m ago•0 comments

Iran plunged into an internet near-blackout during deepening conflict

https://www.nbcnews.com/tech/internet/iran-plunged-internet-blackout-deepening-conflict-rcna213544

2•perihelions•39m ago•0 comments

StarTram

https://en.wikipedia.org/wiki/StarTram

1•Ephil012•43m ago•0 comments

Introduction cards for IPWT

https://dmf-archive.github.io/ipwt-visualization/

2•NetRunnerSu•44m ago•0 comments

A Chat with Claude

https://telemachus.me/chat-with-claude

5•todsacerdoti•48m ago•0 comments

Celebrating Python SDKs with marimo notebooks: Bauplan gets it [video]

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

3•teleforce•54m ago•0 comments

Dinesh's Mid-Summer Death Valley Walk (1998)

https://dineshdesai.info/dv/photos.html

9•wonger_•54m ago•1 comments

Fascial Dehydration Steals Your Mobility: How to Reverse It

https://iterintellectus.substack.com/p/fascial-dehydration-steals-your-mobility

2•bilsbie•56m ago•0 comments

Show HN: Sysmodeler.ai cuts safety-critical modeling from weeks → minutes (Beta)

https://sysmodeler.ai/

2•mtbwaez•56m ago•0 comments

Predictors and Consequences of Intellectual Humility

https://pmc.ncbi.nlm.nih.gov/articles/PMC9244574/

2•squircle•58m ago•0 comments

Rare Appendix Cancers Are Increasing Among Millennials and Gen X

https://www.nytimes.com/2025/06/09/well/appendix-cancer-age.html

4•bookofjoe•58m ago•1 comments

The full version of the saying: "Jack of all trades, master of none."

https://rochemamabolo.wordpress.com/2022/10/08/the-full-version-of-the-saying-jack-of-all-trades-master-of-none/

5•squircle•59m ago•1 comments

The small change that made a big impact

https://compacompila.com/posts/the-small-change-that-make-big-noise/

2•mparnisari•1h ago•0 comments

Vibe Versioning – Iterate UI in Cursor 10× Faster [video]

https://www.youtube.com/watch?v=JfMcFjD-tIA

2•itgelganbold•1h ago•0 comments

Generating a particular category of C callback wrappers around C++ methods

https://devblogs.microsoft.com/oldnewthing/20250616-00/?p=111271

2•ibobev•1h ago•0 comments

This company has never sold anything. Its founder is now worth $51B

https://www.smh.com.au/business/companies/the-company-with-zero-revenue-that-is-worth-31-billion-20250617-p5m7xu.html

3•joegibbs•1h ago•0 comments

Show HN: Tiny Hoare logic verifier using SMT

Generic Model Calling

Donald J. Trump: The Muscovy Candidate

Godfather of AI: I Tried to Warn Them, but We've Lost Control G. Hinton [video]

Prompt-Improver

Why Quantum Computers Cannot Work [pdf]

My plan to make art for 200 years after I die

Website claims wildfire destroyed clothing warehouse. But it doesn't exist

Slack pricing change: business pricing increasing by 20%, AI features added

Cannabis use could double risk of heart deaths, study suggests

Opening the Doors of Creativity [video] (1990)

Waitlist form with location-based user information

Electronic Labels Have Not Led to Surge Pricing in US Grocery, Despite Concerns

First fault rupture ever filmed [video]

Building JSON on the Command Line Is Obnoxious

Iran plunged into an internet near-blackout during deepening conflict

StarTram

Introduction cards for IPWT

A Chat with Claude

Celebrating Python SDKs with marimo notebooks: Bauplan gets it [video]

Dinesh's Mid-Summer Death Valley Walk (1998)

Fascial Dehydration Steals Your Mobility: How to Reverse It

Show HN: Sysmodeler.ai cuts safety-critical modeling from weeks → minutes (Beta)

Predictors and Consequences of Intellectual Humility

Rare Appendix Cancers Are Increasing Among Millennials and Gen X

The full version of the saying: "Jack of all trades, master of none."

The small change that made a big impact

Vibe Versioning – Iterate UI in Cursor 10× Faster [video]

Generating a particular category of C callback wrappers around C++ methods

This company has never sold anything. Its founder is now worth $51B

PostgreSQL and Ducks: The Perfect Analytical Pairing

Show HN: Tiny Hoare logic verifier using SMT

Generic Model Calling

Donald J. Trump: The Muscovy Candidate

Godfather of AI: I Tried to Warn Them, but We've Lost Control G. Hinton [video]

Prompt-Improver

Why Quantum Computers Cannot Work [pdf]

My plan to make art for 200 years after I die

Website claims wildfire destroyed clothing warehouse. But it doesn't exist

Slack pricing change: business pricing increasing by 20%, AI features added

Cannabis use could double risk of heart deaths, study suggests

Opening the Doors of Creativity [video] (1990)

Waitlist form with location-based user information

Electronic Labels Have Not Led to Surge Pricing in US Grocery, Despite Concerns

First fault rupture ever filmed [video]

Building JSON on the Command Line Is Obnoxious

Iran plunged into an internet near-blackout during deepening conflict

StarTram

Introduction cards for IPWT

A Chat with Claude

Celebrating Python SDKs with marimo notebooks: Bauplan gets it [video]

Dinesh's Mid-Summer Death Valley Walk (1998)

Fascial Dehydration Steals Your Mobility: How to Reverse It

Show HN: Sysmodeler.ai cuts safety-critical modeling from weeks → minutes (Beta)

Predictors and Consequences of Intellectual Humility

Rare Appendix Cancers Are Increasing Among Millennials and Gen X

The full version of the saying: "Jack of all trades, master of none."

The small change that made a big impact

Vibe Versioning – Iterate UI in Cursor 10× Faster [video]

Generating a particular category of C callback wrappers around C++ methods

This company has never sold anything. Its founder is now worth $51B