Stories by ----__-ZXyw

Proving completeness of an eventually perfect failure detector in Lean4

Safari for Windows Launched Today in Apple History

With the launch of o3-pro, let's talk about what AI "reasoning" does

U.S. Inflation Remains Muted, with Limited Effects from Tariffs

Show HN: MagnaLaunch – Fixed-price MVP builds for non-technical teams

How Will We Adapt as Red States Reduce Their Supply of New Housing?

Ask HN: Advice on fundraising for an AI lab or an incubator

Watch Haptic Trailer

Show HN: Koldy.io – We send you verified B2B contacts, no tools needed

Show HN: db-ui – simple self-hosted DB management UI with AI chat support

Walton University?

The YAML Document from Hell

Of Markets and Marriages: Review of Recent Work on the Causes of US Poverty

Starbucks brews up AI to support baristas instead of replace them

Show HN: Mulimodal labeling app with Rerun and Gradio

Shopify Tech Stack

React’s Template Revolution Accidentally Created a Developer Productivity Crisi

Highly diverse flower strips promote natural enemies more in annual field crops