What was the last paper within the realm of computing you read? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research publication with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implements these ideas or just give us the lowdown about the paper. Otherwise, just come, listen, learn, and discuss.
We'll be using papers-we-love's curated repository. Please contribute by adding PR's for papers, code, and/or links to other repositories.
PWL Berlin strictly adheres to the Code of Conduct set forth by all PWL charters.
Location: ThoughtWorks Berlin - Zimmerstraße 23, Berlin, Germany
Sign-up: Please RSVP for meetings via Meetup.com
• What we'll do
Knut will be presenting the paper "Experiments on the mechanization of game-learning
Part I. Characterization of the model and its parameters" authored by Donald Michie and published in an 1963 issue of The Computer Journal.
View the abstract and download the full contents here: https://academic.oup.com/comjnl/article/6/3/232/360077
• What to bring
• Important to know
Alex Denisov will be presenting "The Correctness-Security Gap in Compiler Optimization" by Vijay D’Silva, Mathias Payer, and Dawn Song.
Link to the paper: https://nebelwelt.net/publications/files/15LangSec.pdf
There will be food and drink at the meetup this time! Location, food and drink sponsored by METRO. Thanks METRO!…
For an introduction, Martin Kavalar will be discussing how dynamic mediums can improve scientific publishing in a talk titled "Papers We Will Love."
If you are interested in presenting a paper, please get in touch, because we'll have another meeting next month as well. Thanks!
Food sponsors also welcome. :)…
At this Papers We Love Berlin Meetup we will have Marijn Haverbeke (https://twitter.com/marijnjh) presenting the original Lisp paper "Recursive Functions of Symbolic Expressions and Their Computation by Machine" by John McCarthy.
Thanks to Soundcloud for hosting this event!
There are works that, rather than continuing in an existing research tradition, invent a whole new direction. John McCarthy's original paper on Lisp is definitely one such work. It obviously set the stage for the various Lisps and Lisp-inspired languages, but it also pioneered a number of concepts, ranging from garbage collection to the call stack, that are deeply ingrained in today's programming reality. This talk…
For the very first Papers We Love Berlin Meetup, we will have Erik Michaels-Ober from SoundCloud presenting the paper Soft Typing by Robert Cartwright and Mike Fagan.
This is particularly interesting for Rubyists, because Ruby 3.0 might ship with such a type system.
This paper presents a soft type systems that retains the expressiveness of dynamic typing, but offers the early error detection and improved optimization capabilities of static typing. The key idea underlying soft typing is that a type checker need not reject programs containing "ill-typed" phrases. Instead, the type checker can insert explicit run-time checks, transforming "ill-typed" programs into type-correct ones.