🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

[shi•rei] A new immediate-mode GUI framework for Go
judi.systems·1d·
Discuss: r/golang
🌐WASI
ThalamusDB: Query text, tables, images, and audio
github.com·13h·
Discuss: Hacker News
💾SQLite
Self-Extracting F3
buttondown.com·1d·
Discuss: Hacker News
✅Format Verification
Software for Hardware – Digitizing the Physical World
generalcatalyst.com·22h·
Discuss: Hacker News
🔗Supply Chain
Vibe engineering
simonwillison.net·18h·
Discuss: Lobsters, Hacker News
📏Code Metrics
Tools Create Capacity, Workflows Create Value
robertgreiner.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Large Language Models Achieve Gold Medal Performance at International Astronomy & Astrophysics Olympiad
arxiv.org·1d
🚀SIMD Text Processing
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·1d
⚡Incremental Computation
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·5h
🔲Cellular Automata
Learning Mixtures of Linear Dynamical Systems (MoLDS) via Hybrid Tensor-EM Method
arxiv.org·5h
🌀Differential Geometry
Efficient Conditional Generation on Scale-based Visual Autoregressive Models
arxiv.org·5h
📊Learned Metrics
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.org·1d
🌀Differential Geometry
Cross-Modal Content Optimization for Steering Web Agent Preferences
arxiv.org·1d
📊Feed Optimization
Ocular-Induced Abnormal Head Posture: Diagnosis and Missing Data Imputation
arxiv.org·5h
🌀Differential Geometry
Causal Coordination for Distributed Decision-Making
arxiv.org·5h
📡Information theory
87% of Developers Waste Hours on AI Code. Gemini 2.5 Just Fixed It.
dev.to·2h·
Discuss: DEV
🎯Emulator Accuracy
Building Smart Workflows with the Microsoft Agent Framework-Part -I
dev.to·4h·
Discuss: DEV
🌊Stream Processing
Shaken or Stirred? An Analysis of MetaFormer's Token Mixing for Medical Imaging
arxiv.org·5h
📄Document Streaming
Bridging the Gap Between Multimodal Foundation Models and World Models
arxiv.org·1d
🔲Cellular Automata
Categorical Invariants of Learning Dynamics
arxiv.org·1d
🕸️Algebraic Topology