Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
wingsorc has joined #ocaml
_tjr_ has quit [Ping timeout: 256 seconds]
adrien has quit [Ping timeout: 256 seconds]
adrien has joined #ocaml
vijon has joined #ocaml
_tjr_ has joined #ocaml
wyrd has quit [Remote host closed the connection]
omegatron has quit [Quit: No Ping reply in 180 seconds.]
wyrd has joined #ocaml
vijon has quit [Quit: vijon]
wyrd has quit [Remote host closed the connection]
wyrd has joined #ocaml
hornhack has joined #ocaml
vicfred_ has joined #ocaml
vicfred has quit [Read error: Connection reset by peer]
ralu has quit [Quit: Ping timeout (120 seconds)]
spip has joined #ocaml
ralu has joined #ocaml
bobo has quit [Ping timeout: 256 seconds]
hackinghorn has quit [Ping timeout: 272 seconds]
dhil has quit [Ping timeout: 240 seconds]
vicfred_ has quit [Quit: Leaving]
<d_bot_> <daccord77> Looking for a lightweight note-taking tool (not the Notion-like type:)) with native NFT support, any suggestions? I randomly found a project (web link): metanotey.io which looks promising. But still in early beta
azimut has joined #ocaml
<companion_cube> I don't think people here particularly like NFTs
<d_bot_> <mnxn> why on earth would you need NFTs in a note taking app?
<d_bot_> <mnxn> this reads like an advertisement and also has nothing to do with ocaml
<companion_cube> hu, good call
<d_bot_> <mnxn> @admin I think this is advertising spam and should be removed
<d_bot_> <mnxn> the user isn't even in the discord server anymore
<companion_cube> lol, ok
<d_bot_> <Perry> They remove the message, but the user was already gone.
<d_bot_> <Perry> I presume everyone reported the spam btw, that alerts Discord.
<d_bot_> <NULL> A Google search brought 3 results with one saying users reported the website as a scam, but I registered in (through Tor) and it looked decent and didn't try to make me buy stuff (not outright). So weird
<companion_cube> a NFT editor can't be anything but a scam
<d_bot_> <Perry> A spammer is a scammer.
<d_bot_> <NULL> It looked like a notes app, nothing with NFT on the main page of the app
<companion_cube> @Perry true.
<d_bot_> <NULL> Not trying to appeal the ban/deletion at all, it looked way to suspicious
<d_bot_> <mnxn> their core feature is a context menu to publish notes to an NFT marketplace
<d_bot_> <mnxn> and it doesn't matter whether the website is legitimate or not, advertising like that is bad enough
rgrinberg has joined #ocaml
unyu has quit [Quit: Reboot.]
mbuf has joined #ocaml
unyu has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
dh` has joined #ocaml
gravicappa has joined #ocaml
gravicappa has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 240 seconds]
waleee has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
hornhack has quit [Ping timeout: 240 seconds]
hornhack has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hornhack is now known as hackinghorn
Serpent7776 has joined #ocaml
xenu_ has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
xenu has quit [Read error: Connection reset by peer]
mro has joined #ocaml
dextaa_ has quit [Remote host closed the connection]
tomku has quit [Ping timeout: 240 seconds]
tomku has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
perrierjouet has quit [Client Quit]
xenu_ is now known as xenu
wonko has joined #ocaml
jlrnick has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
jlrnick has quit [Ping timeout: 252 seconds]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 272 seconds]
dhil has joined #ocaml
olle has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
perrierjouet has joined #ocaml
bartholin has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
gravicappa has joined #ocaml
mro has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
<d_bot_> <VPhantom> There's a way to report SPAM on Discord now?
<ns12> How do I report spam on IRC?
<d_bot_> <Perry> Yes. You click on the message etc. And obviously IRC can’t do that.
<d_bot_> <VPhantom> There is no such option on Discord's web client, sadly.
<d_bot_> <orbitz> The webclient doesn't support it, mobile client does
<d_bot_> <VPhantom> Reply, Mark unread, Copy message link, Speak message.
mro has quit [Remote host closed the connection]
<d_bot_> <VPhantom> Wow, that's a shame. I thought all their UIs were on par with each other.
<d_bot_> <orbitz> That's an odd one to leave out too ha
<ns12> It's really primitive. There's no speech to text, voice control, or mind control.
bobo has joined #ocaml
spip has quit [Ping timeout: 272 seconds]
Haudegen has quit [Quit: Bin weg.]
jlrnick has joined #ocaml
mro has joined #ocaml
Haudegen has joined #ocaml
<d_bot_> <Dennis> i started playing with domains and channels to build an in-memory pubsub. It's a pretty straightforward implementation in Go. Sending, waiting, and receiving on domainslib channels _appear_ to look like how I'd do it in Go, but I'm running into strange behaviors.
<d_bot_> <Dennis>
<d_bot_> <Dennis>
<d_bot_> <Dennis> can any other curious soul tell me if I'm publishing to channels and waiting on reads from channels/domains properly?
<d_bot_> <Dennis> i started playing with domains and channels to build an in-memory pubsub. It's a pretty straightforward implementation in Go. Sending, waiting, and receiving on domainslib channels appear to look like how I'd do it in Go, but I'm running into strange behaviors.
<d_bot_> <Dennis>
<d_bot_> <Dennis>
<d_bot_> <Dennis> can any other curious soul tell me if I'm publishing to channels and waiting on reads from channels/domains properly?
<d_bot_> <Dennis>
<d_bot_> <Dennis> thanks for redirecting me @Bluddy !
jlrnick has quit [Read error: Connection reset by peer]
gravicappa has quit [Ping timeout: 272 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
adanwan has quit [Ping timeout: 240 seconds]
adanwan has joined #ocaml
Tuplanolla has joined #ocaml
wonko has quit [Ping timeout: 252 seconds]
gravicappa has joined #ocaml
rgrinberg has joined #ocaml
mbuf has quit [Quit: Leaving]
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 272 seconds]
mro has joined #ocaml
mro has quit [Ping timeout: 250 seconds]
mro has joined #ocaml
jlrnick has joined #ocaml
mro has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Quit: Bin weg.]
mro has joined #ocaml
mro has quit [Ping timeout: 250 seconds]
<d_bot_> <kurtz> late to the conversation but the "desktop" client doesn't have the report spam feature either which simply makes no sense to me?
<d_bot_> <orbitz> I did notice if you go to the users profile you can report the user as spam
<d_bot_> <kurtz> the best you could do is just block someone
<d_bot_> <kurtz> hmm i must have missed that
<d_bot_> <orbitz> oh wiat, maybe it's only the DM view.. which is odd
<d_bot_> <kurtz> absurd
rgrinberg has joined #ocaml
<d_bot_> <kurtz> honestly that amazes me given that crypto stuff almost exclusively runs through discord and, similarly, a ton of the scamming ecosystem
mro has joined #ocaml
waleee has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
wonko has joined #ocaml
wonko has quit [Remote host closed the connection]
wonko has joined #ocaml
wonko has quit [Remote host closed the connection]
wonko has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has quit [Quit: Leaving]
wonko- has joined #ocaml
wonko has quit [Ping timeout: 250 seconds]
<d_bot_> <VPhantom> Blocking's nice but I want Discord to have knowledge of the user's wrong doing, so that if a threshold of spam reports is reached, the user is suspended for review or something. Right now spam-bots have a field day in some servers.
ralu has quit [Quit: The Lounge - https://thelounge.chat]
ralu has joined #ocaml
jlrnick has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
<d_bot_> <RegularSpatula> I had a small script and about 50% of the runtime was in the `Core.String.split` function. So I did a quick benchmark on a couple of different string split function (Core's, a specialized version of Core's, and the OCaml stdlib's `split_on_char`). Core's string split was a good bit slower than the stdlib's...it just got me wondering if there are any more benchmarks comparing Core and Stdlib.
<d_bot_> <RegularSpatula> (Gist link if you're interested: https://gist.github.com/mooreryan/220b47feea6b253630dab09c4b6ed18c)
mro has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
zebrag has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
mro has joined #ocaml
<d_bot_> <Butanium (@me on answer)> Does the Core one split on strings or on char ?
<companion_cube> impressive that `split` is so much slower
<companion_cube> I guess it's bound checks?
<companion_cube> oh wait, you don
<companion_cube> don't use String.index_from
mro has quit [Remote host closed the connection]
omegatron has joined #ocaml
<d_bot_> <RegularSpatula> Here is Core's version: https://pastebin.com/5U0Fejpy
<d_bot_> <RegularSpatula> ccube: The split you see there is basically Core's minus the part where they use an anon fun for checking the delimiter
<companion_cube> that's in Core? :o
<d_bot_> <RegularSpatula> yeah
<companion_cube> I'm surprised, I would have expected some unsafe_get
<d_bot_> <RegularSpatula> Yeah the stdlib one uses unsafe get to get the current char and check if it is the `sep`...core uses `str.[index]`
<d_bot_> <RegularSpatula> Core's string `sub` function is also different from the stdlibs...
<companion_cube> also, having the same function that handles a list of separators
<companion_cube> clearly going to be less optimized
<d_bot_> <RegularSpatula> yeah you can see in the little bench that just making a dedicated split function for one `char` and not changing anything else even helped a lot
<d_bot_> <RegularSpatula> just for fun a did a split function that takes an already allocated array and fills that instead of a list (obviously brittle) ...it was a bit slower than stdlib split, but used half the words
<companion_cube> tbh if you want real perf, of course, you shouldn't really split
<companion_cube> just iterate on slices, without calling `sub`
<d_bot_> <RegularSpatula> yeah thats true
<d_bot_> <RegularSpatula> core has a slice, but it does allocate a new string for each slice...just give me the bytes (your favorite topic lol)
<companion_cube> :-/
vicfred has joined #ocaml
<d_bot_> <RegularSpatula> oh nice, i will check that out thanks
gravicappa has quit [Ping timeout: 256 seconds]
<d_bot_> <keegan> is there a lib for emitting compiler diagnostics, e.g. in a compiler for highlighting lines and providing warnings/errors. even if I could use the one that the ocaml compiler uses if it's published on opam
<companion_cube> there's pp_loc
<companion_cube> doesn't do the warnings/errors, but it does give you a way to quote the file
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
waleee has quit [Ping timeout: 252 seconds]
waleee has joined #ocaml
olle has joined #ocaml
szkl has joined #ocaml
motherfsck has quit [Ping timeout: 272 seconds]
motherfsck has joined #ocaml
<olle> You guys ever heard about event sourcing?
<companion_cube> a bit on HN :p
<olle> I'm thinking about the connection between that and tagless-final
<olle> and
<d_bot_> <VPhantom> Ah yeah, event sourcing is in the same line of thought as those sync-less log ideas. (i.e. Log that you add $10 to your account instead of updating the balance directly.)
<olle> Yes, but every event has a representation
<olle> And you separate the event and its interpreter
<d_bot_> <VPhantom> It's the kind of broad idea that looks great in an initial brainstorm but I have no idea how it fares in real-world implementations. It takes quite a commitment to do everything "transactional" like that.
<olle> Oh yeah
jlrnick has joined #ocaml
<d_bot_> <orbitz> Certain things work really well with jt. Other things less so. Me feel on event sourcing is it's not a generalized solution like it often sold but a specific solution to data with a certain set of properties
<olle> Sure
<companion_cube> like, if you were gonna write a big fold anyway
<companion_cube> why not serialize the stream of data itself?
<olle> Hm
<Corbin> VPhantom: It is an extraordinary commitment. It's only worth it if the events correspond to physical changes, e.g. tracking packages in a shipping system.
wonko- has quit [Ping timeout: 250 seconds]
caasih has quit [Read error: Connection reset by peer]
caasih has joined #ocaml
szkl has quit [Ping timeout: 240 seconds]
szkl has joined #ocaml
Serpent7776 has quit [Quit: leaving]
rgrinberg has joined #ocaml
vijon has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
vijon has quit [Quit: vijon]
waleee has quit [Ping timeout: 256 seconds]
waleee has joined #ocaml
motherfsck has quit [Quit: quit]
Tuplanolla has quit [Quit: Leaving.]
waleee has quit [Ping timeout: 240 seconds]
vijon has joined #ocaml
sagax has quit [Excess Flood]
waleee has joined #ocaml
<d_bot_> <kurtz> if i were reading from input binary numbers in the form of `[0|1]+`, eg `011` or `11110` or `000010` and so on, how could i read them in as binary literals without losing any with leading `0`s?
Haudegen has quit [Ping timeout: 240 seconds]
<d_bot_> <kurtz> Scanf indicates `%i` matches on the pattern `0b[0-1]+` but not simply `[0-1]+`