2025 Hackaday Superconference: Announcing our Workshops and Tickets
hackaday.com·1h
🔬Nanopasses
LeetCode Day 8 — Compare Version Numbers (165)
nitinahirwal.in·7h·
Discuss: DEV
🌳Tree Diffing
AT Protocol private data: Developing a rubric for success
pfrazee.leaflet.pub·17h·
Discuss: Hacker News
🛡️Security Type Systems
Tips for Working with Legacy Code
esveo.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Tree Shaking
The Top Programming Languages 2025
spectrum.ieee.org·56m
🏺Code Archeology
Topological Mechanics of Entangled Networks
arxiv.org·14h
🔗Graph Rewriting
NeuFACO: Neural Focused Ant Colony Optimization for Traveling Salesman Problem
arxiv.org·14h
🎭Erlang OTP
A Reliable Robot Motion Planner in Complex Real-world Environments via Action Imagination
arxiv.org·14h
🌊Loop Invariant Motion
A Regularized Riccati Recursion for Interior-Point Optimal Control
arxiv.org·14h
⚡Control Synthesis
Hyperbolic Sets in Incomplete Tables
arxiv.org·14h
📐Succinct Data Structures
Enhanced Predictive Maintenance via Multi-Modal Fusion & Reinforcement Learning Optimization
dev.to·1h·
Discuss: DEV
🏰Capability Machines
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·14h
📋Task Queues
Build a Real-Time Visual Inspection Pipeline with NVIDIA TAO 6 and NVIDIA DeepStream 8
developer.nvidia.com·18h
🌊Dataflow Languages
Automated Facility Enumeration for Building Compliance Checking using Door Detection and Large Language Models
arxiv.org·14h
🏗️MLIR
LeetCode Series: SlidingWindow (3/5)
dev.to·6h·
Discuss: DEV
🚶Tree-walking
I Gave AIs "Hands". Now They Can Build Their Own Software.
github.com·15h·
Discuss: DEV
📚Self-Documenting Code
Synergies between Federated Foundation Models and Smart Power Grids
arxiv.org·14h
🏛️Elm Architecture
Space-Deniable Proofs
eprint.iacr.org·1d
📜Proof Languages
🧠GraphScout: Self-Discovering Paths in OrKA
dev.to·1d·
Discuss: DEV
🎭Erlang OTP