SKI Combinators, Point-free Programming, Lambda Elimination, Church Encoding
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
Binary Search in a 2D Matrix
mmhaskell.com·1d
A new look at twin reduction
cameroncounts.wordpress.com·1d
Cactus Language • Stylistics 4
inquiryintoinquiry.com·8h
Historical highlights?
logicmatters.net·12h
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·6h
FSM Library for Embedded C Projects
hackster.io·1d
News for June 2025
ptreview.sublinear.info·1d
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
Loading...Loading more...