Open Catalyst Project
opencatalystproject.org·1d·
Discuss: Hacker News
Z3 Optimization
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·22h·
Discuss: Hacker News
📐Arithmetic Precision
Flag this post
The Development of Pie
terathon.com·1d·
Discuss: Hacker News
🔗Concatenative Languages
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.com·1d·
Discuss: Hacker News
🧠Learned Codecs
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·1d·
🖥️Game Emulation
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·12h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Turbocharge Claude Desktop: Use Docker MCP Toolkit for Real Developer Workflows
dev.to·6h·
Discuss: DEV
🔩Systems Programming
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·3d
📝Log Parsing
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·3d
💻Programming languages
Flag this post
From Mapping Files to Data Plumbing
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Flag this post
Turning 500 Lines of If-Else Into a Config Switch: Strategy Pattern in Go
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·3d
📝ABNF Extensions
Flag this post
FOCUS: Efficient Keyframe Selection for Long Video Understanding
arxiv.org·7h
📊Learned Metrics
Flag this post
UBCO study debunks the idea that the universe is a computer simulation
eurekalert.org·12h·
Discuss: Hacker News
🧮Theoretical Computer Science
Flag this post
Algorithmic Bias Mitigation in Federated News Recommendation via Causal Graph Regularization
dev.to·1h·
Discuss: DEV
🎛️Feed Filtering
Flag this post
Building NailArt AI: A Complete Technical Breakdown
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Flag this post