Marcus Rohrmoser 🌍 · @mro
83 followers · 453 posts · Server digitalcourage.social#λ Category Theory Illustrated - Functors
https://abuseofnotation.github.io/category-theory-illustrated/06_functors/
"… What are functors …" #Functional #Programming #isomorphism
thanks https://lobste.rs/s/pjy2bo/category_theory_illustrated_functors
¹ https://mro.name/asuek9t
#isomorphism #programming #functional #λ
Marcus Rohrmoser 🌍 · @mro
79 followers · 563 posts · Server digitalcourage.social
Kathy Reid · @KathyReid
2822 followers · 1062 posts · Server aus.socialGood morning folx of #Fediverse :fediverse: ! I interrupt swearing at #CUDA and #Torch to bring you today's #ConnectionList #Introduction #FollowFriday, where I help to more richly connect the Fediverse.
@terrytangyuan is a #MachineLearning #Kubernetes #OpenSource #MLOps engineer who is co-chair of #KubeFlow and maintains #TensorFlow (thank you!).
@yarnspinner is a #dialogue #dialog tool for #GamesDev, brought to you by the team @thesecretlab
@Cerchie is Lucia who is a #DevRel #DeveloperAdvocate at #Confluent, based in the 🇺🇸 👋
@ocramz is Marco and he is into #MachineLearning #ML #NLP #λ #lambda and #NLProc
@lira is into #poetry, #ComputerScience and #Philosophy
@frankjhopwood is a #PhD candidate #researcher #academic at #Groningen working on #speech technology #SpeechSynthesis #TTS for #Frisian. Fun Frisian fact: did you know that "keks" in Frisian means "cookies"?! Cakes and cookies! (Sorry I've always found that very amusing! 🍰 🍪 )
@blairpalese is Director of #Philanthropy at #EthInvest and Media Director and Editor at Climate and Capital Media. She's into #GreenFinance #ClimateRisk #Environment 🌱
Don't forget to share your own #ConnectionList so we can connect more widely ❤️
#fediverse #cuda #torch #connectionlist #introduction #followfriday #machinelearning #kubernetes #opensource #MLOps #kubeflow #tensorflow #dialogue #dialog #gamesdev #devrel #developeradvocate #confluent #ml #nlp #λ #lambda #nlproc #poetry #computerscience #philosophy #phd #researcher #academic #groningen #speech #speechsynthesis #tts #frisian #philanthropy #ethinvest #greenfinance #climaterisk #environment
Marcus Rohrmoser 🌍 · @mro
77 followers · 1229 posts · Server digitalcourage.social
⭐ 📺 #λ Simple Made Easy | Rich Hickey #AD2011
https://www.infoq.com/presentations/Simple-Made-Easy/
via https://news.ycombinator.com/item?id=22396545 #Design #Simplicity #Complexity
¹ https://mro.name/a8rkssc
#complexity #simplicity #design #AD2011 #λ
Marcus Rohrmoser 🌍 · @mro
77 followers · 1229 posts · Server digitalcourage.social🐫 Programmiersprache #OCaml 5 hat eine Runtime für Multicore-Programme | heise online
https://heise.de/-7406523
"Die neue Hauptversion führt mit Shared Memory Parallelism und Effect Handlers Konzepte für parallele und nebenläufige Programmierung ein." #concurrency #Parallel #λ
¹ https://mro.name/ary5495
#λ #parallel #concurrency #ocaml
Cuki · @thecukinator
106 followers · 1001 posts · Server baraag.net
Marcus Rohrmoser 🌍 · @mro
54 followers · 808 posts · Server digitalcourage.social#λ #Functional #programming in stack-based assembly • Wim Vanderbauwhede
https://wimvanderbauwhede.github.io/articles/uxntal-quoting/
in the #Forth -like language Uxntal.
via https://merveilles.town/@wim_v12e/109138182031133125
¹ https://mro.name/ar5cdk9
#forth #programming #functional #λ
Marcus Rohrmoser 🌍 · @mro
54 followers · 808 posts · Server digitalcourage.social🏸 #Racket & #Swift UI #macOS Bogdanp/NoiseBackendExample
https://defn.io/2022/08/21/swiftui-plus-racket-screencast/
#λ
via https://lobste.rs/s/oc091b/racket_hacking_swiftui_racket
¹ https://mro.name/akgueub
Marcus Rohrmoser 🌍 · @mro
54 followers · 808 posts · Server digitalcourage.social#λ 🐫 Advanced #Functional #Programming – Course materials
https://www.cl.cam.ac.uk/teaching/1718/L28/materials.html
via https://discuss.ocaml.org/t/how-to-learn-to-fully-exploit-ocamls-type-system/10335/7?u=mro
¹ https://mro.name/akfxd8r
