🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

From Object-Oriented to Functional Programming. A Fractal Metamorphisis.
dev.to·20h·
Discuss: DEV
🧬Functional Programming
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·15h·
Discuss: Hacker News
🔢Denotational Semantics
Beyond Model Stacking: The Architecture Principles That Make Multimodal AI Systems Work
towardsdatascience.com·8h
✨Effect Handlers
Coordinating computers in a relativistic universe: Expert ponders how algorithms might function across space
phys.org·16h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Towards Bug-Free Distributed Go Programs
arxiv.org·1d
⚖️Hoare Logic
Programming Considered Harmful
flownet.com·16h·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Concurrency Is Not Parallelism 🔥
newsletter.systemdesign.one·1d·
Discuss: r/programming
⚡Hardware Transactional Memory
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.com·17h·
Discuss: r/compsci, r/programming
🗄️Database Internals
Advanced Go Concurrency: Unleashing Lock-Free Data Structures for Real-World Wins
dev.to·7h·
Discuss: DEV
⚡Hardware Transactional Memory
How to write a (software) 3D polygon pipeline (2000)
cbloom.com·12h·
Discuss: Hacker News
⟷Bidirectional Programming
Revisiting Knuth’s “Premature Optimization” Paper
probablydance.com·9h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
A Duet of Performance and Safety（1750333885493500）
dev.to·20h·
Discuss: DEV
🌐Protocol Synthesis
Predicting Onflow Parameters Using Transfer Learning for Domain and Task Adaptation
arxiv.org·1d
📊Learned Metrics
Beyond Code-Centric: Agents Code but the Problem of Clear Specification Remains
gregceccarelli.com·17h·
Discuss: Hacker News
📏Code Metrics
WWDC 2025 Deep Dive: Mastering Swift Concurrency's Evolution Path
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Compiling LLMs into a MegaKernel: A Path to Low-Latency Inference
zhihaojia.medium.com·12h·
Discuss: Hacker News
📊Performance Profiling
Declarative UI Programming and State Management in ArkUI: Building Efficient HarmonyOS Applications
dev.to·1d·
Discuss: DEV
🧱Immutable Infrastructure
Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C
errorcodezero.dev·4h·
Discuss: Hacker News
🔩Systems Programming
Can't We Have Nice Things?
queue.acm.org·13h·
Discuss: Hacker News
🏠Homelab Archaeology
The Heartbeat of Modern Web Applications（1750391791417300）
dev.to·4h·
Discuss: DEV
🌊Stream Processing