Creatively Misusing TLA+
February 7, 2023 Creatively Misusing TLA+ Five not-quite-normal uses I spent the past few weeks thinking about complexity and poking dead birds and stuff, but now that the March TLA+ workshop is available (use C0MPUT3RTHINGS for 15% off!), I'm back in teacher mode and making workshop improvements.1 TLA+ is intended for finding flaws in software designs. But what else can we do with it? Creative Mi
Funny Programming Languages • Buttondown
One of the weirdest and most wonderful things about people is that they can make a joke out of anything. For any human discipline there’s people making jokes about that discipline. In programming, that starts with memes like “how do I exit vim” (as typified in places like r/programmerhumor), or funny examples of awful code (such as from TheDailyWTF).1 Those are both highly accessible kinds of joke
Microfeatures I'd like to see in more languages • Buttondown
There are roughly three classes of language features: Features that the language is effectively designed around, such that you can’t add it after the fact. Laziness in Haskell, the borrow checker in Rust, etc. Features that heavily define how to use the language. Adding these are possible later, but would take a lot of design, engineering, and planning. I’d say pattern matching, algebraic data typ
I am disappointed by dynamic typing
November 29, 2022 I am disappointed by dynamic typing They have potential to be more than "no static types", but that hasn't happened. Here's weird thing about me: I'm pro-dynamic types. This is weird because I'm also pro-formal methods, in fact teach formal methods as a career, which seems completely antithetical. So on one hand I teach people how to do static analysis, on the other I use languag
Excel is Pretty Dang Cool
August 12, 2022 Excel is Pretty Dang Cool It's like discovering a treasure chest under my kitchen sink Surprise newsletter! I said there was none this week due to vacation, but that ended Monday and I'm forever cursed by a witch, so People might remember this quote from last month's newsletter: Interactive computation is a common enough activity for me that I'd put a lot of time into learning some
Six Programming Languages I'd Like to See
July 13, 2022 Six Programming Languages I'd Like to See A few weird ideas for programming languages I came up with that it'd be "really" "cool" if someone made (wink) I got 1,000 words into "what, exactly, is software complexity" before remembering that this is supposed to be less effort than the blog. So instead I'm going to list some ideas I had for programming languages. I think all of these ar
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Formalizing Stability and Resilience Properties
Maybe people do care about performance and reliability
Tag Systems
Computer Things
You can automate more than you think
10 Misconceptions about Formal Methods
Vim is Turing-Complete
Tagged unions are overrated
Papers I love: gg