Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🔧C++
Flag this post
TigerFans: Building a High-Performance Ticketing System with TigerBeetle
renerocks.ai·3d·
Discuss: Lobsters, Hacker News
🧠Deep Learning
Flag this post
The AI revolution has a power problem
homenewshere.com·1d
🧠Deep Learning
Flag this post
original ↗
gurudas.dev·3d
🔧C++
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·5d·
Discuss: Lobsters, Hacker News, r/rust
🔧C++
Flag this post
🎲 Weeknotes 2025 W45: Polymorphic
denisdefreyne.com·11h
🔧C++
Flag this post
Analysis and optimal assignment of multi-mission systems across multiple phases in a shared component with cold standby
sciencedirect.com·2d
🔧C++
Flag this post
China GenAI: Who Will Fill The Vacuum?
semiengineering.com·21h
🧠Deep Learning
Flag this post
Show HN: a1 - determinism-maxing JIT compiler for AI agents
github.com·11h·
Discuss: Hacker News
🧠Deep Learning
Flag this post
Quantifying the Climate Risk of Generative AI: Region-Aware Carbon Accounting with G-TRACE and the AI Sustainability Pyramid
arxiv.org·1d
🧠Deep Learning
Flag this post
CSP4SDG: Constraint and Information-Theory Based Role Identification in Social Deduction Games with LLM-Enhanced Inference
arxiv.org·48m
🧠Deep Learning
Flag this post
The Production Generative AI Stack: Architecture and Components
thenewstack.io·4d
🧠Deep Learning
Flag this post
Energy savings with modern workstations?
reddit.com·1d·
Discuss: r/homelab
🐧Linux
Flag this post
Fast Overview for Infraestructure as Data
dev.to·3d·
Discuss: DEV
🧠Deep Learning
Flag this post
Future for corporates self hosting LLMs?
reddit.com·1d·
Discuss: r/artificial
🧠Deep Learning
Flag this post
Best decision ever
reddit.com·1d·
Discuss: r/archlinux
🐧Linux
Flag this post
C++26 std::execution vs. Rust's async/rayon: Two different philosophies for the future of concurrency?
reddit.com·4d·
Discuss: r/rust
🔧C++
Flag this post
I started using Claude Skill for my content planning and strategy. IMO, markdown is unsettling but it is the way forward.
reddit.com·19h·
Discuss: r/ClaudeAI
🔧C++
Flag this post
I added power monitoring to my home lab, and it changed how I deploy services
xda-developers.com·16h
🧠Deep Learning
Flag this post
STAIR: Stability criterion for Time-windowed Assignment and Internal adversarial influence in Routing and decision-making
arxiv.org·48m
🧠Deep Learning
Flag this post