Dev
@sincerely.dev
I mostly post about birds, food, and fun.
I am helping Microsoft build the new storage stack for Azure.
If you’re in systems I recommend checking out discuss.systems! The cooler social network
Washed up, has been systems grad student
sincerely.dev
I am helping Microsoft build the new storage stack for Azure.
If you’re in systems I recommend checking out discuss.systems! The cooler social network
Washed up, has been systems grad student
sincerely.dev
Reposted by Dev
Reposted by Dev
New capybara just dropped
(Commissioned)
(Commissioned)
October 24, 2025 at 11:14 AM
New capybara just dropped
(Commissioned)
(Commissioned)
Reposted by Dev
Our POPL 2025 paper, Consistency of a Dependent Calculus of Indistinguishability, is officially out!
doi.org/10.1145/3704...
This is work by Yiyun Liu @ohqo.bsky.social, me, and Stephanie Weirich, proving consistency, normalization, and decidability of type checking for DCOIω. 1/3
doi.org/10.1145/3704...
This is work by Yiyun Liu @ohqo.bsky.social, me, and Stephanie Weirich, proving consistency, normalization, and decidability of type checking for DCOIω. 1/3
Consistency of a Dependent Calculus of Indistinguishability | Proceedings of the ACM on Programming Languages
The Dependent Calculus of Indistinguishability (DCOI) uses dependency tracking to
identify irrelevant arguments and uses indistinguishability during type conversion
to enable proof irrelevance, suppor...
doi.org
January 10, 2025 at 10:17 PM
Our POPL 2025 paper, Consistency of a Dependent Calculus of Indistinguishability, is officially out!
doi.org/10.1145/3704...
This is work by Yiyun Liu @ohqo.bsky.social, me, and Stephanie Weirich, proving consistency, normalization, and decidability of type checking for DCOIω. 1/3
doi.org/10.1145/3704...
This is work by Yiyun Liu @ohqo.bsky.social, me, and Stephanie Weirich, proving consistency, normalization, and decidability of type checking for DCOIω. 1/3
Reposted by Dev
Reposted by Dev
I was reminded that I haven’t shared this cutie in a while.
Dandelion Opossum - 2019
[ #art #illustration #botanimals ]
Dandelion Opossum - 2019
[ #art #illustration #botanimals ]
January 3, 2025 at 4:11 PM
I was reminded that I haven’t shared this cutie in a while.
Dandelion Opossum - 2019
[ #art #illustration #botanimals ]
Dandelion Opossum - 2019
[ #art #illustration #botanimals ]
@sidvee.bsky.social I’ve really enjoyed the Indian team selection discussion this series on 81 all out, would love it for the next one if you discussed it wrt Australia. They’ve gone in with 3 pacers and a spinner all series, and suffered, drawing games they could have won.
December 28, 2024 at 4:15 AM
@sidvee.bsky.social I’ve really enjoyed the Indian team selection discussion this series on 81 all out, would love it for the next one if you discussed it wrt Australia. They’ve gone in with 3 pacers and a spinner all series, and suffered, drawing games they could have won.
Reposted by Dev
IBM colourblind-safe palette pride flag
lospec.com/palette-list...
lospec.com/palette-list...
December 1, 2024 at 12:43 AM
IBM colourblind-safe palette pride flag
lospec.com/palette-list...
lospec.com/palette-list...
After waiting 7 months and finally emailing them to enquire the status, today I learned that UCSC simply forgot to issue my PhD.
This is not a serious school.
This is not a serious school.
November 19, 2024 at 9:28 PM
After waiting 7 months and finally emailing them to enquire the status, today I learned that UCSC simply forgot to issue my PhD.
This is not a serious school.
This is not a serious school.
I recommend against going to UCSC (or any other UC) for grad school until they fix their ways.
The incompetent admin is demanding repayment from students (funds which came from grants, not the UC) for “overpayment” because of strikes.
recurse.social/@redmp/11349...
The incompetent admin is demanding repayment from students (funds which came from grants, not the UC) for “overpayment” because of strikes.
recurse.social/@redmp/11349...
November 17, 2024 at 5:30 PM
I recommend against going to UCSC (or any other UC) for grad school until they fix their ways.
The incompetent admin is demanding repayment from students (funds which came from grants, not the UC) for “overpayment” because of strikes.
recurse.social/@redmp/11349...
The incompetent admin is demanding repayment from students (funds which came from grants, not the UC) for “overpayment” because of strikes.
recurse.social/@redmp/11349...
Heard there are more people here now. Howdy! I’m still primarily on discuss.systems, but will poke my head in here once in a while
discuss.systems
Discussion of computer systems research & practice -- OSes, distributed systems, networks, databases, architecture, etc -- for researchers, academics, & professionals.
discuss.systems
November 15, 2024 at 2:22 PM
Heard there are more people here now. Howdy! I’m still primarily on discuss.systems, but will poke my head in here once in a while
Reposted by Dev
I’m no longer ⚠️ invalid handle!
September 26, 2023 at 1:19 AM
I’m no longer ⚠️ invalid handle!
Reposted by Dev
first banana spider of the year
July 13, 2023 at 3:33 PM
first banana spider of the year
Reposted by Dev
grey morning
July 5, 2023 at 1:58 PM
grey morning
Reposted by Dev
met a guy while out hiking in Vermont
July 3, 2023 at 6:49 PM
met a guy while out hiking in Vermont
Reposted by Dev
these are my cats, Reilly and Jonesy. they are four years old, Maine coon mixes. we got them when they were four months old and a bonded pair.
July 2, 2023 at 3:47 AM
these are my cats, Reilly and Jonesy. they are four years old, Maine coon mixes. we got them when they were four months old and a bonded pair.
Reposted by Dev
he’s god’s sleepiest soldier
July 2, 2023 at 2:53 AM
he’s god’s sleepiest soldier
Reposted by Dev
taken aback by the evocative beauty of "have you ever had problems with your heart?" as a blood donation screening Q
July 1, 2023 at 9:18 PM
taken aback by the evocative beauty of "have you ever had problems with your heart?" as a blood donation screening Q
Pandora's box was a laptop lid
May 6, 2023 at 1:50 AM
Pandora's box was a laptop lid