Announcing the 2025 Hackaday Superconference Communicator Badge
hackaday.com·1d
⚡Circuit Archaeology
Flag this post
Your First AI-Powered Search on Oracle Cloud: A Beginner's Guide to Vectors
🗂️Vector Databases
Flag this post
isaac-sim/IsaacSim
github.com·11h
🎯Emulator Accuracy
Flag this post
Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
arxiv.org·2d
🎯Performance Proofs
Flag this post
LM-mixup: Text Data Augmentation via Language Model based Mixup
arxiv.org·1d
🎯Gradual Typing
Flag this post
Building MCP Server - The Hidden Protocol Behind Smart AI Collaboration
🔌Interface Evolution
Flag this post
Ask HN: ~25KLOC Indie project. Best practices for AI facilitated refactor?
📏Code Metrics
Flag this post
Streamline code migration using Amazon Nova Premier with an agentic workflow
aws.amazon.com·2d
⚡SMT Integration
Flag this post
PKBoost: Gradient boosting that adjusts to concept drift in imbalanced data
🔍MinHash Variants
Flag this post
The Hallelujah Algorithm
🎨Graph Coloring
Flag this post
Decentralized Swarm Intelligence for Dynamic Asset Allocation in Multi-Robot Construction Sites
⚡Incremental Computation
Flag this post
Litho + AI Programming Tools: Building Intelligent Development Ecosystem
⚙️Proof Engineering
Flag this post
Loading...Loading more...