#Exercitium: 2015 y los números pitagóricos. https://jaalonso.github.io/exercitium/posts/2015/01/08-2015_y_los_numeros_pitagoricos/ #Haskell #ProgramaciónFuncional #Matemáticas

Memoization via Representables (2022) via @abnv https://lobste.rs/s/u38wjo #haskell
https://iagoleal.com/posts/representable-memoize/

#Exercitium: Simplificación de expresiones proposicionales. https://jaalonso.github.io/exercitium/posts/2015/01/02-simplificacion_de_expresiones_proposicionales/ #Haskell #ProgramaciónFuncional #Matemáticas

🌘 歡迎來到 Carnap！
➤ 以 Haskell 打造的現代化邏輯教學利器：Carnap 框架深度解析
✤ https://carnap.io/
Carnap 是一個專為形式邏輯教學量身打造的開源軟體框架，核心採用 Haskell 程式語言開發。該平臺目前已廣泛應用於全球數十所大專院校，不僅為邏輯學課程提供強大的技術支援，更讓學生能透過雲端平臺輕鬆存取教材並進行數位化學習。身為 Open Tower 計畫的一環，Carnap 致力於降低邏輯學的教學門檻，並歡迎各界教育工作者與開發者共同參與。
+ 看到是用 Haskell 寫的就覺得這邏輯正確性一定很高，這對於形式邏輯的推導非常有說服力。
+ 這種開源且免費的工具對資源有限的系所來說簡直是救星，希望能有更多中文教材整合進去。
#教育科技 #Haskell #邏輯學 #開源軟體

🧐 Ah yes, Carnap.io, the digital playground where #Haskell #nerds gather to pretend that formal #logic is fun, instead of the academic equivalent of watching paint dry. 🎨🤓 But don't worry, if you're curious about this open tower of boredom, there's a thrilling "about" page waiting to underwhelm you. 📚💤
https://carnap.io/ #Carnapio #DigitalPlayground #AcademicHumor #OpenSource #HackerNews #ngated