Rotten Windowsills: Repair or Replace?
popularmechanics.com·35m
🕵️Format Recovery
English vocabulary: difference between coast, shore, beach, and bank
grammaticus.blog·3d
📝Concrete Syntax
Building secure messaging is hard: A nuanced take on the Bitchat security debate
blog.trailofbits.com·7h
🧪Protocol Fuzzing
Old alt text advice – HTML Accessibility
html5accessibility.com·1d
🖋Typography
Making an ASCII Animation
pierce.dev·2d·
Discuss: Hacker News
📟Terminal Physics
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·1d·
Discuss: Hacker News
💻Programming languages
Patch Package OTP 26.2.5.14 Released – Erlang News
erlangforums.com·1d·
Discuss: Hacker News
❄️Nixpkgs
A quick introduction to "gemtext" markup
geminiprotocol.net·2d
📟Terminal Typography
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·13h·
Discuss: Hacker News
🧮SMT Solvers
Booting EDK2 (UEFI Reference Implmentation) on Hardkernel Odroid M2
blog.3mdeb.com·4h·
Discuss: Hacker News
🎯Emulator Accuracy
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·1d·
Discuss: Hacker News
🐛Fuzzing
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·2d·
Discuss: Hacker News
🌀Brotli Internals
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·2d
🌳Context free grammars
Unpacking Claude’s System Prompt
oreilly.com·3d
🎙️Whisper
Improving Drug Identification in Overdose Death Surveillance using Large Language Models
arxiv.org·14h
🧠Machine Learning
Thoughts on External Memory for LLMs
medium.com·10h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Proof-theoretic Semantics for First-order Logic
arxiv.org·14h
🏗️Constructive Logic
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Janet Feature Demos
github.com·2d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects