🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Linux Kernel Development Workflow (for n00bs)
andrestc.com·2d
❄️Nix Flakes
Status Update: August 2025
joshleeb.com·4d
🧩WASM Components
Show HN: I built an AI for divination practice
shefu.org·12h·
Discuss: Hacker News
📐Proof Assistants
CSS Elevator: A Pure CSS State Machine With Floor Navigation
css-tricks.com·3d
🎯Gradual Typing
OSMAnd vs. Organic Maps
blog.firedrake.org·10h·
Discuss: Hacker News
📱QR Archaeology
The Fastest Way to Insert Data to Postgres
confessionsofadataguy.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Hottest engine in the world reveals weirdness of microscopic physics
newscientist.com·3d
⚛️Information Physics
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·5d·
Discuss: Hacker News
🧠Machine Learning
Ten Thousand Lifetimes with Roguelikes
ian.mccowan.space·1d·
Discuss: Hacker News
🏺Gaming Archaeology
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp, r/programming
🦀Rust Borrowing
How to Import Pre-Annotated Data into Label Studio and Run the Full Stack with Docker
towardsdatascience.com·3d
📦METS Containers
Solar Orbiter traces superfast electrons back to sun
phys.org·12h
👁️Observatory Systems
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·5d·
Discuss: DEV
🔗Constraint Handling
Automated Appraisal of Property Value Degradation Risk via Dynamic Bayesian Networks
dev.to·4d·
Discuss: DEV
🦴Database Paleontology
Zero-Shot KWS for Children's Speech using Layer-Wise Features from SSL Models
arxiv.org·15h
🎙️Whisper
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·6d
🤝Consensus Protocols
MUA-RL: Multi-turn User-interacting Agent Reinforcement Learning for agentic tool use
arxiv.org·5d
✨Algebraic Effects
Autoregressive Universal Video Segmentation Model
arxiv.org·5d
📊Rate-Distortion Theory
Persistent containers in k8s (like KubeVirt, but "one step before")
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
How We Used RAG to Power an AI-First Internal Tool Builder
dev.to·1d·
Discuss: DEV
🌊Streaming Systems