Foxconn Now Making More From Servers than iPhones
apple.slashdot.org·2d
🐧Linux
Alacritty Meets Tmux
m99.io·2d·
Discuss: r/commandline
💾Retrocomputing
Launch HN: Embedder (YC S25) – Claude Code for Embedded Software
news.ycombinator.com·1d·
Discuss: Hacker News, r/embedded
🔧Compiler Design
On This Day in Math - August 15
pballew.blogspot.com·2d·
Discuss: www.blogger.com
🔢Mathematical Logic
DeepSeek: The Chinese startup challenging Silicon Valley
newerest.space·2d·
Discuss: r/NewerestSpace
⚖Algorithmic Game Theory
Measuring context switching and memory overheads for Linux threads (2018)
eli.thegreenplace.net·6d·
Discuss: Hacker News
🧠Memory Management
Towards Optimal Transaction Scheduling
muratbuffalo.blogspot.com·4d·
Discuss: www.blogger.com
⚡Concurrency
Do things that don't scale, and then don't scale
derwiki.medium.com·23h·
Discuss: Hacker News
👐Open Source Software
Inner speech in motor cortex and implications for speech neuroprostheses
sciencedirect.com·1d
🔧Compiler Design
This might be the most important AI paper of the year.
threadreaderapp.com·1d
🧭SMT Solvers
Video via TCP socket
reddit.com·2d·
Discuss: r/AskProgramming
🤝Protocol Design
AMD next-gen Zen 7 CPUs coming to AM5 socket says leaker: 32C/64T Zen 7 chips on AM5 in 2028
tweaktown.com·2d
⚡Concurrency
Building a RAG chat-based assistant on Amazon EKS Auto Mode and NVIDIA NIMs
aws.amazon.com·2d
🦀Rust
CycloneDX Support
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
Fastanime v3 (Terminal Anime Media Manager)
reddit.com·2d·
Discuss: r/linux
💾Retrocomputing
Dynamic Thermal Management of Composite Flame Trench Structures via Integrated Phase Change Material and Active Cooling
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
Complex behaving Hardware with CircuitPython - Part III
hackster.io·3d
🤖Sci-Fi
Rust Async Web Framework Performance Breakthrough(2434)
dev.to·4d·
Discuss: DEV
📦WebAssembly
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·2d·
Discuss: DEV
✅Formal Verification
Automated Prognostics & Health Management for Starship Service Module Thermal Control System via Bayesian Dynamic Networks
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming