Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
ruby.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
If you are interested in the Ruby programming language, come join us! Tell us about yourself when signing up. If you just want to join Mastodon, another server will be a better place for you.

Administered by:

Server stats:

1.1K
active users

ruby.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#functionalprogramming

24 posts19 participants5 posts today
Dylan Rogers<p>Functional vs object-oriented vs procedural programming?</p><p><a href="https://mastodon.social/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coding</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>development</span></a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://mastodon.social/tags/oop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>oop</span></a> <a href="https://mastodon.social/tags/style" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>style</span></a> <a href="https://mastodon.social/tags/procedural" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>procedural</span></a></p>
José A. Alonso<p>Why I program in Lisp. ~ Joe Marshall. <a href="https://funcall.blogspot.com/2025/04/why-i-program-in-lisp.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">funcall.blogspot.com/2025/04/w</span><span class="invisible">hy-i-program-in-lisp.html</span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>
Leanpub<p>Effect Oriented Programming by Bill Frasure, Bruce Eckel, and James Ward is on sale on Leanpub! Its suggested price is $30.00; get it for $14.00 with this coupon: <a href="https://leanpub.com/sh/hAszc4up" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">leanpub.com/sh/hAszc4up</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a></p>
José A. Alonso<p>Search index in 150 lines of Haskell. ~ kqr. <a href="https://entropicthoughts.com/search-index-150-lines-haskell" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">entropicthoughts.com/search-in</span><span class="invisible">dex-150-lines-haskell</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>
Hacker News<p>Parser Combinators Beat Regexes</p><p><a href="https://entropicthoughts.com/parser-combinators-beat-regexes" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">entropicthoughts.com/parser-co</span><span class="invisible">mbinators-beat-regexes</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ParserCombinators" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ParserCombinators</span></a> <a href="https://mastodon.social/tags/Regexes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Regexes</span></a> <a href="https://mastodon.social/tags/CodingTechniques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CodingTechniques</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>
blaix<p>I am in West Virginia this week visiting coal mines and US Civil War sites. Two places where unions were on the right side of history and held their ground despite losing many lives. Also I have another Gren Twigs video where we start using Gren to write <a href="https://hachyderm.io/tags/nodejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nodejs</span></a> applications!</p><p><a href="https://www.youtube.com/watch?v=jF9fqm9UNYo&amp;list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&amp;index=16" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=jF9fqm9UNY</span><span class="invisible">o&amp;list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&amp;index=16</span></a></p><p><a href="https://hachyderm.io/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://hachyderm.io/tags/gren" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gren</span></a></p>
José A. Alonso<p>Readings shared April 8, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/08-readings_shared_04-08-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/08-readings_shared_04-08-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
Tony M<p>What is currying and function composition? Functional programming has plenty of advantages, but sometimes it needs some explaining.</p><p>Take a deep dive into currying and function composition backed by a real-world example.</p><p><a href="https://medium.com/gitconnected/understand-currying-by-building-a-simple-notification-service-with-typescript-eff4e33f15c8?sk=4d10fb8bc9e04eb74d503885efdbb117" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">medium.com/gitconnected/unders</span><span class="invisible">tand-currying-by-building-a-simple-notification-service-with-typescript-eff4e33f15c8?sk=4d10fb8bc9e04eb74d503885efdbb117</span></a></p><p><a href="https://mastodon.social/tags/TypeScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TypeScript</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/JavaScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JavaScript</span></a></p>
José A. Alonso<p>Readings shared April 7, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/07-readings_shared_04-07-25</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Minlog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Minlog</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a></p>
Leanpub<p>Dynamic Web Scripting <a href="https://leanpub.com/b/webscripting" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">leanpub.com/b/webscripting</span><span class="invisible"></span></a> by GitforGits | Asian Publishing House is the featured bundle of ebooks 📚 on the Leanpub homepage! <a href="https://leanpub.com" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">leanpub.com</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/Ruby" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ruby</span></a> <a href="https://mastodon.social/tags/RubyOnRails" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RubyOnRails</span></a> <a href="https://mastodon.social/tags/WebDevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WebDevelopment</span></a> <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/Apis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Apis</span></a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>books</span></a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ebooks</span></a></p>
Hacker News<p>Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)</p><p><a href="https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">personal.cis.strath.ac.uk/cono</span><span class="invisible">r.mcbride/pub/hasochism.pdf</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Hasochism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Hasochism</span></a> <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mastodon.social/tags/DependentlyTyped" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DependentlyTyped</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/PleasureAndPain" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PleasureAndPain</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>
Leanpub<p>Functional Programming for the Object-Oriented Programmer by Brian Marick is free with a Leanpub Reader membership! Or you can buy it for $7.99! <a href="http://leanpub.com/fp-oo" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="">leanpub.com/fp-oo</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/Software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Software</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>
Anupam 《ミ》λ≡<p>Ready to geek out over functional programming? Join us for the upcoming FPIndia Bangalore meetup!<br><a href="https://hasgeek.com/fpindia/bangalore-fp-april-meetup/" rel="nofollow noopener noreferrer" target="_blank">https://hasgeek.com/fpindia/bangalore-fp-april-meetup/</a><br><br><a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bangalore</span></a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FPIndia</span></a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Meetup</span></a> <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>India</span></a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PureScript</span></a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Elixir</span></a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Clojure</span></a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a></p>
Jencel Panic<p>Published a new blog post about a <a href="https://mathstodon.xyz/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> tasks that I solved these days <br><a href="https://abuseofnotation.github.io/haskell-task/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">abuseofnotation.github.io/hask</span><span class="invisible">ell-task/</span></a></p><p><a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mathstodon.xyz/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a></p>
José A. Alonso<p>An introduction to typeclass metaprogramming. ~ Alexis King. <a href="https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lexi-lambda.github.io/blog/202</span><span class="invisible">1/03/25/an-introduction-to-typeclass-metaprogramming/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>
José A. Alonso<p>Verified program extraction in number theory: The fundamental theorem of arithmetic and relatives. ~ Franziskus Wiesnet. <a href="https://arxiv.org/abs/2504.03460" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2504.03460</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Minlog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Minlog</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a></p>
J3RN :emacs: :haskell:<p>Bit of a newbie question, but why is CPS favored for IRs for functional languages? Links welcome 😁</p><p><a href="https://fosstodon.org/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://fosstodon.org/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a> <a href="https://fosstodon.org/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://fosstodon.org/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
José A. Alonso<p>Readings shared April 5, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/05-readings_shared_04-05-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/05-readings_shared_04-05-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
𝐭𝐡𝐠𝐬<p>Wondering if my glasses are a contravariant functor</p><p><a href="https://phpc.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a></p>
José A. Alonso<p>Readings shared April 4, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/04-readings_shared_04-04-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/04-readings_shared_04-04-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Maxima" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maxima</span></a></p>
ExploreLive feeds
About