Inside the Unified Log 4: Log entries
eclecticlight.co·7h
📝Log Parsing
Doodling icons in a grid
sachachua.com·4d
🖋Typography
Joy & Curiosity #56
registerspill.thorstenball.com·1d
⚙️Proof Engineering
Generalizing the central dogma as a cross-hierarchical principle of biology
royalsocietypublishing.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Pngmeta – a Python library to edit metadata in PNGs
james-see.github.io·1d·
Discuss: Hacker News
📸PNG Optimization
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
🐚Shell Calculus
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·2d·
Discuss: Hacker News
🧪CBOR Fuzzing
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·2d·
Discuss: Lobsters, Hacker News
🔤Type Theory
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·18h·
Discuss: Hacker News
⚙️Proof Engineering
Luke Plant: Breaking “provably correct” Leftpad
lukeplant.me.uk·5d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Encodings
Cross-Platform DNA Methylation Classifier for the Eight Molecular Subtypes of Group 3 & 4 Medulloblastoma
arxiv.org·10h
🧬Copy Number Variants
Fusing Multi- and Hyperspectral Satellite Data for Harmful Algal Bloom Monitoring with Self-Supervised and Hierarchical Deep Learning
arxiv.org·10h
🧠Machine Learning
Vibe coding for beginners – tips and tricks
github.com·58m·
Discuss: Hacker News
🎙️Whisper
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·10h
🧮Kolmogorov Complexity
Tidy text: Sloppy notes that auto-correct, one line at a time
blog.florianschulz.info·1d·
Discuss: Hacker News
📝Punctuation Engines
Stop Fighting Circular Imports
dev.to·22h·
Discuss: DEV
λLambda Formalization