🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·1h
📺VT100
[shi•rei] A new immediate-mode GUI framework for Go
judi.systems·2d·
Discuss: r/golang
🌐WASI
Self-Extracting F3
buttondown.com·1d·
Discuss: Hacker News
✅Format Verification
AI Tulips
mamund.substack.com·8h·
Discuss: Substack
🤖AI Curation
Legal Contracts Built for AI Agents
paid.ai·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Vibe engineering
simonwillison.net·23h·
Discuss: Lobsters, Hacker News
📏Code Metrics
Tools Create Capacity, Workflows Create Value
robertgreiner.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Unlocking Quantum Insights: Making Sense of Quantum Graph Networks
dev.to·10h·
Discuss: DEV
🕸️Tensor Networks
acia-workflows: Automated Single-cell Imaging Analysis for Scalable and Deep Learning-based Live-cell Imaging Analysis Workflows
arxiv.org·10h
📄Document Digitization
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·10h
💻Local LLMs
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·10h
🧮Kolmogorov Bounds
Context Matters: Learning Global Semantics for Visual Reasoning and Comprehension
arxiv.org·10h
📊Learned Metrics
Adapting Insider Risk mitigations for Agentic Misalignment: an empirical study
arxiv.org·10h
🕵️Vector Smuggling
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·1d
🌸Bloom Variants
QGraphLIME - Explaining Quantum Graph Neural Networks
arxiv.org·10h
🕸️Tensor Networks
From Neural Activity to Computation: Biological Reservoirs for Pattern Recognition in Digit Classification
arxiv.org·10h
🔲Cellular Automata
Generalized rational Prony and Bernoulli methods
arxiv.org·1d
🎼Audio Lambda Calculus
Seeing the Bigger Picture: 3D Latent Mapping for Mobile Manipulation Policy Learning
arxiv.org·1d
🌀Riemannian Computing
Optimized Minimal 4D Gaussian Splatting
arxiv.org·1d
📐Projective Geometry
Wavelet Predictive Representations for Non-Stationary Reinforcement Learning
arxiv.org·1d
🧠Machine Learning