🔬 Logic in Computer Science - matmat · Scour

Central Kanuri Wikipedia Anniversary

diff.wikimedia.org·50m

🌍Cultural Computing

The Epstein scandal has punctured all the age-old myths about the French elite

theguardian.com·49m

⚖️Archive Ethics

Watch All of Vivaldi’s Four Seasons Performed on Original Baroque Instruments

openculture.com·50m

🕯️Wax Cylinders

It’s Never Over, Jeff Buckley review – a sympathetic, urgent look at a life cut tragically short

theguardian.com·49m

🎵Music Universality

Tuchel set to sign two-year extension with England

bbc.com

·42m

⚙Backus-Naur Form

‘I Understand Your Displeasure’s’ Director Wants Us to Feel the Grind of the Cleaning Sector, Not View It From a “Voyeuristic Distance”: Berlin

hollywoodreporter.com

·50m

📊Rate-Distortion Theory

Gen Z is mastering the art of the public breakup, and there's now a mini economy around it

businessinsider.com

·43m

🏠Personal Archives

Dear Abby: Why should I play holiday host to people who call me a homewrecker?

mercurynews.com·50m

💻Local first

Stolen Land at the Grammys: How Hollywood Groupthink Threatens Democracy

newenglishreview.org·50m

🧲Magnetic Philosophy

Don't sack cabinet secretary until Mandelson files published, Badenoch says

bbc.com·43m

📋records management

Today in History: February 12, Pope Francis meets Russian Orthodox Church’s leader

mercurynews.com

·49m

⭐Awesome lists

First look at new Belmond train carriage designed by Hollywood legend Baz Luhrmann

the-independent.com·54m

🎭IMAX Technology

Sound Point Meridian Capital Inc 2026 Q3 - Results - Earnings Call Presentation (NYSE:SPMC) 2026-02-12

seekingalpha.com

·47m

🚚Data Migration

Murderer who killed two men in drive-by shooting set to be second US execution this year

the-independent.com·44m

Societe Generale: Fully Valued After A Major Re-Rate (Downgrade) (OTCMKTS:SCGLY)

seekingalpha.com

·50m

⚙Backus-Naur Form

Decomposing Reasoning Efficiency in Large Language Models

arxiv.org·1d

🔗Parser Combinators

Definability and Interpolation in Philosophy

arxiv.org·2d

🔲Proof Irrelevance

The UK Royal Mint is running a treasure hunt to find a gold bar

royalmint.com·45m·

Discuss: Hacker News

🏺Kerberos Archaeology

SotA ARC-AGI-2 Results with REPL Agents

symbolica.ai·59m·

Discuss: Hacker News

✓Automated Theorem Proving

First Proof | Research-Level Math for AI Evaluation

1stproof.org·5d·

Discuss: Hacker News

🎯Performance Proofs

Loading more...