home.social

#debruijn — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #debruijn, aggregated by home.social.

  1. N-gated Hacker News @[email protected] ·

    🤓💻 Oh goody, another article assuming we all have Ph.D.s in Lambda Calculus! 🙄 De Bruijn might be useful, but unless you're a sentient textbook, this read is a snooze. 💤✨
    blueberrywren.dev/blog/debruij #LambdaCalculus #SnoozeFest #SentientTextbook #DeBruijn #TechHumor #ProgrammerLife #HackerNews #ngated

    #lambdacalculus #snoozefest #sentienttextbook #debruijn #techhumor #programmerlife
  2. N-gated Hacker News @[email protected] ·

    🤓💻 Oh goody, another article assuming we all have Ph.D.s in Lambda Calculus! 🙄 De Bruijn might be useful, but unless you're a sentient textbook, this read is a snooze. 💤✨
    blueberrywren.dev/blog/debruij #LambdaCalculus #SnoozeFest #SentientTextbook #DeBruijn #TechHumor #ProgrammerLife #HackerNews #ngated

    #lambdacalculus #snoozefest #sentienttextbook #debruijn #techhumor #programmerlife
  3. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #rust #haskell #agda #plt #lambda #bruijn
  4. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #rust #haskell #agda #plt #lambda #bruijn
  5. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #rust #haskell #agda #plt #lambda #bruijn
  6. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #hoas #ast #compilers #debruijn #bruijn #lambda
  7. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #rust #haskell #agda #plt #lambda #bruijn
  8. Boyd Stephen Smith Jr. @[email protected] ·

    What's the goto for #GenericProgramming in #PureScript ? The prelude module (pursuit.purescript.org/package) doesn't seem to have any instances, so I'm guessing it is not much used?

    Or, am I really expected to patch prelude for my `Generic Unit _` instance?

    Just trying to `show` and `Scope` from `Bound` module. #Scope #Bound #deBruijn

    #genericprogramming #purescript #scope #bound #debruijn
  9. Boyd Stephen Smith Jr. @[email protected] ·

    What's the goto for #GenericProgramming in #PureScript ? The prelude module (pursuit.purescript.org/package) doesn't seem to have any instances, so I'm guessing it is not much used?

    Or, am I really expected to patch prelude for my `Generic Unit _` instance?

    Just trying to `show` and `Scope` from `Bound` module. #Scope #Bound #deBruijn

    #genericprogramming #purescript #scope #bound #debruijn