🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

First device based on 'optical thermodynamics' can route light without switches
phys.org·14h
⚛️Information Physics
Arcade Hardware Hacking: Part III
zdziarski.com·2h
🕹️Retro Gaming
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
JSON Schema Compatibility and the Robustness Principle
yokota.blog·12h·
Discuss: Hacker News
📋Protocol Buffers
Valorant's 128-Tick Servers
technology.riotgames.com·1d·
Discuss: Hacker News
🌊Stream Processing
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·19h·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Developer Roundtable: Navigating Microservices
beflagrant.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com·19h·
Discuss: Hacker News
💧Liquid Types
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·1d
🧠Machine Learning
A Comparative Study of Vision Transformers and CNNs for Few-Shot Rigid Transformation and Fundamental Matrix Estimation
arxiv.org·1d
📊Quantization
GPU Instanced Grass Breakdown
cyanilux.com·20h·
Discuss: Hacker News
🖥️Terminal Renaissance
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·3d·
Discuss: DEV
📋Format Specification
Pedestrian collision avoidance in hemianopia during natural walking in immersive virtual reality
arxiv.org·1d
🌀Hyperbolic Geometry
SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
github.com·9h·
Discuss: Hacker News
⚡Modern Compression
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·1d
⚡Incremental Computation
Vector Trifference
arxiv.org·1d
📐Linear Algebra
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.org·1d
🌀Differential Geometry
Cross-Modal Content Optimization for Steering Web Agent Preferences
arxiv.org·1d
📊Feed Optimization