Thomas Dickerson @elfprince13@mumak.app
- Personal
- http://sfgp.cemetech.net/
co-Founder // Chief Science Officer at @geopipe (🖖🏻), PhD from Brown CS Dept (w/ @maurice), SMCVT alum (Math/Physics/CS), admin at Cemetech, AFOL & open-theist.
Decentralizing systems (human & digital). Opinions are my own.
📍 Vermont
Joined Nov 2022
Thomas Dickerson
boosted
@moultano Probably for the best if I just post as the spirit moves me, that served me pretty well over on the bird site.
Newton’s First Law of Cats: Cats in motion tend to say in motion, cats at rest tend to stay at rest!
Thomas Dickerson
boosted
Protip: If your #3dprinting goes bad and you end up with "spaghetti", it's not a failure, you just made a great cat wig!
Thomas Dickerson
boosted
The power went out at 9 last night during a big snowstorm. First power outage in my new place. Was happy to note I knew where my flashlights AND candles were, and could navigate the place in the dark. Woke up to the power off, but it came back on within minutes. By the time I was outside blearily with coffee, neighbors were shoveling each other's driveways out. I learned to use a roof rake! #vermont
@penberg “distributed” in this sense meaning “not a shared memory system”?
@AssertionError thanks! I'm still pretty pleased with how it came out
@AssertionError Very cool! Here's the link to the writeup of the stuff I did for master's work ("Parameterizing Algorithmic Skeletons for Correct and Efficient Performance-Portable Parallel Computations"), in case it's of interest: https://drive.google.com/file/d/0Byxgs15FUp2QRHJRVFVBLTZZc1U/view?usp=sharing&resourcekey=0-9gEBpYhSIuADsPecjSZO7w
@shriramk @AssertionError all the actually interesting PL stuff in the middle was trivial by comparison
@shriramk @AssertionError yeah I serialized to S-Expressions and used Racket macros for everything and the two biggest lifts were making the AST serialization comprehensive (using Clang’s existing facilities for doing so!!) and then writing my transformed Racket syntax objects back out as C++ code on the other side
@AssertionError @shriramk I did a clang plugin but there are an absurd number of weird corner cases even in the AST representation. Ignoring classes probably helps with a lot
@jmiers230 jfc that’s terrible
Thomas Dickerson
boosted
What happens when you twist your lens' focus ring while shooting long exposures of fireworks
Thomas Dickerson
boosted
I've read many requests to add Mastodon links to GitHub profiles for verification and discovery purposes.
My team is working on allowing you to add a number of social profile links, but given upcoming holiday vacations, it won't ship until the new year. We don't want to rush something out at the potential cost of disrupting what is generally a quiet time for our engineers.
Ordinarily, I wouldn't talk about in progress work on social media, but y'all seem like you can keep a secret.
Thomas Dickerson
boosted
Faial checks for absence of #dataraces in #CUDA kernels. New since our #CAV21 version is:
- a new frontend all written in OCaml (no more Python+Rust) we also have a new UI (sshot below)
- a new backend (invoke #Z3 as a library, as a process)
- support for partial inputs (eg, missing includes)
My intent to have a bit of a codebase written in Python was to attract students. Turns out interested students are excited to learn #OCaml.
@AssertionError how much of C++ does this support? I had a miserable time doing CUDA tooling for an academic project (@shriramk likely remembers 😅) because of having to deal with parsing all the bizarre C++ corner cases.
Thomas Dickerson
boosted
One of the journalists Twitter banned found out that you can still join Twitter Spaces from a banned account. So, a bunch of the banned journalists were hosting a Twitter Space discussing Elon's actions. Eventually, Elon himself joined the Space, then after getting grilled for a few minutes, unplugged the entire Twitter Spaces infrastructure because he couldn't figure out how to ban them ☠️
- Personal
- http://sfgp.cemetech.net/
co-Founder // Chief Science Officer at @geopipe (🖖🏻), PhD from Brown CS Dept (w/ @maurice), SMCVT alum (Math/Physics/CS), admin at Cemetech, AFOL & open-theist.
Decentralizing systems (human & digital). Opinions are my own.
📍 Vermont
Joined Nov 2022
