🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Preventing Invalid Database Access at Compile Time
svix.com·18h·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Cap'n Proto in WASM
mikel.xyz·1d·
Discuss: Hacker News
🌐WASI
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·1d·
Discuss: Hacker News
🔒WASM Capabilities
From Matmul to Meaning
evis.dev·1d·
Discuss: Hacker News
📐Linear Algebra
How eBPF Is Powering the Next Generation of Observability
thenewstack.io·15h
🔍eBPF
A Conformal Prediction-Based Chance-Constrained Programming Approach for 24/7 Carbon-Free Data Center Operation Scheduling
arxiv.org·1d
🎯Performance Proofs
Investigating mixed traffic dynamics of pedestrians and non-motorized vehicles at urban intersections: Observation experiments and modelling
arxiv.org·1d
🔲Cellular Automata
VideoMiner: Iteratively Grounding Key Frames of Hour-Long Videos via Tree-based Group Relative Policy Optimization
arxiv.org·3h
⧗Information Bottleneck
Model-free generalized fiducial inference
arxiv.org·3h
🧮Kolmogorov Bounds
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
arxiv.org·1d
🌳Archive Merkle Trees
Chronological Thinking in Full-Duplex Spoken Dialogue Language Models
arxiv.org·3h
⏱️Interval Parsing
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·1d
🔲Cellular Automata
A Comparative Study of Vision Transformers and CNNs for Few-Shot Rigid Transformation and Fundamental Matrix Estimation
arxiv.org·1d
📊Quantization
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·1d
🧠Machine Learning
Cross-Embodiment Dexterous Hand Articulation Generation via Morphology-Aware Learning
arxiv.org·3h
🌀Differential Geometry
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Large Language Models Achieve Gold Medal Performance at International Astronomy & Astrophysics Olympiad
arxiv.org·1d
🚀SIMD Text Processing
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·1d
⚡Incremental Computation
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·3h
🔲Cellular Automata
Efficient Conditional Generation on Scale-based Visual Autoregressive Models
arxiv.org·3h
📊Learned Metrics