🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·2d
🧮Kolmogorov Complexity
The Unknotting Number is Not Additive
divisbyzero.com·18h·
Discuss: Hacker News
🕸️Algebraic Topology
DIY infrastructure is what's causing you to fail
tower.dev·2d·
Discuss: Hacker News
🏠Homelab Orchestration
Own your AI: Learn how to fine-tune Gemma 3 270M and run it on-device
developers.googleblog.com·23h
💻Local LLMs
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·2d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
Scaling AI in Enterprise Codebases with Guy Gur-Ari
softwareengineeringdaily.com·12h
🌊Streaming Systems
A Proof of the Riemann Hypothesis
dev.to·19h·
Discuss: DEV
⚔️Lean Theorem
Database Transactions: Everything That Can Go Wrong When Using Them
hackernoon.com·3d
📝Database WAL
What's new in Python 3.14
docs.python.org·1d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
arxiv.org·2d
🌳Archive Merkle Trees
Machines in the Crowd? Measuring the Footprint of Machine-Generated Text on Reddit
arxiv.org·17h
🏛Digital humanities
Addressing the ID-Matching Challenge in Long Video Captioning
arxiv.org·17h
📐Vector Similarity
Chronological Thinking in Full-Duplex Spoken Dialogue Language Models
arxiv.org·1d
⏱️Interval Parsing
VideoMiner: Iteratively Grounding Key Frames of Hour-Long Videos via Tree-based Group Relative Policy Optimization
arxiv.org·1d
⧗Information Bottleneck
How Multimodal & Generative AI Are Transforming AI-ML Development
dev.to·7h·
Discuss: DEV
🎙️Whisper
Why Developers Should Care About AI Workflow Automation in 2025
dev.to·1d·
Discuss: DEV
⚙️TLA+
A Comparative Study of Vision Transformers and CNNs for Few-Shot Rigid Transformation and Fundamental Matrix Estimation
arxiv.org·2d
📊Quantization
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.org·2d
🔲Cellular Automata
Dynamic Heterogeneity Mapping for Accelerated Materials Discovery via Reinforcement Learning
dev.to·16h·
Discuss: DEV
🧲Magnetic Domains
Real-Time Bioreactor Nutrient Optimization via Adaptive Hybrid Bayesian-Reinforcement Learning
dev.to·14h·
Discuss: DEV
🧮Algorithmic Cooking