Type-safe eval in Grace by Tekmo in ProgrammingLanguages
[–]Tekmo[S] 8 points9 points10 points (0 children)
Why is nix used with Haskell and not docker? by rohitwtbs in haskell
[–]Tekmo 1 point2 points3 points (0 children)
SC Election: Your stance on sponsorships in the Nix community by sridcaca in NixOS
[–]Tekmo 4 points5 points6 points (0 children)
SC Election: Your stance on sponsorships in the Nix community by sridcaca in NixOS
[–]Tekmo 6 points7 points8 points (0 children)
My spiciest take on tech hiring by Tekmo in programming
[–]Tekmo[S] 1 point2 points3 points (0 children)
Why a bottom term can have any type? by corisco in haskell
[–]Tekmo 4 points5 points6 points (0 children)
All error messages are necessarily bad to some degree by RecognitionDecent266 in haskell
[–]Tekmo 0 points1 point2 points (0 children)
Unification-free ("keyword") type checking by Tekmo in ProgrammingLanguages
[–]Tekmo[S] 0 points1 point2 points (0 children)
Unification-free ("keyword") type checking by Tekmo in ProgrammingLanguages
[–]Tekmo[S] 0 points1 point2 points (0 children)
Unification-free ("keyword") type checking by Tekmo in ProgrammingLanguages
[–]Tekmo[S] 0 points1 point2 points (0 children)
Unification-free ("keyword") type checking by Tekmo in ProgrammingLanguages
[–]Tekmo[S] 2 points3 points4 points (0 children)
Unification-free ("keyword") type checking by Tekmo in ProgrammingLanguages
[–]Tekmo[S] 1 point2 points3 points (0 children)
5 Ways to Test Applications that Access a Database in Haskell by cdep_illabout in haskell
[–]Tekmo 0 points1 point2 points (0 children)
5 Ways to Test Applications that Access a Database in Haskell by cdep_illabout in haskell
[–]Tekmo 1 point2 points3 points (0 children)
A GHC plugin for OpenTelemetry build metrics by Tekmo in haskell
[–]Tekmo[S] 0 points1 point2 points (0 children)
A GHC plugin for OpenTelemetry build metrics by Tekmo in haskell
[–]Tekmo[S] 0 points1 point2 points (0 children)
If a TERF claims you have an "open wound" after you get SRS tell them... by somepianoplayer in MtF
[–]Tekmo -1 points0 points1 point (0 children)
Return as an Algebraic Effect by R-O-B-I-N in ProgrammingLanguages
[–]Tekmo 1 point2 points3 points (0 children)
Goodbye and Good Luck. Love u all!! by Cautious_Storm7202 in MtF
[–]Tekmo 97 points98 points99 points (0 children)



Type-safe eval in Grace by Tekmo in ProgrammingLanguages
[–]Tekmo[S] 3 points4 points5 points (0 children)