building a personal finance app: a journey through open banking hell
mbaurin.comยท22h
๐Ÿ›ก๏ธError Ergonomics
Quark: A simple note-taking system
lorbic.comยท10hยท
Discuss: Hacker News
๐Ÿ“šSelf-Documenting Code
Vision AI and Human-in-the-Loop Distillation: Building Trustworthy and Scalable Systems
centific.comยท1hยท
Discuss: DEV
๐Ÿ”Lens Libraries
Can coding agents build complex systems?
technicaldeft.comยท23hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Porting a library to a different language with a sentence
randomlabs.aiยท1dยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
AI-Native, Not AI-Assisted: A Platform That Answers Your Questions
tobiasuhlig.medium.comยท19hยท
Discuss: r/webdev
๐Ÿ›๏ธElm Architecture
Auditability and the Landscape of Distance to Multicalibration
arxiv.orgยท1d
๐Ÿ—บ๏ธRegion Inference
I built Foyer: a Rust hybrid cache that slashes S3 latency
medium.comยท13hยท
Discuss: Hacker News
โšกCache Optimization
CPT-4DMR: Continuous sPatial-Temporal Representation for 4D-MRI Reconstruction
arxiv.orgยท1h
๐Ÿ—๏ธMLIR
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.orgยท1d
๐Ÿท๏ธAttribute Grammars
Compressed Permutation Oracles
eprint.iacr.orgยท1d
๐Ÿ”—Hash Functions
Say what you mean
dev.toยท2dยท
Discuss: DEV
๐Ÿ”งNickel
AC^0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard
arxiv.orgยท1d
๐ŸงฎTheorem Provers
Velocity Trapping in the Lifted Totally Asymmetric Simple Exclusion Process and the True Self-Avoiding Random Walk
journals.aps.orgยท17h
๐ŸงฎCombinator Calculus
Building an Extendable Data Migration Utility in Java Using the Strategy Pattern
dev.toยท1dยท
Discuss: DEV
๐ŸššCode Migration
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
arxiv.orgยท1d
๐Ÿ“‹Souffle Datalog
G\"odel Mirror: A Formal System For Contradiction-Driven Recursion
arxiv.orgยท1d
๐ŸชœRecursive Descent
The Art of the Key: A Definitive Guide to i18n Key Naming for Longevity and Sanity
dev.toยท21hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics