👑 Dependent Haskell - matmat · Scour

Charli XCX Misses the Moment

newyorker.com·1h

Linux Mint Wants Fewer Releases Each Year (For Good Reasons)

itsfoss.com·1h

Is the Rat War Over?

newyorker.com·1h

🔲Cellular Automata

‘A Prayer for the Dying,’ Starring Johnny Flynn, John C. Reilly, Debuts Trailer Ahead of Berlinale Premiere (EXCLUSIVE)

variety.com·1h

🎬Cinema Projection

Marine Le Pen's appeal trial ends with political uncertainty as defense urges 'tolerance' for legal 'gray areas'

lemonde.fr

·1h

🇫🇷French Computing

Jarvis: The knockoff GLP-1 market is still the Wild West

mercurynews.com

·1h

Russian soldiers criticize Telegram slowdown as Moscow attempts to block WhatsApp

techspot.com·1h

🛡Cybersecurity

Apple fixed first actively exploited zero-day in 2026

securityaffairs.com·1h

‘People ought to know’: Blue Boy Trial brings Japan’s trans history up to date

theguardian.com·1h

🏛Digital humanities

WhatsApp is now fully blocked in Russia

engadget.com·1h

🔤EBCDIC Privacy

Apple Fixes Zero-Day Used in Targeted Attacks

ghacks.net·1h

Siri’s AI overhaul has reportedly been delayed yet again, and at this point I think it might be a bigger embarrassment than antennagate

techradar.com

·1h

🌀Brotli Internals

From curiosity to culture: Advocating for AI

techradar.com

·1h

🌍Cultural Algorithms

Wall Street Breakfast Podcast: McDonald’s Arching Toward 50K

seekingalpha.com

·1h

Commodities: Rising U.S. Oil Inventories And Falling OPEC+ Production

seekingalpha.com

·1h

Rituals, relics and dark magic: Why the heart wasn’t always a symbol of love

the-independent.com·39m

🗝️Paleocryptography

How bird poo fuelled the rise of a powerful ancient kingdom

the-independent.com·46m

🌍Cultural Computing

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version

arxiv.org·2d

🔗Functional Compilers

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

arxiv.org·2d

⚔️Lean Tactics

Ruhal-Doshi/hld-bench: Open-source benchmark evaluating LLMs on high-level system design

github.com·4d·

Discuss: Hacker News

🔍FPGA Verification

Loading more...