🔬 Logic in Computer Science - matmat · Scour

This New Blood Test Can Detect Cancer Before Tumors Appear

scitechdaily.com·1h

🌈Spectroscopy

ByteDance’s next-gen AI model can generate clips based on text, images, audio, and video

theverge.com

·1h

France in focus - Sophie Adenot, the French astronaut reaching for the stars

france24.com·1h

🌀Riemannian Computing

Kerry Washington, Zinzi Coogler, Chase Infiniti and LaTanya Richardson Jackson Named Essence Black Women in Hollywood Honorees

variety.com·1h

📦Digital Cinema Package

Joe Rogan Refused to Meet Jeffrey Epstein in 2017, Then Ended Up in the Epstein Files: They Tried to ‘Get Me to Meet Him. I Was Like, Bitch Are You High?’

variety.com·1h

Rio Carnival parade will spotlight sex workers in effort to dismantle stigma

the-independent.com·1h

🌍Cultural Algorithms

American Electric Power Company, Inc. 2025 Q4 - Results - Earnings Call Presentation (NASDAQ:AEP) 2026-02-12

seekingalpha.com

·1h

🎯Arithmetic Coding

Beauty lovers and retail experts hail first Sephora store on island of Ireland

the-independent.com·1h

🏛Digital humanities

Take Two Interactive: Strong Bookings Prospects Amid Selloff (Upgrade) (NASDAQ:TTWO)

seekingalpha.com

·1h

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust

arxiv.org·2d

🦀Rust Verification

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints

arxiv.org·1d

🔗Concatenative Programming

Shortcut.ai is a Great Excel Agent (and Some Thoughts on AI Replacing Professional Services)

theautomatedoperator.substack.com·58m·

Discuss: Substack

Cyber Model Arena

wiz.io·48m·

Discuss: Hacker News

🔒WASM Capabilities

Code only says what it does

brooker.co.za·4d·

Discuss: Hacker News

📜Proof Carrying Code

Show HN: .portab- a portable file format for transporting browser windows

github.com·49m·

Discuss: Hacker News

🕸️WebAssembly

cristan/improved-un-locodes: UN/LOCODE dataset, but with more and actually reliable coordinates

github.com·44m·

Discuss: Hacker News

🏺Computational Archaeology

Part 2 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System

news.ycombinator.com·1d·

Discuss: Hacker News

✓Automated Theorem Proving

Loading more...