The Dumpster Dive Principle
🔓Decompilers
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·19h
🔗Unification Algorithms
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
🌲Deforestation
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
🌐Portable Assembly
Flag this post
Formal Verification’s Value Grows
semiengineering.com·2h
🎭Program Synthesis
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🎮Language Ergonomics
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·1d
🗺️Region Inference
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🔄Nanopass
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
🔤Language Tokenizers
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·5h
🔍ML Language
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🎮Language Ergonomics
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
💬Interactive REPLs
Flag this post
Looking for feedback on RunMQ - a message queue library built on top of RabbitMQ, Guarantees for async jobs processing & event driven architectures
📋Task Queues
Flag this post
Stop Calling LLMs AI
🔮Metacircular Evaluators
Flag this post
Creating a very basic gRPC server
📡Network Serialization
Flag this post
Loading...Loading more...