#haskell 搜尋結果
Advent of code is starting soon. Do you plan to particiate? If so, with what language/tooling? I'll probably try to do it in #haskell as in most years. This year is the first one with only 12 riddles. adventofcode.com
📘 Haskell – Curso Completo Domine programação funcional com elegância, clareza e poder. 🔗 Compre aqui: amazon.com.br/Haskell-Comple… #Haskell #ProgramaçãoFuncional #Dev
Higher-order functions and type classes. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
#AtCoder #ABC433 with #Haskell 5AC(A-E) in 93:45, rank 1213th負け!! A-D: 25 min. まずまず E: 68 min 掛けました。20分かけて「要素が相異なる」の条件を読まずに解きました。正しくはX_i,Y_iひっくるめて小さい値から処理する貪欲法ですが、imperativeすぎてすごい時間がかかっちゃった…
Hyperfunctions: Communicating continuations. ~ Donnacha Oisín Kidney, Nicolas Wu. doisinkidney.com/pdfs/hyperfunc… #Haskell #FunctionalProgramming
Introduction to functional programming. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
First-order data types and pattern-matching ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
Pragmatic Type-Level Design (PTLD E-Book) by Alexander Granin is on sale on Leanpub! Its suggested price is $39.00; get it for $18.75 with this coupon: leanpub.com/sh/weNSXsMK @graninas #SoftwareEngineering #Haskell #FunctionalProgramming #SoftwareArchitecture
Lambda calculus and typing. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming #LambdaCalculus #TypeTheory
Pragmatic Type-Level Design (PTLD E-Book) by Alexander Granin is on sale on Leanpub! Its suggested price is $39.00; get it for $18.75 with this coupon: leanpub.com/sh/448G1GLX @graninas #SoftwareEngineering #Haskell #FunctionalProgramming #SoftwareArchitecture
Ah this made ma laugh :) but @0xMert_ is not wrong! @Cardano is like a philosophy professor backed by a $14B grant, who keeps lecturing to an empty auditorium and producing peer-reviewed (mathematically perfect) papers, which are unfortunatelly written in a dialect (#haskell)…
cardano was taken down by a kid accidentally vibecoding to the point where charles called the fbi on him and it's still trading above 0 in fact, it's still in the top 10 incredible yeah imo we deserve at least another 5x drawdown
#Exercitium: Problema de las puertas. jaalonso.github.io/exercitium/pos… #Haskell #ProgramaciónFuncional #Matemáticas
Lambda calculus and typing. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming #LambdaCalculus #TypeTheory
#Exercitium: Llanuras de longitud dada. jaalonso.github.io/exercitium/pos… #Haskell #ProgramaciónFuncional
Little Current stories with news footage and Preakness/ Haskell race foo... youtu.be/E17vKmR7Fgo?si… via @YouTube #LittleCurrent @PreaknessStakes @BelmontStakes #TripleCrown #Haskell #HorseRacing
youtube.com
YouTube
Little Current stories with news footage and Preakness/ Haskell race...
Readings shared November 26, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #Math #TypeTheory
NEW BLOG: Exploring #Hasktorch, a #Haskell binding for deep learning, and how it uses FFI to integrate with #LibTorch. Curious how Haskell handles tensors, neural nets, and GPU training? Read it here: stackbuilders.com/insights/haskt… #DeepLearning #FunctionalProgramming
#Exercitium: Expresiones vectoriales. jaalonso.github.io/exercitium/pos… #Haskell #ProgramaciónFuncional #Matemáticas
Readings shared November 27, 2025. jaalonso.github.io/vestigium/post… #AI #FunctionalProgramming #Haskell #ITP #LeanProver #Math
Higher-order functions and type classes. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
First-order data types and pattern-matching ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
Introduction to functional programming. ~ Noam Zeilberger. noamz.org/teaching/CSE30… #Haskell #FunctionalProgramming
Readings shared November 25, 2025. jaalonso.github.io/vestigium/post… #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Programming #Rocq
Pragmatic Type-Level Design (PTLD E-Book) by Alexander Granin is on sale on Leanpub! Its suggested price is $39.00; get it for $18.75 with this coupon: leanpub.com/sh/sHwdkZI6 @graninas #SoftwareEngineering #Haskell #FunctionalProgramming #SoftwareArchitecture
#Exercitium: Expresiones aritmética normalizadas. jaalonso.github.io/exercitium/pos… #Haskell #ProgramaciónFuncional #Matemáticas
📘 Haskell – Curso Completo Domine programação funcional com elegância, clareza e poder. 🔗 Compre aqui: amazon.com.br/Haskell-Comple… #Haskell #ProgramaçãoFuncional #Dev
Advent of code is starting soon. Do you plan to particiate? If so, with what language/tooling? I'll probably try to do it in #haskell as in most years. This year is the first one with only 12 riddles. adventofcode.com
第319回Haskell-jpもくもく会 @ オンライン は 11月30日に行います。 #haskell haskell-jp.connpass.com/event/376941/
第319回Haskell-jpもくもく会 @ オンライン は November 30, 2025 at 01:00PMに行います。次回もお気軽にどうぞ! #hasmoku #haskell haskell-jp.connpass.com/event/376941/
Raphael Colman brought his #Haskell logo knitted jumper to @BigMathsJam, he even has a stitch diagram for making one, and wanted to write a program in Haskell for making said diagrams. #mathsjam
📘 Haskell – Curso Completo Domine programação funcional com elegância, clareza e poder. 🔗 Compre aqui: amazon.com.br/Haskell-Comple… #Haskell #ProgramaçãoFuncional #Dev
Something went wrong.
Something went wrong.
United States Trends
- 1. Mateer 6,440 posts
- 2. Michigan 150K posts
- 3. Tim Banks 1,689 posts
- 4. Pavia 4,218 posts
- 5. Vandy 9,039 posts
- 6. Ohio State 67.9K posts
- 7. Oklahoma 25.6K posts
- 8. Rutgers 3,469 posts
- 9. #SurvivorSeries 23.3K posts
- 10. Heupel 1,073 posts
- 11. Arbuckle 1,199 posts
- 12. Hawkins 13.5K posts
- 13. Venezuela 501K posts
- 14. Buckeyes 21.7K posts
- 15. #Sooners 1,841 posts
- 16. Bono 8,894 posts
- 17. Jaylen Brown 2,315 posts
- 18. Malik Benson N/A
- 19. Hunter Simmons N/A
- 20. Miami 69.6K posts