#macro_rules!

Right methodology, not nearly powerful enough

#proc_macros

Lisp-like methodology, but syn crate and DIY the AST, more importantly, the unholy diabolical compile times involved

#crabtime

idk, give reviews

Only if they learned from #Zig's #comptime/ #OCaml's #ppx

LET ME WRITE #RUST **AND** MANIPULATE ASTs, NOT AN XOR OF THEM

I've finally managed to tick off a box for my raylib bindings that I wanted to solve for literal years.

Like upstream raylib, we now separate the library into modules of `core`,
`text`, `shapes`, `textures`, `models`, and `audio`. The types all live
in `core`. This allows linking only a subset of the library surface, for
smaller binaries. A super-module `raylib` re-exports everything to link
the whole binding (including `rlgl`), so there is no breakage for users.

#ocaml #raylib

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml

https://coalton-lang.github.io/

#HackerNews #Coalton #Lisp #Haskell #OCaml #programming #language #development

My first taste of Lean.

Numerical integration of the standard normal distribution - it feels more like a modern OCaml used as a general-purpose language.

#Lean #Ocaml 🐫

OCaml Weekly News, for the week of May 19 to 26, 2026

https://discuss.tchncs.de/post/60986489

The #OCaml Weekly News for 2026-05-26 is out

https://alan.petitepomme.net/cwn/2026.05.26.html

I write #java for work, and #rust + #nushell at home. I will absolutely ramble about things I have no idea on :p

loves #reverseengineering and #binaries, will work on anything and everything low level. I love OS level shit, from the desktop ux to driver stability. I will absolutely ramble about #linux #arch and #nixos

I occasionally dabble with functional programming, and will totally not shut up about my #ocaml mmtk port.

As an aside, avid movie watcher, reader, manga enjoyer, anime enjoyer, and fanfic reader.

Here to have fun and enjoy!

I intended to write this for a while: Security issues to look out for in OCaml (based on security issues I discovered or helped fix in the past): https://discuss.ocaml.org/t/security-issues-to-look-out-for-in-ocaml/18158
OCaml prevents a certain category of security issues, but that shouldn't make us over-confident.

I tried to generalize a bit:

* security properties don't compose: module A and B can be secure on their own, but you still need to test/fuzz their interaction

* Look at security bugs fixed in other ecosystems. Chances are the OCaml implementation fell into the same trap that other implementations did.

#ocaml #security