💻 CS - matmat · Scour

CSLib: The Lean Computer Science Library

arxiv.org·5d

⚔️Lean Tactics

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·4d

✨Effect Handlers

Judge Bans Some Lil Durk Lyrics as Evidence in Murder-for-Hire Trial, Still Weighing Others

rollingstone.com

·1h

⚖️Digital Evidence

Be Quiet Silent Wings Pro 4 Fans

forums.anandtech.com·1h

⌨️Mechanical Keyboards

Iran escalates crackdown on protestors amid potential US nuclear talks

france24.com·2h

🔐Quantum Cryptography

Electric Cars Are Making It Easier To Breathe, Study Finds

tech.slashdot.org·2h

🏠Home Automation

Trump says Gordie Howe bridge won't open without Canadian concessions

freep.com·2h·

Discuss: Hacker News, r/Economics

📲Digitization

After an awkward Olympics misfire, Google’s Gemini shines in a Super Bowl filled with emotional AI contenders

techradar.com

·1h

🏛Digital humanities

Conveniencing Ourselves to Irrelevance

om.co·1h

🧲Magnetic Philosophy

5 steps to get Ukraine into the EU in 2027

politico.eu·2h

🇵🇱Polish Assembly

Catholic cross like no other is a beacon of unity in Olympic host city Milan

the-independent.com·52m

🏗️Swedish Architecture

Why post-Soviet nostalgia is rational: death rates, shock therapy, and elites

eventuallymarching.substack.com·1h·

Discuss: Substack

🔐Soviet Cryptography

Wuthering Heights review – Emerald Fennell’s astonishingly bad adaptation is like a limp Mills & Boon

the-independent.com·2h

🏛Digital humanities

‘What I see in clinic is never a set of labels’: are we in danger of overdiagnosing mental illness?

theguardian.com·56m

⚖️Emulation Ethics

Chappell Roan drops Casey Wasserman talent agency after Epstein files revelations

theguardian.com·1h

Why did fabless eat semiconductors?

siliconimist.substack.com·2h·

Discuss: Substack

🖥️Terminal Renaissance

Show HN: A daily news app that helps kids build reading and thinking skills

zaplearner.com·1h·

Discuss: Hacker News

📰Feed Readers

I2PChat | Secure P2P Instant Messenger

vituperative.github.io·2h·

Discuss: Hacker News

Show HN: I built an AI-powered late-night call-in radio show from my RV

lukeattheroost.com·34m·

Discuss: Hacker News

📰RSS Archaeology

Olympic skier Lindsey Vonn, 41, says she has a tibia fracture and no regrets

businessinsider.com

·2h

⚙Backus-Naur Form

Loading more...