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.) https://twitter.com/ra/status/913140862913253377
Defining an existing method on an existing type in Julia can break code. It has a really cute name: 'type piracy' https://docs.julialang.org/en/latest/manual/style-guide/#Avoid-type-piracy-1
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: https://blog.acolyer.org/2017/10/19/serverless-computing-economic-and-architectural-impact/amp/
A fascinating approach to completion: headlong picks a completion candidate as soon as you've narrowed to 1 option: https://github.com/abo-abo/headlong/blob/master/headlong.el
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: https://tech.okcupid.com/the-pitfalls-of-a-b-testing-in-social-networks/
I love languages that go the extra mile with their syntax errors. Here's Julia being helpful when you write 'else if' rather than 'elseif'.
The @racketlang docs are superbly cross-referenced. Even the code examples convert the function names into links!
Company dev blogs are very much underrated. Thread.
Julia's generated fns are like macros,but they have access to the type of fns! https://docs.julialang.org/en/latest/manual/metaprogramming/#Generated-functions-1 (Other PLs call this staged fns AIUI)
Apparently the 140 character limit on tweets is only enforced clientside! https://www.theverge.com/2017/9/27/16372666/twitter-280-characters-guide-workaround
Showing 121-140 of 885 posts