-
Ostrom takes us to school
The models described in Chapter 1 are not wrong. When conditions in the world approximate the conditions assumed in the models, observed behaviours and outcomes can be expected to approximate predicted behaviours and outcomes ( Read more... ) -
Quantitative
I have a bunch of favourite "classic" computer books -- SICP, Hacker's Delight, Little Lisper, Exploring Randomness -- but one I really like doesn't often come up in people's lists: Computer Architecture, a Quantitative Approach. Hennessy and Patterson.
( mutterings about speed ) -
stellar-core update
About six months ago we (stellar.org) announced the preliminary availability of an upgraded codebase -- called stellar-core -- for the Stellar network. We've subsequently spent our time testing, documenting and tuning the code. Two weeks ago, the Stellar community quietly put the code into production on a "live" network, and now we'd like to invite ( Read more... ) -
things rust shipped without
Well-known things I'm very proud that rust shipped 1.0 without:
- null pointers
- array overruns
- data races
- wild pointers
- uninitialized, yet addressable memory
- unions that allow access to the wrong field
Less-well-known things I'm very proud that rust shipped 1.0 without:
- a shared root namespace
- variables with runtime "before main" static ( Read more... )
- null pointers
-
Rust release lightning talk
I don't often give talks about Rust, but I was in Tokyo recently during the Rust 1.0 release and figured I'd drop in on the Mozilla Tokyo office release party. I figured they'd try to make me talk about something, so I prepared a lightning talk. As is typical of my Rust-project communication style, I presented in point form. This is the contents of ( Read more... ) -
the misfortune of superabundance
And, lastly, I want to speak of the greatest danger of all that menaces music in Germany; there is too much music in Germany. This is not a paradox. There is no worse misfortune for art than a super-abundance of it. The music is drowning the musicians. Festival succeeds festival: the day after the Strasburg festival there was to be a Bach ( Read more... ) -
more cores, more fun
For what it's worth, Aaron Turon's recent post Fearless Concurrency explains, better than I've ever managed to, the interplay of affine types, static lifetimes, static control of aliasing and mutability in Rust, and the resulting safe-concurrency superpowers users are granted, for putting up with all the strict checking ( Read more... ) -
stellar, consensus, recent programming
Tl;dr today my employer flipped the "public" bit on the code we've been writing for the past several months, as well as underlying paper describing the algorithm. So I'm exhausted and nervous and accomplished-feeling and looking forward to both processing fixes and suggestions from the internet, and also taking a vacation soon-ish. The rest of this ( Read more... ) -
rust
I'm extremely pleased to see the rust project reach its first major turning-point release, 1.0-alpha. This is not the "ok you can all come play now" signal, but it's a signal that the breaks are applied, the language featureset is done, and the libraries will finish being nailed down sometime in the next couple (short) six-week cycles. It has been ( Read more... ) -
to hell with war
Today was Remembrance Day in Canada again. The CBC, the Governments of Canada and most of the corporate media in Canada spent a bunch of energy covering it. They did what they always do, more and more often with each passing year: glorify, valorize, promote, and honor war-making. And I am, again, absolutely disgusted by this behavior. It's ( Read more... )