Haskell GHC, OCaml, ML Compilation, Lazy Evaluation, Type Inference
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท18h
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.ukยท2d
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท2d
What Inflection AI Learned Porting Its LLM Inference Stack from NVIDIA to Intel Gaudi
thenewstack.ioยท3h
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท14h
Cactus Language โข Syntax 12
inquiryintoinquiry.comยท6h
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.orgยท1d
Counting with Categories (Part 2)
golem.ph.utexas.eduยท2d
Loading...Loading more...