🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

2025-08-17: Despite thoughts to the contrary, GNAT (Ada) is in fact fully supported on illumos
briancallahan.net·1d
🔗Static Linking
3000 Years
naiveweekly.com·1d
🏠Homelab Archaeology
The Supreme Being
newenglishreview.org·18h
🏛️Philosophy
Why Game Devs Don't Merge Files
kuril.in·2d·
Discuss: Hacker News
🔓Open Source Software
Automagical JavaScript Programming
crtv.dev·4d·
Discuss: Hacker News
🎯Gradual Typing
How Agentic AI Is Redefining Campus and Branch Network Needs
thenewstack.io·2d
🕸️Mesh Networking
Polynomial preserving recovery for PHT-splines
arxiv.org·1h
🌀Differential Geometry
Developing and Validating a High-Throughput Robotic System for the Accelerated Development of Porous Membranes
arxiv.org·1h
📄Document Digitization
On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
arxiv.org·1h
🔲Proof Irrelevance
Inside Knowledge: Graph-based Path Generation with Explainable Data Augmentation and Curriculum Learning for Visual Indoor Navigation
arxiv.org·1h
🌀Riemannian Computing
Noise Matters: Optimizing Matching Noise for Diffusion Classifiers
arxiv.org·1h
📊Learned Metrics
TinyTim: A Family of Language Models for Divergent Generation
arxiv.org·1h
🌀Brotli Internals
Efficient Neural Network Pruning via Adaptive Spectral Density Shaping
dev.to·22h·
Discuss: DEV
📊Quantization
Automated Multi-Modal Protein Expression Analysis via Dynamic Federated Learning
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Automated Metadata Enrichment for Long-Tail Digital Archives via Knowledge Graph Fusion and Semantic Reasoning
dev.to·33m·
Discuss: DEV
🤖Archive Automation
ASP-Completeness Proofs of Puzzles Using the T-Metacell Framework
arxiv.org·1h
🧮SMT Solvers
Comparison of Generic Container Libraries for C
github.com·4d·
Discuss: Hacker News
💧Liquid Types
Automated Anomaly Detection & Predictive Maintenance via Graph Neural Network Fusion in High-Throughput Manufacturing
dev.to·13h·
Discuss: DEV
🌊Stream Processing
Towards Reliable Multi-Agent Systems for Marketing Applications via Reflection, Memory, and Planning
arxiv.org·1h
📊Feed Optimization
I Gave My LLM a Promotion: Now It Delegates Its Own Work
dev.to·2d·
Discuss: DEV
🧮Theorem Proving