🔬 Logic in Computer Science - matmat · Scour

The Pack That Killed the Pack Mule

carryology.com·2h

🏺ZIP Archaeology

Samuel Goldwyn Films Buys U.S. Rights to Supernatural Thriller ‘The Wolf and the Lamb’ (EXCLUSIVE)

variety.com·2h

📦Digital Cinema Package

Pluralistic: Doctors’ union may yet save the NHS from Palantir (12 Feb 2026)

pluralistic.net·2h

💿WORM Storage

EFM Animation Days: From Black Death Romantic Horror to a Buzzy Time-Travel Tale, 10 Titles to Track

variety.com·2h

🏛Digital humanities

Ukrainian Olympian Is Disqualified Over Helmet With Images of War Dead

nytimes.com

·2h

🇵🇱Polish Odra

Nearly 300,000 people in Ukrainian city of Odesa without power or water after Russian drone strikes

theguardian.com·2h

Winter Olympics 2026: Ukrainian athlete disqualified from skeleton over helmet tribute

theguardian.com·2h

⚙Backus-Naur Form

IOC ban Ukrainian skeleton racer over helmet

bbc.com

·2h

🕸️Algebraic Topology

DNS related RFCs

statdns.com·2h

🌐DNS Security

Central Petroleum Limited (CNPTF) Discusses December Quarter Results, Otway and Cooper Basins Expansion, and Major Gas Supply Agreement Transcript

seekingalpha.com·2h

💾Proxmox Storage

Indian unions and farmers stage a nationwide strike over interim trade deal with US

the-independent.com·1h

🇵🇱Polish Assembly

Hermès International Société en commandite par actions 2025 Q4 - Results - Earnings Call Presentation (NEOE:HERM:CA) 2026-02-12

seekingalpha.com

·2h

📋PREMIS Events

The intellectual hobbies proven to slash Alzheimer’s risk by nearly 40%

the-independent.com·1h

🦀Rusty Databases

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust

arxiv.org·2d

🦀Rust Verification

Some conditions implying if P=NP then P=PSPACE

arxiv.org·1d

🎯Performance Proofs

I built a tiny app that tells you if you can afford something before buying it, would love feedback

trykora.xyz·2h·

Discuss: Hacker News, r/SideProject

xAI’s Moonshot Meeting: Layoffs, Billion-Image Floods, and a Lunar AI Factory (No, Really)

kirkstechtips.com·2h·

Discuss: Hacker News

🏠Homelab Archaeology

AI and the Death of the Billable Hour

deadneurons.substack.com·2h·

Discuss: Substack

🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing

Claude Opus 4.6 Escalates Things Quickly

thezvi.substack.com·2h·

Discuss: Substack

I'm building a crowdsourced podcast episode tonight from YOUR articles

news.ycombinator.com·1h·

Discuss: Hacker News

📡RSS Readers

Loading more...