Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
Song recommendations from F# combinators
blog.ploeh.dk·2d
Travels, 10
cameroncounts.wordpress.com·5h
Cactus Language • Syntax 12
inquiryintoinquiry.com·4h
derived set
ncatlab.org·5h
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
Loading...Loading more...