SMTLIB Pt 1

https://www.philipzucker.com/refinement_kdrag1/

1•matt_d•21s ago•0 comments

Show HN: I built the fastest VIN decoder

https://github.com/cardog-ai/corgi

1•samsullivan•36s ago•0 comments

AI Chef

https://www.cloudchef.co/zippy

1•artur_makly•9m ago•0 comments

The Crypto Crises Are Coming

https://www.project-syndicate.org/commentary/us-crypto-legislation-lacks-sufficient-regulatory-safeguards-by-simon-johnson-2025-08

1•clumsysmurf•10m ago•0 comments

iPhone rakes in 3 times the revenue of any rival

https://www.cultofmac.com/news/iphone-rakes-in-3-times-the-revenue-of-any-rival

1•mgh2•11m ago•0 comments

The Changing Politics of Masks

https://www.nytimes.com/2025/08/01/style/masks-ice-meaning.html

2•puttycat•12m ago•0 comments

NASA's Lunar Trailblazer Moon Mission Ends

https://www.nasa.gov/missions/small-satellite-missions/lunar-trailblazer/nasas-lunar-trailblazer-moon-mission-ends/

1•gnabgib•14m ago•0 comments

Lumo Privacy and Security Model

https://proton.me/blog/lumo-security-model

1•ryandotsmith•15m ago•0 comments

Some female frogs play dead to avoid mating

https://www.snopes.com/news/2025/08/04/study-female-frogs-play-dead-mating/

2•Gaishan•15m ago•0 comments

When Disney Went Digital

https://animationobsessive.substack.com/p/when-disney-went-digital

1•ani_obsessive•16m ago•0 comments

Japan breaks 17 heat records

https://phys.org/news/2025-08-broken-japan.html

2•teleforce•19m ago•0 comments

TUI Implementation for Avalonia UI

https://github.com/jinek/Consolonia

1•vyrotek•21m ago•0 comments

Netanyahu Has Decided on Full Occupation of Gaza Strip: Reports

https://www.newsweek.com/israel-fully-occupy-gaza-strip-netanyahu-office-2108730

5•rubslopes•21m ago•0 comments

NASA's Lunar Trailblazer mission ends in disappointment

https://www.engadget.com/science/space/nasas-lunar-trailblazer-mission-ends-in-disappointment-201318932.html

2•Bluestein•22m ago•1 comments

Australia picks Japan over Germany to build $10B frigates

https://www.abc.net.au/news/2025-08-05/australia-japan-navy-frigates/105613688

6•Gaishan•23m ago•1 comments

Pornography is turning sex into an extreme sport

https://www.thetimes.com/comment/columnists/article/pornography-sex-extreme-sport-bonnie-blue-gnb60xlsf

3•drankl•25m ago•2 comments

3D Line Drawings

https://amritkwatra.com/experiments/3d-line-drawings

2•tansh•27m ago•0 comments

AI Flight Pricing Can Push Travelers to the Limit of Their Ability to Pay

https://www.bloomberg.com/news/articles/2025-08-04/how-ai-can-raise-airline-ticket-prices

2•jaredwiener•28m ago•1 comments

Over engineering my homelab so I don't pay cloud providers

https://ergaster.org/posts/2025/08/04-overegineering-homelab/

2•JNRowe•29m ago•0 comments

I Mailed the FBI a Hate Crime Cease and Desist Letter

https://onedrive.live.com/?cid=5e559d34c4a7e2c3&id=5E559D34C4A7E2C3!s9eb2073269b04876997686e4a670159e&resid=5E559D34C4A7E2C3!s9eb2073269b04876997686e4a670159e&ithint=file%2cpdf&e=THgosz&migratedtospo=true&redeem=aHR0cHM6Ly8xZHJ2Lm1zL2IvYy81ZTU1OWQzNGM0YTdlMmMzL0VUSUhzcDZ3YVhaSW1YYUc1S1p3Rlo0QkY3cTIxNE96YWlZd0h4VGROWnBnbmc_ZT1USGdvc3o

1•slowdoorsemillc•31m ago•1 comments

EconTeen – Financial Literacy Lessons and Tools for Teens

https://econteen.com/

7•Chrisjackson4•32m ago•1 comments

Just tried a new AI tool – it turns text prompts into short films

https://popshort.ai/

1•florawwn•35m ago•1 comments

Revisiting Clause Vivification [pdf]

https://www.cs.cmu.edu/~mheule/publications/PoS25-viv.pdf

1•matt_d•35m ago•0 comments

MIT tool visualizes and edits "physically impossible" objects

https://news.mit.edu/2025/mit-meschers-tool-visualizes-edits-physically-impossible-objects-0804

1•chmaynard•36m ago•0 comments

Russian volcano erupts for first time in more than 500 years

https://www.bbc.com/news/articles/c0r7qlwg4zro

5•mhb•37m ago•0 comments

"Fluid Compute": Streaming requests to AWS lambdas for increased efficiency

https://www.theregister.com/2025/07/31/aws_lambda_cost_nightmare/

3•Shorn•37m ago•1 comments

OCHA situation report on Gaza, July 30

https://www.ochaopt.org/content/reported-impact-snapshot-gaza-strip-30-july-2025

3•xg15•37m ago•0 comments

Long dormant Russian volcano erupts, spews ash 4 miles high

https://www.upi.com/Top_News/World-News/2025/08/03/dormant-russian-volcano-erupts/3171754245841/

3•mhb•38m ago•2 comments

Falcon-H1: A Family of Hybrid-Head Models Redefining Efficiency and Performance

https://arxiv.org/abs/2507.22448

1•rbanffy•38m ago•0 comments

London Stock Exchange considers 24-hour trading to stimulate market

https://www.theguardian.com/business/2025/jul/21/london-stock-exchange-24-hour-trading-boost-market

6•PaulHoule•42m ago•0 comments

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1

Show HN: I built the fastest VIN decoder

AI Chef

The Crypto Crises Are Coming

iPhone rakes in 3 times the revenue of any rival

The Changing Politics of Masks

NASA's Lunar Trailblazer Moon Mission Ends

Lumo Privacy and Security Model

Some female frogs play dead to avoid mating

When Disney Went Digital

Japan breaks 17 heat records

TUI Implementation for Avalonia UI

Netanyahu Has Decided on Full Occupation of Gaza Strip: Reports

NASA's Lunar Trailblazer mission ends in disappointment

Australia picks Japan over Germany to build $10B frigates

Pornography is turning sex into an extreme sport

3D Line Drawings

AI Flight Pricing Can Push Travelers to the Limit of Their Ability to Pay

Over engineering my homelab so I don't pay cloud providers

I Mailed the FBI a Hate Crime Cease and Desist Letter

EconTeen – Financial Literacy Lessons and Tools for Teens

Just tried a new AI tool – it turns text prompts into short films

Revisiting Clause Vivification [pdf]

MIT tool visualizes and edits "physically impossible" objects

Russian volcano erupts for first time in more than 500 years

"Fluid Compute": Streaming requests to AWS lambdas for increased efficiency

OCHA situation report on Gaza, July 30

Long dormant Russian volcano erupts, spews ash 4 miles high

Falcon-H1: A Family of Hybrid-Head Models Redefining Efficiency and Performance

London Stock Exchange considers 24-hour trading to stimulate market

Palantir tops $1 billion in revenue for the first time

Comments

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1

Show HN: I built the fastest VIN decoder

AI Chef

The Crypto Crises Are Coming

iPhone rakes in 3 times the revenue of any rival

The Changing Politics of Masks

NASA's Lunar Trailblazer Moon Mission Ends

Lumo Privacy and Security Model

Some female frogs play dead to avoid mating

When Disney Went Digital

Japan breaks 17 heat records

TUI Implementation for Avalonia UI

Netanyahu Has Decided on Full Occupation of Gaza Strip: Reports

NASA's Lunar Trailblazer mission ends in disappointment

Australia picks Japan over Germany to build $10B frigates

Pornography is turning sex into an extreme sport

3D Line Drawings

AI Flight Pricing Can Push Travelers to the Limit of Their Ability to Pay

Over engineering my homelab so I don't pay cloud providers

I Mailed the FBI a Hate Crime Cease and Desist Letter

EconTeen – Financial Literacy Lessons and Tools for Teens

Just tried a new AI tool – it turns text prompts into short films

Revisiting Clause Vivification [pdf]

MIT tool visualizes and edits "physically impossible" objects

Russian volcano erupts for first time in more than 500 years

"Fluid Compute": Streaming requests to AWS lambdas for increased efficiency

OCHA situation report on Gaza, July 30

Long dormant Russian volcano erupts, spews ash 4 miles high

Falcon-H1: A Family of Hybrid-Head Models Redefining Efficiency and Performance

London Stock Exchange considers 24-hour trading to stimulate market