🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·9h
🧮Kolmogorov Complexity
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·20h·
Discuss: DEV
⚡SMT Applications
Declarative Partial Updates Proposal
github.com·22h·
Discuss: Hacker News
🎬WebCodecs
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·1d·
Discuss: Hacker News, r/programming
⚡Effectful Programming
Real-Time AI-Powered DDoS Detection
timeplus.com·1h·
Discuss: Hacker News
🕵️Network Forensics
Causal Abstractions, Categorically Unified
arxiv.org·12h
✨Effect Handlers
DIY infrastructure is what's causing you to fail
tower.dev·4h·
Discuss: Hacker News
🏠Homelab Orchestration
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🖥️Terminal Renaissance
HOFLON: Hybrid Offline Learning and Online Optimization for Process Start-Up and Grade-Transition Control
arxiv.org·12h
⚡Incremental Computation
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·13h·
Discuss: Hacker News
🔲Cellular Automata
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·1d
🌀Brotli Internals
Why Microservices Are a Symptom, Not a Cure – and What the Future Looks Like
axx83.substack.com·2d·
Discuss: Substack
🤖Network Automation
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
Design Principle: Composable Services
sleepingpotato.com·1d·
Discuss: Hacker News
⚡gRPC
Static Bundle Object: Modernizing Static Linking
medium.com·1h·
Discuss: Hacker News
🔗Static Linking
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·3d·
Discuss: Lobsters, Hacker News
🔤Type Theory
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·12h
💻Programming languages
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·12h
🎯Performance Proofs
Database Transactions: Everything That Can Go Wrong When Using Them
hackernoon.com·19h
📝Database WAL