🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·4h
📺VT100
Self-Extracting F3
buttondown.com·1d·
Discuss: Hacker News
✅Format Verification
Software for Hardware – Digitizing the Physical World
generalcatalyst.com·1d·
Discuss: Hacker News
🔗Supply Chain
Legal Contracts Built for AI Agents
paid.ai·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Tools Create Capacity, Workflows Create Value
robertgreiner.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
ThalamusDB: Query text, tables, images, and audio
github.com·21h·
Discuss: Hacker News
💾SQLite
Unlocking Quantum Insights: Making Sense of Quantum Graph Networks
dev.to·12h·
Discuss: DEV
🕸️Tensor Networks
Vibe engineering
simonwillison.net·1d·
Discuss: Lobsters, Hacker News
📏Code Metrics
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·12h
🧮Kolmogorov Bounds
Adapting Insider Risk mitigations for Agentic Misalignment: an empirical study
arxiv.org·12h
🕵️Vector Smuggling
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·1d
🌸Bloom Variants
Building Smart Workflows with the Microsoft Agent Framework-Part -I
dev.to·12h·
Discuss: DEV
🌊Stream Processing
QGraphLIME - Explaining Quantum Graph Neural Networks
arxiv.org·12h
🕸️Tensor Networks
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
From Neural Activity to Computation: Biological Reservoirs for Pattern Recognition in Digit Classification
arxiv.org·12h
🔲Cellular Automata
Generalized rational Prony and Bernoulli methods
arxiv.org·1d
🎼Audio Lambda Calculus
Optimized Minimal 4D Gaussian Splatting
arxiv.org·1d
📐Projective Geometry
Wavelet Predictive Representations for Non-Stationary Reinforcement Learning
arxiv.org·1d
🧠Machine Learning
Seeing the Bigger Picture: 3D Latent Mapping for Mobile Manipulation Policy Learning
arxiv.org·1d
🌀Riemannian Computing
Vector Trifference
arxiv.org·1d
📐Linear Algebra