Curtis Dunham

Computer Scientist, Pianist

[Curtis Dunham @curtis_dunham]

@ttforall I might have a CPU microarchitecture joke, but that's just speculation.

[Curtis Dunham @curtis_dunham]

@def_chris_suter @TaliaRinger As I understood it, Cubical gave a way to justify the truth of univalence instead of asserting it as an axiom. Makes it more well behaved in the theory (won't block reduction). I'm sure there's a lot more to it, though.

[Curtis Dunham @curtis_dunham]

@yyyypoi @shipilev That this joke is also very much not a joke really elevates its status as a joke.

[Curtis Dunham @curtis_dunham]

@RVBaish @TaliaRinger https://t.co/AWWUrojZb4

[Curtis Dunham @curtis_dunham]

@jjcarett2 Dominion
https://t.co/sx7T9kAM8o

[Curtis Dunham @curtis_dunham]

@arrdem Reduce your instruction set... Computing.

[Curtis Dunham @curtis_dunham]

@arrdem Inferno Dis (Limbo runtime) is effectively this iirc.

[Curtis Dunham @curtis_dunham]

@arrdem Guess that draft wasn't clear enough 🙃

[Curtis Dunham @curtis_dunham]

@arrdem Memory renaming is effectively a register lowering, works nicely on stacks, dynamically. Static lowering reintroduces static alias analysis aka compilation as you know it.

[poorly drawn lines @PDLComics]

your entire life

[Curtis Dunham @curtis_dunham]

"... in truth we should be settling for nothing less than instantaneous response."
- Michael Abrash

[Andreas Kling @awesomekling]

There's no good reason a desktop operating system can't be interactive within 10 seconds after gaining control of the CPU.

[Curtis Dunham @curtis_dunham]

@dijkstracula Terry Black's BBQ

[Curtis Dunham @curtis_dunham]

@avsm It's unclear to me what value you are getting from that version history. Is it retained after upstreaming?

[Curtis Dunham @curtis_dunham]

@arrdem The true way is practically free namespace import and asynchronous transparent paging in.

[Curtis Dunham @curtis_dunham]

@sclv @codydroux @mietek @weskerfoot @watislaw Just to maintain the brand on this thread, we can speak of the answer before normalization already knowing physics apparently wins. Mostly just trolling here to figure out what the point really is.

[Curtis Dunham @curtis_dunham]

@arrdem @superfunc yeah, ILP really is overrated huh

[Curtis Dunham @curtis_dunham]

Approbation for core scheduling. This isn't a noisy neighbor problem, it's a psychotic cellmate problem. Safe SMT requires supervisory adaptation, and SMT is worth the trouble. https://t.co/nZKv2Smjne

[Curtis Dunham @curtis_dunham]

@davidtgoldblatt the more aggressively speculating, the less free... in particular the queuing of stores, higher residency driving structure, energy costs and so on...