211
Fearless concurrency in your microcontroller
A blog about Rust and embedded stuff
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 230 posts.
212
Formal Methods in Practice: Using TLA+ at ESpark
Using TLA+ at eSpark Learning
213
Java Is Unsound: The Industry Perspective
Discussing a recent academic finding on Java and Scala, from industry's perspective.
214
The Myers diff algorithm: part 1
If you enjoy this article, I have published a book explaining the internals of Git through implementation: Building Git .
215
Not Explicit
Oftentimes when I am conversing about the design of Rust with other users - as on RFCs or the internals forum - I witness a peculiar remark about “explicitness.” It usually goes something like this: I do not like Feature Design X because it is too implicit. Magic is okay in Other Language Y, but Rust is supposed to be…
216
Don't use Git rebase
You love rebasing, right? Rewriting history might be appealing, but there are good reasons not to.
217
Smaller Code, Better Code
I was enjoying some pizza the other day with some buddies that know a bit about my research and understand where I am coming from with regards to my own computing aesthetics. They understand that I have always pushed for the smallest code that I can get, and to simplify
218
Why hasn't Haskell taken over the world? And the curious case of Go
Programming is all about managing complexity. Without good tools to manage it, the complexity of programs becomes mentally intractable for our limited brains and we’d lose control and understanding of our programs (imagine writing a big software system entirely in assembly language).
219
Principles of TLA+
TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.
220
Go 2016 Survey Results
What we learned from the December 2017 Go User Survey.
221
222
223
Dolphin Progress Report: January 2017
Sometimes, it's easy to forget how much work there is left to do on a refined emulator. While the rush of getting a new game to boot or discovering a crazy feature hidden within an obscure gem never gets old, those moments do tend to get further and further apart as accuracy increases. As if to defy fate itself…
224
225
How to Do Code Reviews Like a Human
Lately, I’ve been reading articles about best practices for code reviews. I notice that these articles focus on finding bugs to the exclusion of almost every…
226
Epoll is broken – part 2/2
In this post we'll discuss the second argument on why the epoll() is broken. The problem is best described in an LWN comment by Foom :
227
Allocation Efficiency in High-Performance Go Services
Explore technical topics, solutions, and resources for building with Twilio – and beyond.
228
Gap Buffers Are Not Optimized for Multiple Cursors
Gap buffers are a common data structure for representing a text buffer in a text editor. Emacs famously uses gap buffers — long-standing proof that gap buffers are a perfectly sufficient way to represent a text buffer.
229
230
Implementing VisiCalc (2003)
I'm writing this in preparation for the Computer History Museum's The Origins and Impact of VisiCalc panel on April 8th 2003. This is basically a draft and I hope to do some more editing as time permits and you should expect many typos until then. I'm also going to continue to edit and change this as I remember…