๐Ÿ”„ Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

How to prevent mobile fraud in embedded browsers
fingerprint.comยท1d
๐Ÿ›ก๏ธARM TrustZone
IBM and NASA made an open-source AI model for predicting solar weather
engadget.comยท2d
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Derek Elkins: Arithmetic Functions
hedonisticlearning.comยท4h
โš”๏ธLean Theorem
๐Ÿง  AI + Human Mind Reading: A Future to Prevent Crime Before It Happens
dev.toยท1dยท
Discuss: DEV
๐Ÿ Home Automation
Using large-scale search to discover fast GPU kernels in Rust
reddit.comยท2dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
How to Push Back Against Unreasonable Management Expectations in the Age of AI?
deepdocs.devยท2dยท
Discuss: Hacker News, r/programming
โš™๏ธProof Engineering
Presheaf automata
arxiv.orgยท4d
๐ŸŽฏAutomata theory
numexpr: fast numerical array expression evaluator for Python
github.comยท1dยท
Discuss: Hacker News
๐Ÿš€SIMD Parsing
Mindful Pomodoro on M5Stack Paper
hackster.ioยท2d
๐Ÿ–ฅ๏ธModern Terminals
Multi-Robot Navigation in Social Mini-Games: Definitions, Taxonomy, and Algorithms
arxiv.orgยท2d
๐ŸŽฏProof Tactics
18 AI Coding Sidekicks That'll Make You Feel Like a Programming Wizard in 2025
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Long Chain-of-Thought Reasoning Across Languages
arxiv.orgยท1d
๐ŸงฎZ3 Applications
Causally-Guided Pairwise Transformer -- Towards Foundational Digital Twins in Process Industry
arxiv.orgยท3d
๐Ÿง Machine Learning
Working with Asynchronous Coding Agents
elite-ai-assisted-coding.devยท3dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
EgoLoc: A Generalizable Solution for Temporal Interaction Localization in Egocentric Videos
arxiv.orgยท3d
๐Ÿ“Projective Geometry
The Chilling: Identifying Strategic Antisocial Behavior Online and Examining the Impact on Journalists
arxiv.orgยท23h
๐ŸŽฏThreat Hunting
The hidden pitfalls of AI in the cloud: here's what businesses need to know
techradar.comยท2d
๐ŸŒŠStream Processing
The Weirdest Syntax in Programming Languages (And Why It Exists)
dev.toยท4dยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Thoughts on creating a tracking pointer class, part 6: Non-modifying trackers
devblogs.microsoft.comยท4d
๐Ÿฆ€Rust Borrowing
Connectivity structure and dynamics of nonlinear recurrent neural networks
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata