🧮 Theoretical Computer Science - matmat · Scour

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering

arxiv.org·1d

🏗️Compiler Archaeology

VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning

arxiv.org·14h

⚔️Lean Tactics

Bluesky Finally Has Drafts

lifehacker.com·1h

📰Feed Readers

This GoPro and Lens Bundle Is $200 Off

wired.com·1h

📦Digital Cinema Package

My journey to the microwave alternate timeline

malmesbury.substack.com·1h·

Discuss: Substack

🧮Algorithmic Cooking

‘Sistas’ Star Novi Brown Signs With Innovative Artists Entertainment (EXCLUSIVE)

variety.com·1h

📦Digital Cinema Package

The Switch to Linux and the Beginning of My Self-Hosting Journey

hazemkrimi.tech·1h·

Discuss: Hacker News

🖥️Self-hosted Infrastructure

Oklahoma City Thunder star Nikola Topic makes basketball return after testicular cancer battle

the-independent.com·1h

📰Feed Readers

Egalitarianism among hunter-gatherers? What a food-sharing experiment reveals about self-interest

phys.org·1h

⚖️Emulation Ethics

Kaley Cuoco defends ‘game changer’ decision to stop sharing a bed with fiancé Tom Pelphrey

the-independent.com·53m

🔲Cellular Automata

DASL: Web Tiles

dasl.ing·1h·

Discuss: Hacker News

🌐Web Standards

Malinowski concedes to Analilia Mejia in New Jersey Democratic primary for House seat

theguardian.com·1h

💻Local first

Kid Rock Explains “Lip Sync” Super Bowl Performance, Admits “It Did Not Line Up”

hollywoodreporter.com

·1h

👁️Perceptual Coding

Desktop Client for Building and Sharing MCP Apps Within Orgs

creature.run·1h·

Discuss: Hacker News

🖥️Modern Terminals

The February 2026 Security Update Review

thezdi.com·1h

Hotel del Coronado boots ‘Sandcastle Man’ from his yearslong spot on the beach

mercurynews.com

·1h

🏠Personal Archives

Update On Platinum, Palladium, And The SPPP ETF (NYSEARCA:SPPP)

seekingalpha.com

·34m

I moved from a major US city to a Canadian town with under 3,000 people. I thought I'd be lonely, but I've never been happier.

businessinsider.com

·1h

🏠Personal Archives

Catena Media plc (CTTMF) Q4 2025 Earnings Call Transcript

seekingalpha.com·28m

📰Feed Readers

Second xAI co-founder Tony Wu departs as Musk folds money-losing AI venture into SpaceX

the-decoder.com·5m

🌍Cultural Algorithms

Loading more...