The Dumpster Dive Principle
🔓Decompilers
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·17h
🔗Unification Algorithms
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·1d
✅Configuration Validation
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
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
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
🔤Language Tokenizers
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
💬Interactive REPLs
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·3h
🔍ML Language
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🎮Language Ergonomics
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
Creating a very basic gRPC server
📡Network Serialization
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·3h
∀Quantified Types
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·21h
🏰Capability Machines
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
⚡Live Coding
Flag this post
Loading...Loading more...