miniblog.

← Back to all posts
Jul 14, 2019 at 16:49
@kensanata@octodon.social Wow, I didn't know you'd explored this too! Thanks for sharing. What made you feel pressured? Do you find you treat content like a blog (timestamped, few changes after publication) or a wiki (interlinks, rewriting, dividing up big pages)?

Related Posts

Jan 26, 2020 at 16:29
Back from #POPL! The Saturday tracks were well worth attending. Ronald's discussion of gradual type safety vs soundness was my highlight: https://popl20.sigplan.org/details/wgt-2020-papers/5/Gradual-Typing-as-if-Types-Mattered When talking about soundness, it's important to say exactly what issues you're handling, and the talk explored this.
Gradual Typing as if Types Mattered (WGT 2020 - : First ACM SIGPLAN Workshop on Gradual Typing) - POPL 2020
The Workshop on Gradual Typing (WGT) aims at disseminating the latest results on the integration of compile­-time and run­-time checking of program invariants, such as the integration of static and dynamic type checking. The workshop serves as an incubator for ideas, open problems, and manuscripts: it is a place where the community can meet, discuss, and give each other constructive feedback. The workshop will encourage participation from researchers in both academia and industry, drawing people from the many active projects on both sides of the aisle. Format: A one-day workshop with 1­-2 ...
Oct 23, 2019 at 19:30
Imagine we JIT compiled syscall handlers in the kernel, based on runtime facts about known constants: https://blog.regehr.org/archives/1676 An interesting idea that's little explored since Alexia Massalin's phD. Arguably unikernels have some similarities, but compiler tech is more mature now.
May 31, 2018 at 23:07
An excellent talk exploring different Lisp editors and the designs they explored: https://youtu.be/K0Tsa3smr1w (There's an impressive moment around 6:00 when the speaker says "there aren't any surviving copies of this tool [Lispedit], so I built this demo after reading the manual"!)