Strange Attractors
blog.shashanktomar.com·15h·
Discuss: Hacker News
🧫Cellular Automata
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
chapter seven: nudge
geohot.github.io·1d
🔢Mathematical Logic
A New Formula for Pi Is Here. And It’s Pushing Scientific Boundaries.
popularmechanics.com·17h
🎲Probabilistic Programming
Show HN: Talk to any model with your team
showcase.thytus.com·1d·
Discuss: Hacker News
⚡Concurrency
Claude Code HAS gotten worse - Here Is the Proof
youtu.be·1d·
Discuss: r/ClaudeAI
🦀Rust
In search of a thumb cluster
i.redd.it·13h·
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
🐧Linux
Thoughts on This Snr. Ruby on Rails Interview Question?
news.ycombinator.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
The Disappearance of Responsibility: AI Decisions Nobody Signs
dev.to·17h·
Discuss: DEV
🧮Programming Language Theory
Seedream 4.0 vs. Nano Banana AI: A Head-to-Head Comparison of Functions and Real-World Performance
reddit.com·3h·
Discuss: r/nanobanana
🔗Parser Combinators
Gut-Brain Axis as a Closed-Loop Molecular Communication Network
arxiv.org·5h
📊Information Theory
ericc-ch/copilot-api
github.com·7h
🦀Rust
Show HN: KoStudy – open-source AI first learning app
github.com·3d·
Discuss: Hacker News
👐Open Source Software
A Knowledge-Guided Cross-Modal Feature Fusion Model for Local Traffic Demand Prediction
arxiv.org·5h
🎲Probabilistic Programming
Can SSD-Mamba2 Unlock Reinforcement Learning for End-to-End Motion Control?
arxiv.org·5h
🧭SMT Solvers
Scalable Multimodal Data Fusion for High-Throughput Metamaterial Design Optimization
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·5d
🔍Static Analysis
Brock Purdy injured, uncertain for Week 2; George Kittle out 'a few weeks'
nytimes.com·1d
🧮Programming Language Theory
'NVIDIA Unveils Rubin CPX: A New Class of GPU Designed for Massive-Context Inference"
nvidianews.nvidia.com·17h·
Discuss: r/hardware
🏗Computer Architecture
Parse Graph-Based Visual-Language Interaction for Human Pose Estimation
arxiv.org·5h
🔗Parser Combinators