🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Toy Binary Decision Diagrams
philipzucker.com·3d
🧮Algebraic Datatypes
Show HN: Build Connections, One Commit at a Time
codimix.com·6h·
Discuss: Hacker News
🔗Concatenative Programming
Valorant's 128-Tick Servers
technology.riotgames.com·2d·
Discuss: Hacker News
🌊Stream Processing
A Computing Legend Speaks
computerhistory.org·11h·
Discuss: Hacker News
🖥Retro Computing
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Developer Roundtable: Navigating Microservices
beflagrant.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com·1d·
Discuss: Hacker News
💧Liquid Types
The minefield of classifier training
dev.to·10h·
Discuss: DEV
📊Learned Metrics
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·4d·
Discuss: DEV
📋Format Specification
How the AI Bubble Bursts
insights.som.yale.edu·3h·
Discuss: Hacker News
🖥️Terminal Renaissance
SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
github.com·1d·
Discuss: Hacker News
⚡Modern Compression
Building an Internal Developer Portal: Insights from the Journey So Far
medium.com·1d·
Discuss: Hacker News
🔌Interface Evolution
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Java Backend Coding Technology: Writing Code in the Era of AI
dev.to·5d·
Discuss: DEV
💻Programming languages
Predictive Maintenance Optimization for Geothermal Power Plants via Data-Driven Thermal Signature Analysis
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·1d
👑Coq Tactics
ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks
arxiv.org·22h
🌀Riemannian Computing
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·2d
✨Effect Handlers
MoGIC: Boosting Motion Generation via Intention Understanding and Visual Context
arxiv.org·2d
🧠Learned Codecs
AI-Driven Predictive Maintenance for ECDIS Utilizing Bayesian Filtering and Stochastic Optimization
dev.to·2d·
Discuss: DEV
👁️System Observability