Gamedev Mastodon

LeanpubPragmatic Type-Level Design: Practical introduction into type-level programming: design principles, design patterns, methodologies, approaches <a href="https://leanpub.com/pragmatic-type-level-design" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://leanpub.com/pragmatic-type-level-design</a> by Alexander Granin is the featured book on the Leanpub homepage! <a href="https://leanpub.com" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://leanpub.com</a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SoftwareEngineering</a> <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mastodon.social/tags/SoftwareArchitecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SoftwareArchitecture</a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#books</a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ebooks</a>An approachable, well-written, practice-oriented, academism-free guide into programming with types.Find it on Leanpub!

Haskell WeeklyScrap your iteration combinators<a href="https://h2.jaguarpaw.co.uk/posts/scrap-your-iteration-combinators/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://h2.jaguarpaw.co.uk/posts/scrap-your-iteration-combinators/</a>Discussions: <a href="https://discu.eu/q/https://h2.jaguarpaw.co.uk/posts/scrap-your-iteration-combinators/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://h2.jaguarpaw.co.uk/posts/scrap-your-iteration-combinators/</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

Tariq<a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> questionAn exercise wants me to write a function(s) such that it is interactive in ghci eg> inc, status <- myfunction > > inc > inc > status 2so I'm thinking about what inc and status are* state must be held in myfunction - there's nowhere else for it to go * inc updates the state * status reads it * so my function acts like a State Monad, or is an IO Monad a better fit?* inc and status are related to myfunction by means of instance declaration ? Not sure.

José A. AlonsoReadings shared May 5, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/05/05-readings_shared_05-05-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/05/05-readings_shared_05-05-25</a> <a href="https://mathstodon.xyz/tags/ChatGPT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ChatGPT</a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CommonLisp</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LLLms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLLms</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>

Haskell WeeklyPrompt chaining reimagined with type inference<a href="https://www.haskellforall.com/2025/05/prompt-chaining-reimagined-with-type_2.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.haskellforall.com/2025/05/prompt-chaining-reimagined-with-type_2.html</a>Discussions: <a href="https://discu.eu/q/https://www.haskellforall.com/2025/05/prompt-chaining-reimagined-with-type_2.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://www.haskellforall.com/2025/05/prompt-chaining-reimagined-with-type_2.html</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

:rss: Hacker NewsHow Indian Colleges Casually Violate Human Rights <a href="https://isomorphism.xyz/blog/2025/indian-colleges/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://isomorphism.xyz/blog/2025/indian-colleges/</a> <a href="https://rss-mstdn.studiofreesia.com/tags/ycombinator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ycombinator</a> <a href="https://rss-mstdn.studiofreesia.com/tags/academic_website" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#academic_website</a> <a href="https://rss-mstdn.studiofreesia.com/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://rss-mstdn.studiofreesia.com/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://rss-mstdn.studiofreesia.com/tags/theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#theory</a> <a href="https://rss-mstdn.studiofreesia.com/tags/computer_science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computer_science</a>

Haskell WeeklyBeginnings of a Haskell Game Engine<a href="https://vitez.me/haskell-game-engine-beginnings" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://vitez.me/haskell-game-engine-beginnings</a>Discussions: <a href="https://discu.eu/q/https://vitez.me/haskell-game-engine-beginnings" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://vitez.me/haskell-game-engine-beginnings</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

Tariqcurrently watching What is a Monad? - by Computerphile-- update : it's really good, simple, clear <a href="https://www.youtube.com/watch?v=t1e8gqXLbsU" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=t1e8gqXLbsU</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a>

Tariq<a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> help neededwhere does state0 come from?---instance Monad (State s) where return x = State (\s -> (x,s)) op >>= f = State h where h state0 = let (val,state1) = runState op state0 op2 = f val in runState op2 state1

LeanpubNew Book Launch! 🚀 Unwrapping Monads & Friends by Kyle Simpson <a href="https://leanpub.com/blog/new-book-launch-unwrapping-monads-friends-by-kyle-simpson" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://leanpub.com/blog/new-book-launch-unwrapping-monads-friends-by-kyle-simpson</a><a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#books</a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ebooks</a> <a href="https://mastodon.social/tags/booktok" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#booktok</a> <a href="https://mastodon.social/tags/newreleases" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#newreleases</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a>

Haskell WeeklyVienna Haskell Meetup on the 22nd of May 2025<a href="https://well-typed.com/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://well-typed.com/</a>Discussions: <a href="https://discu.eu/q/https://well-typed.com/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://well-typed.com/</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

Tariqme learning <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a>

Haskell WeeklyHaskell recap for week 18/2025<a href="https://discu.eu/weekly/haskell/2025/18/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/weekly/haskell/2025/18/</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>Get RSS feeds and support this bot with the premium plan: <a href="https://discu.eu/premium" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/premium</a>

Haskell Weeklyihaskell + dataframe integration<a href="https://github.com/mchav/dataframe/blob/main/docs%2FCalifornia%20Housing.ipynb" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/mchav/dataframe/blob/main/docs%2FCalifornia%20Housing.ipynb</a>Discussions: <a href="https://discu.eu/q/https://github.com/mchav/dataframe/blob/main/docs%252FCalifornia%2520Housing.ipynb" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://github.com/mchav/dataframe/blob/main/docs%252FCalifornia%2520Housing.ipynb</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

Tariqcurrent <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> exercise is to implement fmap, return and >>= for a combined state-logger monad !it will force my brain to really understand the principles of monadsright now I'm just thinking "what's the value, what's the state - is the log also the state ... " ---ex 8 from here <a href="https://github.com/moocfi/haskell-mooc/blob/master/exercises/Set13b.hs" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/moocfi/haskell-mooc/blob/master/exercises/Set13b.hs</a>

José A. AlonsoCompiling Haskell into Lean: A common abstract syntax for Haskell and interactive theorem provers. ~ Talitha Holcombe. <a href="https://digitalcommons.chapman.edu/eecs_theses/3/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://digitalcommons.chapman.edu/eecs_theses/3/</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a>

José A. AlonsoTyped Lisp, a primer. ~ Musa Al-hassy (2019). <a href="https://alhassy.com/TypedLisp.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://alhassy.com/TypedLisp.html</a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CommonLisp</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a>

José A. AlonsoReadings shared May 4, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/05/04-readings_shared_05-04-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/05/04-readings_shared_05-04-25</a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ACL2</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a>

𝕂𝚞𝚋𝚒𝚔ℙ𝚒𝚡𝚎𝚕Malware is harder to find when written in obscure languagesMiscreants warming to Delphi, Haskell, and the like to evade detection. Malware authors looking to evade analysis are turning to less popular programming languages like Delphi or Haskell.⚙️ <a href="https://www.theregister.com/2025/03/29/malware_obscure_languages/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.theregister.com/2025/03/29/malware_obscure_languages/</a><a href="https://chaos.social/tags/maleware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#maleware</a> <a href="https://chaos.social/tags/delphy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#delphy</a> <a href="https://chaos.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://chaos.social/tags/hacking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hacking</a> <a href="https://chaos.social/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coding</a> <a href="https://chaos.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://chaos.social/tags/netherlands" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#netherlands</a> <a href="https://chaos.social/tags/hack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hack</a> <a href="https://chaos.social/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coding</a> <a href="https://chaos.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a>

Tariqcurrently watching this more mathematical "function composition" perspective on monads<a href="https://www.youtube.com/watch?v=n5ZtsHrYWq0" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=n5ZtsHrYWq0</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a>

Recent searches

Search options

Administered by:

Server stats:

#haskell