📱 Bytecode Design

Instruction Sets, Stack Machines, Register Allocation, Intermediate Representations

Verifying and testing timeliness constraints of Haskell programs
well-typed.com·3d·
Discuss: Hacker News
⚡Interpreter Optimization
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.ph·1d
🔢Bit Manipulation
Flag this post
Axelang - A Systems Programming Language with Concurrency as a First-Class feature
axelang.org·1d·
Discuss: DEV
🔧Error Recovery
Flag this post
A RedMonk Conversation: The future of GPU programming and AI – languages, frameworks, stacks (with...
redmonk.com·2d
🌪️V8 TurboFan
Flag this post
NVIDIA Sortformer v2 (Speaker Diarization) ported to Rust/ONNX
reddit.com·9h·
Discuss: r/rust
🚀Tokenizer Performance
Flag this post
Adaptive Cell-Based Manufacturing via Reinforcement Learning-Driven Process Parameter Optimization
dev.to·4h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Why C Took 52 Years to Get a Real Bool
dev.to·1d·
Discuss: DEV
🏷️Memory Tagging
Flag this post
Strix Halo, Debian 13@6.16.12&6.17.8, Qwen3Coder-Q8 CTX<=131k, llama.cpp@Vulkan&ROCm, Power & Efficiency
i.redd.it·18h·
Discuss: r/LocalLLaMA, r/linux
💪ARM64 Backend
Flag this post
I Built a Dungeon Crawler Game in Ruby (And It Actually Works)
dev.to·1d·
Discuss: DEV
🎪Playground Compilation
Flag this post
Stop Memory Leaks! The Practical Guide to WeakMap and WeakSet
dev.to·2h·
Discuss: DEV
🔗Weak References
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
Is this the best way to write this code?
reddit.com·1d·
Discuss: r/C_Programming
💻Terminal Control
Flag this post
Claude Code Will Be As Good As You Are
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Flag this post
Motherboard "AI overclocking" is just snake oil
xda-developers.com·1d
⚡Instruction Fusion
Flag this post
Web Developer Travis McCracken on Debugging Distributed Systems Like a Human
dev.to·1d·
Discuss: DEV
🔧API Design
Flag this post
Ai Code Generators Open Source in 2025?
dev.to·2h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Trading in the Age of Developers
dev.to·9h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
The Impatient Programmer’s Guide to Bevy and Rust: Chapter 3 - Let The Data Flow
reddit.com·2d·
Discuss: r/rust_gamedev
⚙️Async State Machines
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
Flag this post