Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท15h
๐Ÿ“Concrete Syntax
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท18h
๐Ÿ”—Topological Sorting
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
higher: Your favourite Haskell type classes for Rust (2023)
github.comยท4dยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Rust Macros
Using PhantomData and Zero-Sized Types
dev.toยท6hยท
Discuss: DEV
๐Ÿ”’Type Safety
The Guide to the Foundation Models Framework
azamsharp.comยท8hยท
Discuss: Hacker News
ฮปLambda Formalization
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท2d
๐ŸŒณArchive Merkle Trees
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท11hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท6h
๐Ÿ“Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท2d
ฮปLambda Encodings
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.toยท1dยท
Discuss: DEV
๐ŸงฌFunctional Programming
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท7hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgยท18h
๐Ÿ”Type Inference
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท14h
โฌ†๏ธLambda Lifting
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
BNFGen: A random text generator based on context-free grammars
baturin.orgยท4hยท
Discuss: Hacker News
๐ŸŒณContext free grammars