7
1m
Func Prog Sweden - Building a typechecker
https://youtu.be/CrFVfwqBW_4
4d
11
0
Share
Haskell: "A Great Procedural Language"
https://entropicthoughts.com/haskell-procedural-programming
11d
10
GHC's wasm backend now supports Template Haskell and ghci
https://www.tweag.io/blog/2024-11-21-ghc-wasm-th-ghci/
16d
9
Cloudflare: How we prevent conflicts in authoritative DNS configuration using formal verification
Cool little Racket shoutout https://blog.cloudflare.com/topaz-policy-engine-design/
17d
16
Truly Optimal Evaluation with Unordered Superpositions
https://gist.github.com/VictorTaelin/93c327e5b4e752b744d7798687977f8a
20d
12
Algorithm + Strategy Parallelism
https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/strategies.pdf
21d
17
1
Squeal - A deep embedding of SQL in Haskell
https://github.com/morphismtech/squeal
22d
Guest user
Main
Upits
:quality(85)/https://cdn.upit.com/yu8rm0migtebxj8jsq2hwwp9.png)
:quality(85)/https://cdn.upit.com/w0092fbv5fasyei8qztjq9nj.jpeg)
:quality(85)/https://cdn.upit.com/806mw8wmqsrukupx0hf2ox4a.jpeg)
