🔬 Logic in Computer Science - matmat · Scour

Wes Cook and the Centralia McDonald’s Mural

pxlnv.com·27m

🏺Media Archaeology

Border patrol chief praised federal agent who shot US citizen in Chicago

theguardian.com·31m

🚨Incident Response

Highguard’s developer reportedly lays off ‘most’ of its staff just over two weeks after launch

theverge.com

·28m

🔓Open Source Software

In East Jerusalem, 'The Israelis are advancing everywhere at once, they are suffocating us because there is no longer any international pressure'

lemonde.fr

·54m

🛡Cybersecurity

Arne Slot urges Liverpool to find consistency after victory at Sunderland

the-independent.com·55m

Lory Patrick, ‘Tales of Wells Fargo’ Actress and Widow of Disney Star Dean Jones, Dies at 92

hollywoodreporter.com

·45m

Musk overhauls xAI’s leadership as he sets lofty space data centre ambitions

ft.com

·46m

🖥️Self-hosted Infrastructure

Keir Starmer faces fresh questions over judgment after Lord Doyle controversy

the-independent.com·54m

👂Audio Evidence

Federal budget cuts lead this East Bay county to consider a new tax to fill the gaps

mercurynews.com

·34m

💻Local first

Mattel Q4: More Pain Ahead, But It Is Getting Interesting (NASDAQ:MAT)

seekingalpha.com

·52m

AMC Networks Inc. (AMCX) Q4 2025 Earnings Call Transcript

seekingalpha.com·14m

⏱️SMPTE Timecode

Remembering James Van Der Beek’s Final Onscreen Film Role as Noah Beck’s Father in ‘Sidelined 2’

hollywoodreporter.com

·34m

⏱️SMPTE Timecode

ChatGPT vs. Logic: Why AI Code is Slower

dev.to·5d·

Discuss: DEV

🌊Streaming Algorithms

I Built a Programming Language Where think Is a Keyword

dev.to·4d·

Discuss: DEV

🔗Concatenative Programming

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

arxiv.org·1d

🦀Rust Verification

Definability and Interpolation in Philosophy

arxiv.org·1d

🔲Proof Irrelevance

CPU cloth simulation performance comparable to GPU SotA

sig25ddmpd.github.io·33m·

Discuss: Hacker News

📟Terminal Physics

From Breadboard to Perf Board (Part 1)

tomsantunes.substack.com·36m·

Discuss: Substack

⚡Circuit Archaeology

The Observer Lemma

zenodo.org·45m·

Discuss: Hacker News

✨Effect Handlers

Heroku Is Not Dead

nombiezinja.com·38m·

Discuss: Hacker News

🏠Personal Archives

Loading more...