🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·1d·
Discuss: Hacker News
🌊Stream Processing
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·6h·
Discuss: DEV
🔬Refinement Types
Converting Future to CompletableFuture With Java Virtual Threads
morling.dev·12h
🌊Streaming Systems
Rethinking Distributed Computing for the AI Era
cacm.acm.org·1d
⚡Incremental Computation
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·2h·
Discuss: Hacker News
🏗️Compiler Archaeology
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·7h·
Discuss: Hacker News
🤝Distributed Consensus
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·1d·
Discuss: Hacker News
✨Algebraic Effects
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·17h
📏Linear Logic
Issue 481
haskellweekly.news·9h
🔗Functional Compilers
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·9h
🌊Stream Processing
Python `apply()` vs. `apply_async()`: Which Should You Use?
thenewstack.io·1d
🌊Stream Processing
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Software is Never Done: Embracing Constant Evolution and Change will Result in a Better System
bencane.com·1d
⚡Incremental Computation
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·6h
🔌Interface Evolution
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·1d
📊Vector Quantization
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Machine Learning Fundamentals: dimensionality reduction with python
dev.to·4h·
Discuss: DEV
🧠Machine Learning
Tracking Activity on your App Turn data into smart decisions and valuable insights
blog.codeminer42.com·3h
📊Feed Optimization
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·2h·
Discuss: Hacker News
💎Information Crystallography
Zig Interface Revisited
williamw520.github.io·1d·
Discuss: Hacker News
🧩WASM Components