LeetCode Day 8 β€” Compare Version Numbers (165)
nitinahirwal.inΒ·5hΒ·
Discuss: DEV
🌳Tree Diffing
Tips for Working with Legacy Code
esveo.comΒ·1dΒ·
🌳Tree Shaking
Solving Fragmented Travel Planning with KendoReact Components
dev.toΒ·1dΒ·
Discuss: DEV
πŸ›οΈElm Architecture
8 Useful Developer Tools That You Will Be Amazed to Discover πŸ§™β€β™‚οΈπŸ€©
dev.toΒ·4hΒ·
Discuss: DEV
⚑Live Coding
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.toΒ·6hΒ·
Discuss: DEV
πŸ”€Control Structures
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.orgΒ·12h
🎯Finite Automata
You’re Probably Using AI Wrong
kill-the-newsletter.comΒ·1h
🎭Program Synthesis
Efficient Linearizability Monitoring
arxiv.orgΒ·12h
πŸ”—Memory Linearization
Dynamic Objects Relocalization in Changing Environments with Flow Matching
arxiv.orgΒ·12h
🀐Zipper Structures
From AI-Generated to Production-Ready Code: WebStorm Refactorings for the Modern Workflow
blog.jetbrains.comΒ·2h
🚚Code Migration
Topological Mechanics of Entangled Networks
arxiv.orgΒ·12h
πŸ”—Graph Rewriting
NeuFACO: Neural Focused Ant Colony Optimization for Traveling Salesman Problem
arxiv.orgΒ·12h
🎭Erlang OTP
A Reliable Robot Motion Planner in Complex Real-world Environments via Action Imagination
arxiv.orgΒ·12h
🌊Loop Invariant Motion
A Regularized Riccati Recursion for Interior-Point Optimal Control
arxiv.orgΒ·12h
⚑Control Synthesis
Hyperbolic Sets in Incomplete Tables
arxiv.orgΒ·12h
πŸ“Succinct Data Structures
Automated Cost-Benefit Analysis for Network Infrastructure Optimization via Graph Neural Networks
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Graph Rewriting
Underground Multi-robot Systems at Work: a revolution in mining
arxiv.orgΒ·12h
πŸ“‹Task Queues
Build a Real-Time Visual Inspection Pipeline with NVIDIA TAO 6 and NVIDIA DeepStream 8
developer.nvidia.comΒ·16h
🌊Dataflow Languages
Space-Deniable Proofs
eprint.iacr.orgΒ·1d
πŸ“œProof Languages
Automated Facility Enumeration for Building Compliance Checking using Door Detection and Large Language Models
arxiv.orgΒ·12h
πŸ—οΈMLIR