🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

ThalamusDB: Query text, tables, images, and audio
github.com·3h·
Discuss: Hacker News
💾SQLite
[shi•rei] A new immediate-mode GUI framework for Go
judi.systems·1d·
Discuss: r/golang
🌐WASI
Tools Create Capacity, Workflows Create Value
robertgreiner.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Self-Extracting F3
buttondown.com·1d·
Discuss: Hacker News
✅Format Verification
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·1d·
Discuss: Hacker News
🔒WASM Capabilities
Multi-Modal Traffic Flow Analysis via Hyperdimensional Network Optimization
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Software for Hardware – Digitizing the Physical World
generalcatalyst.com·12h·
Discuss: Hacker News
🔗Supply Chain
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·1d
⚛️Quantum Compilers
Transductive and Learning-Augmented Online Regression
arxiv.org·19h
🔍Information Retrieval
Concatenate observation with received messages
dev.to·13h·
Discuss: DEV
🔲Cellular Automata
What's new in Python 3.14
docs.python.org·1h·
Discuss: Hacker News
🌳Incremental Parsing
Adventures on the AI Coding side of things
medium.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Vibe engineering
simonwillison.net·8h·
Discuss: Lobsters, Hacker News
📏Code Metrics
From Shadow to Light: Toward Safe and Efficient Policy Learning Across MPC, DeePC, RL, and LLM Agents
arxiv.org·19h
🔲Cellular Automata
FrameOracle: Learning What to See and How Much to See in Videos
arxiv.org·19h
📊Learned Metrics
Precision Inertial Navigation via Multi-Modal Sensor Fusion and Adaptive Kalman Filtering
dev.to·14h·
Discuss: DEV
🌊Stream Processing
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·19h
⚡Proof Automation
OpenStack Flamingo Reduces Technical Debt, Boosts Performance
thenewstack.io·5h
🔓Open Source Software
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·22h
🧠Learned Codecs