Why formalize mathematics – more than catching errors
rkirov.github.io·3d·
🔍Static Analysis
Flag this post
Show HN: ModelSignature – Get end-user feedback for your OS AI models
modelsignature.com·15h·
Discuss: Hacker News
🎙️Whisper
Flag this post
Improving math skill of students by classification tasks
onlinelibrary.wiley.com·2d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Orderly API Evolution: How to Break APIs Without Breaking Trust
davidpoll.com·2d·
Discuss: Hacker News
☁️Serverless Rust
Flag this post
Slow Agents
fred.glass·2d·
Discuss: Hacker News
🤖AI agents
Flag this post
Exploring Arrows for sequencing effects
chrispenner.ca·6d·
Discuss: Hacker News
Tokio
Flag this post
Depreciation
blog.dshr.org·14h·
🏗️AI Infrastructure
Flag this post
Porting a Segmented List From C to Rust
xnacly.me·6d·
Discuss: Hacker News
⚠️Unsafe Rust
Flag this post
Destroy and Deploy: the Joys of Immutability
blog.devops.dev·16h
☁️Serverless Rust
Flag this post
Show HN: WL, a new templating engine for C
github.com·4d·
🦋Tauri
Flag this post
My 6-Week Dev.to Plan for Building Authority as an AI Writer
dev.to·22h·
Discuss: DEV
🧩Low-code
Flag this post
MSAM: Multi-Semantic Adaptive Mining for Cross-Modal Drone Video-Text Retrieval
arxiv.org·2d
🎯Vector Databases
Flag this post
The Coverage Principle: How Pre-training Enables Post-Training
arxiv.org·2d
💻Local LLMs
Flag this post
Autonomous Fleet Coordination via Decentralized Multi-Agent Reinforcement Learning and Predictive Maintenance
dev.to·23h·
Discuss: DEV
🤖Swarm Robotics
Flag this post
Neuronal Group Communication for Efficient Neural representation
arxiv.org·1d
🧠Neuromorphic Hardware
Flag this post
Tech With Tim: My top 5 python programming course recommendations
dev.to·21h·
Discuss: DEV
vibe-coding
Flag this post
From Repetitive to Revolutionary: How AI is Transforming the Project Management Process
dev.to·15h·
Discuss: DEV
🤖AI agents
Flag this post
On Biologically Plausible Learning in Continuous Time
arxiv.org·1h
🧠Neuromorphic Hardware
Flag this post
Entropy-Enhanced Conformal Features from Ricci Flow for Robust Alzheimer's Disease Classification
arxiv.org·1h
🏗️AI Infrastructure
Flag this post
DeLoad: Demand-Driven Short-Video Preloading with Scalable Watch-Time Estimation
arxiv.org·1h
⏱️Time-series Optimization
Flag this post