Show HN: Mongoose Studio: A Schema-Aware MongoDB GUI with AI Dashboards for Node
thecodebarbarian.com·7h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.com·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·2d·
Discuss: Lobsters, Hacker News
⚙️Compiler Design
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·2d·
Discuss: Hacker News, Hacker News
🔧ppx
Flag this post
Approval Exhaustion of AI
medium.com·11h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.org·1d
🔢Matrix Decomposition
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
My 2025 Developer Tech Stack: From Code to Docs
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Periodic Skill Discovery
arxiv.org·21h
📚Automata Learning
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Future Cryptanalytic Attacks
dev.to·17h·
Discuss: DEV
📦Unikernel Systems
Flag this post
Introducing the MindsEye Notification Project — Adaptive Email Automation for the Future of AI Systems
dev.to·11h·
Discuss: DEV
📦OPAM
Flag this post
KGBridge: Knowledge-Guided Prompt Learning for Non-overlapping Cross-Domain Recommendation
arxiv.org·1d
≤Order Theory
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·2d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·2d
🧩Separation Logic
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
KAT-GNN: A Knowledge-Augmented Temporal Graph Neural Network for Risk Prediction in Electronic Health Records
arxiv.org·2d
📚Automata Learning
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.to·2d·
Discuss: DEV
🔤Language Design
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·2d
🕸️Graph Theory
Flag this post