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/
<discocaml> <dubious245> I second bogue.
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 276 seconds]
Inline has quit [Quit: Leaving]
Tuplanolla has quit [Quit: Leaving.]
Inline has joined #ocaml
<discocaml> <yawaramin> does Bogue have skins or schemes that make it look native?
<discocaml> <yawaramin> or themes
Frostillicus has joined #ocaml
Frostillicus has quit [Remote host closed the connection]
Frostillicus has joined #ocaml
nirvdrum741 has quit [Quit: The Lounge - https://thelounge.chat]
Frostillicus has quit [Ping timeout: 244 seconds]
Frostillicus has joined #ocaml
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 252 seconds]
Frostillicus has quit [Ping timeout: 260 seconds]
deadmarshal_ has quit [Remote host closed the connection]
nirvdrum741 has joined #ocaml
Frostillicus has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Inline has quit [Quit: Leaving]
deadmarshal_ has joined #ocaml
Frostillicus has quit [Ping timeout: 245 seconds]
_whitelogger has joined #ocaml
ygrek has joined #ocaml
_whitelogger has joined #ocaml
euphores has quit [Quit: Leaving.]
euphores has joined #ocaml
Everything has joined #ocaml
Frostillicus has joined #ocaml
ygrek has quit [Remote host closed the connection]
Frostillicus has quit [Ping timeout: 252 seconds]
<discocaml> <lukstafi> PS. Hoping polls are not too disruptive for the IRC bridge, was thinking of asking on #meta but decided to just ask here.
Serpent7776 has joined #ocaml
Frostillicus has joined #ocaml
Serpent7776 has quit [Ping timeout: 252 seconds]
euphores has quit [Quit: Leaving.]
euphores has joined #ocaml
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 272 seconds]
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 265 seconds]
Frostillicus has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
Frostillicus has joined #ocaml
Tuplanolla has joined #ocaml
Frostillicus has quit [Ping timeout: 245 seconds]
Frostillicus has joined #ocaml
<discocaml> <bluddy5> Immutable arrays are really only needed for super-fast random access reads. This need will show up in near-realtime circumstances, and is unlikely to be relevant to compilation.
leah2 has quit [Ping timeout: 272 seconds]
YuGiOhJCJ has quit [Remote host closed the connection]
YuGiOhJCJ has joined #ocaml
leah2 has joined #ocaml
Serpent7776 has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
<discocaml> <._null._> They can also be needed for trust reasons. I believe Rocq is trying to switch to immutable arrays for its AST (unrelated to them being added to the Stdlib though)
myrkraverk_ has joined #ocaml
<discocaml> <._null._> (It currently has regular arrays, for speed)
myrkraverk has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
Everything has quit [Quit: leaving]
Frostillicus has joined #ocaml
patrick_ is now known as patrick
kurfen has quit [Ping timeout: 272 seconds]
patrick has quit [Changing host]
patrick_ has joined #ocaml
toastal has joined #ocaml
wbooze has joined #ocaml
<discocaml> <deepspacejohn> the 5.4 immutable arrays feel like mostly a convenience. if you really needed them before, you could implement them yourself with an abstract/private type. 5.4 just reduces the friction.
leah2 has quit [Ping timeout: 248 seconds]
Serpent7776 has quit [Ping timeout: 252 seconds]
leah2 has joined #ocaml
toastal has quit [Ping timeout: 248 seconds]
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 252 seconds]
Everything has joined #ocaml
leah2 has quit [Ping timeout: 244 seconds]
Frostillicus has quit [Ping timeout: 268 seconds]
leah2 has joined #ocaml
Frostillicus has joined #ocaml
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 265 seconds]
Frostillicus has quit [Ping timeout: 276 seconds]
Serpent7776 has joined #ocaml
toastal has joined #ocaml
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 276 seconds]
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 248 seconds]
wbooze has quit [Quit: Leaving]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 244 seconds]
Everything has quit [Quit: leaving]
toastal has left #ocaml [#ocaml]
myrkraverk__ has joined #ocaml
myrkraverk_ has quit [Ping timeout: 252 seconds]
YuGiOhJCJ has joined #ocaml
myrkraverk has joined #ocaml
<discocaml> <aguluman> Could people in the community livestream on discord, while they are coding or vibe coding, for chit chatting and knowledge transfer?
<discocaml> <aguluman> ๐ŸŽˆ ๐Ÿซ‚ ๐Ÿงก
myrkraverk__ has quit [Ping timeout: 260 seconds]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 268 seconds]
Frostillicus has joined #ocaml
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 268 seconds]
dhil has joined #ocaml
Serpent7776 has quit [Ping timeout: 252 seconds]
Frostillicus has quit [Read error: Connection reset by peer]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 276 seconds]
myrkraverk has joined #ocaml
infinity0 has quit [Ping timeout: 248 seconds]
myrkraverk_ has quit [Ping timeout: 244 seconds]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 268 seconds]
infinity0 has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
bartholin has quit [Quit: Leaving]
<discocaml> <youngkhalid> I wish there would be more OCaml content in general, whether it's yt videos / streams..etc but they all busy using worse languages...
<discocaml> <youngkhalid> The only "live coding" videos we got were a couple from tsoding, and some from the tj guy writing some parser / lexer but that's all
<discocaml> <youngkhalid> The rest is either the cornell guy, conferences / jane street, or some bad quality content
<discocaml> <rosso0815> "but they all busy using worse languages" very subjective and nuanced topic
<companion_cube> Idk streaming seems like a pain
<discocaml> <darrenldl> you need to be really free to stream consistently with no pay
<discocaml> <contificate> people underestimate the effort required to talk a lot and also think through a difficult problem
<discocaml> <darrenldl> and to keep audience engaged enough to stick around
deavmi has quit [Ping timeout: 276 seconds]
ygrek has joined #ocaml
Mister_Magister has quit [Quit: bye]
Mister_Magister has joined #ocaml
<companion_cube> And to be in a quiet, not ugly space where you can stream without outside interference
Tuplanolla has quit [Quit: Leaving.]