adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
Haudegen has quit [Remote host closed the connection]
Fare has joined #ocaml
groovy2shoes has joined #ocaml
erkin has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
Fare has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
Fare has joined #ocaml
caltelt has joined #ocaml
Fare has quit [Ping timeout: 252 seconds]
jbrown has quit [Ping timeout: 272 seconds]
Fare has joined #ocaml
KeyJoo has quit [Ping timeout: 244 seconds]
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
silver has quit [Read error: Connection reset by peer]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
pierpa has quit [Quit: Page closed]
demonimin has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
jack5638 has quit [Ping timeout: 245 seconds]
jack5638 has joined #ocaml
precise13 has joined #ocaml
precise13 has quit [Remote host closed the connection]
catfuneral has joined #ocaml
catfuneral has quit [Remote host closed the connection]
Denommus has joined #ocaml
cobreadmonster has joined #ocaml
_whitelogger has joined #ocaml
jbrown has joined #ocaml
jbrown has quit [Ping timeout: 246 seconds]
kakadu has joined #ocaml
caltelt_ has joined #ocaml
caltelt_ has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
Fare has quit [Ping timeout: 245 seconds]
cobreadmonster has quit [Quit: Connection closed for inactivity]
tg has quit [Excess Flood]
tg has joined #ocaml
TheLemonMan has joined #ocaml
caltelt has quit [Ping timeout: 272 seconds]
orbifx has joined #ocaml
<orbifx> have we got an implementation of ed25519 in OCaml?
<ZirconiumX> Can't you use an openssl binding?
Zoddo14 has joined #ocaml
<orbifx> ZirconiumX: does that provide it as a generic function usable by other projects? Also it's not pure OCaml then?
<ZirconiumX> It probably won't be generic, but I think this is one of the situations where you can justify Obj.magic
Zoddo14 has quit [Remote host closed the connection]
<ZirconiumX> *few situations
jnavila has quit [Ping timeout: 252 seconds]
<orbifx> thanks ZirconiumX
<reynir> that's not ed25519
<ZirconiumX> That's EC not Ed
jnavila has joined #ocaml
<orbifx> ow :/
<flux[m]> So I guess you googled for it as well and found this: https://github.com/vbmithr/ocaml-bip32-ed25519 - what is this? some key derivation library?
<orbifx> is it not a case of combining it with a SHA512?
<orbifx> flux[m]: I use searx :)
<flux[m]> it seems it's indeed some key derivation lib, apparently BIT32 is used by BitCoin.
<orbifx> flux[m]: and I searched on opam too, albeit with just a couple or terms
<ZirconiumX> That uses this: https://github.com/vbmithr/ocaml-monocypher
<flux[m]> I wonder if it is really a good idea to use encryption other than, say, libressl/openssl. I mean writing timing-attack-resistant OCaml must be very tricky.
<flux[m]> even if OCaml's timings are very predictable :)
<ZirconiumX> Aside from things like GC pause
<reynir> eurgh. I thought I'd be clever and use GADTs. It was a mistake
<flux[m]> this is how we learn :)
jnavila has quit [Ping timeout: 246 seconds]
<orbifx> :P
<orbifx> reynir: for timing attacks? :P
<orbifx> what's BIP?
edong2315 has joined #ocaml
<reynir> orbifx: No, I'm implementing ssh certificates, and the signature key is not allowed to be a certificate as well
<ZirconiumX> Bitcoin Improvement Proposal
<ZirconiumX> I still haven't quite grokked GADTs. Plain ADTs came easily enough, but I don't see what being more verbose about your typing gets you
<flux[m]> GADTs allow you to write code that doesn't need to test if the input types are correct, because they always are, therefore fewer runtime crashes
<flux[m]> ..for some more cases than plain ADTs, obviously there are still further levels such as dependant typing..
<reynir> I use it for the ssh-agent library -- the types allow you to define a handler type that takes a request and the types restrict the output responses to only the ones that makes sense given the request
edong2315 has quit [Remote host closed the connection]
<flux[m]> I used it for some good effect API-wise here: https://github.com/eras/telkkarista-dl/blob/master/endpoints.ml
<flux[m]> but my piece of advice for using GADTs: try not to make the user of your module endure them, even if the user is you :-).
<orbifx> reynir: are you implementing ssh in ocaml, or just looking to produce certs in ocaml?
Haudegen has joined #ocaml
<reynir> orbifx: just the ssh-agent part. I will probably try producing certs also
<orbifx> cool
mfp has joined #ocaml
moei has quit [Quit: Leaving...]
<orbifx> dinosaure: how much slower are digestif's hash ocaml functions compared to C?
Catherine has joined #ocaml
Catherine is now known as Guest34471
demonimin has joined #ocaml
Guest34471 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
moei has joined #ocaml
ronny has joined #ocaml
<ronny> hi
<ronny> does ocaml have any mecnahmism for direct usage of data in memory-mapped files and/or creating such binary layout?
<TheLemonMan> there's Unix.map_file
<ronny> TheLemonMan: but does that allow me to access vectors of data in certain strucutal layouts?
<ronny> (stuff like a vector of same size binary data structures)
<TheLemonMan> no, it only gives you a bigarray and that's it
<reynir> can I search by author in opam?
<ronny> TheLemonMan: then its useless for what i intended to do
Catherine has joined #ocaml
Catherine is now known as Guest48888
Guest43987 has joined #ocaml
Guest48888 has quit [Client Quit]
Catherin_ has joined #ocaml
Guest43987 has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
<orbifx> reynir: not that I know
_whitelogger has joined #ocaml
jao has joined #ocaml
Catherin_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Catherine has joined #ocaml
Catherine is now known as Guest84963
Guest84963 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orbifx has quit [Read error: Connection reset by peer]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Read error: Connection reset by peer]
orbifx has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ronny has left #ocaml ["WeeChat 1.7.1"]
KeyJoo has joined #ocaml
neatonk has joined #ocaml
maufred has joined #ocaml
maufred has quit [Client Quit]
maufred has joined #ocaml
orbifx has quit [Ping timeout: 252 seconds]
SerpentSpeech has joined #ocaml
SerpentSpeech has quit [Remote host closed the connection]
erkin has joined #ocaml
Fare has joined #ocaml
Jesin has quit [Quit: Leaving]
Denommus has quit [Remote host closed the connection]
ski has quit [Quit: leaving]
ec2-user has quit [Remote host closed the connection]
ec2-user has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Leonidas has quit [Ping timeout: 272 seconds]
Leonidas has joined #ocaml
jmiven has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
jmiven has joined #ocaml
TheLemonMan has joined #ocaml
caltelt has joined #ocaml
FreeBirdLjj has joined #ocaml
gareppa has joined #ocaml
_andre has quit [Ping timeout: 245 seconds]
_andre has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
sapristi has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
demonimin has quit [Ping timeout: 272 seconds]
demonimin has joined #ocaml
demonimin has joined #ocaml
HarryS26 has joined #ocaml
HarryS26 has quit [Remote host closed the connection]
unyu has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
jnavila has joined #ocaml
pierpal has quit [Client Quit]
pierpal has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
emily has quit [Quit: Reconnecting]
emily has joined #ocaml
jbrown has joined #ocaml
HollyW00d13 has joined #ocaml
Denommus has joined #ocaml
HollyW00d13 has quit [Remote host closed the connection]
neatonk has quit [Ping timeout: 245 seconds]
orbifx has joined #ocaml
Syncopix9 has joined #ocaml
Syncopix9 has quit [Remote host closed the connection]
sscout10 has joined #ocaml
Haudegen has quit [Remote host closed the connection]
sscout10 has quit [Remote host closed the connection]
Jesin has joined #ocaml
pierpal has quit [Ping timeout: 250 seconds]
dacid has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
orbifx has quit [Ping timeout: 252 seconds]
woddf24 has joined #ocaml
jack5638 has joined #ocaml
woddf24 has quit [Remote host closed the connection]
Haudegen has joined #ocaml
jack5638 has quit [Ping timeout: 246 seconds]
jack5638 has joined #ocaml
neatonk has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mengu has joined #ocaml
orbifx has joined #ocaml
gareppa has quit [Quit: Leaving]
mengu_ has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
neatonk has quit [Ping timeout: 246 seconds]
caltelt_ has joined #ocaml
caltelt_ has quit [Ping timeout: 245 seconds]
Holo26 has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
Holo26 has quit [Killed (Unit193 (Spam is not permitted on freenode.))]
mengu_ has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
Denommus` has joined #ocaml
duckgoose23 has joined #ocaml
Denommus has quit [Ping timeout: 245 seconds]
duckgoose23 has quit [Remote host closed the connection]
dacid has quit [Ping timeout: 245 seconds]
pierpal has quit [Ping timeout: 244 seconds]
<discord> <n4323> ronny: maybe capnproto? https://github.com/capnproto/capnp-ocaml#design-notes
FreeBirdLjj has joined #ocaml
bartholin has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
mengu has joined #ocaml
sapristi has quit [Remote host closed the connection]
jnavila has quit [Remote host closed the connection]
tsmc has joined #ocaml
tsmc has quit [Client Quit]
tsmc has joined #ocaml
mengu has quit [Remote host closed the connection]
tsmc has quit [Client Quit]
lambda_foo has joined #ocaml
lambda_foo is now known as tsmc
<Fare> opam won't let me install ocaml-rpc, probably due to some version conflict. It doesn't explain what the version conflict is, though, so it's a pain to debug.
Soni has quit [Read error: Connection reset by peer]
TriJetScud29 has joined #ocaml
TriJetScud29 has quit [Remote host closed the connection]
pierpa has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
orbifx has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
orbifx has quit [Ping timeout: 246 seconds]
Soni has joined #ocaml
tokomak has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pippijn_ has joined #ocaml
def`_ has joined #ocaml
jbrown has quit [Ping timeout: 245 seconds]
pippijn has quit [Ping timeout: 240 seconds]
def` has quit [Ping timeout: 240 seconds]