Introducing Pkl, a programming language for configuration
pkl-lang.orgยท5h
GHC 9.12.3 is now available
haskell.orgยท1d
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.orgยท3d
Learning Zig
blog.senko.netยท4h
A Validated Semantics for LLVM IR
sf.snu.ac.krยท13h
Issue 504
haskellweekly.newsยท2d
Loading...Loading more...