๐Ÿ”„ Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

How churches use data and AI as engines of surveillance
technologyreview.comยท1dยท
Discuss: Hacker News
๐Ÿ›Digital humanities
The Dogs in Pursuit Problem
theguardian.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
History of IRC (Internet Relay Chat)
daniel.haxx.seยท1dยท
Discuss: Hacker News
๐Ÿ“กNetwork Archaeology
Intraducing Mastrodon
daniel.industriesยท2d
๐Ÿ”ฉSystems Programming
New Linux Patches Allow Manipulating Out-Of-Memory Behavior Using BPF
phoronix.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
What I Learned From a Janky Drone
spectrum.ieee.orgยท2h
โš™๏ธDIY Electronics
Fresh Eyes as a Service: Using LLMs to Test CLI Ergonomics
recursion.wtfยท1dยท
Discuss: Hacker News
๐Ÿ“ŸCLI Design
Understanding GRU in Deep Learning (Made Simple for Beginners)
dev.toยท10hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
D2Q Synchronizer: Distributed SDN Synchronization for Time Sensitive Applications
arxiv.orgยท2d
๐ŸคDistributed Consensus
Enhancing Rocket Stability via Real-Time Aerodynamic Control with a Hybrid Neural-PID System
dev.toยท11hยท
Discuss: DEV
๐ŸŽฏEmulator Accuracy
Fine-Grained VLM Fine-tuning via Latent Hierarchical Adapter Learning
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
LoRAtorio: An intrinsic approach to LoRA Skill Composition
arxiv.orgยท2d
๐ŸŒ€Brotli Internals
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Ormin โ€“ An ORM for Nim
github.comยท1dยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
Towards Efficient Hash Maps in Functional Array Languages
arxiv.orgยท2d
๐Ÿ”—Functional Compilers
50x Faster Code and Fewer Bugs? Ditch the Classes
hackernoon.comยท5d
๐Ÿ“Code Metrics
I Spent $78 Learning Why Bash Still Matters in the AI Age
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Topological Sorting
Soft Error Probability Estimation of Nano-scale Combinational Circuits
arxiv.orgยท1d
๐Ÿ”งHardware Verification
Automated Microvascular Flow Simulation Validation via Multi-modal Anomaly Detection
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
The Role of Artificial Intelligence in Modern Software Development
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Language Evolution