🔬 Logic in Computer Science - matmat · Scour

DeepMind's CEO does a 'second day' of work at night: 'I come alive at about 1 a.m.'

businessinsider.com

·1h

🚀Indie Hacking

Russia attempted to ‘fully block’ WhatsApp, Meta-owned company says

theguardian.com·1h

🚦💥 The Feature Was Disabled — The Backend Didn’t Get the Memo

infosecwriteups.com

·1h

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

theguardian.com·1h

⚙️Swedish Assembly

Warriors instant analysis: Wembanyama outduels Green in final game before All-Star break

mercurynews.com

·1h

✓Automated Theorem Proving

A Complete Cloud Penetration Testing Walkthrough

infosecwriteups.com

·1h

🕵️Penetration Testing

AECOM: Beat And Raise Quarter Supports Buy Rating (NYSE:ACM)

seekingalpha.com

·48m

Justin Baldoni and Blake Lively awkwardly wear matching outfits for first day of court showdown

the-independent.com·1h

📋PREMIS Events

Income Investing In 2026: Balancing Bonds, Small Caps, And MLPs

seekingalpha.com

·14m

📈Linear programming

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

variety.com·1h

🎞️Cinema Preservation

Canada’s strict gun laws include a ban on assault-style firearms and a freeze on handgun sales

the-independent.com·1h

⚖️Digital Evidence

RFC 2182 - Selection and Operation of Secondary DNS Servers

datatracker.ietf.org·1h

🌐DNS Security

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

The Farm That 600 Million IP Addresses Called Home • Library • Connected

connected.app·1h·

Discuss: Hacker News

📡DNS Archaeology

Software Is User Action

software-action.hyperclay.com·1h·

Discuss: Hacker News

🔐Capability Systems

Separation of Concerns: You're Cutting Along the Wrong Line

inferal.com·1h·

Discuss: Hacker News

🏺Database Archaeology

adrihd/voyters: A deep dive into the voynich manuscript using a NEW language by merging Cyrilic, Arabic and Middle Eastern alphabets.

github.com·1h·

Discuss: Hacker News

📜Binary Philology

Fikoko/Canon-C: A semantic standard library for C: explicit, composable modules that add meaning without hiding behavior.

github.com·5d·

Discuss: Hacker News, r/C_Programming

💧Liquid Types

The Scientist and the Simulator

latent.space·1d·

Discuss: Hacker News

🧠Intelligence Compression

Loading more...