Matt Teichman

Who is the most ripped mathematician of all time? Pix or it didn't happen.

and CSS was just DVD encryption?

remember those innocent times when GPT was just a partition table?

Agda programmers be like

@ChShersh 😆

@ElucidationsPod And they don’t even use Kafka, smh

I had been using Ubuntu for 10 years. Last time I applied to Canonical for a job to develop Ubuntu itself in Rust. Before the interview, they asked me to write a 20-page essay about my life, aspirations, philosophy and whatnot. Anyway, this is my desktop now.

@JustDeezGuy are you saying you wouldn't invite Turing back for a second date?

I completely unironically believe orders of magnitude is less a matter of opinion than a clear plurality of people think. We all lack perfect information, but that’s a different matter. ESP, astrology… are falsifiable, and falsified.

@neogoose_btw @ChShersh when's he gonna be the new you you guys could swap

@ChShersh No I am going to become a new Dmitrii Kovanikov

They say software engineering is dead. At the same time I have never had so many direct invites to talk about joining so many credible companies and amazing products.

@scheminglunatic same here

I actually really like how OCaml doesn't have numerical hierarchy overloading. I just generally favor explicitness, perhaps.

My new book, The Honesty Crisis: Preserving Our Most Treasured Virtue in an Increasingly Dishonest World, will be published May 19 and is now available for preordering! "Christian Miller's The Honesty Crisis diagnoses this problem across a range of social phenomena, drawing on his years of research, and makes the case that the stakes are higher than we realize. Proposing concrete solutions, Miller's urgent and timely book will interest anyone concerned about the moral character of our world, and its future." Link in the comment below.

UATX freshman Lily Zuckerman is an Emergent Ventures winner—congratulations, Lily! @lilyzuck @MargRev @tylercowen

When I was in college, I scored fine on my medical college admissions test, but not as well as I thought I thought I might. After a summer of studying, I was a bit crestfallen. And the idea of taking it again felt exhausting. I told someone a few years ahead of me in college (who had some better on his MCAT)!and he suggested I rethink my whole life: “Maybe medicine isn’t really for you.” This was an impressive, well-intentioned senior who seemed to have his act together and know what he was talking about. Maybe he was right. Maybe I didn’t belong. A few years later, I applied anyway—electing not to retake the test—and had several great opportunities. Turns out, my MCAT score was fine after all. And I’ve since enjoyed a career at the interaction of medicine, policy, and business. I sometimes think back to that inflection point and am reminded that advice is only as good as the people from whom you solicit it. So many of us—particularly early in our lives—get caught up in what other people think that we don’t even pause to consider the source. And very often the source has no idea what they are talking about! No matter how confidently they spew “wisdom.”

@Ngnghm aha: "LISP was not based on the lambda calculus, despite using the word “LAMBDA”...At the time he invented LISP, McCarthy was aware of (Church 1941) but had not studied it. The theoretical model behind LISP was Kleene’s theory of first order recursive functions"

@ElucidationsPod Make sure to read Turner's comments on LISP, then, in his paper I linked.

"What programming language invented functional programming?" My response: quora.com/What-programmi…

@stylewarning Interesting. The first thing I thought of when you said that was Rocq/Gallina.

Part of why Coalton exists is that I wanted a strict ML with type classes. Simple as that. Take a beautiful part of Haskell to supplant an (imho) ugly part of Standard ML/OCaml.

Wasn't aware that Thorsten Altenkirch (logician and computer scientist) and Deniz Sarikaya (philosopher of the formal sciences, such as AI, logic, mathematics) have a bi-weekly podcast together! I've chosen to recommend the episode featuring the great Steve Awodey, on homotopy type theory, logic and philosophy. I think @ludwigABAP would love this one! 🔗👇👇👇

@stylewarning @SMT_Solvers Depending on your exact definition of PLT, this is a cool recent-ish development: github.com/shopify/yjit

@SMT_Solvers Are they still doing PLT with it?

I feel like I don't hear much about Ruby anymore.

@RMLLowe @tylercowen I've always been team metaphysics, but I think Tyler's "I don't need it" attitude is totally reasonable and something I can work with, compared to other lukewarm-on-metaphysics positions I've encountered.

@ElucidationsPod @tylercowen ha glad you enjoyed it Matt!

I had a lot of fun listening to @tylercowen and @RMLLowe debate metaphysics on Working Definition. endsdontjustifythemeans.com/p/working-defi…