computer science, automata, theory, computation

Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
🔩Systems Programming
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·23h·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
Format Verification
Flag this post
How not to get replaced by a GPU
augmentedswe.com·10h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Convex Optimization (or Mathematical Programming) in Go
reddit.com·8h·
Discuss: r/golang
📈Linear programming
Flag this post
Optimal Information Combining for Multi-Agent Systems Using Adaptive Bias Learning
arxiv.org·1d
🧠Machine Learning
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
FlexICL: A Flexible Visual In-context Learning Framework for Elbow and Wrist Ultrasound Segmentation
arxiv.org·1d
🧠Machine Learning
Flag this post
Squeezing Every Last Flop: The INT vs. FP Showdown for AI Dominance
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Flag this post
Hyper-Dimensional Bayesian Optimization for Enhanced Statistical Process Control
dev.to·11h·
Discuss: DEV
⚙️Modern Assembly
Flag this post
Mastering Python in 2025 — The Smartest Skill You Can Learn Today
dev.to·15h·
Discuss: DEV
📊Quantization
Flag this post
Thoughts on AI and Software Design Patterns
dev.to·1d·
Discuss: DEV
🏛️Mainframe Archaeology
Flag this post
How to Build an ATS-Proof Resume in Minutes
dev.to·8h·
Discuss: DEV
Proof Automation
Flag this post
Tech With Tim: Blitzy vs Devin vs Factory: Which AI Platform is The Best?
dev.to·2h·
Discuss: DEV
Proof Automation
Flag this post
Agentic AI: A Comprehensive Survey of Architectures, Applications, and Future Directions
arxiv.org·2d
🔲Cellular Automata
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Linear Operator Approximate Message Passing (OpAMP)
arxiv.org·2d
🧠Machine Learning
Flag this post