--- Log opened Mon May 27 00:00:25 2019
08:22 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
08:27 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 246 seconds]
10:23 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
10:27 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 245 seconds]
11:46 -!- jtimon [~quassel@181.61.134.37.dynamic.jazztel.es] has joined #secp256k1
11:49 -!- Cory [Cory@unaffiliated/cory] has quit [Ping timeout: 245 seconds]
11:57 -!- Cory [Cory@unaffiliated/cory] has joined #secp256k1
13:45 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
14:49 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 272 seconds]
15:35 -!- jtimon [~quassel@181.61.134.37.dynamic.jazztel.es] has quit [Quit: gone]
16:45 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
16:50 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 248 seconds]
18:46 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
18:51 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 258 seconds]
22:48 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
22:53 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 268 seconds]
23:04 -!- Cory [Cory@unaffiliated/cory] has quit [Ping timeout: 245 seconds]
23:11 -!- Pasha [Cory@unaffiliated/cory] has joined #secp256k1
23:13 -!- Pasha is now known as Cory
23:26 < real_or_random> gmaxwell: I talked to a friend who's working on a formal memory model for Rust in his PhD, and I told him about memcpy in compcert
23:27 < real_or_random> he explained to me that the reason why compcert does not ship it is that they don't support  pointer<->integer casts
23:29 < real_or_random> and now you can't read pointers byte by byte (or I mean... I guess you can but get UB?)
23:30 < real_or_random> he has a blog post with some background on pointers vs integers https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html
23:49 < sipa> real_or_random: that's a pretty interesting read
--- Log closed Tue May 28 00:00:25 2019