00:08
Haudegen has quit [Remote host closed the connection]
00:13
Fare has joined #ocaml
00:14
groovy2shoes has joined #ocaml
00:15
erkin has quit [Remote host closed the connection]
00:21
ziyourenxiang has joined #ocaml
00:28
Fare has quit [Ping timeout: 240 seconds]
00:30
jbrown has joined #ocaml
00:30
Fare has joined #ocaml
00:37
caltelt has joined #ocaml
00:58
Fare has quit [Ping timeout: 252 seconds]
01:10
jbrown has quit [Ping timeout: 272 seconds]
01:20
Fare has joined #ocaml
01:43
KeyJoo has quit [Ping timeout: 244 seconds]
01:55
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
02:00
silver has quit [Read error: Connection reset by peer]
02:13
tormen has joined #ocaml
02:17
tormen_ has quit [Ping timeout: 272 seconds]
02:20
FreeBirdLjj has quit [Remote host closed the connection]
02:29
pierpa has quit [Quit: Page closed]
02:29
demonimin has quit [Ping timeout: 252 seconds]
02:32
mfp has quit [Ping timeout: 240 seconds]
02:52
jao has quit [Ping timeout: 246 seconds]
02:53
FreeBirdLjj has joined #ocaml
02:56
jack5638 has quit [Ping timeout: 245 seconds]
03:04
jack5638 has joined #ocaml
03:14
precise13 has joined #ocaml
03:18
precise13 has quit [Remote host closed the connection]
03:23
catfuneral has joined #ocaml
03:24
catfuneral has quit [Remote host closed the connection]
03:31
Denommus has joined #ocaml
03:33
cobreadmonster has joined #ocaml
04:15
_whitelogger has joined #ocaml
04:42
jbrown has joined #ocaml
04:59
jbrown has quit [Ping timeout: 246 seconds]
05:26
kakadu has joined #ocaml
05:36
caltelt_ has joined #ocaml
06:15
caltelt_ has quit [Ping timeout: 252 seconds]
06:16
bartholin has joined #ocaml
06:22
jmiven has quit [Quit: co'o]
06:23
jmiven has joined #ocaml
06:25
FreeBirdLjj has quit [Remote host closed the connection]
06:25
FreeBirdLjj has joined #ocaml
06:49
jnavila has joined #ocaml
07:00
Fare has quit [Ping timeout: 245 seconds]
07:03
cobreadmonster has quit [Quit: Connection closed for inactivity]
07:07
tg has quit [Excess Flood]
07:13
tg has joined #ocaml
07:16
TheLemonMan has joined #ocaml
07:24
caltelt has quit [Ping timeout: 272 seconds]
07:26
orbifx has joined #ocaml
08:09
<
orbifx >
have we got an implementation of ed25519 in OCaml?
08:10
<
ZirconiumX >
Can't you use an openssl binding?
08:18
Zoddo14 has joined #ocaml
08:18
<
orbifx >
ZirconiumX: does that provide it as a generic function usable by other projects? Also it's not pure OCaml then?
08:20
<
ZirconiumX >
It probably won't be generic, but I think this is one of the situations where you can justify Obj.magic
08:20
Zoddo14 has quit [Remote host closed the connection]
08:22
<
ZirconiumX >
*few situations
08:23
jnavila has quit [Ping timeout: 252 seconds]
08:25
<
orbifx >
thanks ZirconiumX
08:33
<
reynir >
that's not ed25519
08:40
<
ZirconiumX >
That's EC not Ed
08:49
jnavila has joined #ocaml
08:57
<
orbifx >
is it not a case of combining it with a SHA512?
08:57
<
orbifx >
flux[m]: I use searx :)
08:58
<
flux[m] >
it seems it's indeed some key derivation lib, apparently BIT32 is used by BitCoin.
08:58
<
orbifx >
flux[m]: and I searched on opam too, albeit with just a couple or terms
08:59
<
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.
09:00
<
flux[m] >
even if OCaml's timings are very predictable :)
09:01
<
ZirconiumX >
Aside from things like GC pause
09:06
<
reynir >
eurgh. I thought I'd be clever and use GADTs. It was a mistake
09:07
<
flux[m] >
this is how we learn :)
09:11
jnavila has quit [Ping timeout: 246 seconds]
09:13
<
orbifx >
reynir: for timing attacks? :P
09:13
<
orbifx >
what's BIP?
09:14
edong2315 has joined #ocaml
09:15
<
reynir >
orbifx: No, I'm implementing ssh certificates, and the signature key is not allowed to be a certificate as well
09:15
<
ZirconiumX >
Bitcoin Improvement Proposal
09:16
<
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
09:17
<
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
09:18
<
flux[m] >
..for some more cases than plain ADTs, obviously there are still further levels such as dependant typing..
09:18
<
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
09:19
edong2315 has quit [Remote host closed the connection]
09:20
<
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 :-).
09:22
<
orbifx >
reynir: are you implementing ssh in ocaml, or just looking to produce certs in ocaml?
09:28
Haudegen has joined #ocaml
09:29
<
reynir >
orbifx: just the ssh-agent part. I will probably try producing certs also
09:40
mfp has joined #ocaml
09:41
moei has quit [Quit: Leaving...]
09:49
<
orbifx >
dinosaure: how much slower are digestif's hash ocaml functions compared to C?
10:10
Catherine has joined #ocaml
10:10
Catherine is now known as Guest34471
10:24
demonimin has joined #ocaml
10:30
Guest34471 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
10:33
moei has joined #ocaml
10:38
ronny has joined #ocaml
10:39
<
ronny >
does ocaml have any mecnahmism for direct usage of data in memory-mapped files and/or creating such binary layout?
10:41
<
TheLemonMan >
there's Unix.map_file
10:44
<
ronny >
TheLemonMan: but does that allow me to access vectors of data in certain strucutal layouts?
10:44
<
ronny >
(stuff like a vector of same size binary data structures)
10:44
<
TheLemonMan >
no, it only gives you a bigarray and that's it
10:48
<
reynir >
can I search by author in opam?
10:53
<
ronny >
TheLemonMan: then its useless for what i intended to do
10:59
Catherine has joined #ocaml
10:59
Catherine is now known as Guest48888
11:01
Guest43987 has joined #ocaml
11:01
Guest48888 has quit [Client Quit]
11:03
Catherin_ has joined #ocaml
11:03
Guest43987 has quit [Remote host closed the connection]
11:04
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
11:11
<
orbifx >
reynir: not that I know
11:18
_whitelogger has joined #ocaml
11:20
jao has joined #ocaml
11:20
Catherin_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
11:27
Catherine has joined #ocaml
11:27
Catherine is now known as Guest84963
11:38
Guest84963 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
11:46
orbifx has quit [Read error: Connection reset by peer]
11:48
pierpal has quit [Read error: Connection reset by peer]
11:48
pierpal has joined #ocaml
11:49
orbifx has joined #ocaml
11:54
orbifx has quit [Read error: Connection reset by peer]
11:56
orbifx has joined #ocaml
12:01
pierpal has quit [Quit: Poof]
12:02
pierpal has joined #ocaml
12:08
ronny has left #ocaml ["WeeChat 1.7.1"]
12:08
KeyJoo has joined #ocaml
12:11
neatonk has joined #ocaml
12:14
maufred has joined #ocaml
12:14
maufred has quit [Client Quit]
12:15
maufred has joined #ocaml
12:28
orbifx has quit [Ping timeout: 252 seconds]
12:36
SerpentSpeech has joined #ocaml
12:37
SerpentSpeech has quit [Remote host closed the connection]
12:54
erkin has joined #ocaml
12:57
Fare has joined #ocaml
13:34
Jesin has quit [Quit: Leaving]
13:59
Denommus has quit [Remote host closed the connection]
14:12
ski has quit [Quit: leaving]
14:12
ec2-user has quit [Remote host closed the connection]
14:12
ec2-user has joined #ocaml
14:13
FreeBirdLjj has quit [Remote host closed the connection]
14:38
FreeBirdLjj has joined #ocaml
14:46
Leonidas has quit [Ping timeout: 272 seconds]
14:46
Leonidas has joined #ocaml
14:47
jmiven has quit [Ping timeout: 252 seconds]
15:08
FreeBirdLjj has quit [Remote host closed the connection]
15:13
jmiven has joined #ocaml
15:17
TheLemonMan has joined #ocaml
15:20
caltelt has joined #ocaml
15:38
FreeBirdLjj has joined #ocaml
16:06
gareppa has joined #ocaml
16:17
_andre has quit [Ping timeout: 245 seconds]
16:17
_andre has joined #ocaml
17:02
FreeBirdLjj has quit [Remote host closed the connection]
17:02
FreeBirdLjj has joined #ocaml
17:03
FreeBirdLjj has quit [Remote host closed the connection]
17:03
FreeBirdLjj has joined #ocaml
17:04
FreeBirdLjj has quit [Remote host closed the connection]
17:04
FreeBirdLjj has joined #ocaml
17:04
FreeBirdLjj has quit [Remote host closed the connection]
17:05
FreeBirdLjj has joined #ocaml
17:05
sapristi has joined #ocaml
17:05
FreeBirdLjj has quit [Remote host closed the connection]
17:05
FreeBirdLjj has joined #ocaml
17:06
FreeBirdLjj has quit [Remote host closed the connection]
17:06
demonimin has quit [Ping timeout: 272 seconds]
17:06
demonimin has joined #ocaml
17:06
demonimin has joined #ocaml
17:06
HarryS26 has joined #ocaml
17:09
HarryS26 has quit [Remote host closed the connection]
17:19
unyu has joined #ocaml
17:21
pierpal has quit [Read error: Connection reset by peer]
17:23
pierpal has joined #ocaml
17:26
jnavila has joined #ocaml
17:26
pierpal has quit [Client Quit]
17:26
pierpal has joined #ocaml
17:29
sz0 has quit [Quit: Connection closed for inactivity]
17:29
emily has quit [Quit: Reconnecting]
17:29
emily has joined #ocaml
17:35
jbrown has joined #ocaml
17:40
HollyW00d13 has joined #ocaml
17:40
Denommus has joined #ocaml
17:40
HollyW00d13 has quit [Remote host closed the connection]
18:15
neatonk has quit [Ping timeout: 245 seconds]
18:22
orbifx has joined #ocaml
18:23
Syncopix9 has joined #ocaml
18:24
Syncopix9 has quit [Remote host closed the connection]
18:31
sscout10 has joined #ocaml
18:32
Haudegen has quit [Remote host closed the connection]
18:36
sscout10 has quit [Remote host closed the connection]
18:45
Jesin has joined #ocaml
18:47
pierpal has quit [Ping timeout: 250 seconds]
18:52
dacid has joined #ocaml
19:04
jack5638 has quit [Ping timeout: 240 seconds]
19:06
orbifx has quit [Ping timeout: 252 seconds]
19:10
woddf24 has joined #ocaml
19:10
jack5638 has joined #ocaml
19:13
woddf24 has quit [Remote host closed the connection]
19:18
Haudegen has joined #ocaml
19:20
jack5638 has quit [Ping timeout: 246 seconds]
19:21
jack5638 has joined #ocaml
19:29
neatonk has joined #ocaml
19:44
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
19:44
mengu has joined #ocaml
19:48
orbifx has joined #ocaml
20:00
gareppa has quit [Quit: Leaving]
20:09
mengu_ has joined #ocaml
20:13
mengu has quit [Ping timeout: 240 seconds]
20:15
pierpal has joined #ocaml
20:24
neatonk has quit [Ping timeout: 246 seconds]
20:37
caltelt_ has joined #ocaml
20:43
caltelt_ has quit [Ping timeout: 245 seconds]
20:44
Holo26 has joined #ocaml
20:46
KeyJoo has quit [Quit: KeyJoo]
20:48
Holo26 has quit [Killed (Unit193 (Spam is not permitted on freenode.))]
20:48
mengu_ has quit [Remote host closed the connection]
20:49
Haudegen has quit [Ping timeout: 240 seconds]
20:50
Haudegen has joined #ocaml
20:56
Denommus` has joined #ocaml
20:57
duckgoose23 has joined #ocaml
20:57
Denommus has quit [Ping timeout: 245 seconds]
21:00
duckgoose23 has quit [Remote host closed the connection]
21:00
dacid has quit [Ping timeout: 245 seconds]
21:03
pierpal has quit [Ping timeout: 244 seconds]
21:08
FreeBirdLjj has joined #ocaml
21:11
bartholin has quit [Remote host closed the connection]
21:16
kakadu has quit [Remote host closed the connection]
21:18
mengu has joined #ocaml
21:28
sapristi has quit [Remote host closed the connection]
21:29
jnavila has quit [Remote host closed the connection]
22:27
tsmc has joined #ocaml
22:29
tsmc has quit [Client Quit]
22:29
tsmc has joined #ocaml
22:30
mengu has quit [Remote host closed the connection]
22:30
tsmc has quit [Client Quit]
22:31
lambda_foo has joined #ocaml
22:32
lambda_foo is now known as tsmc
22:32
<
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.
22:33
Soni has quit [Read error: Connection reset by peer]
22:51
TriJetScud29 has joined #ocaml
22:52
TriJetScud29 has quit [Remote host closed the connection]
22:53
pierpa has joined #ocaml
23:02
orbifx has quit [Ping timeout: 240 seconds]
23:02
pierpal has joined #ocaml
23:05
orbifx has joined #ocaml
23:06
pierpal has quit [Ping timeout: 240 seconds]
23:10
orbifx has quit [Ping timeout: 246 seconds]
23:16
Soni has joined #ocaml
23:25
tokomak has joined #ocaml
23:39
Haudegen has quit [Remote host closed the connection]
23:50
pippijn_ has joined #ocaml
23:51
def`_ has joined #ocaml
23:52
jbrown has quit [Ping timeout: 245 seconds]
23:52
pippijn has quit [Ping timeout: 240 seconds]
23:52
def` has quit [Ping timeout: 240 seconds]