🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Focus Your Attention: Towards Data-Intuitive Lightweight Vision Transformers
arxiv.org·1d
🌀Fractal Compression
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Computer-vision research powers surveillance technology
nature.com·2h
🔎OSINT Techniques
What Inflection AI Learned Porting Its LLM Inference Stack from NVIDIA to Intel Gaudi
thenewstack.io·15m
🧮Compute Optimization
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·11h
⬆️Lambda Lifting
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
arxiv.org·14h
📈Time Series
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·8h·
Discuss: Hacker News, r/programming
🔗Lisp
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
The collective waste caused by poor documentation
shanrauf.com·17h·
Discuss: Hacker News
📦Deflate
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
Building an Intelligent Cross-Chain Transaction Optimizer with Python & Gemini AI
dev.to·9h·
Discuss: DEV
🔌Interface Evolution