8 stories tagged with #roof, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Roof"
F*: A general-purpose proof-oriented programming language
I’ve driven the new Cupra Raval and it’s proof that the hot hatch can live on in the EV era
A joyous drive meets sensible specification in this plucky pocket rocket…
Marvin Minsky: a proof that led to the first AI winter
Week 04 of the Turing Award Series — how proving what single-layer networks can't do led to everything they can…
Samsung Q600H review: Proof you don’t need to spend thousands on your home audio setup
I’ll skip my cinema trip this weekend…
Is the Apple Watch waterproof?
There's a difference between waterproof and water resistant.…
Stop vacuuming for hours — here’s my bulletproof 5-minute cordless vacuum routine that cuts chores in half
Here’s my fail-proof method to clean smarter (not harder)…
Show HN: HuPow – Proof-of-Work to stop AI bots in your inbox
Cryptographic Proof-of-Work to verify human intelligence. Reclaim your inbox from automated AI outreach.…
Doing Okay-ish with AI at the AI-proof competition
I just took part as a team of 1 (or 0, really) at the ICFP Programming Contest of 2026. TLDR - I used nothing but AI, mostly Fable, and did okay-ishly well, finishing in the top ~2…