JD Vance is a repulsive fraud who thinks you’re stupid and it would be so nice to have a candidate capable of articulating that message, or any message, or anything really
Looking forward to seeing colleagues at @PLDI next week! I'll be giving the talk on Friday in the TOPLAS track on "Interactive Abstract Interpretation with Demanded Summarization" (part of @benno_stein 's PhD work and with @rakingleaves). https://t.co/PjgfJUTX9G
This is work from the tail end of my PhD that has been working through peer review for quite a while, so I'm thrilled to finally have it out there -- and grateful for TOPLAS' great review process, open access and opportunity to present at a SIGPLAN conference!
Excited to share that our paper Interactive Abstract Interpretation with Demanded Summarization (with @rakingleaves and @bechang) has been accepted at TOPLAS! https://t.co/qxNGQkVLWx
The paper is about incremental and demand-driven evaluation of compositional abstract interpreters, showing how you can get analysis results to developers at interactive speed -- while preserving exactly the precision & metatheoretic guarantees of the underlying batch analysis.
Ok, an interesting one for ya. @JulienVerlaguet has started @skiplabs to work on SKDB, a reactive DB built from the ground up (like, literally, they have their own sklang programming language). Really cool, deep tech.
https://t.co/g0VpFiduv7
The 4th edition of the Infer workshop (co-located with @PLDI in Orlando🌴) is this Sunday (18th). You can join online for free on Discord🙋♀️
https://t.co/PyLv40Z7N5
Check out the program at👇
https://t.co/nIDPkJZ8Bh
New York City is like Linux:
- Spend the first year re-learning how to perform basic tasks
- Spend the rest of your lifetime claiming how much better it is
- Bad drivers
@mgrnbrg I only ever work on my linux setup when I should be doing something more important... always assumed that's how everyone else does it too! tried out i3 for the first time last month while procrastinating thesis writing and loving it so far