#haskell نتائج البحث
Was an honor to present at this year's @icfp_conference Haskell Symposium representing @anduriltech talking about how we use #Haskell in embedded systems programming! Had great conversations and my takeaway is STM is probably the single best-yet-underused PL technologies ever
Krakow isn’t just about dragons 🐉—it’s where academia meets industry! 🤓 Researchers, check out the city fueling innovation with functional languages like #Haskell, #Elixir, and #Scala. Come for the medieval vibe, stay for the code at #LambdaDays2025! Register:…
🚀 just uploaded (link in reply): Combinatorial Interview Problems with Backtracking Solutions - From Imperative ProceduralProgramming to Declarative Functional Programming #scala #haskell #python
Try similar code in #haskell and the answer will be 3. Check what happens in #fsharp and enjoy. Thanks to @headinthebox for the lesson.
I successfully hooked up ghcid to LLM. #Haskell So, it no longer has to waste time with Nix devShell and cabal build. ghcid gives you instant feedback, which speeds up the LLM workflow. Nit: ghcid is not particularly reliable, so you may have to restart it from time to time.
📘 Haskell – Curso Completo Domine programação funcional com elegância, clareza e poder. 🔗 Compre aqui: amazon.com.br/Haskell-Comple… #Haskell #ProgramaçãoFuncional #Dev
Question. Does he code #Elixir or #Haskell. Bringing in @ryanrwinchester & @TravisMWhitaker for their expert take.
"When you finally understand monads and realize… it’s just vibes inside a box 📦🙂 #Haskell #Monad" @monad
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
#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
Try similar code in #haskell and the answer will be 3. Check what happens in #fsharp and enjoy. Thanks to @headinthebox for the lesson.
Wouldn't it be nice if Scala supported pattern matching in function definitions, just like Haskell or Elixir? #scala #haskell #elixir
I successfully hooked up ghcid to LLM. #Haskell So, it no longer has to waste time with Nix devShell and cabal build. ghcid gives you instant feedback, which speeds up the LLM workflow. Nit: ghcid is not particularly reliable, so you may have to restart it from time to time.
I am very excited about reading this book, what a treat!! #physics . #haskell . #functionalprogramming
wrote a quick blog post about expressing and proving the Baby Paradox in #Haskell. the concrete implementation had been a go-to LLM stumper for me until GPT 5, so I thought it was about time!
Was an honor to present at this year's @icfp_conference Haskell Symposium representing @anduriltech talking about how we use #Haskell in embedded systems programming! Had great conversations and my takeaway is STM is probably the single best-yet-underused PL technologies ever
Something went wrong.
Something went wrong.
United States Trends
- 1. Good Saturday 21.5K posts
- 2. #FELIX_MAMAAwards2025 17.5K posts
- 3. #JimmySeaFanconD1 420K posts
- 4. Texas 156K posts
- 5. #BINIFIED 191K posts
- 6. 3-8 Florida 2,339 posts
- 7. hanbin 25K posts
- 8. #MakeOffer 21.3K posts
- 9. #BuyNow 21.6K posts
- 10. Domain For Sale 21.6K posts
- 11. Sark 5,421 posts
- 12. Katie Miller 3,244 posts
- 13. Jeff Sims 1,737 posts
- 14. Aggies 9,553 posts
- 15. Reaves 21.5K posts
- 16. Georgia 49.2K posts
- 17. Arch 25.1K posts
- 18. Sylus 105K posts
- 19. Check Analyze 1,965 posts
- 20. Token Signal 6,984 posts