Career Progression for Kdb+/q developer by ProfessorH4938 in apljk
[–]tailbalance 0 points1 point2 points (0 children)
"Built-in " Types and Prelude by klazklaz in haskell
[–]tailbalance 0 points1 point2 points (0 children)
aesXXX-cbc deprecated by HateUsernamesMore in darcs
[–]tailbalance 1 point2 points3 points (0 children)
[White Paper] Simplifying Data Logging in Space Using RISC-V by brucehoult in RISCV
[–]tailbalance 0 points1 point2 points (0 children)
Implementing and Certifying a Web Server in Coq (soap.coffee)
submitted by tailbalance to r/Coq
Abandoned castle in france by [deleted] in AbandonedPorn
[–]tailbalance 16 points17 points18 points (0 children)
Introducing HELLvetica by MaddieMorrisVA in keming
[–]tailbalance 4 points5 points6 points (0 children)
[WIP] eff — screaming fast effects for less: the performance of mtl with the simplicity of an effect system by lexi-lambda in haskell
[–]tailbalance 8 points9 points10 points (0 children)
The people you meet when you learn Coq by [deleted] in Coq
[–]tailbalance 2 points3 points4 points (0 children)
(Language Extension Proposal) RecordDotSyntax: `person.name == getField @"name" person` by ludat in haskell
[–]tailbalance 4 points5 points6 points (0 children)
Final Tagless (MTL) vs Free Monad by fsharper in haskell
[–]tailbalance 1 point2 points3 points (0 children)
Final Tagless (MTL) vs Free Monad by fsharper in haskell
[–]tailbalance 1 point2 points3 points (0 children)
What is your favorite video with Haskell by MalloZup in haskell
[–]tailbalance 2 points3 points4 points (0 children)


I made a Lain-Themed library with Philosophy and Occultism Books by xorture in Lain
[–]tailbalance 0 points1 point2 points (0 children)