๐Ÿ”„ Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Bought myself an Ampere Altra system
marcin.juszkiewicz.com.plยท1d
โšกCircuit Archaeology
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท3d
๐Ÿ“Concrete Syntax
Electoral System Design Database
idea.intยท6hยท
Discuss: Hacker News
๐Ÿ’พDatabase Formats
Is OSM Partially Down?
community.openstreetmap.orgยท8hยท
Discuss: Hacker News
๐ŸงฌBitstream Evolution
Reading the Fractals: What Nature's Patterns Say About Our Future
atmos.earthยท1dยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
PJ5 TTL CPU
pj5cpu.wordpress.comยท1dยท
Discuss: Hacker News
โšกCircuit Archaeology
[$] How to write Rust in the kernel: part 2
lwn.netยท1d
๐Ÿ”ฉSystems Programming
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท4d
โš–๏ธHoare Logic
ใ€Journey of HarmonyOS Nextใ€‘DevEco Studio User Guide (20)
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŸCLI Design
The Rise of Vibe Coding
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Language Evolution
Zero-Cost Abstractions: What It Really Means in Rust
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
RTK โ€“ query your Rust codebase and make bindings anywhere
github.comยท1dยท
Discuss: Hacker News, Hacker News
๐Ÿฆ€Rust Macros
Heartbeat of Modern Web Real Time Patterns User Design๏ผˆ1750757451760700๏ผ‰
dev.toยท4dยท
Discuss: DEV
๐ŸŒŠStream Processing
iOS Development Democratized: Create Objective-C Apps with Simple Commands
dev.toยท19hยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
Never Underestimate Memory Architecture - Bryan Boreham, Grafana Labs
youtube.comยท1d
๐ŸŒŠStream Processing
An open-source, multi-tenant backend engine in Go. Would you use this?
reddit.comยท4hยท
Discuss: r/golang
๐Ÿ Homelab Orchestration
AI Personal Finance Manager - Automated Wealth Building & Budget Optimization
dev.toยท2hยท
Discuss: DEV
๐ŸŽ›๏ธFeed Filtering
Python Fundamentals: async
dev.toยท4dยท
Discuss: DEV
๐ŸŒŠStream Processing
Cursor BugBot vs Entelligence
dev.toยท7hยท
Discuss: DEV
๐Ÿ“Code Metrics
Programming as a Art - Chapter - 10
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Language Evolution