👑 Dependent Haskell - matmat · Scour

Protests turn violent as Argentina debates labour overhaul

france24.com·36m

⚙️Swedish Assembly

Sex offenders should tell police about pregnancies, review finds

bbc.com·38m

⚖️Legal Compliance

Britney Spears sells music catalog for some $200 million

france24.com·41m

🏴‍☠️Piracy

Kim Ju Ae: North Korea leader Kim Jong Un chooses daughter as heir, Seoul says

bbc.com·31m

End ICE Lawlessness

nytimes.com

·25m

🔐Systems Hardening

The 3 Hour Rule That Could Boost Your Heart Health

scitechdaily.com·32m

🧮Algorithmic Cooking

CPH:DOX unveils the line-up for its competitions

cineuropa.org·56m

🇸🇪Nordic Cryptography

de next-RAP8-EZBOX – An ultra-compact, fanless or actively-cooled Intel Core i7-1365UE Raptor Lake embedded system

cnx-software.com·17m

🔌Operating system internals

October World Oil Production Drops

seekingalpha.com

·17m

‘I wasn’t acting: that was me’: how non-actors took over Oscar season

theguardian.com·29m

🎭Cinema Acoustics

Opinion | Is Claude Coding Us Into Irrelevance?

nytimes.com

·26m

🧲Magnetic Philosophy

AMP Limited (AMLTF) Q4 2025 Earnings Call Transcript

seekingalpha.com·28m

📋PREMIS Events

Unlocking the Power of Python Generators: A Comprehensive Guide

dev.to·4d·

Discuss: DEV

⚙️Parser Generators

A Field Guide to Federated Optimization

dev.to·4d·

Discuss: DEV

🤐Secure Multiparty

Legends of Tech: Nintendo Entertainment System

techspot.com·14m

🏺Gaming Archaeology

Exactly Computing do-Shapley Values

arxiv.org·2d

🌊Streaming Algorithms

Profinite trees, through Lawvere theories and the lambda-calculus

arxiv.org·2d

λLambda Encodings

An attempt at a First-Proof AI challenge

abhvio.us·3d·

Discuss: Hacker News

🎯Performance Proofs

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·4d·

Discuss: Hacker News

💻Programming languages

Relay Lang – Async first programming language

harrisonerd.com·2d·

Discuss: Hacker News

🌐Protocol Synthesis

Loading more...