Hindley-Milner, Unification Algorithms, Polymorphism, Constraint Solving
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.orgยท1d
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.ukยท2d
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
Cactus Language โข Syntax 12
inquiryintoinquiry.comยท11h
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท3d
Travels, 10
cameroncounts.wordpress.comยท12h
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgยท23h
Proving that every program halts
ntietz.comยท3d
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท2d
Loading...Loading more...