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ยท2h
Explaining software and computational methods
blog.khinsen.netยท18h
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท2d
Travels, 10
cameroncounts.wordpress.comยท3h
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgยท14h
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
Proving that every program halts
ntietz.comยท2d
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
Loading...Loading more...