Cure - Verification-First Programming for the BEAM
cure-lang.org·22h·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
Oops, My UUIDs Collided
alexsci.com·3d·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·1d·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
Academic Paper: How CockroachDB Cloud Delivers Affordable, Resilient, and Globally Scalable Databases
cockroachlabs.com·1d
🗄️Database Engines
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.to·19h·
Discuss: DEV
🪆Embedded DSLs
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.org·4h
🗺️Region Inference
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
dev.to·1h·
Discuss: DEV
📋Task Queues
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·18h·
Discuss: DEV
📝Lexer Generators
Flag this post
DAFU🦉 Infrastructure Revolution: Docker, CLI, and Enterprise Automation Are Here! 🚀
dev.to·18h·
Discuss: DEV
🚂Cranelift Backend
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·1d·
Discuss: DEV
📋Tablegen
Flag this post
Math.random, friend or foe?
dev.to·1h·
Discuss: DEV
🔗Hash Functions
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·4h
📋Backus-Naur Form
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·4h
🪜Recursive Descent
Flag this post
The case against pgvector
simonwillison.net·13h
🔍Query Engines
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·4h
🎭Program Synthesis
Flag this post
HNG Internship Stage 1: String Analyzer API
dev.to·15h·
Discuss: DEV
🔤Language Tokenizers
Flag this post
DDD Design Approach(PHP): Why Your Code Turns Into Spaghetti (And How to Fix It)
dev.to·15h·
Discuss: DEV
Live Coding
Flag this post