🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.org·11h
⚡Incremental Computation
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Optical generative models
nature.com·3m
🌈Holographic Archives
Demystifying Go Mutex: How Synchronization Works Under the Hood
dev.to·2h·
Discuss: DEV
🧠Separation Logic
Qt for MOSA: FACE Conformant Qt for Aerospace and Defense Software
qt.io·3h
⚡SMT Applications
BW21-CBV-Kit——Home Video Monitoring and Playback System
hackster.io·10h
🎬Video Codecs
Dependent types I › Universes, or types of types
jonmsterling.com·9h·
Discuss: Hacker News
🔤Type Theory
Building an Ergonomic OpenTelemetry for JavaScript
thenewstack.io·1h
🐚Nordic Shell
Thoughts on creating a tracking pointer class, part 13: Restoring the strong exception guarantee
devblogs.microsoft.com·1h
🦀Rust Borrowing
SOC Visibility Quad: Why Application Telemetry Completes the Framework | Oligo Security
oligo.security·2h
👁️System Observability
Mojo Vision
docs.modular.com·1d·
Discuss: Hacker News
🔩Systems Programming
How Cloudflare runs more AI models on fewer GPUs: A technical deep-dive
blog.cloudflare.com·1h
🔩Systems Programming
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·5h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
The Best Programmer I Know • Daniel Terhorst-North • GOTO 2024
youtube.com·3h
🦀Rust Macros
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·23h
⬆️Lambda Lifting
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Distributed Request Assignment with Max‑Min and Deviation Fairness in On‑Demand Mobility
hackernoon.com·1d
📡Network Calculus
The Hexagon: A Battle-Tested Blueprint for Your Event-Driven App
mina-tafreshi.medium.com·20h·
Discuss: Hacker News
🌊Streaming Systems
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Implementing Forth in Go and C
eli.thegreenplace.net·12h·
Discuss: Lobsters, Hacker News, Hacker News
🔗Concatenative Programming