vim: add word to spellchecker
perrotta.dev·18h
⚡Proof Automation
VIDEO: Thunderbird 140.0 ESR “Eclipse”
blog.thunderbird.net·1d
🔌Interface Evolution
The Ηоmоgraph Illusion: Not Everything Is As It Seems
unit42.paloaltonetworks.com·1d
🎫Kerberos Exploitation
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·3d·
Discuss: Hacker News
💧Liquid Types
Determinism
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🐚Shell Calculus
AIDE – a file and directory integrity checker
aide.github.io·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Data Science Weekly – Issue 609
datascienceweekly.substack.com·2d·
Discuss: Substack
📈Time Series
Your name is still on it
sanitarium.se·2d·
Discuss: Hacker News
⚡Proof Automation
Building a full stack website
reddit.com·21h·
Discuss: r/golang
🕸️WebAssembly
You won't believe what this AI said after deleting a database (but you might relate)
smallcultfollowing.com·3d·
Discuss: Hacker News, Hacker News
⚡Proof Automation
Show HN: I made a full Ethereum account-proof circuit in Circom
github.com·15h·
Discuss: Hacker News
🌳Archive Merkle Trees
Vibecoding a High Performance System
andrewkchan.dev·4d·
Discuss: Hacker News
👁️System Observability
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.org·4d
🤖Grammar Induction
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·4d
🧠Intelligence Compression
🚀 Just discovered this 5-minute productivity hack:
dev.to·5h·
Discuss: DEV
💾Floppy Imaging
Why Java is Still a Top Backend Language in the AI Era
dev.to·8h·
Discuss: DEV
🌊Streaming Systems
GitHub Copilot: Everything You Wanted to Know About Reusable (and Experimental) Prompts - Part 1
dev.to·3d·
Discuss: DEV
🖥️Modern Terminals
Law of Triviality
en.wikipedia.org·14h·
Discuss: Hacker News
✨Algebraic Effects
🐍 Top 51 Python Tasks Every Beginner Should Solve
dev.to·3d·
Discuss: DEV
⚡Proof Automation
My Deep Learning Journey with Andrew Ng
dev.to·1d·
Discuss: DEV
🧠Machine Learning