🐫 OCaml

Functional language, Static typing, Pattern matching, ML family

GoLang Generics: Practical Examples to Level Up Your Code
dev.to·22h·
Discuss: DEV
λFunctional Programming
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·16h·
Discuss: Lobsters, Hacker News
λFunctional Programming
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·1d
🔍Parsers
My brief overview of Cangjie Programming Language by Huawei
codeabbey.com·20h·
Discuss: Hacker News, r/programming
🧩Haskell
Flang-Tidy Cleaning/Correcting Fortran Code In "Sort Of Opinionated Fashion"
phoronix.com·1d
λFunctional Programming
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·3h·
Discuss: DEV
🔍Parsers
DART: Dual Adaptive Refinement Transfer for Open-Vocabulary Multi-Label Recognition
arxiv.org·12h
λFunctional Programming
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·6d·
Discuss: Lobsters, Hacker News
🧩Haskell
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·3h·
Discuss: Hacker News
🕸️WASM
Do you think they will ever add sum types/tagged unions?
reddit.com·19h·
Discuss: r/golang
λFunctional Programming
Oops Safari, I Think You Spilled Something
blog.exodusintel.com·6h·
Discuss: Lobsters, Hacker News
🕸️WASM
Understanding and Mitigating Errors of LLM-Generated RTL Code
arxiv.org·12h
🕸️WASM
Show HN: Octofriend, a cute coding agent that can swap between GPT-5 and Claude
github.com·21h·
Discuss: Hacker News
🔍Parsers
Python 101: Reading TOML with Python
blog.pythonlibrary.org·1d
🧩Haskell
The Generativity Pattern in Rust
arhan.sh·3d·
Discuss: Lobsters, Hacker News, r/programming
λFunctional Programming
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·12h
λFunctional Programming
GoLang 101: Understanding Polymorphism Through Interfaces
dev.to·1d·
Discuss: DEV
λFunctional Programming
From Chrome renderer code exec to kernel with MSG_OOB
googleprojectzero.blogspot.com·5h·
Discuss: googleprojectzero.blogspot.com
🕸️WASM
CodonMoE: DNA Language Models for mRNA Analyses
arxiv.org·12h
🔍Parsers
[D] In 2025, what is a sufficient methodology to analyze document summaries generated by LLMs? BERTScore, G-Eval, Rogue, etc
reddit.com·16h·
Discuss: r/MachineLearning
🔍Parsers