These Individuals Were Buried in Colombia Wearing 'Death Masks.' Researchers Just Digitally Removed the Skull Coverings to Reveal Their Faces for the First Time
smithsonianmag.com·5h
🔐PKI Archaeology
Svante Pääbo, father of paleogenetics: ‘The reason for the Neanderthals’ extinction lies in how numerous we’ve become’
english.elpais.com·21m
🦴Database Paleontology
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·1h·
Discuss: Hacker News
📐Mathematical Art
Leak suggests US Government is fibbing over FEMA security failings
theregister.com·6h·
Discuss: Hacker News
🔓Hacking
Three Meanings of "To Know"
madhadron.com·1d·
Discuss: Hacker News
🔍Archive Semantics
Prompting Techniques for Specialised LLMs
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·2d·
Discuss: Hacker News
🧪CBOR Fuzzing
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·2d·
Discuss: Lobsters, Hacker News
🔤Type Theory
Python is adding Zstandard to the standard library in 3.14
discuss.python.org·6h·
Discuss: Hacker News
📚Lempel-Ziv
Excel 2025 CTF | Anonymous (Miscellaneous) challenge Writeup
infosecwriteups.com·1d
🔓Hacking
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧮SMT Solvers
High-Quality Pull-Request Descriptions
racecondition.software·21h·
Discuss: Hacker News
⚙️Proof Engineering
Cross-Platform DNA Methylation Classifier for the Eight Molecular Subtypes of Group 3 & 4 Medulloblastoma
arxiv.org·12h
🧬Copy Number Variants
Fusing Multi- and Hyperspectral Satellite Data for Harmful Algal Bloom Monitoring with Self-Supervised and Hierarchical Deep Learning
arxiv.org·12h
🧠Machine Learning
Luke Plant: Breaking “provably correct” Leftpad
lukeplant.me.uk·5d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Encodings
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·12h
🧮Kolmogorov Complexity
Tidy text: Sloppy notes that auto-correct, one line at a time
blog.florianschulz.info·1d·
Discuss: Hacker News
📝Punctuation Engines
Vibe coding for beginners – tips and tricks
github.com·3h·
Discuss: Hacker News
🎙️Whisper