Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-10 01:38:52 EDT

Explore

PostsPeople
LatestRanked
@dinosaure.mastodon.social.ap.brid.gyOct 8, 2026, 11:59 AM

And a little article on our blog about this implementation: https://blog.robur.coop/articles/2026-10-08-wireguard.html #OCaml #WireGuard #unikernel

@dinosaure.mastodon.social.ap.brid.gyOct 6, 2026, 5:40 PM

Something good is here #OCaml #unikernel: https://github.com/robur-coop/zostera (at least, I spent the day with a tunnel like this).

@xvw.lolOct 1, 2026, 4:20 PM

"Lists that keep track of their reversal" #ocaml #fp
My friend Pierre wrote a small article about dealing with `cons`, `rev` and co with lists:

grim.cargocut.org/a/rev-list.h...

@dinosaure.mastodon.social.ap.brid.gyOct 1, 2026, 1:17 PM

I just deployed https://chaos.osau.re/, it's a simple website (as an unikernel obvisouly) which is synchronized with my NTP server (osau.re:123) which is also an #unikernel in #OCaml - It exists for a (not so long) time, but it works well! You can check more details here […]

@bobkonf.deSep 21, 2026, 2:10 PM

They keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert!
bobkonf.de/2027/leroy.h...

Portrait photo of Xavier Leroy
@exfalsoquodlibet.piaille.fr.ap.brid.gySep 20, 2026, 7:19 PM

It's live: https://scales.exfalsoquodlibet.xyz/

For musicians to help practice their scales.
Written in #OCaml using the vif framework.

@kit-ty-kate.exn.stSep 18, 2026, 4:10 PM

🐫🐫🐫
```
bash -c "sh <( curl -fsSL opam.ocaml.org/install.sh )"
```

discuss.ocaml.org/t/ann-opam-2...

#ocaml #opam

@xvw.lolSep 15, 2026, 10:02 AM

What a surprise, here is the Tshirt of the lady sitting next to me!
#ocaml #international #fp

@tsmc.purely-functional.comSep 14, 2026, 12:38 AM

Some updates on tree-sitter support for OCaml mini-languages (odoc, opam and dune) and improving Emacs support for OCaml with neocaml. lambdafoo.com/posts/2026-0... #emacs #ocaml

@happy-homhom.bsky.socialSep 13, 2026, 9:11 AM

OCamlの学び方を、無料の英語版で手に入れられるようになった
https://papoo.work/doc/7643a5c26a1a2dd0
#ocaml #プログラミング学習 #技術書 #オープンライセンス #英語翻訳

@happy-homhom.bsky.socialSep 13, 2026, 12:08 AM

OCamlの学び方を、無料の英語版で手に入れられるようになった
https://papoo.work/doc/7643a5c26a1a2dd0
#ocaml #プログラミング学習 #技術書 #オープンライセンス #英語翻訳

@happy-homhom.bsky.socialSep 12, 2026, 6:33 AM

OCamlの学び方を、無料の英語版で手に入れられるようになった
https://papoo.work/doc/7643a5c26a1a2dd0
#ocaml #プログラミング学習 #技術書 #オープンライセンス #英語翻訳

@happy-homhom.bsky.socialSep 11, 2026, 6:44 PM

OCamlの学び方を、無料の英語版で手に入れられるようになった
https://papoo.work/doc/7643a5c26a1a2dd0
#ocaml #プログラミング学習 #技術書 #オープンライセンス #英語翻訳

@stackflag.bsky.socialSep 10, 2026, 10:20 PM

CVE-2026-89086 - jose
The jose software for OCaml versions earlier than 0.11.0 can mistakenly treat an RSA signature as valid even when it was not created with the correct public key. This means an attacker could…

Too many irrelevant or confusing CVEs? Use stackflag.com

#jose #ocaml #CVE #infosec

@5troop.bsky.socialSep 9, 2026, 1:17 PM

Instead of #Python, #JS etc, think #Gleam #OCaml etc and even #Lean4 without using proving capabilities (think ‘partial’) for #agenticcoding loops. Discrepancies in training data size can be alleviated by creating synthetic code. These langs give top feedback at compile time. #AI labs listen
3/3

@hugovalters.bsky.socialSep 9, 2026, 11:12 AM

CVE-2026-87734 - Denial of Service in OCaml utcp package via out-of-order segment reassembly. CVSS 7.5. Update to version 0.0.6 now. #CVE #OCaml #infosec

https://www.valtersit.com/cve/CVE-2026-87734/

@tsmc.purely-functional.comSep 9, 2026, 12:42 AM

I've also put together a tree-sitter- grammar and neocaml support for Dream eml templates. I would love some feedback on the PR for Emacs OCaml people that use them. #ocaml #emacs github.com/bbatsov/neoc...

@tsmc.purely-functional.comSep 9, 2026, 12:40 AM

A couple of neocaml improvements landed recently. MLX/JSX syntax support github.com/bbatsov/neoc..., and odoc/mld support github.com/bbatsov/neoc.... We'd love to get feedback on those from our OCaml Emacs users. Neocaml is a modern, TreeSitter-powered, mode for programming in OCaml. #ocaml #emacs

@happy-homhom.bsky.socialSep 9, 2026, 12:04 AM

OCamlの学び方を、無料の英語版で手に入れられるようになった
https://papoo.work/doc/7643a5c26a1a2dd0
#ocaml #プログラミング学習 #技術書 #オープンライセンス #英語翻訳

@jbzfn.bsky.socialSep 8, 2026, 1:10 PM

🐫 Learn Programming with #OCaml

Load more