this post was submitted on 24 Feb 2025
9 points (100.0% liked)

The Firehose

49 readers
21 users here now

MY PERSONAL COMMUNITY.

I tend to overshare all of the things I am into, creating a wall of links that people can't keep up with.

Therefore, I decided to aggregate all of the links in one place for others to see.

I am the only person that can post here because this is my personal collection of links.

Rules (anyone that violates them will be promptly banned for life):

  1. These is my community to aggregate my favorite links. I am not a "bot". If you don't like it, please make a comment and I will happily ban you for life.

  2. Don't be a troll. This is completely up to my interpretation and I reserve the right to be a power tripping mod if I wish.

  3. If you're going to have a discussion, keep it civil. Don't gaslight people, gatekeep, move goalposts, etc.

  4. I am a leftist. Spamming this comm with viewpoints that I deem right wing or fascist will get you banned.

  5. No neoliberal genocide apologia and identity politics bullshit. I will enthusiastically ban you with prejudice.

founded 1 day ago
MODERATORS
[email protected]
9
God's Programming Language - CoRecursive Podcast (corecursive.com)
submitted 1 day ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

Does God Code in Haskell?

Professor and accomplished programming language researcher Philip Wadler believes that typed lambda calculus was discovered not invented – part of the underpinnings of the universe itself. As a result, functional programming languages are more fundamental and deeply justified than their alternatives.

We talk about this principle, which has guided his career. Phil takes us through the history of computer science from Turing to Alonzo Church. Eventually we get to what the movie Independence Day got wrong and what language a theoretical creator deity would program in.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here