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/
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
LainExperiments has quit [Ping timeout: 240 seconds]
Haudegen has quit [Quit: Bin weg.]
alfiee has joined #ocaml
LainExperiments has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
wbooze_ has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 265 seconds]
LainExperiments has quit [Quit: Client closed]
Tuplanolla has quit [Quit: Leaving.]
alfiee has joined #ocaml
euphores has quit [Read error: Connection reset by peer]
alfiee has quit [Ping timeout: 245 seconds]
euphores has joined #ocaml
ygrek has quit [Remote host closed the connection]
LainExperiments has joined #ocaml
LainExperiments has quit [Ping timeout: 240 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 272 seconds]
ygrek has joined #ocaml
williewillus` has joined #ocaml
williewillus` has quit [Changing host]
williewillus has joined #ocaml
williewillus has quit [Client Quit]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
ygrek has quit [Remote host closed the connection]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 276 seconds]
alfiee has joined #ocaml
Serpent7776 has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
alfiee has joined #ocaml
bartholin has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
bartholin has quit [Quit: Leaving]
Haudegen has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
olle has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
anpad has quit [Quit: ZNC 1.8.2 - https://znc.in]
anpad has joined #ocaml
olle has quit [Quit: leaving]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
Haudegen has quit [Quit: Bin weg.]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 272 seconds]
wbooze has joined #ocaml
wbooze has quit [Quit: Leaving]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Inline has joined #ocaml
Inline has quit [Remote host closed the connection]
Inline has joined #ocaml
Inline has quit [Quit: Leaving]
gentauro has quit [Ping timeout: 272 seconds]
gentauro has joined #ocaml
mange has quit [Quit: Zzz...]
wbooze has joined #ocaml
Inline has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
wbooze has quit [Read error: Connection reset by peer]
Inline has quit [Read error: Connection reset by peer]
wbooze has joined #ocaml
Inline has joined #ocaml
ygrek has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
Inline_ has joined #ocaml
wbooze_ has joined #ocaml
wbooze has quit [Ping timeout: 244 seconds]
Inline is now known as Guest5522
Guest5522 has quit [Killed (mercury.libera.chat (Nickname regained by services))]
Inline_ is now known as Inline
wbooze_ is now known as wbooze
wickedshell has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
trillion_exabyte has quit [Ping timeout: 260 seconds]
trillion_exabyte has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
cr1901 has quit [Read error: Connection reset by peer]
Inline has quit [Ping timeout: 252 seconds]
wbooze has quit [Ping timeout: 272 seconds]
Inline has joined #ocaml
wbooze has joined #ocaml
euphores has quit [Quit: Leaving.]
cr1901 has joined #ocaml
euphores has joined #ocaml
Anarchos has joined #ocaml
<Anarchos> my old blog post, for advice of the ocaml/coq/compcert community
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
wbooze has quit [Remote host closed the connection]
wbooze has joined #ocaml
cr1901_ has joined #ocaml
cr1901 has quit [Ping timeout: 260 seconds]
wickedshell has joined #ocaml
Inline has quit [Ping timeout: 245 seconds]
wbooze has quit [Ping timeout: 260 seconds]
cr1901_ is now known as cr1901
wickedshell has quit [Ping timeout: 276 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
Anarchos has quit [Quit: Client closed]
bartholin has joined #ocaml
Haudegen has joined #ocaml
Tuplanolla has joined #ocaml
alfiee has joined #ocaml
Inline has joined #ocaml
wbooze has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
cr1901 has quit [Read error: Connection reset by peer]
wickedshell has joined #ocaml
cr1901 has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
j0lol has joined #ocaml
cr1901_ has joined #ocaml
cr1901 has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
cr1901_ is now known as cr1901
alfiee has quit [Ping timeout: 276 seconds]
Inline has quit [Ping timeout: 245 seconds]
wbooze has quit [Ping timeout: 268 seconds]
Anarchos has joined #ocaml
alfiee has joined #ocaml
wbooze has joined #ocaml
Inline has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
wickedshell has quit [Read error: Connection reset by peer]
<sleepydog> this is kind of an open question; has anyone used an API for encoding TLV structures that they really liked? I've always found it to be a little awkward because of the need to track the length as you write
alfiee has joined #ocaml
<companion_cube> What kind of TLV?
alfiee has quit [Ping timeout: 244 seconds]
<companion_cube> For stuff like protobuf you can encode backwards
Inline has quit [Ping timeout: 268 seconds]
wbooze has quit [Ping timeout: 272 seconds]
<sleepydog> sure, protobuf, asn1 BER, anything where the length comes before the data and is variable
<sleepydog> right now i'm working with Netlink which is the same
<sleepydog> encoding backwards is a good idea
<sleepydog> i find i make a lot of mistakes calculating the amount of data i've written because i'm doing it manually
<sleepydog> like `let written = len - remaining_len (* oops I shadowed len and it's not what I think *)`
<companion_cube> I have a protobuf library where I do the writing backward
<companion_cube> Into a kind of resizable byte array but where data is at the end, not at the beginning
<sleepydog> is it ocaml-protoc ?
<sleepydog> i think remember stumbling across a commit message from you about writing in reverse years ago
mange has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
bartholin has quit [Quit: Leaving]
alfiee has joined #ocaml
Der_Teufel has quit [Ping timeout: 248 seconds]
alfiee has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Quit: leaving]
DerTeufel has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
wickedshell has joined #ocaml
Inline has joined #ocaml
wbooze has joined #ocaml
Inline has quit [Ping timeout: 252 seconds]
wbooze has quit [Ping timeout: 252 seconds]
alfiee has joined #ocaml