🐫 OCaml

Type Inference, Pattern Matching, Modules, Compiler Design

Revisiting Mojo: A faster Python?
infoworld.com·1h
🔧Functional Programming
Flag this post
Privacy-Preserving Active Learning for circular manufacturing supply chains for extreme data sparsity scenarios
dev.to·1d·
Discuss: DEV
🤖AI Agent
Flag this post
Spider-Man: The Movie Game dissection project Checkpoint - November 2025
krystalgamer.github.io·1d·
Discuss: r/programming
🔧Functional Programming
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·2d
🔧Functional Programming
Flag this post
Red, green, refactor: writing perfect Go, with TDD
bitfieldconsulting.com·1d
🔧Functional Programming
Flag this post
LLM Output Drift: Cross-Provider Validation & Mitigation for Financial Workflows
arxiv.org·5h
🤖LLM
Flag this post
Evaluating LLMs' Reasoning Over Ordered Procedural Steps
arxiv.org·2d
🤖LLM
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.com·2d·
Discuss: Substack
🔧Functional Programming
Flag this post
🚀LLM Overthinking? DTS makes LLM think shorter and answer smarter
reddit.com·9h·
Discuss: r/LocalLLaMA
🔧Functional Programming
Flag this post
The Gem in S/SL: Why Dataless Languages Matter
programmingsimplicity.substack.com·2d·
Discuss: Substack
🔧Functional Programming
Flag this post
🎲 Weeknotes 2025 W45: Polymorphic
denisdefreyne.com·1d
🔧Functional Programming
Flag this post
Design System: Building the Foundations
dev.to·1d·
Discuss: DEV
🔧Functional Programming
Flag this post
Parsing an HTTP Request
mmhaskell.com·2d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Crossplatform Business Logic in Rust
forgestream.idverse.com·2d·
Discuss: r/rust
🔧Functional Programming
Flag this post
Show HN: Charl – ML language with native tensors and autograd
charlbase.org·1d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
DPRM: A Dual Implicit Process Reward Model in Multi-Hop Question Answering
arxiv.org·5h
🤖AI Agent
Flag this post
I wrote a "from first principles" guide to building an HTTP/1.1 client in Rust (and C/C++/Python) to compare performance and safety
reddit.com·1d·
Discuss: r/rust
🔧Functional Programming
Flag this post
Quantification and object perception in Multimodal Large Language Models deviate from human linguistic cognition
arxiv.org·5h
🤖LLM
Flag this post
Semi-Algebraic Proof Systems for QBF
arxiv.org·5h
🔧Functional Programming
Flag this post
FaithAct: Faithfulness Planning and Acting in MLLMs
arxiv.org·5h
🤖AI Agent
Flag this post