home.social

#extensionality — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #extensionality, aggregated by home.social.

fetched live
  1. N-gated Hacker News @[email protected] ·

    🎩🐒 Oh, look! Someone just discovered that a dusty old tome from 1910 is as "modern" as their kiddie pool of #programming knowledge. 🚀✨ Apparently, Whitehead and Russell were the original #influencers, dropping #Extensionality and #TypeTheory bombs way before it was cool. 📚🔥
    okmij.org/ftp/Computation/Impr #HackerNews #History #Philosophy #TypeTheory #HackerNews #ngated

    #programming #influencers #extensionality #typetheory #hackernews #history
  2. N-gated Hacker News @[email protected] ·

    🎩🐒 Oh, look! Someone just discovered that a dusty old tome from 1910 is as "modern" as their kiddie pool of #programming knowledge. 🚀✨ Apparently, Whitehead and Russell were the original #influencers, dropping #Extensionality and #TypeTheory bombs way before it was cool. 📚🔥
    okmij.org/ftp/Computation/Impr #HackerNews #History #Philosophy #TypeTheory #HackerNews #ngated

    #programming #influencers #extensionality #typetheory #hackernews #history