rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
<discocaml>
<bluddy5> @companion_cube do iostreams work well with moonpool and fuseau?
trillion_exabyte has quit [Ping timeout: 256 seconds]
trillion_exabyte has joined #ocaml
bartholin has joined #ocaml
rgrinberg has joined #ocaml
Serpent7776 has joined #ocaml
famubu has quit [Quit: leaving]
Serpent7776 has quit [Ping timeout: 256 seconds]
micro has quit [Ping timeout: 255 seconds]
micro has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Serpent7776 has joined #ocaml
bacam has quit [Quit: reboot]
lane has quit [Remote host closed the connection]
duncan has quit [Remote host closed the connection]
brettgilio has quit [Remote host closed the connection]
pluviaq has quit [Remote host closed the connection]
whereiseveryone has quit [Remote host closed the connection]
ursa-major has quit [Remote host closed the connection]
kuruczgy has quit [Remote host closed the connection]
philipwhite has quit [Remote host closed the connection]
pmk has quit [Remote host closed the connection]
ggb has quit [Write error: Connection reset by peer]
_alix has quit [Remote host closed the connection]
b0o has quit [Remote host closed the connection]
sleepydog has quit [Remote host closed the connection]
patrick__ has quit [Remote host closed the connection]
immutable has quit [Remote host closed the connection]
Ankhers has quit [Remote host closed the connection]
jakzale has quit [Remote host closed the connection]
arya_elfren has quit [Remote host closed the connection]
toastal has quit [Remote host closed the connection]
soni_ has quit [Remote host closed the connection]
henrytill has quit [Remote host closed the connection]
migalmoreno has quit [Remote host closed the connection]
seeg has quit [Remote host closed the connection]
ymherklotz has quit [Remote host closed the connection]
richardhuxton has quit [Remote host closed the connection]
philipwhite has joined #ocaml
sleepydog has joined #ocaml
ggb has joined #ocaml
pmk has joined #ocaml
lane has joined #ocaml
jakzale has joined #ocaml
patrick__ has joined #ocaml
ymherklotz has joined #ocaml
_alix has joined #ocaml
migalmoreno has joined #ocaml
richardhuxton has joined #ocaml
immutable has joined #ocaml
arya_elfren has joined #ocaml
brettgilio has joined #ocaml
pluviaq has joined #ocaml
kuruczgy has joined #ocaml
whereiseveryone has joined #ocaml
henrytill has joined #ocaml
b0o has joined #ocaml
ursa-major has joined #ocaml
seeg has joined #ocaml
toastal has joined #ocaml
soni_ has joined #ocaml
duncan has joined #ocaml
Ankhers has joined #ocaml
bacam has joined #ocaml
olle has joined #ocaml
rgrinberg has joined #ocaml
szkl has joined #ocaml
Tuplanolla has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
fweht has joined #ocaml
olle has quit [Quit: leaving]
dhil has joined #ocaml
azimut has joined #ocaml
<darchitect>
hey guys, do you think language models will make research in Programming Languages obsolete ? Or maybe the designs of programming languages will try to accomodate the needs of LLMs as opposed to humans :/... just speculating
myrkraverk_ has quit [Remote host closed the connection]
<discocaml>
<idontwantausernamefeckoff> LLMs are a gimmick. they can’t wholesale replace actual design
<discocaml>
<idontwantausernamefeckoff> as for languages shifting to accommodate LLMs, stupid ones will. languages can also shift to accommodate stupid programmers, or stupid managers. i doubt ocaml will
<discocaml>
<Kali> obsolete? no. will languages tailor themselves towards llms? yes, it's already happening (see darklang)
jabuxas has joined #ocaml
<companion_cube>
@bluddy5 in theory it's the same type, I haven't actually tested
<companion_cube>
I do need to release the iostream with classes
<discocaml>
<Kali> ioostream
mima has joined #ocaml
mima has left #ocaml [#ocaml]
<Leonidas>
OCaml 5: we should avoid having an Lwt/Async split
<Leonidas>
OCaml Community: Here's 3 different concurrency libraries :D
<Leonidas>
(tongue in cheek reaction upon reading about fuseau)
<discocaml>
<idontwantausernamefeckoff> most of the blame imo lies with eio making their library a bit too opinionated and a bit too monolithic
<Leonidas>
Yeah, I do see your point
a51 has joined #ocaml
<companion_cube>
what @idontwantausernamefeckoff said
<companion_cube>
they want to be the big concurrency library for OCaml 5 but didn't listen to any feedback 🤷
szkl has quit [Quit: Connection closed for inactivity]
<discocaml>
<struktured> At least they all use the same underlying effect system...that's something, right?
<companion_cube>
the real problem is to have a standardized promise type, imho
<companion_cube>
picos could be that, but would the eio devs consider adopting it? :/
trillion_exabyte has quit [Ping timeout: 255 seconds]
trillion_exabyte has joined #ocaml
szkl has joined #ocaml
average has joined #ocaml
<discocaml>
<idontwantausernamefeckoff> it does surprise me that rust worked out a standardised promise type with great success, yet eio can’t
<companion_cube>
🤷
<companion_cube>
the flip side of that is that the stdlib also wouldn't care to include a promise type
<discocaml>
<idontwantausernamefeckoff> yeah, but if instead of one library eio came as maybe 2-3 providing a reusable promise type and scheduler that could be used separate to the io interface
<discocaml>
<idontwantausernamefeckoff> idk, i’m not sure of how that could work
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zanetti has joined #ocaml
<companion_cube>
it'd be very nice
<companion_cube>
even Lwt comes as a core library separated from IO
<companion_cube>
so do miou (afaik) and fuseau
<discocaml>
<idontwantausernamefeckoff> yeah
<discocaml>
<idontwantausernamefeckoff> giving the ocaml-multicore blessing to a common promise type and an unopinionated scheduler, with eio as a reference implementation on top, would have made a lot more sense than the situation today
<companion_cube>
I mean, 100% agree
<companion_cube>
but who was responsible for that? no one
<companion_cube>
the core team is like "the ecosystem will figure it out" (which is reasonable I suppose)
<companion_cube>
people who could fund work, funded Eio, and didn't (afaik) give a mandate to make a unopinionated common foundation
<discocaml>
<idontwantausernamefeckoff> it would help if the community now didn’t exacerbate things
<companion_cube>
🤷
<discocaml>
<idontwantausernamefeckoff> moonpool and however you spell the new one are a step in the right direction
jabuxas has quit [Read error: Connection reset by peer]
jabuxas has joined #ocaml
<companion_cube>
heh, thanks
dhil has quit [Ping timeout: 268 seconds]
average has quit [Quit: Connection closed for inactivity]
jabuxas has quit [Ping timeout: 268 seconds]
fweht has quit [Quit: Connection closed for inactivity]
Anarchos has joined #ocaml
<discocaml>
<rmu.> curious to what you are referring to by the "new one"
<discocaml>
<monk> it's been a decently long time since i've seriously touched ocaml (right before multicore landed). i was wondering if anyone has a recent recommendation for setting up a large project? i know the basics with dune, i'm more interested in either seeing existing codebases that leverage dune's bin/lib structure that i can poke around and look at for common patterns of code structure and org
<discocaml>
<monk> it's been a decently long time since i've seriously touched ocaml (right before multicore landed). i was wondering if anyone has a recent recommendation for setting up a large project? i know the basics with dune, i'm more interested in seeing either existing codebases that leverage dune's bin/lib structure that i can poke around or blogs that navigate common patterns of code structure
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
noddy has quit [Quit: WeeChat 4.2.1]
noddy has joined #ocaml
<discocaml>
<mbacarella> is Eio actually being used?
<discocaml>
<mbacarella> I know it exists and some libraries are supporting it
<companion_cube>
I don't use bin/lib personally, btw, I like having src/ and sub-directories under it
<discocaml>
<monk> hi cube, i'm not particular about the structure so that works for me, too.
<discocaml>
<monk> basically want to use a pattern that works for others and not get stuck on dumb module resolution confusion and stuff like that
rgrinberg has joined #ocaml
hwj has joined #ocaml
hwj has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hwj has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
hwj has quit [Client Quit]
hwj has joined #ocaml
<discocaml>
<idontwantausernamefeckoff> it’s being used more than any other effect based scheduler i know of. httpaf, cohttp and caqti all work quite well with it and dreams been working on a port
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<companion_cube>
talking about standards, it'd be nice, I think, to have a sort of `Context.t` to carry around with a `Hmap.t` inside
<companion_cube>
a bit like Go's context
<companion_cube>
to act as a form of dynamic storage really
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
raskol has quit [Ping timeout: 260 seconds]
dnh has joined #ocaml
Anarchos has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
raskol has joined #ocaml
rgrinberg has joined #ocaml
fweht has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
abbe__ has quit [Ping timeout: 252 seconds]
abbe__ has joined #ocaml
jabuxas has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Serpent7776 has quit [Ping timeout: 260 seconds]
bartholin has quit [Quit: Leaving]
<discocaml>
<idontwantausernamefeckoff> this is what feels so wrong about switches
<discocaml>
<idontwantausernamefeckoff> theyre a nice idea but they dont really do anything
<discocaml>
<idontwantausernamefeckoff> in theory they could be a higher-level threading interface with a permissions model and local storage (without losing a single thing the current version of eio claims in security or w/e)
<discocaml>
<idontwantausernamefeckoff> instead its just a higher level interface to cancellation contexts
Anarchos has quit [Quit: Vision[]: i've been blurred!]
dnh has joined #ocaml
jabuxas has quit [Ping timeout: 268 seconds]
<abbe__>
Is it possible to use inline assembly in Ocaml? I see some pages on ocamlwiki.com, but nothing conclusive :/\
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<discocaml>
<idontwantausernamefeckoff> abbe__: you could through the C FFI layer
<abbe__>
right, but that wouldn't be inline? I mean, I've to invoke a function to call the particular code, instead of having it inlined as part of the existing function
<abbe__>
Thanks, though. I'll go that route, I was hoping I wouldn't have to.