Jess ✨ (@mona_rcl) 's Twitter Profile
Jess ✨

@mona_rcl

theoretical computer scientist & functional programmer | into interactive theorem proving, automated planning and haskell | she/her

ID: 1297864054359326720

calendar_today24-08-2020 11:52:19

55 Tweet

11 Followers

42 Following

Adam P. Goucher (@apgox) 's Twitter Profile Photo

In particular, I consider it a historical accident that differential calculus (Newton / Leibniz) was discovered before universal computation (Turing / Church / Schönfinkel). They're 'incomparable' (as nodes in the dependency DAG of knowledge) so another civilisation [3/n]

Journal of Functional Programming (@cup_jfp) 's Twitter Profile Photo

The Journal of Functional Programming will move to Open Access in 2022! Our published research will be freely accessible to all. cambridge.org/core/journals/…

Mairéad Lynn (@maireadlynn) 's Twitter Profile Photo

I'm so tired of emails, slacks, zooms, phone calls, etc. I just want to walk into someone's office unannounced, plop down, ask them a question, brainstorm on something unrelated, chit chat for a while, then walk out completely forgetting why I stopped by in the first place.

Hazel Brugger (@hazelbrugger) 's Twitter Profile Photo

Leute, die Prof. Karl Lauterbach hassen, schrauben auch ihre Rauchmelder ab, weil es ja schon ärgerlich genug ist, wenn das Haus brennt - da braucht man nicht noch so ein nerviges Gepiepse. #TeamLauterbach

Stephen Diehl (@smdiehl) 's Twitter Profile Photo

1990s Hackers: "I'm building a free operating system to run the internet". 2020s Hackers: "I'm building a casino to sell memes to gullible people for fake money by incinerating the planet".

linuzifer (@linuzifer) 's Twitter Profile Photo

Soso, der Digitale Impfpass „wird kryptografisch signiert und in insgesamt fünf Blockchains hinterlegt“ Kann mir bitte jemand erklären, warum man dafür *überhaupt* eine Blockchain braucht? Und wofür vier weitere?

linuzifer (@linuzifer) 's Twitter Profile Photo

Solange nicht alle, die geimpft werden wollen, auch geimpft werden können, sind Impfausweise ein Mittel der gesellschaftlichen Spaltung. Als solche sind sie kein Teil der Lösung, sondern ein Teil des Problems. ccc.de/de/updates/202…

Stephen Diehl (@smdiehl) 's Twitter Profile Photo

Let's talk about how cryptocurrencies are for all intents and purposes multilevel marketing schemes for tech dudes. 🧵 (1/)