2025 Hackaday Superconference: Announcing our Workshops and Tickets
hackaday.com·3h
🔬Nanopasses
LeetCode Day 8 — Compare Version Numbers (165)
nitinahirwal.in·9h·
Discuss: DEV
🌳Tree Diffing
Qbix Streams as a Graph Database for Indexing Catalogs, Dating Sites, etc.
community.qbix.com·23h·
Discuss: Hacker News
📈Query Optimization
AT Protocol private data: Developing a rubric for success
pfrazee.leaflet.pub·19h·
Discuss: Hacker News
🛡️Security Type Systems
Tips for Working with Legacy Code
esveo.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Tree Shaking
Sentrilite: Lightweight syscall/Kubernetes API tracing with eBPF/XDP
reddit.com·2h·
Discuss: r/kubernetes
🛡️Capability VMs
The Top Programming Languages 2025
spectrum.ieee.org·2h·
Discuss: r/programming
🏺Code Archeology
Artificial Intelligence in Networking Research in the Arab World
cacm.acm.org·1d
🌐Network Protocols
A PPO agent that switches between 'cognitive functions'
github.com·1h·
Discuss: Hacker News
🎭Erlang OTP
Build a Real-Time Visual Inspection Pipeline with NVIDIA TAO 6 and NVIDIA DeepStream 8
developer.nvidia.com·20h
🌊Dataflow Languages
🧠GraphScout: Self-Discovering Paths in OrKA
dev.to·1d·
Discuss: DEV
🎭Erlang OTP
Mind the Gap: Comparing Model- vs Agentic-Level Red Teaming with Action-Graph Observability on GPT-OSS-20B
arxiv.org·16h
🎯Symbolic Execution
Unrolled Graph Neural Networks for Constrained Optimization
arxiv.org·16h
🪜Recursive Descent
ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks
arxiv.org·16h
⚡Control Synthesis
Building the Global Operating System Infrastructure for Trustworthy AI: The Strategic Depth of SeaOS
dev.to·1d·
Discuss: DEV
🧠Memory Ordering
Design, assembly, and tuning of a multipurpose FPV drone: A flexible and low-cost alternative
sciencedirect.com·7h
🔌Microcontrollers
Fast Trajectory Planner with a Reinforcement Learning-based Controller for Robotic Manipulators
arxiv.org·16h
⚡Control Synthesis
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·16h
🚂Cranelift IR
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·16h
🧩SAT Solvers
Large Language Models as End-to-end Combinatorial Optimization Solvers
arxiv.org·16h
🪜Recursive Descent