🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Integrations
theprogrammersparadox.blogspot.com·2d·
Discuss: theprogrammersparadox.blogspot.com
🔌Interface Evolution
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.com·2d
🐚Bash Monads
Flag this post
Codeminer42 Dev Weekly #88
blog.codeminer42.com·2d
👁️Observatory Systems
Flag this post
Why Wait or Yield When You Can Preempt?
danglingpointers.substack.com·3d·
Discuss: Substack
⚡Hardware Transactional Memory
Flag this post
Internet Protocol over Avian Carriers (1990)
rfc-editor.org·51m·
Discuss: Hacker News
📻Homebrew Protocols
Flag this post
Using Claude Code with Obsidian
kyleygao.com·1h·
Discuss: Hacker News
📜Binary Philology
Flag this post
How LLMs generate judgments
nature.com·3d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
TAI AHR #12 — Building Smarter Systems: From Edge AI to Drone Fleets
dev.to·8h·
Discuss: DEV
🏠Home Automation
Flag this post
Go Memory Profiling & Performance Debugging — Real-World Guide to pprof
dev.to·2h·
Discuss: DEV
📊Performance Profiling
Flag this post
The open source project named fulling, and it's hit 1k stars
github.com·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Flag this post
Topological Adam: An experiment in energy-stabilized optimization
github.com·1d·
Discuss: Hacker News
📊Quantization
Flag this post
Robot Reflection: Unlocking Ingenious AI with Self-Aware Machines
dev.to·1d·
Discuss: DEV
🤖AI Curation
Flag this post
Krish Naik: Google Antigravity IDE- The Best Agentic Next Gen IDE
dev.to·2h·
Discuss: DEV
🔓Open Source Software
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code
Flag this post
Bringing Federated Learning to Space
arxiv.org·3d
🌀Riemannian Computing
Flag this post
3 months building production apps with AI coding tools
medium.com·6h·
Discuss: Hacker News
📏Code Metrics
Flag this post
Reflections on the design, applications and implementations of the normative specification language eFLINT
arxiv.org·5d
📝ABNF Extensions
Flag this post
Automated Retrofit Optimization for Enhanced Energy Star Home Performance via Bayesian Hyperparameter Tuning
dev.to·22h·
Discuss: DEV
⚡Incremental Computation
Flag this post