Compilers, perf, web platforms. Creator of the k1 programming language and ffc.h (fast float parsing in C)
Richmond, VA
Joined July 2009
- Tweets922
- Following231
- Followers614
- Likes2.1K
Theres a peril in reading only the diffs that an agent produces.
It's (nearly) a given that the change is going to be locally valid with itself. Your job is to gauge its coherence with the rest of the code that you are quickly losing touch with.
Best to open those files up, read the surrounding and called code, and let it soak for a bit.
Inspired after reading maevyn.codes/decoherence
"locally valid but mutually incompatible or redundant" is so spot on.
maevyn.codes/decoherence
Brady Haran: Terence, you use a lot of great analogies. Do you think of them on the spot, or do so many interviews these days you have them prepped?
Terence Tao: Well, you see, in mathematics some people are foxes and some are hedgehogs...
I am dying 😂
youtu.be/bAnwMdfcMVw?t=572
First minute of this video but replace 'proof' with 'code' and that's where we are right now.
Proofs were scarce, now they're abundant.
Working code was scarce, now it's abundant.
And our job is to sculpt it, wade through it, learn to judge it, often discard it (after saying either thank you or good riddance), maybe learn from it, or maybe decide to learn nothing from it.
youtu.be/bAnwMdfcMVw?is=cx_i…
A few weeks ago I posted about my programming language k1 typechecking 1 million lines per second.
Tonight the same program clocks in at 1.7 million lines per second
I'll never have to wait for typechecking again.
Koleman Nix retweeted
making software is 100% art
ART, n. “The disposition or modification of things by human skill, to answer the purpose intended. In this sense art stands opposed to nature.” Webster's 1828 (the best dictionary by the way)
Because ’the programmer, like the poet, works only slightly removed from pure thought-stuff’ (Brooks, 1975) there is an incredible amount of discretion to apply when searching the space of possible designs. It is in this phase that our ideas and desires encounter the constraints of our medium; this is why so many interesting and high-leverage decisions do not occur until programming begins.
hard limits? statically bounded memory usage? compile-time integers as parameters to types?
In a simd-accelerated map that performs within a few % of hashbrown?
Yes please
datastar.js is literally just inside the binary in my little prototype k1 web framework here; truly single-file web platform running on libuv, sqlite, and datastar.
As close to the platform as you can get!
k1: thin corelib, then the OS, nothing in-between
datastar: the web itself is the framework
sqlite: directly manipulating files on disk; no separate server
Soon also k1, fastest feedback with equivalent strength of type system in existence!
