๐Ÿ”„ Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

IsoSched: Preemptive Tile Cascaded Scheduling of Multi-DNN via Subgraph Isomorphism
arxiv.orgยท8h
๐Ÿ“ผTape Combinators
The Ternary Manifesto
homepage.cs.uiowa.eduยท1h
๐Ÿ“Concrete Syntax
We Need to Talk About Observation (Swift/SwiftUI)
jaredsinclair.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
How to implement the Outbox pattern in Go and Postgres
medium.comยท21hยท
Discuss: Lobsters
๐Ÿ”CBOR
System Instruction Fixed Point
funcall.blogspot.comยท16hยท
Discuss: www.blogger.com
โšกProof Automation
Compiling with Continuations
swatson555.github.ioยท8hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Lambda Explained: A Visual Journey from Init to Invoke
dev.toยท9hยท
Discuss: DEV
ฮปLambda Formalization
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท1d
โœจAlgebraic Effects
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.ioยท7hยท
Discuss: r/programming
๐Ÿ“Code Metrics
Pleasant Imperative Program Proofs with GallinaC
arxiv.orgยท8h
โš”๏ธLean Tactics
Trajectory-Powered Tracking: The Future of Autonomous Vision by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Projective Geometry
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.comยท1d
๐Ÿ’ปLocal LLMs
Adaptive Programming Systems for Humans and AI
gfrison.comยท1dยท
Discuss: Hacker News
โšกIncremental Computation
AI-Driven Predictive Maintenance for Smart Manufacturing Through Federated Learning & Digital Twins
dev.toยท7hยท
Discuss: DEV
๐Ÿ“ŠHomelab Monitoring
Safe Chain: Stopping Malicious NPM Packages Before They Wreck Your Project
aikido.devยท55mยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
Solving a Wooden Puzzle Using Haskell
glocq.github.ioยท6hยท
Discuss: Lobsters, Hacker News
๐Ÿ’ŽInformation Crystallography
Beyond Gaze Overlap: Analyzing Joint Visual Attention Dynamics Using Egocentric Data
arxiv.orgยท8h
๐Ÿ“ŠLearned Metrics
Why We're Building Stategraph: Terraform State as a Distributed Systems Problem
stategraph.devยท3hยท
Discuss: Lobsters, Hacker News
๐ŸคDistributed Consensus
Reworking Memory Management in CRuby
railsatscale.comยท9hยท
Discuss: Hacker News
๐Ÿง Memory Allocators
Balance between refactoring and inheritance in your code
github.comยท2dยท
Discuss: Hacker News
โœ…Format Verification