The Dumpster Dive Principle
🔓Decompilers
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·13h
🔗Unification Algorithms
Flag this post
GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·2d
🌉Cross-Platform FFI
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
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·2d
🌱Minimal ML
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·23m
⚡Partial Evaluation
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔄Subinterpreters
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·23m
⚖️Weighted Automata
Flag this post
I was tired of 50ms+ shell latency, so I built a sub-millisecond prompt in Rust (prmt)
🦀MIR Optimization
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
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
🛡️Error Ergonomics
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·23m
🔍ML Language
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🎮Language Ergonomics
Flag this post
Loading...Loading more...