companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
terrorjack4 has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack4 has joined #ocaml
f[x] has quit [Remote host closed the connection]
toastal has joined #ocaml
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
toastal has quit [Ping timeout: 272 seconds]
toastal has joined #ocaml
Anarchos has joined #ocaml
bartholin has quit [Quit: Leaving]
bcksl has quit [Quit: \]
end has quit [Quit: end]
Absalom has joined #ocaml
bcksl has joined #ocaml
end has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
ansiwen_ has quit [Ping timeout: 252 seconds]
ansiwen has joined #ocaml
emp has joined #ocaml
alexherbo2 has joined #ocaml
emp has quit [Ping timeout: 255 seconds]
ansiwen has quit [Ping timeout: 255 seconds]
ansiwen has joined #ocaml
kurfen has quit [Ping timeout: 252 seconds]
kurfen has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
mbuf has joined #ocaml
<discocaml> <cswine> why are there papers for every little thing in compiler optimization
sailorCa- has quit [Remote host closed the connection]
sailorCat has joined #ocaml
Anarchos has joined #ocaml
bibi_ has quit [Remote host closed the connection]
<discocaml> <otini_> I’d say, because checking that optimizations are correct is not easy and so each proof is a legitimate research finding?
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<dh`> have you run across the concept of a "least publishable unit"?
<discocaml> <ada2k> i imagine writing an academic paper is a good way to get to work on otherwise niche projects
toastal has left #ocaml [Error from remote client]
Tuplanolla has joined #ocaml
bartholin has joined #ocaml
Anarchos has joined #ocaml
leah2 has quit [Ping timeout: 244 seconds]
leah2 has joined #ocaml
myrkraverk_ has quit [Read error: Connection reset by peer]
myrkraverk has joined #ocaml
mbuf has quit [Quit: Leaving]
eilvelia has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
bartholin has quit [Quit: Leaving]
Serpent7776 has quit [Ping timeout: 244 seconds]
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #ocaml
<discocaml> <lukstafi> When can we expect `ctypes` support for half-precision? I could venture a PR... (Seems mostly straightforward but very invasive.)
cr1901 has quit [Remote host closed the connection]
cr1901 has joined #ocaml
cr1901 has quit [Client Quit]
cr1901 has joined #ocaml
eilvelia has quit [Quit: WeeChat]
<discocaml> <lukstafi> Half-precision is part of C23 as `_Float16`.
gentauro has quit [Read error: Connection reset by peer]
gentauro has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]