6751
MobX 6
Homepage of Michel Weststrate
New
The latest blog posts to take off on Hacker News. 14,543 posts.
6752
The Failed Promise of Web Components
Web Components had so much potential to empower HTML to do more, and make web development more accessible to non-programmers and easier for programmers. Remember how exciting it was every time we got new shiny HTML elements that actually do stuff ? Remember how exciting it was to be able to do sliders, color pickers…
6753
It Is Never a Compiler Bug Until It Is
Last week I was trying to add some testing code to libsecp256k1 and I was pulling out my hair trying to get it to work. No amount of printf was working to illuminate what I was doing wrong. Finally, out of desperation, I thought I would do a quick check to see if there are any compiler bugs related to memcmp , and lo…
6754
6755
Summary of all the MIT Introduction to Algorithms lectures (2009)
As you all may know, I watched and posted my lecture notes of the whole MIT Introduction to Algorithms course. In this post I want to summarize all the topics that were covered in the lectures and point out some of the most interesting things in them. Actually, before I wrote this article, I had started writing an...
6756
Rust 2021: GUI
This is a response to the Rust call for blogs 2021 and also a followup to last year’s entry. It will be entirely focused on GUI.
6757
CRDTs are the future
I saw Martin Kleppmann’s talk a few weeks ago about his approach to realtime editing with CRDTs, and I felt a deep sense of despair. Maybe all the work I’ve been doing for the past decade won’t be part of the future after all, because Martin’s
6758
Zig's New Relationship with LLVM
While not yet at version 1.0, Zig is about to reach a new level of maturity and stability.
6759
6760
In Defense of XML
When I started my career, XML was ubiquitous. The meta-information in a Java JAR file - the manifest - follows a proprietary format. But Java EE designers built it from the ground up on XML: meta-information of all artifacts is in XML format e.g. web.xml, ejb-jar.xml, application.xml, etc. Java EE is one example I…
6761
Stupid solutions: Live server push without JS
So in my post Is this evil? I covered a way of tracking users with CSS. While thinking about those weird ways of using the web I also started thinking about pushing live data to clients without JS. Or at least maintaining a connection. So WebSockets requires JS. WebRTC requires JS. Even HLS (video streaming), which…
6762
6763
Things I Was Wrong About: Types
I have changed my mind about some topics big and small so far in my life. Today: the value of types for programming.
6764
All you need is λ, part one: booleans
Words by Rob Rix.
6765
Towards Principled Reactive UI
Update 7 May 2022: A followup to this post containing significant conceptual advance is Xilem: an architecture for UI in Rust. I consider the Crochet experiment to be mostly negative, as there were a number of ergonomic and functional “paper cuts,” though several of the research goals were met, at least to some extent.
6766
Finding Goroutine Bugs with TLA+
My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study…
6767
6768
Compiling a Lisp: Reader
Adding a reader to our Lisp compiler
6769
How expensive is integer-overflow trapping in C++?
Integers in programming languages have a valid range but arithmetic operations can result in values that exceed such ranges. For example, adding two large integers can result in an integer that cannot be represented in the integer type. We often refer to such error conditions as overflows. In a programming languages…
6770
How the CPython compiler works
In the first post of the series we've looked at the CPython VM. We've learned that it works by executing a series of instructions called bytecode....
6771
6772
Time spent programming is often time well spent
I concur so strongly not only because he writes about RSS, which I'm on record as supporting and using. I enjoy rolling my own simple software in almost any domain. Simple has a lot of advantages. Under my control has a lot of advantages. But the biggest advantage echoes what Dr. Drang says: Programming is often more…
6773
The Era of Visual Studio Code
Roben Kleene’s blog
6774
6775
No script is too simple
I write very short scripts, sometimes for single-line commands. Here's why you should do it too.
6776
My least favorite Rust type
Idx is typically an integral type, but you can make a Range of anything, which will become important later. Here’s a range of Unit:
6777
The Little Things: Speeding up C++ compilation
This post is based on an internal training I prepared for my employer, Locksley, and showcases some source-level techniques for improving C++ compilation times.
6778
Why Not Rust?
I've recently read an article criticizing Rust, and, while it made a bunch of good points, I didn't enjoy it --- it was an easy to argue with piece. In general, I feel that I can't recommend an article criticizing Rust. This is a shame --- confronting drawbacks is important, and debunking low effort/miss informed…
6779
Revisiting Apple Notes (6): The Protobuf
TL;DR : This post explains portions of two protobufs used by Apple, one for the Note format itself and another for embedded objects. More importantly, it explains how you can figure out the structure of protobufs.
6780