Yay!!! Our work on mapping every dynamic read/write to a specific kernel object in Linux has been accepted to SYSTOR'21! This system is a beast!
**** HOTOS PAPERS ARE UP ****
READ them! REGISTER! BLASTOFF JUNE 1
Types of programming languages papers. (Comic format borrowed from @firstname.lastname@example.org)
Oh hooray, I am now officially a cool mars copter helper person maybe! GitHub updated versions used to give credit apparently, so now I'm included! And have shiny badge to show for it!
(via curl, and only recently got badge as the version originally used was from 2008, and now says 7.72 was used, woohoo if wow as thats 2020!)
when I see the words "category theory" I say "mathematics" and this makes everything quite a bit simpler
Do you like fun things? Type "Ingenuity NASA" in a @Google@twitter.com search for a #MarsHelicopter surprise. 🚁
1) unsure of license (for either digital drawing or original, but esp digital drawing) so contact author if interested
2) since preview either doesn't work or grabs the other picture which is nice but not as logo-friendly, here's the digital drawing (see (1) above please! Original linked in previous post!)
Do I have an http server that builds you a nixos netboot image on the fly from a closure?
Now the fun stuff begins. 🚁
I want to stay in touch
Who dunked it better?
🐿 Quad Squirrel
Happy #IlliniFridays 🔶🔷 have a great weekend.
Equality Saturation for Tensor Graph Superoptimization
To reach the ~youth~ we're going to have to make infosec sea shanties, aren't we? Guess so!
Behold the tale of kid who reuses their passwords & ends up pwn'd, then learns how to stay safe. We're on a mission to encourage unique passwords stored in a password manager with MFA on.
Where there's a Will there's a way.
PhD (Computer Science) @ UIUC
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!