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
A little landscape painting. 512x256. Using Aseprite, mouse and a lot of passion.
17.04.2025 09:08 β π 1812 π 351 π¬ 47 π 3
What if your color scheme was a program?
09.04.2025 21:06 β π 18 π 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: "Pillowhead" by Failure
π¦ Software security researcher. Making secure software the natural choice. 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/Systems 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
Principal Applied Scientist in Microsoft CoreAI. Working on AI for coding. Co-organizer of SF Systems Meetup. CS PhD from Berkeley Sky Lab where I worked on https://hydro.run/ .
