💻 CS - matmat · Scour

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction

arxiv.org·4d

📋Document Grammar

El Agente Estructural: An Artificially Intelligent Molecular Editor

arxiv.org·5d

⚡Proof Automation

A 307 Million-Year-Old Skull Reveals a Surprising Shift in Early Diets

scitechdaily.com·1h

🦴Binary Paleontology

Reset Digital for Good I Fighting the Search Monopoly With an Open Source Index: An Interview With Michael Granitzer From OpenWebSearch

openwebsearch.eu·1h

Were the Egyptian Pyramids Not Built Up, But Carved Down?: A Bold New Theory Explains Their Construction

openculture.com·1h

🏺Computational Archaeology

The Nuremberg Caucus

doctorow.medium.com·1h

🎫Kerberos Attacks

TELL US: Do Sweden's new citizenship rules make you want to leave the country?

thelocal.se

·1h

Opinion | Trump’s Doomed Drive to Rename Penn Station and Dulles Airport

nytimes.com

·1h

Building Teachers’ Capacity to Read and Use Wikipedia in the Classroom

diff.wikimedia.org·1h

🕸️Knowledge Graphs

FV - Work - Ring Alarm to Google Sheets Monitor

francescovigni.com·1h·

Discuss: Hacker News

🔌Offline-first Apps

January was fifth hottest on record despite cold snap: EU monitor

phys.org·1h

❄️Nordic Preservation

Italian sports broadcaster hit by strikes after Mariah Carey gaffe at Olympic opening ceremony

the-independent.com·1h

📡RSS Extensions

How to help adult children financially without harming your future

the-independent.com·1h

🏠Personal Archives

The Best Smart Sleep Pads for Your Most Efficient Sleep (2026)

wired.com·1h

🏠Home Automation

Ukrainian accuses IOC of ‘betrayal’ for banning helmet with images of dead athletes

theguardian.com·1h

🇵🇱Elwro Systems

Formula 1 Podcast ‘Up to Speed’ Gets in Gear With Hosts Will Buxton, Naomi Schiff, David Coulthard and Jolie Sharpe

variety.com·1h

🌊Streaming Systems

‘These are people’s livelihoods’: Minnesota’s economy in crisis amid ICE surge

theguardian.com·1h

💻Local first

Trump Officials Redacted Epstein Files to Protect 'Prominent' Individuals

time.com·1h·

Discuss: Hacker News

💾Data Preservation

British Army splashes $86M on AI gear to speed up the battlefield kill chain

theregister.com·1h

🇬🇧British Computing

Show HN: Client Logo Wall – a simple embeddable widget to manage client logos

news.ycombinator.com·1h·

Discuss: Hacker News

🌀Brotli Internals

Loading more...