kcsrk.info - Profile | ThreadSky | a Reddit-style client for Bluesky

A follow up post on linearity and uniqueness: kcsrk.info/ocaml/modes/....

submitted 3 days ago • 1 comment

Using uniqueness mode for improving behavioural types: kcsrk.info/ocaml/modes/...

submitted 7 days ago • 3 comments

#OCaml #OCamlPlanet

submitted 19 days ago • 0 comments

Hack a satellite challenge hacksat.dev

submitted 28 days ago • 0 comments

I wrote up a quick post about the OCaml to Hazel transpiler I've been hacking on recently. Reusing OCaml's type inference to handle Hazel's explicit polymorphism has been pretty fun! patrick.sirref.org/hazel-of-ocaml

submitted 33 days ago • 2 comments

New readings this summer! Proof and the Art of Mathematics by Joel Hamkins 05 May 2025 to 09 Jul 2025, 9AM IST, all weekdays Topics on Tournaments by John W. Moon 05 May 2025 to 01 June 2025, 9PM IST, all days +

submitted 34 days ago • 1 comment

We've been having a "return to our blogging roots" to seize our attention economy back recently, and @jon.recoil.org might have catapulted to the lead with his "interactive OCaml notebook blog". Just needs wasm to make it full rube goldberg jon.recoil.org/blog/2025/04...

submitted 42 days ago • 1 comment

Nervously excited that we have more current openings than we have ever had before at @oxide.computer

submitted 39 days ago • 12 comments

Some notes on pathways to join my group at IIT Madras: kcsrk.info/ocaml/iitm/c...

submitted 40 days ago • 0 comments

The state of OCaml platform on Windows discuss.ocaml.org/t/ann-state-...

submitted 40 days ago • 0 comments

Honored to be honorably mentioned for the Jane Street Grad Fellowship! PL is well-represented on this list :) www.janestreet.com/join-jane-st...

submitted 45 days ago • 2 comments

As we're about to hear a whole lot more about autism and vaccines, the great @zachweinersmith.bsky.social has already pointed out the only relevant relationship between the two. www.smbc-comics.com/comic/autism...

submitted 50 days ago • 8 comments

🏃‍♂️It is that time of the year when Chennai weather starts turning into a sauna for a couple of months. This is at 5:30am! 🥵

submitted 51 days ago • 0 comments

If you're working on (high)performance for declarative languages - consider submitting your paper or abstract to FProPer (formerly FHPNC) this year! conf.researchr.org/home/icfp-sp...

submitted 53 days ago • 0 comments

c2rust is available on the Godbolt Compiler Explorer! c2rust is a tool we developed with Immunant that can convert nearly any piece of C code into compilable Rust godbolt.org/z/crsWEGEKM

submitted 53 days ago • 1 comment

Call for Volunteers to Help Maintain the Opam-Repository discuss.ocaml.org/t/call-for-v...

submitted 56 days ago • 0 comments

Anybody want to come work on Tailscale's internal dev tooling/productivity, CI, bots, dashboards, etc? Pretty please? 😅

submitted 59 days ago • 20 comments

Upcoming events on local-first: • Local-first Conf Berlin, Germany, 26–28 May www.localfirstconf.com – for industry folks • Workshop on Theory and Practice of Decentralized and Local-First Software, Bergen, Norway, 3 July 2025.ecoop.org/home/plf-pla... – for academics (industry crossover welcome)

submitted 59 days ago • 3 comments

A reminder that @benshapi.ro and I run CERAMICS: "Computing Education Research Advancing Methods for Curricula and Systems". It's for people trying to enter/succeed in CS Ed research and looking for help on how to do so. See FAQ linked below. Next deadline June 1: docs.google.com/document/d/e...

submitted 61 days ago • 0 comments

The only worthy successor to rhyming “chipotle” with “Aristotle”

submitted 62 days ago • 2 comments

...and @dra27.uk successfully showed off the relocatable compiler to the core OCaml devs yesterday. It'll be awesomely useful to have this in the core toolchain when it comes to playing well with package managers. www.dra27.uk/blog/platfor...

submitted 70 days ago • 0 comments

We just released OpenInfraQuote (oiq), an open source cost estimation tool built with OCaml. It runs in CI, reads Terraform plans and state files, and gives cost estimates from the CLI. No servers. More docs soon. We love building real tools in OCaml. github.com/terrateamio/... #ocaml #terraform

submitted 72 days ago • 1 comment

👀 Oleg Kiselyov's compilers course in OCaml 👀 okmij.org/ftp/tagless-...

submitted 63 days ago • 0 comments

One thing I really like about this talk is that it talks both about what kind of language OCaml is now, and also what are the design goals for the kind of language we want to turn it into. youtu.be/g3qd4zpm1LA?...

submitted 63 days ago • 1 comment

Making OCaml Safe for Performance Engineering youtu.be/g3qd4zpm1LA?...

submitted 63 days ago • 0 comments

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

submitted 64 days ago • 0 comments

The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.

submitted 65 days ago • 1 comment

. @shriram.bsky.social Do you know of research that looked at the effectiveness of MOOCs? I recall you mentioning that they have not been very effective. Curious to learn whether hybrid MOOCs were considered in such studies. IITs run hybrid programs like NPTEL and online BS where lectures..

submitted 67 days ago • 1 comment

damn, now I gotta figure out how to take a digital photograph without involving computer software

submitted 72 days ago • 15 comments

slides for my talk at #EpicWebConf2025 docs.google.com/presentation...

submitted 72 days ago • 4 comments

The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category! conf.researchr.org/home/icfp-sp... functional-architecture.org/events/funarch

submitted 79 days ago • 1 comment

Calling for Presentations!!! The OCaml Workshop 2025 welcomes presentations on any topic related to OCaml (such as multicore, algebraic effects, testing, ppxs, etc.) Have fun!! Submissions due: July 3rd AoE Workshop: Oct 17th Here's the link to website: conf.researchr.org/home/icfp-sp... #OCaml

submitted 74 days ago • 1 comment

submitted 76 days ago • 1 comment

Finished much faster than anticipated. 1:40:xx. Laser cut personalised medal is a nice touch. Not bad for first time running in the hills; 15k with 500m climb at 2600m. Only 10 minutes slower than my usual 15k morning runs in Chennai. Guessing regular runs at 25+C 85% humidity is good training.

submitted 76 days ago • 0 comments

Today at 10:01 CET the Sun was directly above Earth’s equator, marking the #SpringEquinox! 🌸 At this moment, our planet is neither tilted towards nor away from the Sun, creating nearly equal day/night. 🌓 This stunning image was captured by our Meteosat-12 satellite. 🛰️

submitted 79 days ago • 6 comments