🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·20h
📞Session Types
Counter Service: How we rewrote it in Rust
engineering.grab.com·3d·
Discuss: Hacker News
🔒Linear Types
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
The Social and Academic Upsides of Pair Programming
hackernoon.com·3d
⚡Effectful Programming
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·1d
🌀Fractal Compression
Heartbeat of Modern Web Real Time Patterns User Design（1750757451760700）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Hong Mong 5 Development Treasure Case Sharing Click to Complete Delay Analysis
dev.to·7h·
Discuss: DEV
🎯Emulator Accuracy
A Spatio-Temporal Point Process for Fine-Grained Modeling of Reading Behavior
arxiv.org·1h
📊Learned Metrics
Python Fundamentals: asynchronous
dev.to·16h·
Discuss: DEV
🌊Stream Processing
Python Fundamentals: async
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Video Perception Models for 3D Scene Synthesis
arxiv.org·1h
📐Projective Geometry
Pair Programming against Agentic Dementia
dev.to·1d·
Discuss: DEV
⚡Effectful Programming
Learning-based safety lifting monitoring system for cranes on construction sites
arxiv.org·1h
📄Document Digitization
Edge Association Strategies for Synthetic Data Empowered Hierarchical Federated Learning with Non-IID Data
arxiv.org·2d
🧠Machine Learning
HarmonyOS5-NewsAPP-NewsDetailPage
dev.to·1h·
Discuss: DEV
📡RSS Extensions
Probing AI Safety with Source Code
arxiv.org·1h
✨Effect Handlers
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·21h·
Discuss: DEV
⚡Performance Tools
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·7h·
Discuss: DEV
🔗Data Provenance
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·7h·
Discuss: DEV
🔌Operating system internals