James Wilcox :verified:
- 246 Followers
- 201 Following
- 240 Posts
assistant teaching professor, university of washington, PL and systems research https://jamesrwilcox.com/
this whole channel is gold but the visualizations in this one in particular are really nice. now I kind of understand loaders!
Crafting executables from raw bytes
Dan Ports@regehr @wilcoxjay this seems like a good time to mention that I am making a cassoulet right now
@wilcoxjay QUERY PLAN
`--COMPOUND QUERY
|--LEFT-MOST SUBQUERY
| `--MATERIALIZE hash(onion)
`--UNION USING TEMP B-TREE
`--SCAN butter
`--COMPOUND QUERY
|--LEFT-MOST SUBQUERY
| `--MATERIALIZE hash(onion)
`--UNION USING TEMP B-TREE
`--SCAN butter
a gem from the sqlite docs:
> Note that a declared type of "FLOATING POINT" would give INTEGER affinity, not REAL affinity, due to the "INT" at the end of "POINT".
Sam@wilcoxjay I feel like you would love the diagrams in https://johnwickerson.wordpress.com/2024/12/04/the-hoare-cube/
when I grow up, I want to install the email filters:
* "[Action Required]" -> skip inbox and delete
* "[Urgent]" -> skip inbox and delete
semi automating grading intro student linked list code by typing it into dafny like a madman
did I *need* to spend a day implementing dancing links? no. was it fun? yes.