🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·2d
📏Code Metrics
From Millions to Billions
geocod.io·19h·
Discuss: Hacker News
🗄️Database Internals
Cap'n Proto in WASM
mikel.xyz·2d·
Discuss: Hacker News
🌐WASI
Pharmaceutical Software Development: Ensuring Data Integrity and Regulatory Compliance
dev.to·16h·
Discuss: DEV
🔗Supply Chain
Regional ocean dynamics can be better emulated with AI models
phys.org·13h
🔲Cellular Automata
Why did the über-protocols fail? A history of OOP RPC
medium.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Categorical Invariants of Learning Dynamics
arxiv.org·2d
🕸️Algebraic Topology
Bridging the Gap Between Multimodal Foundation Models and World Models
arxiv.org·2d
🔲Cellular Automata
acia-workflows: Automated Single-cell Imaging Analysis for Scalable and Deep Learning-based Live-cell Imaging Analysis Workflows
arxiv.org·1d
📄Document Digitization
Adapting Insider Risk mitigations for Agentic Misalignment: an empirical study
arxiv.org·1d
🕵️Vector Smuggling
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·1d
🧮Kolmogorov Bounds
Context Matters: Learning Global Semantics for Visual Reasoning and Comprehension
arxiv.org·1d
📊Learned Metrics
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·1d
💻Local LLMs
Evaluating Fundus-Specific Foundation Models for Diabetic Macular Edema Detection
arxiv.org·1h
🌀Riemannian Computing
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.org·1h
🎯Performance Proofs
The Feature Understandability Scale for Human-Centred Explainable AI: Assessing Tabular Feature Importance
arxiv.org·1h
🧠Intelligence Compression
AI Agent Building Block: Native App Automation
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
OpenAI Agent Builder: Step-by-step guide to building agents with MCP
dev.to·11h·
Discuss: DEV
⚡Proof Automation
From Neural Activity to Computation: Biological Reservoirs for Pattern Recognition in Digit Classification
arxiv.org·1d
🔲Cellular Automata