🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·1d
📞Session Types
OpenDylan sheds some parentheses in 2025.1 update
theregister.com·40m
🧠Lisp Dialects
Counter Service: How we rewrote it in Rust
engineering.grab.com·3d·
Discuss: Hacker News
🔒Linear Types
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Programming as a Art - Chapter - 10
dev.to·5h·
Discuss: DEV
🔄Language Evolution
Edge Association Strategies for Synthetic Data Empowered Hierarchical Federated Learning with Non-IID Data
arxiv.org·2d
🧠Machine Learning
Probing AI Safety with Source Code
arxiv.org·6h
✨Effect Handlers
HarmonyOS5-NewsAPP-NewsDetailPage
dev.to·7h·
Discuss: DEV
📡RSS Extensions
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
AI Agents Can Now Pay Autonomously Thanks to x402 and HTTP 402
hackernoon.com·3h
🔌Interface Evolution
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·13h·
Discuss: DEV
🔗Data Provenance
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·13h·
Discuss: DEV
🔌Operating system internals
How to Write a Software Project Proposal: Complete Template & Guide
dev.to·5h·
Discuss: DEV
🦋Format Metamorphosis
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·13h·
Discuss: DEV
🦀Rust Borrowing
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Industrial Energy Disaggregation with Digital Twin-generated Dataset and Efficient Data Augmentation
arxiv.org·6h
🧠Machine Learning
DRIFT: Data Reduction via Informative Feature Transformation- Generalization Begins Before Deep Learning starts
arxiv.org·1d
🧠Machine Learning
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·2h
💧Liquid Types
**Boost Golang Microservices Performance: Efficient Distributed Tracing Implementation Guide for Production Systems**
dev.to·2d·
Discuss: DEV
🌊Streaming Systems