🔄 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
JSON Schema Compatibility and the Robustness Principle
yokota.blog·1d·
Discuss: Hacker News
📋Protocol Buffers
AI Tulips
mamund.substack.com·16h·
Discuss: Substack
🤖AI Curation
GPU Instanced Grass Breakdown
cyanilux.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Adaptive Polishing Parameter Prediction via Bayesian Optimization for Diamond Paste-Based Meteorite Lapidary
dev.to·1d·
Discuss: DEV
🏺Computational Archaeology
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·1d
📼Tape Combinators
SALAD: Self-Adaptive Link Adaptation
arxiv.org·17h
⧗Information Bottleneck
The New Economics of Open Source Data Infrastructure
thenewstack.io·1d
🌊Streaming Databases
When Claude’s 'Help' Turns Harmful: A Developer’s Cautionary Tale
dev.to·4h·
Discuss: DEV
⚔️Lean Tactics
Closing the Loop: Coordinating Inventory and Recommendation via Deep Reinforcement Learning on Multiple Timescales
arxiv.org·1d
⚡Incremental Computation
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🔗Parser Combinators
NEO: No-Optimization Test-Time Adaptation through Latent Re-Centering
arxiv.org·17h
📊Learned Metrics
Abstraction Is the New Literacy for Developers
dev.to·13h·
Discuss: DEV
📏Code Metrics
Artificial Intelligence: Key Trends & Developments
dev.to·9h·
Discuss: DEV
🤖AI Curation
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
Super-resolution image projection over an extended depth of field using a diffractive decoder
arxiv.org·1d
🌈Holographic Storage
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
Automated Tourist Route Optimization via Dynamic Constraint Propagation and Multi-Agent Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·1d
✓Automated Theorem Proving