corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0872a-c49f-7277-89e8-bc30d19d2d08

Language integrated LLMs as an OCaml function

anil.recoil.org · published 14 June 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at anil.recoil.org Wayback capture
1blogs citing
First cited
6 Aug 2026
Most recent
6 Aug 2026
Rank this month
not ranked
Links from this post
48
Words captured
3,352

Cited by

Blog
In the post
Date
tlavoie
AI Harnesses, Architecture, and Control(s) Read at the source ↗
6 Aug 2026

Links from this post

Link
Host
https://www.theverge.com/ai-artificial-intelligence/949553/anthropic-fable-5-mythos-5-government-national-security
theverge.com
https://x.com/rosstaylor90/status/2066067747738431504
x.com
https://huggingface.co/deepseek-ai/DeepSeek-V4-Flash
huggingface.co
https://github.com/anthropics/claude-code/issues/8382
github.com
https://github.com/antirez
github.com
https://github.com/antirez/ds4
github.com
https://developer.apple.com/metal/
developer.apple.com
https://github.com/ocaml-multicore/eio
github.com
https://tangled.org/anil.recoil.org/ocaml-deepseek
tangled.org
https://github.com/ocaml/opam-repository/pull/30053
github.com
https://tangled.org/anil.recoil.org/ocaml-deepseek/blob/1edcdad29a19924f988c7adef4343cb189dcb4a2/bin/humpty.ml
tangled.org
https://huggingface.co/docs/huggingface_hub/en/guides/cli
huggingface.co
https://github.com/astral-sh/uv
github.com
https://tangled.org/anil.recoil.org/ocaml-deepseek/commit/1edcdad29a19924f988c7adef4343cb189dcb4a2
tangled.org
https://tangled.org/anil.recoil.org/ocaml-deepseek/blob/1edcdad29a19924f988c7adef4343cb189dcb4a2/lib/v4.mli
tangled.org
https://huggingface.co/docs/hub/gguf
huggingface.co
https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro/blob/main/encoding/encoding_dsv4.py
huggingface.co
https://tangled.org/anil.recoil.org/ocaml-deepseek/blob/main/dsml/lib/dsml.mli
tangled.org
https://tangled.org/anil.recoil.org/ocaml-deepseek/blob/1edcdad29a19924f988c7adef4343cb189dcb4a2/dsml/lib/dsml.mli
tangled.org
https://en.wikipedia.org/wiki/Reasoning_model
en.wikipedia.org
https://tangled.org/anil.recoil.org/ocaml-deepseek/blob/1edcdad29a19924f988c7adef4343cb189dcb4a2/lib/tool.mli
tangled.org
https://tangled.org/anil.recoil.org/ocaml-deepseek/blob/1edcdad29a19924f988c7adef4343cb189dcb4a2/lib/agent.mli
tangled.org
https://en.wikipedia.org/wiki/Object-capability_model
en.wikipedia.org
https://tangled.org/anil.recoil.org/ocaml-deepseek/blob/1edcdad29a19924f988c7adef4343cb189dcb4a2/lib/toolbox.mli
tangled.org
https://linux.die.net/man/2/openat
linux.die.net
https://github.com/ocaml-multicore/eio/blob/main/README.md
github.com
https://x.com/RanjitJhala/status/2065280989367357725
x.com
https://youtube.com/watch?v=F2tYCxb30WU
youtube.com
https://github.com/yminsky
github.com
https://x.com/yminsky/status/2065403677309915570
x.com
https://cs.brown.edu/~sk/
cs.brown.edu
https://arxiv.org/abs/2606.01522
arxiv.org
https://www.fstar-lang.org/
fstar-lang.org
https://anil.recoil.org/papers/2024-hope-bastion.pdf
anil.recoil.org
https://arxiv.org/abs/1903.01237
arxiv.org
https://patrick.sirref.org
patrick.sirref.org
https://web.eecs.umich.edu/~comar/
web.eecs.umich.edu
https://ocaml.org/manual/5.4/api/compilerlibref/Compiler_libs.html
ocaml.org
https://ocaml.org/manual/runtime-events.html
ocaml.org
https://doi.org/10.1145/3744169.3744180
doi.org
https://doi.org/10.59350/r06z7-0ht06
doi.org
https://doi.org/10.59350/9c6bz-kb659
doi.org
https://doi.org/10.59350/gj8re-sca95
doi.org
https://doi.org/10.1145/3453483.3454039
doi.org
https://doi.org/10.59350/g40yy-ks003
doi.org
https://doi.org/10.59350/snnnf-asc02
doi.org
https://doi.org/10.48550/arXiv.2606.01522
doi.org
https://doi.org/10.48550/arXiv.1903.01237
doi.org