🐫 OCaml

Functional language, Static typing, Pattern matching, ML family

How i ditched LangChain to create my own custom RAG
dev.to·1h·
Discuss: DEV
🔍Parsers
C++ Trailing Return Types (2022)
danielsieger.com·2d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
λFunctional Programming
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·1d
λFunctional Programming
A Wide Reduction Trick (2022)
words.filippo.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🪶suckless
Go seems to accomplish the Zen of Python way better than Python
reddit.com·1d·
Discuss: r/golang
λFunctional Programming
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com·1d·
Discuss: Lobsters, Hacker News
🔍Parsers
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·1d·
Discuss: Hacker News
🦀Rust
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·1d
λFunctional Programming
Gain a Better Understanding of Computer Vision: Dynamic SOLO (SOLOv2) with TensorFlow
towardsdatascience.com·18h
🔍Parsers
Do You Really Know How `or` And `and` Work in Python?
thepythoncodingstack.com·23h
λFunctional Programming
Hazel: A live functional programming environment with typed holes
github.com·3d·
Discuss: Lobsters, Hacker News
λFunctional Programming
Proof-theoretic Semantics for First-order Logic
arxiv.org·1d
λFunctional Programming
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·2d
λFunctional Programming
A Rust Shaped Hole
mnvr.in·4d·
Discuss: Lobsters, Hacker News
λFunctional Programming
WasmEdge/WasmEdge
github.com·1d
🕸️WASM
Parsing Protobuf Like Never Before
mcyoung.xyz·3d·
Discuss: Lobsters, Hacker News, r/programming
🕸️WASM
Day 28/100: List Comprehensions in Python
dev.to·1d·
Discuss: DEV
🔍Parsers
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.io·1d·
Discuss: Hacker News
🕸️WASM
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·1d
λFunctional Programming
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·1d
λFunctional Programming