2022 - To Read

https://t.co/9ScBsQdLAU— Omar Rizwan (@rsnous) September 29, 2021

Are there bad notations? Yes. Are there bad explanations of notations? Yes.But that doesn't mean notation is useless! You would be hard pressed to find a mathematician or PL theorist that thinks life would be easier if everything were written in English / natural language.— Will Crichton (@wcrichton) September 29, 2021

The opposite of Gell-Mann Amnesia: "I can’t trust this" is constantly ringing in your ears as you read anything. (Very much including this blog!)

if there’s anything journaling has done for me, it has improved the continuity of my thought. I’m still mulling over the same ideas from last week and can remember what I thought and where I was when I was thinking it, but the understanding has continued to grow— Keh 🍃 (@kehwho) October 3, 2021

Announcing a new, ✨ magic ✨ way to work with notebooks and build data apps

Program Analysis, Software Testing, and Applications (PASTA) Research Group at CMU.

Resources for learning Category Theory for an enthusiast - category-theory-resources/algebraic-structures.org at master · prathyvsh/category-theory-resources

We are a community of activists, artists, entrepreneurs, and scholars committed to using mechanism design to inspire radical social change.

Time to think critically about Sticky Notes. What are the core features? What makes a good sticky note? 🧵 pic.twitter.com/e4x9pl7xkv— Steve Ruiz (@steveruizok) October 8, 2021

I love statically-typed functional programming (STFP)! OCaml! Elm! Haskell! F#! You name it!But… why haven't there been studies about how we actually *write code* in these languages?Here are my efforts to change that! (an ad for my OOPSLA '21 paper with @sarahchasins 😄) 🧵— Justin Lubin (@jplubin) October 15, 2021

want to scream this from the hilltops https://t.co/DgyhAJ5VKV— andrew🦆blinn (@disconcision) October 11, 2021

I misunderstood the nature of research for most of my life, and this prevented me from doing any. An attempt at a more empowering model of what research actually entails.

Boy, this is a phenomenal piece. The central point really resonates with my own experience: when I catch myself trying to "do research", I'm usually a) unhappy and b) doing bad work. The best work does seem to happen when I'm desperate to understand something, as Kanjun suggests. https://t.co/PIYeS1EMgT— Andy Matuschak (@andy_matuschak) October 17, 2021

Following a remark of Lawvere, we explicitly exhibit a particularly elementary bijection between the set T of finite binary trees and the set T^7 of seven-tuples of such trees. "Particularly...

My favorite micro theory slide of all time pic.twitter.com/V1r8HSqSUK— Rithvik Rao (@rithvikra0) October 20, 2021

PL papers are hard to read, and LaTeX / PDF doesn't make it easier. So I decided to make the LaTeX of the future. You can check out in my HATRA'21 paper: "A New Medium for Communicating Research on Programming Languages" https://t.co/q0ilbQKwIS pic.twitter.com/p0yA3nSeOp— Will Crichton (@wcrichton) September 28, 2021

What is something you read/watched/heard that fundamentally changed how you view and approach your craft?For me, it's probably a tie between Hamming's You and Your Research and @frank_chimero's The Shape of Design when I first read it.— parker (we're hiring @ Pallet) (@parkerhendo) October 21, 2021

Here's how the proposed code-representation of annotated lambda diagrams relates to some other existing code representations. – Including Haskell style textual code, algebraic syntax trees (ASTs), and more: pic.twitter.com/zQ3TXQZ2ER— Lukas Süss (@mechadense) October 21, 2021

Who wore it best?Papert, 1980: https://t.co/c7Xu4yGvjZAbelson, Sussman, & Sussman; 1984: https://t.co/McTFdgLiZ8Haase, 2000: https://t.co/BUbrnk1RQfWolfram, 2021: https://t.co/U0EAjCqUpd pic.twitter.com/uQZhnSEkGy— Alec Resnick (@aresnick) October 22, 2021

Walking, wandering and exploration as a way to re-connect with public spaces, yourself and make time to do nothing. Used when creating: https://wanderprompts.com/

Toffler, in 1980, "The Third Wave": pic.twitter.com/z86m4jSihV— Michael Nielsen (@michael_nielsen) October 24, 2021

lmk if there's interest in t-shirts pic.twitter.com/xs66E2j13v— Ryan 🌿✨ (@Flomerboy) October 26, 2021

An excerpt from My Mother Was a Computer: Digital Subjects and Literary Texts by N. Katherine Hayles. Also available on web site: online catalogs, secure online ordering, excerpts from new books. Sign up for email notification of new releases in your field.

Because my Spring 2022 grad course still doesn't appear in the TNS course guide for some reason, I figured I'd share it here: Redesigning the Academy, Tuesdays 6 to 7:50pm ET. pic.twitter.com/YiYmdtfE7o— Shannon Mattern (@shannonmattern) October 25, 2021

The Universality of Postel's Law

Depression – a mood disorder that affects 322 million people worldwide – is characterized by profound sadness, anxiety, and physical complaints.