🦀 Redox OS

Rust Operating System, Microkernel, Memory Safety, Unix-like

HPE Reveals Compute And Networking for GX5000 Supercomputers
nextplatform.com·2d·
Discuss: Hacker News, r/hardware
⚡RDMA
Flag this post
IBM Patented Euler's 200 year old Math Technique
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🌀Naiad
Flag this post
Testable Dotfiles Management With Chezmoi
shunk031.me·2d·
Discuss: Lobsters, Hacker News
📁Dotfiles
Flag this post
Rust Is Coming To Debian's APT Package Manager
linux.slashdot.org·6d
🐧Rust for Linux
Flag this post
Loosely, yet Tightly Coupled
hacklewayne.com·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
How I wrote the fastest Blender exporter and so could you!
lotusspring.substack.com·19h·
Discuss: Substack
🌐WebGL
Flag this post
X Did This Years Ago
wlls.dev·1d·
Discuss: Hacker News
🏰Tower
Flag this post
Spring Modulith vs Multi-Module projects - advantages and disadvantages
dev.to·2d·
Discuss: DEV
📦Package Managers
Flag this post
Looking for feedback - I built Socratic, an open source agent knowledge base builder where YOU stay in control
reddit.com·7h·
Discuss: r/ClaudeAI
🕸️Knowledge Graphs
Flag this post
A Universe of Triangles.
dev.to·4h·
Discuss: DEV
🎨Computer Graphics
Flag this post
Advanced Fault Injection Analysis via Bayesian Deep Learning for Side-Channel Resilience
dev.to·1d·
Discuss: DEV
💬Prompt Engineering
Flag this post
Another Round of TEA Protocol Spam Floods npm, But It’s Not a Worm
socket.dev·1d·
Discuss: Hacker News
📦Trunk
Flag this post
📊NumPy Practice !
dev.to·3h·
Discuss: DEV
🔢NumPy
Flag this post
Linux Security Auditing: 5 Hands-On Labs for Rsync Anonymous Sync, SMB Guest Access, and SSH Key Enumeration
dev.to·3d·
Discuss: DEV
🔍eBPF
Flag this post
Ts-event-core: TypeScript functional programming Event Sourcing implementation
github.com·3d·
Discuss: Hacker News
📡Event-Driven Architecture
Flag this post
This Is Likely the Computing Technology that Supports the Most Data Sources
dev.to·2d·
Discuss: DEV
🦆DuckDB
Flag this post
Your New Command Line Co-Pilot: Mastering the Clipboard with Rust
dev.to·4d·
Discuss: DEV
🖥️Ratatui
Flag this post
ByteAether.Ulid 1.3.2: .NET 10 Support, C# 14's Field, and Engineering Zero-Overhead IDs
dev.to·1d·
Discuss: DEV
📦Binary Formats
Flag this post
Zero-Downtime Deployments: Blue-Green vs Canary vs Rolling Updates
dev.to·3d·
Discuss: DEV
🔧DevOps
Flag this post
Create Your First MCP Tool: The readFile Tool Explained
dev.to·4d·
Discuss: DEV
🦕Deno
Flag this post