🔬 Logic in Computer Science - matmat · Scour

SND Partners With Salaud Morisset for Jacques Deray’s Cult Classic ‘La Piscine,’ Starring Alain Delon, Romy Schneider (EXCLUSIVE)

variety.com·7m

📦Digital Cinema Package

How to Get to Heaven From Belfast review: A bonkers, brilliant return from the creator of Derry Girls

the-independent.com·16m

⭐Awesome lists

Read more: Lucerne kicks off Swiss carnival season

swissinfo.ch·15m

Polish hacker charged seven years after massive Morele.net data breach

bitdefender.com·12m

🔍Polish Cryptanalysis

Alief Boards Nick Butler’s ‘Lunar Sway’ for World Sales (EXCLUSIVE)

variety.com·16m

🎼Audio Lambda Calculus

People are stealing copper roof plates from Japan’s Shinto shrines as value of metal soars

the-independent.com·19m

🛣️BGP Hijacking

Read more: Swisscom profits shrink after Vodafone Italia integration

swissinfo.ch·5m

📡Network Calculus

"The height of nonsense": Oracle co-founder Larry Ellison’s 1987 argument that not everything should be AI makes perfect sense in 2026

techradar.com

·3d

🕹Emulation Theory

‘How to Get to Heaven from Belfast’ Review: Lisa McGee’s ‘Derry Girls’ Follow-Up Is a Chaotic, Wildly Entertaining Netflix Mystery

hollywoodreporter.com

·15m

📦Digital Cinema Package

I watched all of How to Get to Heaven from Belfast on Netflix and I’ll be traumatized for weeks — think Derry Girls with lashings of dark disturbing drama

techradar.com

·15m

🎞️MKV Internals

AI Agents: Can Logic and Search Really Scale?

dev.to·5d·

Discuss: DEV

🔮Proof Search

Function Calling & Tool Schemas

dev.to·3d·

Discuss: DEV

🦀Rust Macros

New “eBPF In Production” Report Showcases Production Enterprise Outcomes Across Networking, Security, and Observability

ebpf.foundation·16m

On the Expressive Power of GNNs for Boolean Satisfiability

arxiv.org·2d

🧮Constraint SMT

Decomposing Reasoning Efficiency in Large Language Models

arxiv.org·1d

🔗Parser Combinators

Oatmeal - Constraint propagation for fun

eli.li·4d·

Discuss: Lobsters, Hacker News

Code only says what it does

brooker.co.za·4d·

Discuss: Hacker News

📜Proof Carrying Code

How to set up Claude Code: a context-first approach

dhirajtourani.com·4d·

Discuss: Hacker News, r/programming

⚡Effectful Programming

Prove_it – Force Claude to verify its work

github.com·3d·

Discuss: Hacker News

⚡Proof Automation

Agentic Proof-Oriented Programming

risemsr.github.io·6d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

Loading more...