🔬 Logic in Computer Science - matmat · Scour

When ARP Goes Wrong: Threat Hunting ARP Poisoning in Network Traffic

infosecwriteups.com·2h

🛣️BGP Hijacking

Making a Functional Control Panel of the Chernobyl RBMK Reactor

hackaday.com·1h

⚙️RISC-V Microcode

Berlin Rising Star Luna Wedler on Discovering Acting: “It Became My Great Love, Almost an Addiction”

hollywoodreporter.com

·1h

🏛Digital humanities

How an Internal Tool Accidentally Became Public Internet Property 🌐🚪

infosecwriteups.com

·2h

🚀Indie Hacking

Opinion | Spain’s Approach to Migration Is Overrated and Harmful

nytimes.com

·1h

🔐Systems Hardening

EU leaders to clash over ‘Buy European’ push at Belgium summit

theguardian.com·1h

⚙️Swedish Assembly

Switzerland to vote on far-right proposal to cap population at 10 million

theguardian.com·1h

‘Hello Betty’ Scores First EFM Sales as Swiss Hit Screens at the Market (EXCLUSIVE)

variety.com·1h

🎮Vintage Gaming

‘Truly Naked’ Sparks Bidding Wars in Germany and Korea Ahead of Berlinale Premiere as First Clip Debuts (EXCLUSIVE)

variety.com·1h

🎞️Cinema Preservation

Lisa McGee on her Derry Girls follow-up: ‘When you’re approaching 40, people just go mad’

the-independent.com·1h

🛡Cybersecurity

Intuit Will Likely Survive The SaaS-Pocalypse (NASDAQ:INTU)

seekingalpha.com

·1h

🔤EBCDIC Mining

US House votes to block Trump’s tariffs on Canada

the-independent.com·1h

🛣️BGP Hijacking

ChatGPT vs. Logic: Why AI Code is Slower

dev.to·5d·

Discuss: DEV

🌊Streaming Algorithms

RFC 2182 - Selection and Operation of Secondary DNS Servers

datatracker.ietf.org·1h

🌐DNS Security

Baron Opportunity Fund Q4 2025 Shareholder Letter

seekingalpha.com

·1h

📰Feed Readers

Are Reasoning LLMs Robust to Interventions on Their Chain-of-Thought?

arxiv.org·2d

🧠Computational Logic

On the Expressive Power of GNNs for Boolean Satisfiability

arxiv.org·2d

🧮Constraint SMT

Software Is User Action

software-action.hyperclay.com·2h·

Discuss: Hacker News

🔐Capability Systems

Railway Oriented Programming

fsharpforfunandprofit.com·5d·

Discuss: Hacker News

🐚Shell Monads

QuriousAI/qurious: An AI-powered research assistant that helps researchers, students, and curious minds find, understand, and organize scientific literature faster.

github.com·54m·

Discuss: Hacker News

📜Digital Philology

Loading more...