Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·1d·
Discuss: Hacker News
🔐Archive Encryption
Paradigms of Intelligence Team
github.com·3h·
Discuss: Hacker News
🔲Cellular Automata
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·4h
🎯Gradual Typing
My Current AI Dev Workflow
steipete.me·1d
⚡Proof Automation
You can just open-source things
world.hey.com·8h·
Discuss: Hacker News
🌊Streaming Systems
Notes on Autograd
aschrein.github.io·22h·
Discuss: Hacker News
⚡Incremental Computation
On systematic construction of correct logic programs
arxiv.org·12h
⚖️Hoare Logic
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·1d
⚡Proof Automation
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.to·5h·
Discuss: DEV
📦Container Security
FLINT: Fast Library for Number Theory
flintlib.org·22h
🧮Algebraic Datatypes
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·8h·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦾ARM Assembly
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Agents.md may trick us into writing better docs
blog.kilocode.ai·5h·
Discuss: Hacker News
⚡Proof Automation
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·15h·
Discuss: Substack
🔩Systems Programming
Continuous AI: A Simple Introduction
dev.to·4h·
Discuss: DEV
⚡Proof Automation
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Accelerating legacy code modernization: EPAM’s journey with Amazon Q Developer
aws.amazon.com·18h
🔄Reproducible Builds
Build an AI Agent with LangGraph
spin.atomicobject.com·4h·
Discuss: Hacker News
🤖AI Curation