2025 Hackaday Superconference: Announcing our Workshops and Tickets
hackaday.com·14h
🔬Nanopasses
LeetCode Day 8 — Compare Version Numbers (165)
nitinahirwal.in·21h·
Discuss: DEV
🌳Tree Diffing
Tips for Working with Legacy Code
esveo.com·1d·
🌳Tree Shaking
Tools for Large-Scale Image Search for My IP Protection Project
reddit.com·9h·
Discuss: r/LLM
🔗Text Deduplication
Space-Deniable Proofs
eprint.iacr.org·1d
📜Proof Languages
A PPO agent that switches between 'cognitive functions'
github.com·12h·
Discuss: Hacker News
🎭Erlang OTP
Build a Real-Time Visual Inspection Pipeline with NVIDIA TAO 6 and NVIDIA DeepStream 8
developer.nvidia.com·1d
🌊Dataflow Languages
Localizing Malicious Outputs from CodeLLM
arxiv.org·1d
🌳Pattern Match Compilation
Automated Evidence-Based Knowledge Graph Construction for Dynamic Policy Enforcement
dev.to·15h·
Discuss: DEV
Effect Inference
Guardrails for the AI Wild West: Taming Autonomous Agents by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Resilience modeling for an engineered network with multimodal performance under multiple recurrent hazards
sciencedirect.com·2d
📮Persistent Queues
Agentic Reasoning for Robust Vision Systems via Increased Test-Time Compute
arxiv.org·1d
🗺️Region Inference
8 Useful Developer Tools That You Will Be Amazed to Discover 🧙‍♂️🤩
dev.to·19h·
Discuss: DEV
Live Coding
Large Language Models as End-to-end Combinatorial Optimization Solvers
arxiv.org·1d
🪜Recursive Descent
SIRAG: Towards Stable and Interpretable RAG with A Process-Supervised Multi-Agent Framework
arxiv.org·3h
🔍ML Language
Mathematical Evidence for Confident Delusion States in Recursive Systems
github.com·14h·
Discuss: Hacker News
💾Persistent Heaps
Code Your Way to Perfect 3D: Introducing Gradient-Powered Geometry by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
arxiv.org·1d
🧪Compiler Testing
Using Gemini for Web Apps
dev.to·10h·
Discuss: DEV
💬Interactive REPLs
High-Precision and High-Efficiency Trajectory Tracking for Excavators Based on Closed-Loop Dynamics
arxiv.org·1d
Control Synthesis