A clean little website with free mini-tools I built for fun
knowdust.com·1d·
🧭SMT Solvers
Flag this post
BitNetMCU with CNN: >99.5% MNIST accuracy on a low-end Microcontroller
cpldcpu.com·16h
🏗Computer Architecture
Flag this post
Show HN: Spine AI – Visual workspace to think across multiple AI models
app.getspine.ai·20h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
From SEO Playbooks to Geo Architectures
patreon.com·22h·
Discuss: Hacker News
Algorithmic Game Theory
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·4d·
📝Lisp
Flag this post
Trajectory-based anomaly detection of vessel motion patterns using profile monitoring
sciencedirect.com·1d
🎲Probabilistic Programming
Flag this post
How to Build Your Own Agentic AI System Using CrewAI
towardsdatascience.com·1d
🎲Probabilistic Programming
Flag this post
The 2025 Family Office Software Roundup
forbes.com·1d
🏗️Software Architecture
Flag this post
From Student Projects to Real-World Development
dev.to·1d·
Discuss: DEV
👐Open Source Software
Flag this post
I shared my prescription to ChatGPT 5, and it didn't catch the manual error until I pointed it out
reddit.com·8h·
Discuss: r/ChatGPT
🔢Mathematical Logic
Flag this post
The Ultimate Guide to Build Apps with Secure and Scalable Architecture
reddit.com·1d·
Discuss: r/ClaudeAI
🏗️Software Architecture
Flag this post
Automated Conformational Sampling & Scoring via Hybrid Monte Carlo-Gradient Techniques for Lead Optimization
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
Flag this post
FineVision: Open Data Is All You Need
dev.to·10h·
Discuss: DEV
🔗Parser Combinators
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·6d
👐Open Source Software
Flag this post
MorphoBench: A Benchmark with Difficulty Adaptive to Model Reasoning
paperium.net·1d·
Discuss: DEV
🧭SMT Solvers
Flag this post
How to one-shot tasks with Claude Code
dev.to·6h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Import AI 434: Pragmatic AI personhood; SPACE COMPUTERS; and global government or human extinction;
jack-clark.net·1h
🧭SMT Solvers
Flag this post
AI Isn't Alchemy: Not Mystical, Just Messy
craftedlogiclab.com·22h·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
The Hidden Cost of JavaScript Frameworks: A 2026 Performance Reality Check
dev.to·2d·
Discuss: DEV
🦀Rust
Flag this post