#combinators — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #combinators, aggregated by home.social.
-
I'm, ehm, yes, unsure.
This might be slop.It's a song about Moses Schönfinkel and his combinatory logic.
And, I kinda like it.
-
I'm, ehm, yes, unsure.
This might be slop.It's a song about Moses Schönfinkel and his combinatory logic.
And, I kinda like it.
-
I'm, ehm, yes, unsure.
This might be slop.It's a song about Moses Schönfinkel and his combinatory logic.
And, I kinda like it.
-
I'm, ehm, yes, unsure.
This might be slop.It's a song about Moses Schönfinkel and his combinatory logic.
And, I kinda like it.
-
🤔 So, the magnificent #Wolfram has decreed that we'll all drop everything to ponder whether a single letter, #S, has the mystical power to compute the #universe. 🌌 Who knew #combinators needed a centennial #celebration, complete with a $20,000 participation trophy? 🎉 All hail the new age of combining letters for cash! 💸
https://www.combinatorprize.org/ #cash #prize #HackerNews #ngated -
🤔 So, the magnificent #Wolfram has decreed that we'll all drop everything to ponder whether a single letter, #S, has the mystical power to compute the #universe. 🌌 Who knew #combinators needed a centennial #celebration, complete with a $20,000 participation trophy? 🎉 All hail the new age of combining letters for cash! 💸
https://www.combinatorprize.org/ #cash #prize #HackerNews #ngated -
🤔 So, the magnificent #Wolfram has decreed that we'll all drop everything to ponder whether a single letter, #S, has the mystical power to compute the #universe. 🌌 Who knew #combinators needed a centennial #celebration, complete with a $20,000 participation trophy? 🎉 All hail the new age of combining letters for cash! 💸
https://www.combinatorprize.org/ #cash #prize #HackerNews #ngated -
🤔 So, the magnificent #Wolfram has decreed that we'll all drop everything to ponder whether a single letter, #S, has the mystical power to compute the #universe. 🌌 Who knew #combinators needed a centennial #celebration, complete with a $20,000 participation trophy? 🎉 All hail the new age of combining letters for cash! 💸
https://www.combinatorprize.org/ #cash #prize #HackerNews #ngated -
"I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: • Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
https://www.youtube.com/watch?v=RcVA8Nj6HEo
[1]https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV
#lambdacalculus #combinators #animation #representation #church #tromp #turing -
"I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: • Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
https://www.youtube.com/watch?v=RcVA8Nj6HEo
[1]https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV
#lambdacalculus #combinators #animation #representation #church #tromp #turing -
"I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: • Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
https://www.youtube.com/watch?v=RcVA8Nj6HEo
[1]https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV
#lambdacalculus #combinators #animation #representation #church #tromp #turing -
"I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: • Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
https://www.youtube.com/watch?v=RcVA8Nj6HEo
[1]https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV
#lambdacalculus #combinators #animation #representation #church #tromp #turing -
"I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: • Lambda Diagrams [1] , although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully."
https://www.youtube.com/watch?v=RcVA8Nj6HEo
[1]https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV
#lambdacalculus #combinators #animation #representation #church #tromp #turing -
Oh joy, yet another #C++17 #parser combinator library! 🎉 Because what the world really needed was more creative ways to torture ourselves with syntactic nightmares and verbose error messages. 🚀 GitHub's endless quest to make #programming as enjoyable as a root canal continues unabated. 🙄
https://github.com/foonathan/lexy #combinators #humor #GitHub #developer #woes #HackerNews #ngated -
Oh joy, yet another #C++17 #parser combinator library! 🎉 Because what the world really needed was more creative ways to torture ourselves with syntactic nightmares and verbose error messages. 🚀 GitHub's endless quest to make #programming as enjoyable as a root canal continues unabated. 🙄
https://github.com/foonathan/lexy #combinators #humor #GitHub #developer #woes #HackerNews #ngated -
Oh joy, yet another #C++17 #parser combinator library! 🎉 Because what the world really needed was more creative ways to torture ourselves with syntactic nightmares and verbose error messages. 🚀 GitHub's endless quest to make #programming as enjoyable as a root canal continues unabated. 🙄
https://github.com/foonathan/lexy #combinators #humor #GitHub #developer #woes #HackerNews #ngated -
Oh joy, yet another #C++17 #parser combinator library! 🎉 Because what the world really needed was more creative ways to torture ourselves with syntactic nightmares and verbose error messages. 🚀 GitHub's endless quest to make #programming as enjoyable as a root canal continues unabated. 🙄
https://github.com/foonathan/lexy #combinators #humor #GitHub #developer #woes #HackerNews #ngated -
“Embedding MicroHs” by Thomas Mahler
https://thma.github.io/posts/2025-08-30-Embedding-MicroHs.html
-
“Embedding MicroHs” by Thomas Mahler
https://thma.github.io/posts/2025-08-30-Embedding-MicroHs.html
-
“Embedding MicroHs” by Thomas Mahler
https://thma.github.io/posts/2025-08-30-Embedding-MicroHs.html
-
“Embedding MicroHs” by Thomas Mahler
https://thma.github.io/posts/2025-08-30-Embedding-MicroHs.html
-
“Embedding MicroHs” by Thomas Mahler
https://thma.github.io/posts/2025-08-30-Embedding-MicroHs.html
-
Context free grammars (CFG) are better than parsing expression grammars (PEG), because CFGs represent how we think.
Parser combinators are similar to PEGs, so they are worse than CFGs, too.
So, don't use Rust libraries
nom,combine. Uselalrpop.Don't use Haskell libraries
parsec,gigaparsec,attoparsec,megaparsec,trifecta. UseEarley,happy.See more detailed story in my new article https://safinaskar.writeas.com/this-is-why-you-should-never-use-parser-combinators-and-peg .
The story also includes some cases, where PEG and parser combinators may still be useful. Also, the article gives links to my Haskell parsing libraries.
#haskell #rust #parsing #parse #cfg #peg #combinators #parsercombinators #parsingcombinators #nom #combine #lalrpop #parsec #earley #happy
-
Context free grammars (CFG) are better than parsing expression grammars (PEG), because CFGs represent how we think.
Parser combinators are similar to PEGs, so they are worse than CFGs, too.
So, don't use Rust libraries
nom,combine. Uselalrpop.Don't use Haskell libraries
parsec,gigaparsec,attoparsec,megaparsec,trifecta. UseEarley,happy.See more detailed story in my new article https://safinaskar.writeas.com/this-is-why-you-should-never-use-parser-combinators-and-peg .
The story also includes some cases, where PEG and parser combinators may still be useful. Also, the article gives links to my Haskell parsing libraries.
#haskell #rust #parsing #parse #cfg #peg #combinators #parsercombinators #parsingcombinators #nom #combine #lalrpop #parsec #earley #happy
-
Context free grammars (CFG) are better than parsing expression grammars (PEG), because CFGs represent how we think.
Parser combinators are similar to PEGs, so they are worse than CFGs, too.
So, don't use Rust libraries
nom,combine. Uselalrpop.Don't use Haskell libraries
parsec,gigaparsec,attoparsec,megaparsec,trifecta. UseEarley,happy.See more detailed story in my new article https://safinaskar.writeas.com/this-is-why-you-should-never-use-parser-combinators-and-peg .
The story also includes some cases, where PEG and parser combinators may still be useful. Also, the article gives links to my Haskell parsing libraries.
#haskell #rust #parsing #parse #cfg #peg #combinators #parsercombinators #parsingcombinators #nom #combine #lalrpop #parsec #earley #happy
-
Context free grammars (CFG) are better than parsing expression grammars (PEG), because CFGs represent how we think.
Parser combinators are similar to PEGs, so they are worse than CFGs, too.
So, don't use Rust libraries
nom,combine. Uselalrpop.Don't use Haskell libraries
parsec,gigaparsec,attoparsec,megaparsec,trifecta. UseEarley,happy.See more detailed story in my new article https://safinaskar.writeas.com/this-is-why-you-should-never-use-parser-combinators-and-peg .
The story also includes some cases, where PEG and parser combinators may still be useful. Also, the article gives links to my Haskell parsing libraries.
#haskell #rust #parsing #parse #cfg #peg #combinators #parsercombinators #parsingcombinators #nom #combine #lalrpop #parsec #earley #happy
-
Context free grammars (CFG) are better than parsing expression grammars (PEG), because CFGs represent how we think.
Parser combinators are similar to PEGs, so they are worse than CFGs, too.
So, don't use Rust libraries
nom,combine. Uselalrpop.Don't use Haskell libraries
parsec,gigaparsec,attoparsec,megaparsec,trifecta. UseEarley,happy.See more detailed story in my new article https://safinaskar.writeas.com/this-is-why-you-should-never-use-parser-combinators-and-peg .
The story also includes some cases, where PEG and parser combinators may still be useful. Also, the article gives links to my Haskell parsing libraries.
#haskell #rust #parsing #parse #cfg #peg #combinators #parsercombinators #parsingcombinators #nom #combine #lalrpop #parsec #earley #happy
-
Given my difficulties to wrap my head around the Y combinator, I expected it to come with a higher run time penalty. 🙂
-
Given my difficulties to wrap my head around the Y combinator, I expected it to come with a higher run time penalty. 🙂
-
Given my difficulties to wrap my head around the Y combinator, I expected it to come with a higher run time penalty. 🙂
-
Given my difficulties to wrap my head around the Y combinator, I expected it to come with a higher run time penalty. 🙂
-
Neat!
Short article about Schönfinkel's combinator calculus - in Julia!
https://riptutorial.com/julia-lang/example/20334/the-ski-combinator-system
#schonfinkel #combinators #calculus #julialang -
Neat!
Short article about Schönfinkel's combinator calculus - in Julia!
https://riptutorial.com/julia-lang/example/20334/the-ski-combinator-system
#schonfinkel #combinators #calculus #julialang -
Neat!
Short article about Schönfinkel's combinator calculus - in Julia!
https://riptutorial.com/julia-lang/example/20334/the-ski-combinator-system
#schonfinkel #combinators #calculus #julialang -
Neat!
Short article about Schönfinkel's combinator calculus - in Julia!
https://riptutorial.com/julia-lang/example/20334/the-ski-combinator-system
#schonfinkel #combinators #calculus #julialang -
Examples of binary choices where both options seem equally good at first, but really aren't:
When writing parsers using #parser #combinators, consuming trailing whitespace is better than consuming leading whitespace. "Design patterns for parser combinators" https://dl.acm.org/doi/abs/10.1145/3471874.3472984
When writing #E2E #tests, clearing the database before each test is better than clearing it after. "Dangling state is your friend" https://docs.cypress.io/guides/references/best-practices#Dangling-state-is-your-friend
-
Examples of binary choices where both options seem equally good at first, but really aren't:
When writing parsers using #parser #combinators, consuming trailing whitespace is better than consuming leading whitespace. "Design patterns for parser combinators" https://dl.acm.org/doi/abs/10.1145/3471874.3472984
When writing #E2E #tests, clearing the database before each test is better than clearing it after. "Dangling state is your friend" https://docs.cypress.io/guides/references/best-practices#Dangling-state-is-your-friend
-
Examples of binary choices where both options seem equally good at first, but really aren't:
When writing parsers using #parser #combinators, consuming trailing whitespace is better than consuming leading whitespace. "Design patterns for parser combinators" https://dl.acm.org/doi/abs/10.1145/3471874.3472984
When writing #E2E #tests, clearing the database before each test is better than clearing it after. "Dangling state is your friend" https://docs.cypress.io/guides/references/best-practices#Dangling-state-is-your-friend
-
Examples of binary choices where both options seem equally good at first, but really aren't:
When writing parsers using #parser #combinators, consuming trailing whitespace is better than consuming leading whitespace. "Design patterns for parser combinators" https://dl.acm.org/doi/abs/10.1145/3471874.3472984
When writing #E2E #tests, clearing the database before each test is better than clearing it after. "Dangling state is your friend" https://docs.cypress.io/guides/references/best-practices#Dangling-state-is-your-friend
-
Examples of binary choices where both options seem equally good at first, but really aren't:
When writing parsers using #parser #combinators, consuming trailing whitespace is better than consuming leading whitespace. "Design patterns for parser combinators" https://dl.acm.org/doi/abs/10.1145/3471874.3472984
When writing #E2E #tests, clearing the database before each test is better than clearing it after. "Dangling state is your friend" https://docs.cypress.io/guides/references/best-practices#Dangling-state-is-your-friend
-
#Propositions As #Types • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-1/One of my favorite mathematical tricks — it almost seems too tricky to be true — is the #PropositionsAsTypesAnalogy. And I see hints the 2-part analogy can be extended to a 3-part analogy, as follows.
\(\text{proof hint : proof : proposition :: untyped term : typed term : type}\)
See my notes on #PropositionsAsTypes for more.
• https://oeis.org/wiki/Propositions_As_Types_Analogy#Logic #Combinators #ProofTheory #TypeTheory
#CurryHowardIsomorphism #LambdaCalculus
