🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

From Millions to Billions
geocod.io·23h·
Discuss: Hacker News
🗄️Database Internals
Preventing Invalid Database Access at Compile Time
svix.com·1d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Cap'n Proto in WASM
mikel.xyz·3d·
Discuss: Hacker News
🌐WASI
From Matmul to Meaning
evis.dev·2d·
Discuss: Hacker News
📐Linear Algebra
Regional ocean dynamics can be better emulated with AI models
phys.org·16h
🔲Cellular Automata
Why did the über-protocols fail? A history of OOP RPC
medium.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Bridging the Gap Between Multimodal Foundation Models and World Models
arxiv.org·2d
🔲Cellular Automata
Categorical Invariants of Learning Dynamics
arxiv.org·2d
🕸️Algebraic Topology
acia-workflows: Automated Single-cell Imaging Analysis for Scalable and Deep Learning-based Live-cell Imaging Analysis Workflows
arxiv.org·1d
📄Document Digitization
Context Matters: Learning Global Semantics for Visual Reasoning and Comprehension
arxiv.org·1d
📊Learned Metrics
Adapting Insider Risk mitigations for Agentic Misalignment: an empirical study
arxiv.org·1d
🕵️Vector Smuggling
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·1d
💻Local LLMs
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·1d
🧮Kolmogorov Bounds
The Feature Understandability Scale for Human-Centred Explainable AI: Assessing Tabular Feature Importance
arxiv.org·5h
🧠Intelligence Compression
Evaluating Fundus-Specific Foundation Models for Diabetic Macular Edema Detection
arxiv.org·5h
🌀Riemannian Computing
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.org·5h
🎯Performance Proofs
AI Agent Building Block: Native App Automation
dev.to·5h·
Discuss: DEV
⚡Proof Automation
OpenAI Agent Builder: Step-by-step guide to building agents with MCP
dev.to·15h·
Discuss: DEV
⚡Proof Automation
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·2d·
Discuss: Hacker News
🔲Cellular Automata
From Neural Activity to Computation: Biological Reservoirs for Pattern Recognition in Digit Classification
arxiv.org·1d
🔲Cellular Automata