🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·9h
📞Session Types
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
⚙️TLA+
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Slashing CI Costs at Uber
uber.com·8h·
Discuss: Hacker News
🔄Reproducible Builds
From Scarcity to Abundance: How Go Changed Concurrency Forever
medium.com·1d·
Discuss: r/golang
⚖️Hoare Logic
Pure UI
rauchg.com·3h·
Discuss: Hacker News
🎨Nordic Design
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Heartbeat of Modern Web Real Time Patterns User Design（1750836074761900）
dev.to·11h·
Discuss: DEV
🌊Stream Processing
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
📏Code Metrics
Using OpenTelemetry to Diagnose a Critical Memory Leak
hackernoon.com·3h
👁️System Observability
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·23h
💾Persistence Strategies
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Reflection and open implementations (2006)
dcc.uchile.cl·4d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·4h
📊Graph Databases
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·57m·
Discuss: Hacker News
⚡Proof Automation
An All-Around Better Horse
patrickhebron.com·1h·
Discuss: Hacker News
🧠Knowledge Management
The Guide to the Foundation Models Framework
azamsharp.com·5h·
Discuss: Hacker News
λLambda Formalization