miniblog.

← Back to all posts
May 2, 2016 at 08:01
I'm going to the London Emacs meetup tomorrow! https://www.meetup.com/London-Emacs-Hacking/events/230686750/ Do say hello if you're attending.
Your Regular Church of Emacs Service, Tue, May 3, 2016, 6:30 PM | Meetup
Your Regular Church of Emacs Service, Tue, May 3, 2016, 6:30 PM | Meetup
SIGN UP HERE: https://skillsmatter.com/meetups/7890-your-regular-church-of-emacs-service (you cannot sign up on this Meetup page—Skills Matter need to know the number of at

Related Posts

Sep 2, 2022 at 05:29
I had the pleasure of attending the Making Smalltalk event at the @ComputerHistory today! Adele Goldberg and Dan Ingalls were there, plus some videos from Alan Kay. "One of the tests of a programming language: can you write a debugger in it?"
Photo
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 ...
Sep 5, 2017 at 22:14
I will be attending @strangeloop_stl this year! I'm really excited for the talks and the variety of PL perspectives the attendees bring.