|
Curtis Dunham
@
curtis_dunham
Austin, TX
|
|
Computer Scientist, Pianist
|
|
|
247
Tweetovi
|
198
Pratim
|
57
Osobe koje vas prate
|
| Tweetovi |
| Curtis Dunham proslijedio/la je tweet | ||
|
Claire 🏳️🌈🏳️⚧️🧙🏻♀️
@oe1cxw
|
2. velj |
|
I made a meme about the use of formal methods in the industry. pic.twitter.com/Py1cMwSkm3
|
||
|
||
| Curtis Dunham proslijedio/la je tweet | ||
|
Nadia Polikarpova
@polikarn
|
16. pro |
|
Why don't we have research bands? I want to be in a research band. We would drop singles (POPL/PLDI papers), B-sides (appendices with meta-theory), and albums (long series of follow-up work, only for devoted fans)
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
14. pro |
|
a "round" comes to mind
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
13. pro |
|
controversial plane reading huh...
SMTP me the goods
|
||
|
|
||
| Curtis Dunham proslijedio/la je tweet | ||
|
All Purpose Cultural Chat Girl Emily
@emilyst
|
11. pro |
|
programs don't ask, "what time is it?" they ask, "how many seconds has it been since 1970?", and i think that's beautiful.
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
25. stu |
|
the device is exporting ISA code back up into userspace? the software translator mention makes me think I've misunderstood the use case.
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
25. stu |
|
You are like little baby, watch this
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
15. stu |
|
I arrived there after finding more and more bad takes in plan9 (it has _some_ good ideas but...)
|
||
|
|
||
| Curtis Dunham proslijedio/la je tweet | ||
|
Instructions
@x86instructions
|
12. stu |
|
Due to the recent bug we are removing all jump instructions in the next microcode update.
|
||
|
|
||
| Curtis Dunham proslijedio/la je tweet | ||
|
Caitlin Casey
@astrocaits
|
1. stu |
|
To all the grad students of the world working on a paper that has taken much longer to complete than you initially thought:
You are still a great scientist.
Your paper will still be awesome.
Don't let your brain convince you otherwise.
#phdchat #AcademicChatter
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
27. lis |
|
By 'faithful' are you happy to give up the benefits of out of order execution, or do you just want the hardware to provide a more convincing illusion that it's not doing it?
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
11. lis |
|
Agreed. RISC-V _is_ the average and boring ISA, especially at the RV64GC feature level. I personally consider it retro.
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
27. kol |
|
I gotcha. I might use the term 'provisioning' here.
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
27. kol |
|
The OS tends to bottleneck any data plane it gets involved in, hence my statement.
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
27. kol |
|
Ah, I see that you intended "the hardware" as I/O rather than CPUs, my mistake. In either case, placing the OS within the flow of multiplexing a resource is data plane rather than control plane almost by definition, is it not?
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
27. kol |
|
OS multiplexing is not best multiplexing.
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
26. kol |
|
enter zen from there
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
14. kol |
|
Classically, anyway
arxiv.org/pdf/1904.09193…
|
||
|
|
||
|
|
Curtis Dunham
@curtis_dunham
|
28. srp |
|
Conjugation of irregular verbs
|
||
|
|
||
| Curtis Dunham proslijedio/la je tweet | ||
|
Scott Fleischman
@scottfleischman
|
2. srp |
|
I am consistently impressed with the quality of the code in Martin Escardo's TypeTopology repository. Both the comments and clarity of code are worthy of imitation. cs.bham.ac.uk/~mhe/agda-new/…
|
||
|
|
||