🐫 OCaml

Type Inference, Pattern Matching, Modules, Compiler Design

Drake: Model-Based Design and Verification for Robotics
drake.mit.edu·22h
🤖AI Agent
Flag this post
Boolean Index Signature in TypeScript
miroslavpetrik.medium.com·2d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Carmack on inlined code and functional programming
cbarrete.com·2d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Did I just join a Hackathon
dev.to·21h·
Discuss: DEV
🔧Functional Programming
Flag this post
[Followup] Qwen3 VL 30b a3b is pure love (or not so much)
reddit.com·2h·
Discuss: r/LocalLLaMA
🤖AI Agent
Flag this post
Towards AI-Assisted Generation of Military Training Scenarios
arxiv.org·15h
🤖AI Agent
Flag this post
I Read Sam Bhagwat's AI Agents Bible So You Don't Have to (But Probably Should)
kuber.studio·1d·
Discuss: Hacker News
🤖AI Agent
Flag this post
How signals really work in JavaScript? Basic concept.
dev.to·1d·
Discuss: DEV
🔧Functional Programming
Flag this post
Non-Negative Stiefel Approximating Flow: Orthogonalish Matrix Optimization for Interpretable Embeddings
arxiv.org·1d
🔧Functional Programming
Flag this post
Undissolvable Problems: things that still confuse me
lesswrong.com·3h
🔧Functional Programming
Flag this post
Your AI Pair Programmer Is Not a Person
oreilly.com·8h
🤖AI Agent
Flag this post
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
arxiv.org·15h
🤖AI Agent
Flag this post
Large Language Models for Scientific Idea Generation: A Creativity-Centered Survey
arxiv.org·15h
🤖LLM
Flag this post
JavaScript and the Dream of Controlling Reactivity
dev.to·14h·
Discuss: DEV
🔧Functional Programming
Flag this post
How to learn C++
reddit.com·2d·
Discuss: r/AskProgramming
🔧Functional Programming
Flag this post
Why I Chose Golang for My Platform
dev.to·14h·
Discuss: DEV
🔧Functional Programming
Flag this post
Improving the accuracy and generalizability of molecular property regression models with a substructure-substitution-rule-informed framework
arxiv.org·15h
🔧Functional Programming
Flag this post
Teleosemantics & Swampman
lesswrong.com·14h
🔧Functional Programming
Flag this post
<p>Let’s be honest. There’s a huge gap between writing code that <em>works</em> and writing code that’s actually <em>good</em>. It’s the number one thing that s...
efficientcoder.net·1d
🔧Functional Programming
Flag this post
GastroDL-Fusion: A Dual-Modal Deep Learning Framework Integrating Protein-Ligand Complexes and Gene Sequences for Gastrointestinal Disease Drug Discovery
arxiv.org·1d
🔧Functional Programming
Flag this post