Profile avatar
forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
51 posts 116 followers 266 following
Prolific Poster
Active Commenter
Posts 30 Comments 20

Original post: types.pl/@liamoc/1145...

submitted 14 days ago • 0 comments

Here's a short demo I gave to my students on proving a simple result without ltac (functional style). #Rocq gist.github.com/cogumbreiro/...

submitted 27 days ago • 1 comment

Paper reviewing, 5 out of 10 done, 2 weeks to go. 🥵

submitted 28 days ago • 0 comments

Z3 builds in Dune Developer Preview! <3 Love it. I can't wait to have time to make our project build with the new dune! #ocaml github.com/ocaml/dune/i...

submitted 28 days ago • 1 comment

@ NEPLS

submitted 30 days ago • 0 comments

Cross-compiling OCaml www.chrisarmstrong.dev/posts/ocaml-...

submitted 32 days ago • 0 comments

I really enjoy reviewing papers. I am reviewing this paper for OOPSLA. I understood the intro. The overview section started by making me giggle and the problem statement was clear as day. I'm pumped to discover what comes next. Hopefully, a strong accept.

submitted 41 days ago • 1 comment

ECS in #OCaml featuring extensible variant types and GADTs edwardwibowo.com/blog/ocaml-g...

submitted 55 days ago • 0 comments

new book on session types just dropped! www.cambridge.org/us/universit...

submitted 66 days ago • 0 comments

Finally, a roguelike powered by OCaml's type system! github.com/Octachron/ro...

submitted 67 days ago • 0 comments

Unite! Visiting Professorship Programme at TU Darmstadt (2nd Call) is open for applications until 31 March. 🔗 More information: tinyurl.com/3ppnw75f #TécnicoLisboa #ULisboa

submitted 76 days ago • 0 comments

I'm visiting the University of Utah this upcoming week. First time at Salt Lake City. Excited for a week of research!

submitted 84 days ago • 0 comments

We're hiring Professors at all levels! If you work on #SoftwareEngineering or #PL and wouldn't mind working in sunny Lisbon, get in touch!

submitted 87 days ago • 1 comment

The new Claude Code CLI amazingly built high-level OCaml bindings to drive my Adafruit Matrix LED display from scratch, but it does desperately need a more sophisticated sandboxing model. anil.recoil.org/notes/claude..., including recent work with @neurocy.bsky.social and @patrick.sirref.org

submitted 98 days ago • 3 comments

I bought @unpackinggame.com. The objective is to organize a room that you just moved in. You're unpacking these boxes and placing the items in drawers, closets etc. I love the irony of playing Unpacking while being at a messy room that I should be cleaning. It's a unique game in that way.

submitted 100 days ago • 0 comments

Today I played around with dune's integration of Rocq. Took me a while to wrap my head around the defaults and options. I also installed VSCoq for the first time. I learned that profiles are the only sane way for me to experience VSCode.

submitted 104 days ago • 0 comments

SSA implementation notes, by pizlonator. gist.github.com/pizlonator/c...

submitted 112 days ago • 0 comments

Neat usage of GADTs: dev.to/maxim092001/... #ocaml

submitted 114 days ago • 0 comments

A brief survey on generating SSA: https://bernsteinbear.com/blog/ssa/

submitted 117 days ago • 0 comments

I really enjoy being in the program committee of ITiCSE (Innovation and Technology in CSE). The last couple of years I have witness an influx on uses of AI to help education, which has been quite interesting. iticse.acm.org/history/

submitted 123 days ago • 0 comments

github.com/google-resea... This looks useful to submit sources to conferences as well.

submitted 124 days ago • 0 comments

Lin Oshitani sharing his experience "Writing a Game Boy Emulator in OCaml", his learnings and how it got him a job! #Live at #FnConf 2025 #GameBoy #emulator #OCaml

submitted 134 days ago • 3 comments

did you know about the odoc cheatsheet for writing documentation for your OCaml packages? ocaml.github.io/odoc/cheatsh...

submitted 149 days ago • 1 comment

CAV 2025 call for papers is out! The submission deadline is January 31, 2025. For more details, see: conferences.i-cav.org/2025/ Looking forward to your submissions!

submitted 157 days ago • 0 comments

The TFP 25 schedule is up, and it's a really nice looking lineup. If you're into programming languages or CS education and going to be in or around Oxford from 13-16 of January, you should really think about fitting it into your schedule! trendsfp.github.io/schedule.html

submitted 162 days ago • 1 comment

Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE: 2025.ecoop.org/track/ecoop-...

submitted 162 days ago • 1 comment

The new ROCQ branding looks great: rocq-prover.org/changelog/20.... The website feels familiar @ocaml.org :-)

submitted 164 days ago • 3 comments

@andersmoeller.bsky.social and I are co-chairing OOPSLA'26 and soliciting PC nominations. If you'd like to serve on the OOPSLA PC next year or know anyone (e.g., recent graduate) who you think would do a good job, please nominate them here: forms.gle/NVnzjcmbshoL...

submitted 167 days ago • 2 comments

Just bought Dome Keeper. I guess it's up to me to keep the horde away.

submitted 167 days ago • 0 comments

Trying out dune to build a #Rocq / #Coq project. CoqIDE works nicely with the following code in the first line: ``` -R _build/default/ projectname ``` I am still puzzled by how dune exposes namespacing, but alas, one day I'll learn.

submitted 168 days ago • 0 comments