🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

OpenStack Flamingo Reduces Technical Debt, Boosts Performance
thenewstack.io·1h
🔓Open Source Software
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
I pushed Python to 20,000 requests sent/second. Here's the code and kernel tuning I used.
tjaycodes.com·11h
🌊Stream Processing
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·6h
📐Mathematical Art
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·15h
🎯Performance Proofs
Characteristics of successful AI chat integrations
waleedk.medium.com·1d·
Discuss: Hacker News
🔄Language Evolution
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·2d·
Discuss: r/programming
⚡Cache Coherence
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·22h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Is Odin Just a More Boring C?
dayvster.com·1d·
Discuss: Hacker News
🔩Systems Programming
The (software) quality without a name
kieranpotts.com·13h·
Discuss: Hacker News, r/programming
🎨Swedish Design Philosophy
A Solution to the Paperclip Problem
link.springer.com·16h·
Discuss: Hacker News
🔲Cellular Automata
Functional Programming Shaped (and Twisted) Front End Development
alfy.blog·3d·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Efficient Test-Time Scaling for Small Vision-Language Models
arxiv.org·15h
🗜️LZW Variants
How to Perform Effective Agentic Context Engineering
towardsdatascience.com·12h
⚙️Proof Engineering
AgentSight: Keeping Your AI Agents Under Control with eBPF-Powered System Observability
dev.to·20h·
Discuss: DEV
🔍eBPF
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·4h·
Discuss: Hacker News
💿ZFS Internals
Investigating mixed traffic dynamics of pedestrians and non-motorized vehicles at urban intersections: Observation experiments and modelling
arxiv.org·15h
🔲Cellular Automata
6G-Enabled Digital Twin Framework for Real-Time Cyber-Physical Systems: An Experimental Validation with Industrial Bearing Fault Detection
arxiv.org·15h
⏱️SMPTE Timecode
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity