Becoming the Internet: Weighing the Options
blog.bsprague.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Debugging Microsoft's Job Portal
blog.emilianbold.ro·29m·
Discuss: Hacker News
🔬Reverse Engineering
Flag this post
Challenge: Improve Multilingual ASR Performance for Mozilla
community.mozilladatacollective.com·16h·
Discuss: Hacker News
🔤Language Design
Flag this post
Could Excel agents unlock $1T in economic value?
martinalderson.com·17h·
Discuss: Hacker News, r/ClaudeAI, r/Economics
🔢Algebraic Data Types
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·16h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·5d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·16h·
Discuss: DEV
🌐ActivityPub
Flag this post
A toy model of corrigibility
lesswrong.com·16h
⏰Timed Automata
Flag this post
**Breaking the Curse of Dimensionality: A Game-Changer for L
dev.to·2d·
Discuss: DEV
🧩Parser Combinators
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·3d·
Discuss: DEV
🛡️seL4
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·1h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·18h·
Discuss: DEV
📚Automata Learning
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·5h
🔄Finite State Machines
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Teach your RAG to learn from its mistakes — the smart way
dev.to·5h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Adaptive Stemming via Graph-Augmented Recurrent Variational Autoencoders
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Deep Neural Watermarking for Robust Copyright Protection in 3D Point Clouds
arxiv.org·5h
🔲Cellular Automata
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·19h·
Discuss: DEV
🏠HomeLab
Flag this post