🔬 Logic in Computer Science - matmat · Scour

Odido data breach exposes personal info of 6.2 million customers

bleepingcomputer.com·47m

🔤EBCDIC Privacy

Microsoft Plans Smartphone-Style Permission Prompts for Windows 11 Apps

it.slashdot.org·55m

🪟Awesome windows command-line

French police arrest 2 Louvre museum employees over ‘large-scale’ ticket fraud

france24.com·54m

⚖️Digital Evidence

AMD Video Decode Now Unified Between RadeonSI & RADV Vulkan Video

phoronix.com·45m

🎬Video Codecs

Gemini 3 Deep Think

simonwillison.net·53m

⏰Time Crystals

Apple Releases Safari Technology Preview 237 With Bug Fixes and Performance Improvements

macrumors.com·44m

🖥️Vintage Macintosh

A DNA 'on-off' switch? Light and redox cues reversibly link strands for nanotech

phys.org·45m

🧬Palindrome Codes

Judge Temporarily Blocks Hegseth From Punishing Mark Kelly Over ‘Illegal Orders’ Video

nytimes.com

·53m

⚖️Legal Compliance

Cake mixes part of urgent US recall over potential risk of death

the-independent.com·43m

✅Format Verification

PFO: Low Yield And Poor Performance Weaken The Case For This Fund (NYSE:PFO)

seekingalpha.com

·41m

European country to vote on strict population cap

the-independent.com·51m

🔲Cellular Automata

Marimekko Oyj (MKKOF) Q4 2025 Earnings Call Transcript

seekingalpha.com·51m

🎞️MKV Internals

VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning

arxiv.org·2d

⚔️Lean Tactics

Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions

arxiv.org·14h

🧪Property-Based Testing

A self-hosted, collaborative database client

dbpro.app·50m·

Discuss: Hacker News

🔌Offline-first Apps

Ask HN: How do you audit LLM code in programming languages you don't know?

news.ycombinator.com·38m·

Discuss: Hacker News

⚙️Assembly Verification

A Proof of the Collatz Conjecture

github.com·56m·

Discuss: Hacker News

🎯Performance Proofs

Show HN: Lodum, a Python Serializer/Deserializer (a.k.a. Load/Dump) Library

github.com·29m·

Discuss: Hacker News

🔧Binary Parsers

SMTLIB as a Compiler IR I

philipzucker.com·3d·

Discuss: Hacker News

🔗Functional Compilers

Custom ESLint rules as AI guardrails: turning repeated mistakes into structural impossibilities

jw.hn·1d·

Discuss: Hacker News, r/SoftwareEngineering, r/coding, r/node, r/typescript

⚡Proof Automation

Loading more...