Posts Hashtags News People

Sign in Create account

#curryhowardcorrespondence — Public Fediverse posts

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

Sal Rahman @[email protected] · 2025-04-28 · 05:24 UTC

"Proofs are Programs" https://www.youtube.com/watch?v=AGnTnbR1sSg
#Philosophy #ComputerScience #Mathematics #CurryHowardCorrespondence #Currying #Haskell #HaskellCurry #TypeTheory #Computation #Logic

#philosophy #computerscience #mathematics #curryhowardcorrespondence #currying #haskell

Trending hashtags

See all

#totp 743
#esc 631
#caturday 604
#breakfasttvshows 554
#catsofmastodon 412
#disheveledsongsorpoems 389
#hikingmoviesorplays 376
#snowbirdsgoinghomeamovie 293
#fensterfreitag 289
#kungfusat 272

Trending news

See all

Software Developers Say AI Is Rotting Their Brains 404 Media
Signal warns it would pull out of Canada if made to comply with lawful access bill The Globe and Mail
Nearly 50,000 Lake Tahoe residents have to find a new power source after their energy source looks to redirect lines to data centers Fortune
ArXiv to Ban Researchers for a Year if They Submit AI Slop 404 Media
This AI data center will be bigger than 2,000 Walmarts and dump '23 atom bombs worth of energy' into the environment every day — and locals are terrified Yahoo News

© home.social · Real-time discovery for the Fediverse. sitemap Public posts only — we honor #noindex and discoverable=false.