Letters
lrb.co.ukยท6h
๐Ÿ“šFactor
Getting Started With Elixir and Phoenix, a JS Alternative
thenewstack.ioยท10h
โšกLive Coding
Mastering SVM in R: Classification, Kernels & Model Tuning
p2w2.comยท17hยท
Discuss: DEV
๐Ÿ”ขAlgebraic Datatypes
Basic Consequences: On Information And Agency
3quarksdaily.comยท1d
๐Ÿ’ซEffect Systems
Linkage
11011110.github.ioยท2d
๐ŸงฎCombinator Calculus
PHP: A fractal of bad design (2012)
eev.eeยท1dยท
Discuss: Hacker News
๐Ÿ”„Bootstrapping
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.eduยท2d
๐ŸŽญErlang OTP
Coco โ€“ Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.deยท6dยท
Discuss: Hacker News
๐Ÿ”ฎType Inference Visualization
Evaluating LLM Alignment on Personality Inference from Real-World Interview Data
arxiv.orgยท19h
๐ŸชœRecursive Descent
Show HN: Chibi Izumi, staged dependency injection for Python
github.comยท1hยท
Discuss: Hacker News
๐Ÿช†Embedded DSLs
Today weโ€™re releasing research with @apolloaievals.
threadreaderapp.comยท6h
๐Ÿš‚Error Propagation
Shipping a Lean DDD-Friendly Inventory API in Laravel 12
dev.toยท4hยท
Discuss: DEV
โœ…Configuration Validation
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.orgยท1d
๐Ÿ”ML Language
**5 Go Database Performance Patterns That Cut Response Times by 70%**
dev.toยท14hยท
Discuss: DEV
๐ŸŒHTTP Servers
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.comยท4h
๐Ÿ›ก๏ธSecurity Type Systems
Fortress AI: Zero-Knowledge Proofs for Unhackable Distributed Learning by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
๐ŸงฉSAT Solvers
**Automated Geospatial Source Tracing: Predictive Analytics via Bayesian Spatio-Temporal Fusion**
dev.toยท5hยท
Discuss: DEV
โœจEffect Inference
Custom Prime-Based Key-Driven Encryption with Modulus Patterns
dev.toยท8hยท
Discuss: DEV
๐Ÿ”—Hash Functions
SAT Solvers Get a Brain Boost: LLMs Unleash Optimized Heuristics on Demand by Arvind Sundararajan
dev.toยท4hยท
Discuss: DEV
๐ŸŽฏConstraint Solving