<d_bot>
<darrenldl> fuctions are less expressive than macros though
<d_bot>
<mk-fg> Main difference is that macros tend to be expanded at or before compilation, which is not exactly same thing
<d_bot>
<RegularSpatula> Has anyone done any benchmarking of ocaml-re vs re2? I was just doing some now and it seems re is faster than re2 on matching, but uses more memory than re2. Of course, they're just some little benchmarks I threw together in the last 15 minutes...
<cemerick>
Drup: it feels like a lost opportunity that tyxml-jsx doesn't automatically wrap known string references with `txt`
CodeBitCookie[m] has quit [Ping timeout: 265 seconds]
smondet[m] has quit [Ping timeout: 265 seconds]
mclovin has quit [Ping timeout: 265 seconds]
ks_ has quit [Ping timeout: 265 seconds]
Fardale has quit [Ping timeout: 265 seconds]
saltrocklamp[m] has quit [Ping timeout: 265 seconds]
Fardale has joined #ocaml
ks_ has joined #ocaml
smondet[m] has joined #ocaml
mbuf has joined #ocaml
CodeBitCookie[m] has joined #ocaml
mclovin has joined #ocaml
gravicappa has joined #ocaml
saltrocklamp[m] has joined #ocaml
gravicappa has quit [Ping timeout: 252 seconds]
[itchyjunk] has quit [Read error: Connection reset by peer]
waleee has quit [Ping timeout: 246 seconds]
xd1le has joined #ocaml
wilfred has joined #ocaml
shawnw has quit [Ping timeout: 250 seconds]
mro has joined #ocaml
<d_bot>
<tourist> Hi
xiongxin has joined #ocaml
xiongxin has quit [Ping timeout: 265 seconds]
olle has joined #ocaml
Haudegen has joined #ocaml
olle has quit [Ping timeout: 245 seconds]
<Drup>
cemerick: .. it already should do that ?
<d_bot>
<Drup> @RegularSpatula that matches my intuition, and the previous benches I have seen on re vs. re2. `re` is not very frugal, but has bounded memory usage, unlike something like pcre
wilfred has quit [Quit: Connection closed for inactivity]
hendursa1 has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
wonko has joined #ocaml
xiongxin has joined #ocaml
olle has joined #ocaml
kakadu has joined #ocaml
<d_bot>
<remyzorg> Hi. Is there a place to share internship/job offers ?
<d_bot>
<Drup> @remyzorg I would suggest using discuss for that, it's more perene
<d_bot>
<remyzorg> Right, thanks @Drup
glassofethanol has joined #ocaml
gravicappa has joined #ocaml
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
Everything has quit [Ping timeout: 268 seconds]
Everything has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
xd1le has quit [Quit: xd1le]
[itchyjunk] has joined #ocaml
[itchyjunk] has quit [Remote host closed the connection]
[itchyjunk] has joined #ocaml
mro has joined #ocaml
<cemerick>
Drup: it does, for string literals, but not bindings/parameters
<cemerick>
i.e. `() => <p>"a"</p>` works, but `(v: string) => <p>v</p>` doesn't; `(v: string) => <p>{txt(v)}</p>` is required instead
<d_bot>
<Drup> cemerik: yes that is expected, tyxml's JSX does not have access to typing informations
<d_bot>
<Drup> it can only look at the syntax
Haudegen has joined #ocaml
zebrag has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
waleee has joined #ocaml
mro has quit [Remote host closed the connection]
<olle>
"the average across
<olle>
techniques, we can achieve 0.5–1 fault
<olle>
many languages and development
<olle>
efforts for “good” software is around six
<olle>
faults per KLOC, and that with our best
<olle>
per KLOC. "
<olle>
Bah
<olle>
Hm
mro has joined #ocaml
<d_bot>
<Drup> (to put in perspective with the language and programming style used)
mro has quit [Ping timeout: 245 seconds]
<olle>
Hm, that study used case studies with assembler and Ada, with similar fault density, it seems
<olle>
The interesting opinion of the author was that medium-sized components were better than both small and big dito
<olle>
I don't know what the integral of a complexity measure means :/
xand0 has joined #ocaml
<Corbin>
A measure is a way to talk about density, area, etc. when we would normally have uncountability. Like, probabilities are usually done with measurable spaces.
<Corbin>
And an integral of a measure is just a sum of some measured region's area.
<octachron>
On a countable measurable space, an integral can be reduced to a weighted sum.
wonko has quit [Ping timeout: 245 seconds]
<d_bot>
<RegularSpatula> I expected re2 to be faster as it is wrapping google's c++ library whereas ocaml-re is pure ocaml, but looking at the re2 wrapper code, option and or_error are used a lot (even many of the exception raising functions first go through one of the monads, iirc)...so maybe that is slowing it down...? Or maybe they take a different approach to regex...I haven't really looked at ocaml-re code.
olle has quit [Ping timeout: 245 seconds]
<companion_cube>
does Re support unicode now?
Haudegen has quit [Quit: Bin weg.]
[itchyjunk] has quit [Read error: Connection reset by peer]
<d_bot>
<RegularSpatula> I don't think so (https://github.com/ocaml/ocaml-re/issues/24). I'm guessing github user c-cube is you though... sorry for posting a link to a gihtub issue that you commented on haha
<companion_cube>
:D
<companion_cube>
it's been a while
mro has quit [Remote host closed the connection]
Tuplanolla has joined #ocaml
<d_bot>
<RegularSpatula> from skimming some of the issues, it looks like it will need some pretty indepth changes to support unicode
vicfred has joined #ocaml
<d_bot>
<monk> robust unicode support in a nut shell
<d_bot>
<monk> i came into programming just late enough to see languages that made utf8 something you don't think about *and* to see those that have to work their way into supporting it
<d_bot>
<Drup> you underestimate re's degree of magic :p
<d_bot>
<monk> utf8 is actually a nice spec but also seeing the issues of how it gets supported is a loss of innocence kind of thing
<d_bot>
<RegularSpatula> lol that's probably true
<companion_cube>
utf8 isn't bad
<companion_cube>
it's stuff like unicode normalization that will get you
<d_bot>
<monk> a bunch of abstractions melt apart once you have to worry about things beyond the scope of the characters on your keyboard, lol
<d_bot>
<monk> yeah utf8 is good, don't get me wrong
<d_bot>
<RegularSpatula> fwiw here's a line from re2 docs: "The strings are considered according to Options.encoding which is UTF-8 by default (the alternative is ISO 8859-1)."
<d_bot>
<monk> compared to all the software standards out there in the world, utf8 is a rarity in that it's pretty simple and it solves the problem rather well
<d_bot>
<monk> i have to work on parsing pdf's. utf8 is a saint in comparison lol.
<d_bot>
<RegularSpatula> i mostly parse biological data... 💖 ascii
glassofethanol has quit [Quit: leaving]
hendursa1 has quit [Ping timeout: 276 seconds]
kakadu has quit [Quit: Konversation terminated!]
hendursaga has joined #ocaml
mbuf has quit [Quit: Leaving]
Haudegen has joined #ocaml
Everything has quit [Quit: leaving]
olle has joined #ocaml
<olle>
How do I know if a paper has been peer reviewed or not?
<olle>
Why would they write "We were able to predict defect-density with satisfactory accuracy" in the conclusion section? Instead of the precise number.
<olle>
What the heck is "satifactory accuracy"
bobo has quit [Quit: Konversation terminated!]
waleee has quit [Quit: WeeChat 3.3]
spip has joined #ocaml
waleee has joined #ocaml
<octachron>
A peer-reviewed article normally mention the journal in which it was published. The conclusion and the introduction are generally the softer part of an article. "satisfactory accuracy" means the accuracy wasn't so bad that the reviewers forced the author to remove that line from the conclusion.
<companion_cube>
:DDDD
<Armael>
<3
<Armael>
(I would generally assume the hard numbers to be in a "results" section, not in the conclusion)
andreypopp has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
andreypopp has joined #ocaml
mro has joined #ocaml
<Drup>
that's ... an extremely accurate description x)
mro has quit [Quit: Leaving...]
<olle>
octachron: hm!
<olle>
What I hear is: "It's better than being completely random"
<olle>
They actually rejected all but one of their hypothesis
<olle>
Armael: I have a hard time understanding how they came to that conclusion, reading the experiment description. Bah.
<Armael>
readings papers is hard
<Armael>
reading*
<Armael>
and not all papers are equally well written
<olle>
I'm not into machine learning much, and they use decision trees
<d_bot>
<mk-fg> I think how science is supposed to work is that you don't really put much stock into whatever authors think there wrt conclusion anyway, but rather go find evidence for their theory yourself and/or reproduce the results via same methodology
<olle>
I'm not being paid for that, sadly
<olle>
But there seem to be LOTS of studies in this area
<olle>
Too many studies :(
<olle>
Hm, these guys also lack a "Threat to validity" section.
<olle>
Ah, found a review article...
<olle>
Phew
wonko has joined #ocaml
mmohammadi9812 has joined #ocaml
nore has quit [Ping timeout: 265 seconds]
nore has joined #ocaml
hendursaga has quit [Remote host closed the connection]
hendursaga has joined #ocaml
mmohammadi9812 has quit [Remote host closed the connection]
<hendursaga>
olle: out of curiosity, what's this "satisfactory accuracy" paper?
gravicappa has quit [Ping timeout: 245 seconds]
wonko has quit [Ping timeout: 245 seconds]
terrorjack has joined #ocaml
<d_bot>
<arnavb> Does anyone have any experience setting up OCaml with autocomplete/virtual text in neovim?
<d_bot>
<arnavb> (preferably with the native LSP)
<d_bot>
<arnavb> if so, would you be willing to share your config
Serpent7776 has quit [Quit: leaving]
<d_bot>
<undu> The main component Is to have the lspconfig plugin
<cemerick>
Drup: right, jsx doesn't have any typing info, but the ppx does; seems like the inferred type of idents found as element children could be used to generate the necessary tyxml calls (just like the existing string literal wrapping)
<d_bot>
<mimoo> so, I'm trying to build something via a rule, and I'm trying to prevent some folder from being use when building
<d_bot>
<mimoo> there's several folders in there, so I'm using (deps (source_tree .))
<d_bot>
<mimoo> and to make sure I'm not including the `target/` folders of several directories I added this line: (dirs :standard \ target*)
<d_bot>
<mimoo> but no luck
<d_bot>
<mimoo> I'm wondering if it's because I should clean the build dir?
<d_bot>
<mimoo> how do I perform a clean build? opam clean?
<d_bot>
<mimoo> or `dune clean` rather
<d_bot>
<mimoo> is there a way to see what is being copied in the build dir?
<d_bot>
<mimoo> actually, is there a way to have `(deps (source_tree .))` but minus some folders?
rgrinberg has joined #ocaml
<d_bot>
<bikachuu> Hey :) lmk if I can help with this as well
oriba has joined #ocaml
eremitah has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]