Impressively, you can even tell typed racket that your lists have certain lengths, and it can skip bounds checks! https://docs.racket-lang.org/ts-guide/optimization.html#(part._.Lists)
miniblog.
Blunt words from Servo's HTML parser.
Brilliant, practical talk on implementing a JS type checker: https://youtu.be/MuC8I1JBKv0 (including soundness tradeoffs and flow-based analysis)
Introducing racket-mode for Emacs: https://youtu.be/QWiteH8PARQ (has a really cute REPL option that ensures scratch variables are removed)
Racket has 2 object systems, both single dispatch and CLOS style multimethods! Single dispatch is the default, which seems to help cohesion.
Great talk introducing @racketlang and typed/racket by @samth, but I particularly enjoyed this reminder!
Making my first Rust 1.0 project run on modern Rust. So many libraries needed nightly then, so I can't just compile without changes
A brilliant example of Twitter's character count methodology being rather unbalanced! (So many sites *advantage* English speakers.)
Defining an existing method on an existing type in Julia can break code. It has a really cute name: 'type piracy'
A fun talk by Guy Steele on 'Computer Science Metanotation'—how syntax in papers has evolved but is rarely studied: https://youtu.be/dCuZkaaou0Q
I've realised that few of the bugs I fix are actually failures to meet a spec. They're mostly 'it would be nicer/more consistent if...'
Interesting post on the design and redundancy of systems built with serverless in mind:
A fascinating approach to completion: headlong picks a completion candidate as soon as you've narrowed to 1 option:
Today I learnt that Emacs has a built-in chart plotting library!
Interesting post on how difficult it is to A/B test on a site with a lot of community interaction:
Showing 121-135 of 885 posts