🔬 Logic in Computer Science - matmat · Scour

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

bitdefender.com·2h

🔍Polish Cryptanalysis

blog.broulik.de·2h

📟Terminal Typography

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

·2h

🎞️MKV Internals

Read more: Lucerne kicks off Swiss carnival season

swissinfo.ch·2h

Olivia Colman sometimes thinks of herself as a gay man. As a gay man myself, I say – welcome

theguardian.com·2h

🏠Personal Archives

Read more: Governments and industry must work across the cocoa and gold sector to address child labour

swissinfo.ch·2h

🔗Supply Chain

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

variety.com·2h

🎼Audio Lambda Calculus

You be the judge: should my wife stop leaving piles of clothes all over the bedroom?

theguardian.com·2h

🧮Archive Algebra

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

variety.com·2h

📦Digital Cinema Package

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

hollywoodreporter.com

·2h

📦Digital Cinema Package

Amazon Is Rather Old For Negative FCF (NASDAQ:AMZN)

seekingalpha.com

·2h

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

ebpf.foundation·2h

Fastly, Inc. 2025 Q4 - Results - Earnings Call Presentation (NASDAQ:FSLY) 2026-02-12

seekingalpha.com

·2h

Father of exiled Hong Kong activist convicted in unprecedented insurance case under national security law

the-independent.com·56m

⚖️Legal Compliance

Who is Sir Jim Ratcliffe, the billionaire Ineos owner running Manchester United?

the-independent.com·4m

🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing

Definability and Interpolation in Philosophy

arxiv.org·2d

🔲Proof Irrelevance

Characterizing, Evaluating, and Optimizing Complex Reasoning

arxiv.org·2d

🧠Computational Logic

mrdavey/codex-peon: Warcraft III Peon voice notifications for Codex.

github.com·1h·

Discuss: Hacker News

📟Terminal Typography

Show HN: A header-only C++ benchmark for predictive models on raw binary streams

github.com·1h·

Discuss: Hacker News

🧪Binary Fuzzing

JUXT Blog: From specification to stress test: a weekend with Claude

juxt.pro·1d·

Discuss: Hacker News

🦀Rust Borrowing

Loading more...