What Is an Instruction?
Did you ever think about how your CPU executes the code that you wrote? The compiler takes your code and turns it into an executable binary. This bi…
Latest News
⚑ Report a ProblemTech news from the best sources
All topics
AI
Gear
News
Tech
agents
ai
api
architecture
automation
beginners
career
database
devchallenge
devops
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
testing
tutorial
typescript
webdev
GPU Offload in Rust: Portable, Safe, and Fast
High-performance GPU programming has traditionally forced a compromise between execution efficiency and memory safety. While Rust guarantees compile…
2026 EuroLLVM
Slides here: https://bwatsonllvm.github.io/library/talks/?meeting=2026-04 Disclosure: I gave one of the talks there. Comments
Building a Compiler from First Principles
The moment I wrote my first program, I knew I wanted to build a programming language. But how are languages made? How did these carefully arranged m…
A question about a factorial operator
I wrote an assembler that supports floating point values. One of the operators I implemented was factorial because a lot of Taylor series seem to us…
How Compilers Work — From text you wrote to instructions a CPU runs.
From text you wrote to instructions a CPU runs. A compiler is a translator with several passes. It reads your source, checks it makes sense, and low…
Why Rocq is better than Lean for program verification
A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs. Comments
I compile C to a 468-byte ROM that runs identically on x86 and ARM
I run a mesh of agents on old phones. They check invariants — is a watchdog's lease longer than twice its producer's cadence? Is the battery in its…