#curryhoward — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #curryhoward, aggregated by home.social.
-
From 11:00 to 12:00 on Thursday, May 28, the PLUSLE reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.
https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/
#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
-
From 11:00 to 12:00 on Thursday, May 28, the PLUSLE reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.
https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/
#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
-
🎉🎩 Welcome to the 32-minute saga of "How to Pretend You're a Genius by Confusing #Rust and Everyone Else." Spoiler: it involves emulating HKTs, crashing #compilers, and invoking Curry-Howard theories just to sound smart. 🚀💥 Pro tip: when your argument starts resembling a mathematical fever dream, it’s time to reevaluate your life choices. 🤦♂️
https://www.harudagondi.space/blog/torturing-rustc-by-emulating-hkts/ #PretendGenius #CurryHoward #TechHumor #CodingLife #HackerNews #ngated -
Ok this was generated by googles gemini image generator and I quiet like it :)
-
Lecturas compartidas el 17 de marzo de 2024. https://jalonso.substack.com/lecturas-compartidas-el-17-de-marzo #ATP #CurryHoward #FunctionalProgramming #Haskell #ILP #ITP #LambdaCalculus #Lean4 #Logic #LogicProgramming #Math #Programming #Python
-
In this week's #blog I talk about a paper I know very well, Davies and Pfenning's 'A Modal Analysis of Staged Computation' https://updatedscholar.blogspot.com/2023/02/discussing-modal-analysis-of-staged.html #ModalLogic #CurryHoward