Alex Kladov's Blog Links
11 hours ago
- #programming
- #systems
- #optimization
- Two meanings of systems programming
- Systems programmers can have nice things
- Goals and priorities for C++
- Boundaries and Plugin diagram
- Data, ADT, Object
- John Carmack on inlined code
- A few billion lines of code later
- Simple testing can prevent most critical failures
- The Error Model
- Talks that changed the way I think about programming
- Why rewriting hotspots in a faster language doesn’t work
- Programming people
- Python spends almost all of its time in the C runtime
- Rider architecture
- System programming values
- Midlayer mistake
- Technology from the past come to save the future from itself
- Not Rocket Science Rule
- Why C++ Sails When the Vasa Sank
- Composition of Unsafe
- In Rust, Ordinary Vectors are Values
- Implementing Swift Generics
- Generics Dilemma
- A Catalogue of Optimizing Transformations
- Static Program Analysis
- Accurate mental model for Rust’s reference types
- Don’t write bugs
- Don’t use _ patterns
- What Is The Minimal Set Of Optimizations Needed For Zero-Cost Abstraction?
- Expect Tests
- What Every C Programmer Should Know About UB
- Build a Mountain
- Precise Profiling via rdpmc
- JSONMutexDB
- Swift Is Undecidable
- Don Syme of F# on typeclasses
- Outlined Containers
- Your ABI is Probably Wrong
- Limits to Growth
- Subprocess Gotchas
- The Unix process API is unreliable and unsafe
- Distributed Systems via remote syscalls
- Latency Numbers
- Moderation
- Interfaces Belong With Users
- Structured Concurrency
- Typographic Size on The Web
- Snapshot Testing
- Post IntelliJ
- SSA Book
- SSA How To
- Interdiff Review
- Java for Everything
- Don’t clear the database
- Compiler Shouldn’t Be Able to Tell the Difference:
- Futures are a Trap
- A Hole in Ada Type Safety
- Unit of Testing
- Test Sizes
- Threads Cannot be Implemented as a Library