🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

ICT2, the paperback!
logicmatters.net·12h
🎯Proof Tactics
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·2d·
Discuss: Hacker News
💻Local LLMs
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·13h
💻Local LLMs
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·1d·
Discuss: DEV
🔌Operating system internals
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·1d·
Discuss: DEV
🔗Data Provenance
5 Ways to Automate Security and Compliance in a Cloud-First World
hackernoon.com·11h
🔓Hacking
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750952117902400）
dev.to·10h·
Discuss: DEV
🌐Network Protocols
12 Lessons from AI Pair Programming (180 Days with AI, Zero Hype)
dev.to·8h·
Discuss: DEV
⚡Proof Automation
How to Write a Software Project Proposal: Complete Template & Guide
dev.to·19h·
Discuss: DEV
🦋Format Metamorphosis
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
How to Create Secure AI Applications
dev.to·4h·
Discuss: DEV
🔒Language-based security
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·21h
🧠Machine Learning
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·15h·
Discuss: DEV
✅Format Verification
Platform Engineering Day 2: Why Service Iterations Are the Crux of Developer Platfor... Puja Abbassi
youtube.com·4h
🔄Reproducible Builds
Lazyeat: Control Your World with Hand Gestures!
dev.to·12h·
Discuss: DEV
✋Tactile Computing
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·17h
💧Liquid Types