/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 reasonablypolymorphic.com
Towards Tactic Metaprogramming in Haskell :: Reasonably Polymorphic
| | hookrace.net
A Taste of Haskell ยท HookRace Blog
7.0 parsecs away

Travel
| |
| | gilmi.me
m.me - An alternative frontend for Haskell?
6.8 parsecs away

Travel
| | m.me - An alternative frontend for Haskell?
| | aymannadeem.github.io
Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem
5.5 parsecs away

Travel
| | A primer on the cruel, tacit laws of type-level programming in Haskell
| | math.andrej.com
Mathematics and Computation | Am I a constructive mathematician?
32.3 parsecs away

Travel
| [AI summary] The discussion revolves around the philosophical and methodological pluralism in mathematics, emphasizing that mathematics is a human-made construct with historical developments rather than an absolute, universal truth. Key points include the idea that different mathematical frameworks (e.g., classical vs. intuitionistic logic, paraconsistent logic) represent distinct 'worlds' of mathematics, each with its own standards and validity. The conversation highlights the importance of acknowledging these pluralistic perspectives without assuming a single, unifying foundation. It also touches on the role of context, the evolution of mathematical concepts, and the implications of relativism for the future of mathematics. The discussion underscores that ...