🔬 Logic in Computer Science - matmat · Scour

Koreans are shunning dangerous shipbuilding jobs envied by Trump

japantimes.co.jp·5h

🔐Systems Hardening

The culture war on net zero : Why have Brits stopped supporting climate policies ?

euronews.com·5h

🧊Arctic Storage

Srsly Risky Biz: Microsoft's Forgoes Its Secure Future

news.risky.biz·5h

Announcing crun

notes.billmill.org·5h

🔗Concatenative Programming

Trump tells Israel's Netanyahu Iran talks must continue, says 'nothing definitive reached' at White House meeting

lemonde.fr·5h

📝ABNF Parsing

James Van Der Beek, star of 'Dawson's Creek,' dies at 48

japantimes.co.jp·5h

⏱️SMPTE Timecode

'The Washington Post became the collateral damage ofJeff Bezos's choice to forge the strongest possible ties with Trump'

lemonde.fr

·5h

Nurses at 4 N.Y.C. Hospitals Vote to End Strike, but It Continues at One

nytimes.com

·5h

📄Document Digitization

'It is much more than showing pictures of animals. It is about evoking emotion' — how these stunning photos of rare Iberian Lynx converted a hunter into a photo...

techradar.com

·5h

🗜️LZW Variants

Disney just shut down AI image prompts for its characters — and it might mark the end of the Wild West era of AI image creation

techradar.com

·5h

🗜️LZW Variants

US House votes to overturn Trump's tariffs on Canada

bbc.com·5h

🔗Constraint Handling

Major pollster to stop measuring presidential approval ratings

the-independent.com·5h

⚖️Feed Ranking

Children caught with knives to be referred to government intervention plan

the-independent.com·5h

🛡Cybersecurity

HubSpot, Inc. (HUBS) Q4 2025 Earnings Call Transcript

seekingalpha.com·3h

DoubleDown Interactive Co., Ltd. (DDI) Q4 2025 Earnings Call Transcript

seekingalpha.com·2h

🚚Data Migration

Definability and Interpolation in Philosophy

arxiv.org·2d

🔲Proof Irrelevance

Characterizing, Evaluating, and Optimizing Complex Reasoning

arxiv.org·2d

🧠Computational Logic

Something Small Is Happening

myriadperspectives.com·5h·

Discuss: Hacker News

🔲Cellular Automata

Show HN: Implementing an AI Portfolio Manager. With Learning

quantape.substack.com·5h·

Discuss: Substack

🧠Learned Indexes

Lessons from Zig

vinniefalco.com·5h·

Discuss: Hacker News

💧Liquid Types

Loading more...