My computer has $18 million worth of RAM in it
aardvark.co.nz·3h
🧠Memory Forensics
Flag this post
Show HN: Find matching acrylic paints for any HEX color
acrylicmatch.com·2d·
Discuss: Hacker News
🌈Color Archaeology
Flag this post
Switching from GPG to Age
luke.hsiao.dev·2h·
Discuss: Hacker News
🔐Archive Encryption
Flag this post
How to Get Meaningful Feedback on Your Design Document
refactoringenglish.com·2d·
🎨Nordic Design
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Show HN: JotChain – Get more out of your daily work notes
jotchain.com·2d·
Discuss: Hacker News
🔃Feed Algorithms
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·19h·
🦀Rust Macros
Flag this post
What is Web3?
dev.to·9h·
Discuss: DEV
🌐Web Standards
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·3d·
🦀Rust Macros
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·3d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
How to Build an EMR App
dev.to·12h·
Discuss: DEV
🔄Archival Workflows
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·2d
🔐Capability Systems
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·2d·
Discuss: Hacker News
Proof Automation
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1d
🔄Language Evolution
Flag this post
Neural Green's Functions
arxiv.org·14h
🧠Machine Learning
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
Proof Automation
Flag this post
Generative AI for Data Analysts: Upskill Yourself Without Becoming a Data Scientist
dev.to·6h·
Discuss: DEV
⚙️Batch Processing
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Flag this post