C3 0.7.7 Vector ABI changes, RISC-V improvements and more
reddit.com·2d·
Discuss: r/programming
🔬Static Analysis
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·2d
🤖Program Synthesis
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·22h·
Discuss: Substack
📐Linear Algebra
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Ghosts in the Codex Machine
docs.google.com·3h·
Discuss: Hacker News
👁️System Observability
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·2h·
Discuss: DEV
👁️Observability
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
dev.to·2d·
Discuss: DEV
👁️System Observability
Flag this post
Building a Scalable API Event Logger using Pub/Sub, and BigQuery
dev.to·2h·
Discuss: DEV
🔌APIs
Flag this post
Create your first MCP server
dev.to·6h·
Discuss: DEV
💬Mach Messages
Flag this post
🚀 Modular vs Monolithic Blockchain Explained (L1, L2, Web3 Future in Simple Hindi)
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Day 23 of Documenting my learning journey
dev.to·1d·
Discuss: DEV
📦Module Systems
Flag this post
DDD and the Simplicity Gospel
oluatte.com·1d·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Orchestrating Chaos: Unleashing the Power of Bio-Inspired AI for Autonomous System Design by Arvind Sundararajan
dev.to·11h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·1d·
Discuss: r/programming
🔀OCaml Multicore
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🔤Kleene Algebra
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·3d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post