corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0872a-c4a1-705f-83fb-933e244a067e

Oh my Claude, we need agentic copilot sandboxing right now

anil.recoil.org · published 2 March 2025

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
2blogs citing
First cited
6 May 2025
Most recent
7 May 2025
Rank this month
not ranked
Links from this post
34
Words captured
2,119

Cited by

Blog
In the post
Date
jon.recoil.org
Solving First-year OCaml exercises with AI Read at the source ↗
7 May 2025
toao.com
Qwen3 Leads the Pack: Evaluating how Local LLMs tackle First Year CS OCaml exercises Read at the source ↗
6 May 2025

Links from this post

Link
Host
https://github.com/yminsky
github.com
https://www.adafruit.com/product/2345
adafruit.com
https://mynameismwd.org
mynameismwd.org
https://github.com/kodu-ai/claude-code
github.com
https://ai-claude.net/
ai-claude.net
https://web.eecs.umich.edu/~comar/
web.eecs.umich.edu
https://patrick.sirref.org
patrick.sirref.org
https://github.com/hzeller/rpi-rgb-led-matrix
github.com
https://github.com/hzeller/rpi-rgb-led-matrix/tree/master/examples-api-use
github.com
https://web.makespace.org/
web.makespace.org
https://dev.realworldocaml.org/foreign-function-interface.html
dev.realworldocaml.org
https://github.com/anthropics/claude-code
github.com
https://dune.readthedocs.io/en/latest/quick-start.html
dune.readthedocs.io
https://github.com/hzeller/rpi-rgb-led-matrix/blob/master/include/led-matrix-c.h
github.com
https://ocaml.org/manual/5.3/intfc.html
ocaml.org
https://valgrind.org/
valgrind.org
https://dev.realworldocaml.org/variants.html
dev.realworldocaml.org
https://github.com/yminsky/rpi-rgb-led-matrix/pull/3/commits/70c7739696ca207245dfdbc80c5d6d08fe2fce79
github.com
https://github.com/dbuenzli/cmdliner
github.com
https://erratique.ch/software/cmdliner/doc/Cmdliner/Term/index.html
erratique.ch
https://erratique.ch/software/cmdliner/doc/Cmdliner/Arg/index.html
erratique.ch
https://arxiv.org/abs/2502.18449
arxiv.org
https://toao.com
toao.com
https://jon.recoil.org
jon.recoil.org
https://docker.com
docker.com
https://anil.recoil.org/papers/2024-hope-bastion.pdf
anil.recoil.org
https://anil.recoil.org/slides/2024-hope-bastion-slides.pdf
anil.recoil.org
https://www.youtube.com/watch?v=U9H9xU-8-qc&list=PLyrlk8Xaylp7OQNLeCGS0j2fjEnvIWL9u
youtube.com
https://en.wikipedia.org/wiki/Capability-based_security
en.wikipedia.org
https://fstar-lang.com
fstar-lang.com
https://github.com/patricoferris/hope-2024/tree/main/simple-json
github.com
https://github.com/yminsky/rpi-rgb-led-matrix/pull/3
github.com
https://doi.org/10.48550/arXiv.2408.02407
doi.org
https://doi.org/10.48550/arXiv.2502.18449
doi.org