Excited to introduce TerraDS, the first large-scale dataset of Terraform (by @hashicorp.com) configurations written in HCL, sourced exclusively from open-source repositories with permissive licenses to support reproducible research and tool development.
26.04.2025 15:08 โ ๐ 3 ๐ 2 ๐ฌ 2 ๐ 0
๐ฅ๐ค๐จโ๐ป๐๐
24.04.2025 19:14 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
SIGBOVIK 2025 proceedings are out!
Check out paper 17 ๐
sigbovik.org/2025/proceed...
23.04.2025 15:27 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
What if your color scheme was a program?
09.04.2025 21:06 โ ๐ 19 ๐ 2 ๐ฌ 2 ๐ 0
In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
21.01.2025 18:33 โ ๐ 0 ๐ 1 ๐ฌ 0 ๐ 0
In my talk I hope to convince you that disequalities deserve some love too.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
21.01.2025 18:33 โ ๐ 0 ๐ 1 ๐ฌ 1 ๐ 0
I'm presenting in #POPL our paper on dis/equality graphs on Thursday, 14h MST in Marco Polo.
If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper ๐งตโฌ๏ธ
21.01.2025 18:32 โ ๐ 1 ๐ 1 ๐ฌ 1 ๐ 1
Programming Languages Postdoc @ UIUC
Trans girl ๐ณ๏ธโโง๏ธ
still here~ despite it all
https://kirancodes.me
#CSS ex-Google Chrome DevRel, CSSWG, co-host The CSS Podcast, host @ GUI Challenges, co-host Bad@CSS Podcast.
Creator of VisBug, open-props.style, gradient.style, transition.style & more
UI, UX, CSS, HTML, JS
https://nerdy.dev
YouTuber, ex politician
She/Her
Co-host of Leechfest podcast
http://Patreon.com/miamulder
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
๐ @rntz@recurse.social
๐ฆ @arntzenius
Attempting to use bsky more now that people are showing up.
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
๐ต NP: "Yam Yam" by No Vacation
๐ฆ Software security researcher. PhD from CMU. CTFer (PPP). https://jaybosamiya.com/
Iโm usually on @amanda@social.spejset.org (Mastodon).
PhD student of programming languages working on the Polonius borrow checker for Rust. Terrible philosopher. Mid Marxist. Technically a librarian.
PhD student in Model Checking
PhD Candidate at UC Berkeley EECS // Programming Languages โข Human-Computer Interaction โข Visualization โข Cartography // Building alpha.cartokit.dev
Software Engineer at @gristnews.bsky.social // Maps โข Data โข Graphics โข Code
PhD student in functional programming.
doisinkidney.com
PhD student
๐ป SE, PL at CMU and U.Lisbon
โ๏ธ Currently in Lisbon
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
theoretical computer sorcery and theorem potions ยท she/they/e
wendigotyp.es
PL PhD student at Cornell
ngernest.github.io
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com
More at https://shadaj.me!
๐ป Pursuing the Future of Computing
๐ฌ PhD Student @ University of Michigan (Future of Programming Lab)
๐ช Building Hazel: Live Functional Programming & Malleable Systems
๐พ Dog Parent
๐ ๏ธ Ex-Software Engineer
๐ Computing Maximalist
Berkeley CS PhD student working on hydro.run. Former senior SWE on MSFT Cosmos. Databases ๐ and distributed systems ๐ฐ๏ธ with some theory ๐งฎ thrown in.
PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory
