Ian Sweet

Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.

[PLDI @PLDI]

Check out our ✨ fantastic ✨ list of accepted papers (https://t.co/L0fFAindu9)! You still have time to book your tickets to Seoul and watch the PLDI talks live!

[Yuka Ikarashi @c20]

We are hosting the MIT Programming Languages Review on April 25th in person here at MIT! The PLR is a student-run workshop that aims to highlight the best papers from the past year that we believe will have a significant impact on shaping the future direction of PL research.

[Ian Sweet @completelysound]

@mitchellh @metafrost @sharno3 @spiralladder_ Anyway, appreciate and admire your work and I hope that your experience improves!

It totally sucks waiting for something to compile, especially when you want to iterate quickly and rely on the compiler to help you.

[Ian Sweet @completelysound]

@mitchellh @metafrost @sharno3 @spiralladder_ By analogy, C compiles can be very slow with poorly crafted Makefiles that include stuff over and over. That’s a joint blame — the developer could have written a better Makefile, and/or the C compiler could be smarter during preprocessing.

[Ian Sweet @completelysound]

@VictorTaelin I see, DeepSeq is just the decider. I think my original two questions still stand, though.

[Ian Sweet @completelysound]

@VictorTaelin Finally, why can’t you parallelize in the same way to deal with the issue of context size? Just chunk the codebase in such a way that chunk size fits into context. No?

[NeverSink @NeverSinkDev]

My tierlist for the PoE2 ascendancies.

First pic: MINIMUM tier expected for an ascendancy (pessimistic evaluation, given that we don't know a lot)

2nd pic: likelyhood for a tier to be better than tiered.
However: that's a risk/chance.

Do you agree? What's your S tiers?

[Yaron (Ron) Minsky @yminsky]

A fun page on some of the kinds of performance engineering work we do at Jane Street.

https://t.co/N4Hu4ULryn

[Ian Sweet @completelysound]

@josecalderon For real, it is integral to so many engineering disciplines!

[Ian Sweet @completelysound]

@notypes - Abstract Interpretation
- Module Systems
- Contextual Equivalence && (Stuttering) Refinement

[Ian Sweet @completelysound]

@djg98115 +1 for Matt Might’s blog posts on the topic. For folks who are familiar with SSA they could read:
* https://t.co/EPya8g3ocD
* https://t.co/y6BUHqIE4J

Then, follow-up with all the literature on ANF, CPS, e.g. Andrew Kennedy’s work: https://t.co/gpAR0HJ21v

[Ian Sweet @completelysound]

@ChShersh Source? I’d be surprised if entropy was an issue. Password generation happens infrequently enough that even very slow entropy generation ought to keep up… no?

[Ian Sweet @completelysound]

@rg9119 Ah yes, the classic one-two punch of survivorship bias and stockholm syndrome.

[Ian Sweet @completelysound]

@yminsky I won’t be at ICFP but I’m getting serious shirt FOMO. This is fantastic.

[Ian Sweet @completelysound]

@jeanqasaur AGI doomers: …but is it mindful?

[Ian Sweet @completelysound]

@andrewkhirsch Have some 10k foot view highlights?

One thing that comes to mind is that macros make implementing static EPP easy. Anything else? Any nifty uses of continuations?