🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Ocean Rendering, Part 1 – Simulation
rtryan98.github.io·1d·
Discuss: Hacker News
🎼Audio Lambda Calculus
Show HN: Build Connections, One Commit at a Time
codimix.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
JSON Schema Compatibility and the Robustness Principle
yokota.blog·1d·
Discuss: Hacker News
📋Protocol Buffers
A Computing Legend Speaks
computerhistory.org·8h·
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·8h·
Discuss: DEV
📊Learned Metrics
GPU Instanced Grass Breakdown
cyanilux.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Devoxx: MCP in the Wild: Real Time Agentic Systems with Live AB Testing by Arun Gupta
dev.to·11h·
Discuss: DEV
🌐Protocol Synthesis
How the AI Bubble Bursts
insights.som.yale.edu·58m·
Discuss: Hacker News
🖥️Terminal Renaissance
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🔗Parser Combinators
Closing the Loop: Coordinating Inventory and Recommendation via Deep Reinforcement Learning on Multiple Timescales
arxiv.org·1d
⚡Incremental Computation
A tiny recursive reasoning model achieves 45% on ARC-AGI-1 and 8% on ARC-AGI-2
alexiajm.github.io·1d·
Discuss: Hacker News, Hacker News
🧠Intelligence Compression
NEO: No-Optimization Test-Time Adaptation through Latent Re-Centering
arxiv.org·20h
📊Learned Metrics
Super-resolution image projection over an extended depth of field using a diffractive decoder
arxiv.org·1d
🌈Holographic Storage
Adaptive Social Navigation via Hierarchical Reinforcement Learning with Probabilistic Interaction Models
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·1d
🧠Machine Learning
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·1d
🧠Machine Learning
Building an Internal Developer Portal: Insights from the Journey So Far
medium.com·1d·
Discuss: Hacker News
🔌Interface Evolution