Learning a Bit of VGA
💾Retro Computing
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
λFunctional Programming
Flag this post
Apache Arrow’s Final Frontier: Replacing Outdated Database Drivers
thenewstack.io·1d
🎯GADT
Flag this post
Vibecoding my way to a crit on GitHub
🔧DevOps
Flag this post
It's Mainframes All the Way Down
💾Retro Computing
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
🔒Protocol Verification
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·13h
💎Refinement Types
Flag this post
Speedrunning an RL Environment
🎮Verification Games
Flag this post
To improve Rationality, create Situations
lesswrong.com·1d
🎮Verification Games
Flag this post
Your Next Secrets Leak is Hiding in AI Coding Tools
devops.com·9h
🔧DevOps
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·13h
✓Automated Theorem Proving
Flag this post
Computation as a Game
arxiv.org·13h
⏱️Computational Complexity
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
📚Automata Learning
Flag this post
Loading...Loading more...