00:33:40 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 00:37:20 -!- wbooze [~wbooze@xdsl-84-44-210-220.netcologne.de] has quit [Remote host closed the connection] 00:39:18 -!- LiamH [~none@96.231.218.61] has quit [Quit: Leaving.] 00:41:13 wbooze [~wbooze@xdsl-84-44-210-220.netcologne.de] has joined #sbcl 01:31:12 LiamH [~none@96.231.218.61] has joined #sbcl 02:06:47 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Read error: Operation timed out] 03:33:24 edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 03:35:43 -!- LiamH [~none@96.231.218.61] has quit [Quit: Leaving.] 03:48:56 yacks [~yacks@180.151.36.169] has joined #sbcl 04:22:42 LiamH [~none@96.231.218.61] has joined #sbcl 05:08:45 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 05:52:53 akovalen` [~user@77.51.4.104] has joined #sbcl 05:52:58 -!- LiamH [~none@96.231.218.61] has quit [Quit: Leaving.] 05:54:59 -!- akovalenko [~user@77.51.6.108] has quit [Ping timeout: 260 seconds] 05:55:37 -!- edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Remote host closed the connection] 05:57:54 edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 07:13:46 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 07:16:10 -!- wbooze [~wbooze@xdsl-84-44-210-220.netcologne.de] has quit [Ping timeout: 246 seconds] 07:16:37 sdemarre [~serge@91.176.241.92] has joined #sbcl 07:23:59 dioxirane [~OXO@unaffiliated/dioxirane] has joined #sbcl 07:28:00 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 244 seconds] 07:57:58 -!- edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Quit: mental blackout] 07:59:36 -!- dioxirane [~OXO@unaffiliated/dioxirane] has quit [Ping timeout: 264 seconds] 08:31:14 prxq [~mommer@mnhm-5f75fa43.pool.mediaWays.net] has joined #sbcl 08:31:40 tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 08:34:39 -!- Thra11 [~thrall@46.208.89.201] has quit [Remote host closed the connection] 08:51:59 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:25:32 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 255 seconds] 09:32:13 attila_lendvai [~attila_le@92.46.3.192] has joined #sbcl 09:32:13 -!- attila_lendvai [~attila_le@92.46.3.192] has quit [Changing host] 09:32:13 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:36:44 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 252 seconds] 09:42:05 dioxirane [~OXO@unaffiliated/dioxirane] has joined #sbcl 09:42:31 attila_lendvai [~attila_le@92.46.3.192] has joined #sbcl 09:42:31 -!- attila_lendvai [~attila_le@92.46.3.192] has quit [Changing host] 09:42:31 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:43:02 -!- sdemarre [~serge@91.176.241.92] has quit [Ping timeout: 252 seconds] 09:44:43 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 09:44:50 Hey, anyone happen to be active? 09:48:43 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 09:48:49 attila_lendvai1 [~attila_le@92.46.3.192] has joined #sbcl 09:48:49 -!- attila_lendvai1 is now known as attila_lendvai 09:48:49 -!- attila_lendvai [~attila_le@92.46.3.192] has quit [Changing host] 09:48:50 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:50:36 Quadrescence: in the majority of irc channel, it is just better and nicer to just ask your question. 09:51:07 Sure. 09:52:56 I am trying to figure out if this is an SBCL bug or my misunderstanding of CL. I am trying to figure out when a condition is passed to a the :TEST function of a restart-case. As it stands, when I invoke a restart, the condition isn't being provided to the test function. More specifically, NIL is being provided. 09:53:00 ebw [~user@g228014067.adsl.alicedsl.de] has joined #sbcl 09:53:05 Hi there! 09:53:31 What needs to be done, to take advantage of intels rdrand instruction? 09:54:19 ebw: I did half the work. The other half I couldn't do was get the disassembly to display correctly. 09:54:52 Quadrescence: So (random) actually uses rdrand? 09:55:07 No, because not all processors support it. It was just my own code. 09:56:08 Quadrescence: Could you give me a pointer to the patch? So I can take a look how such a thing would be done? (First only for educational purposes.) 09:56:26 I don't have the exact patch on my, it's on another computer 09:56:38 But check out lines 59 to the end: https://bitbucket.org/tarballs_are_good/lisp-random/src/769edf50fdca03e5c9835d57114b86bd566339d9/rdrand.lisp?at=default 09:57:00 There are a few things that need changing on lines 63-72 09:57:04 Quadrescence: Isn't there some cpu-detection-stuff inside sbcl, so one could use rdrand if he has it? 09:57:31 probably but I never got that far. Plus as it turned out, rdrand was actually slower (???). I was planning on making it a contrib module. 09:57:48 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 09:57:51 attila_lendvai1 [~attila_le@92.46.3.192] has joined #sbcl 09:57:51 -!- attila_lendvai1 is now known as attila_lendvai 09:57:51 -!- attila_lendvai [~attila_le@92.46.3.192] has quit [Changing host] 09:57:51 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:58:38 Quadrescence: Slower as random, thats possible, but its strong, if one can believe intel. 09:59:26 Quadrescence: Actually I don't understand that code. Its my first time, I would like to get something like that done. 09:59:38 sdemarre [~serge@91.176.241.92] has joined #sbcl 09:59:58 Quadrescence: Couldn't one do a sb-ext:strong-random function, using rdrand if its present and signalling a condition otherwise? 10:00:19 sure, probably 10:00:23 Quadrescence: And a sb-ext:strong-random-present-p to test for the presence of rdrand. 10:00:27 if your goal is to get rdrand, write a C library to do it, and then write a FFI 10:00:46 Quadrescence: That's what I did so far : 10:00:51 s/:/:)/ 10:00:53 ah okay 10:01:15 if you want me to polish up the sbcl rdrand, i can try to do that this weekend. or you can take over and try to get it working 10:01:25 (well, it was working fine, but not polished) 10:01:44 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Operation timed out] 10:02:53 Quadrescence: If you could give me a walkthrough, what the code at bitbucket does, i could give it a try. 10:04:54 I'm no expert but here's the summary: line 59 tells the compiler about a "function" we'd like to implement. 63-72 define a "VOP" which defines how to translate that defknown into actual assembly code, andline 75-76 actually implement the function the user would use, which is implemented by that VOP. 10:05:48 Where can I find documentation about "define-vop" ? 10:06:15 there are a few things that code is doing slightly wrong. (1) line 72 shouldn't be shifting. We can get the full bits back just fine and SBCL will take care of boxing. (2) line 65 and 66 are wrong. I forgot what the proper thing to use there is. 10:06:25 ebw: idk about docs, I just read through the source code 10:06:29 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:07:29 Quadrescence: I imagine reading the source takes some time, until one can be productive ... 10:07:48 yes, especially with the behemoth that is SBCL 10:08:20 *ebw* faints. 10:08:49 Ok, so I stick to using a C library and ffi. If rdrand ever comes into sbcl, I'll happily use it. 10:09:20 If you want to, I could give you my code for cpu detection. 10:09:28 i'll try to patch it up this weekend 10:09:30 yes sure 10:13:31 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: No route to host] 10:13:35 attila_lendvai1 [~attila_le@92.46.3.192] has joined #sbcl 10:13:35 -!- attila_lendvai1 is now known as attila_lendvai 10:13:35 -!- attila_lendvai [~attila_le@92.46.3.192] has quit [Changing host] 10:13:35 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:13:51 -!- dioxirane [~OXO@unaffiliated/dioxirane] has quit [Quit: leaving] 10:14:19 Quadrescence: https://gist.github.com/anonymous/5023302 Here you go. 10:15:25 Of course there might be buggy cpu's reporting having rdrand, but have not. 10:18:00 Its funny and sad at the same time, the linux kernel developers didn't take much advantage of rdrand, because they are afraid its trapped. They thing NSA or similar might have paid intel to include a backdoor. (Because of the AES whitener, statistical tests can't detect whether it's a simple counter becoming aes encrypted somehow, and the NSA might have the AES key.) Very very paranoid, those guys. 10:18:49 that is interesting 10:24:26 The commitmessage of commit cf833d0b9937874b50ef2867c4e8badfd64948ce from linux git repo talks a little bit about trusting rdrand. If you google for it, you can find the suspicions about NSA or such things. 10:29:14 -!- sdemarre [~serge@91.176.241.92] has quit [Ping timeout: 252 seconds] 10:38:47 sdemarre [~serge@91.176.241.92] has joined #sbcl 10:40:14 non-crypto random numbers that are really fast are usefull too. 10:41:12 it would be disappointing if random number generation became slower in sbcl. For many purposes, the rng is quite good. 10:43:46 Yeah. Of course. That's why I made the suggestion with sb-ext:strong-random, which could also be called sb-ext:rdrand .. 10:44:00 No need to replace normal cl:random 10:46:12 ebw: I would prefer sb-ext:hardware-random 10:50:49 dioxirane [~OXO@unaffiliated/dioxirane] has joined #sbcl 10:52:33 -!- sdemarre [~serge@91.176.241.92] has quit [Quit: Leaving.] 10:52:53 sdemarre [~serge@91.176.241.92] has joined #sbcl 10:56:12 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 11:07:35 ebw: http://sbcl-internals.cliki.net/Adding%20VOPs 11:10:08 Quadrescence: That's fine for me. 11:11:11 prxq: thanks 11:23:36 -!- dioxirane [~OXO@unaffiliated/dioxirane] has quit [Quit: leaving] 12:26:12 edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 12:32:21 With the C program if written to use rdrand, i can get up to 162MiBi per Second random numbers out of rdrand ... I think thats pretty fast. 12:35:45 how about seeds and stuff? 12:37:41 prxq: I think rdrand doesn't need to be seeded ... 12:37:49 prxq: Or what do you mean? 12:40:43 prxq: rdrand is hardware, taking from processor/transistor noise 12:40:46 no need for seeds 12:46:16 So an implementation using rdrand would have *random-state* being nil... 12:47:44 ... yes ... so it is not possible without violating the standard. But that's just logical, in the standard one want to have reproducible random numbers :). So one can't replace cl:random for with rdrand. 12:48:02 It must be an extension in sb-ext or something. 12:49:09 Actually I'm down to 80 MiBi per seconds as __builtin_ia32_rdrand64_step doesn't seem to work fine. The 4 lower order bytes are always 0 or 255 ... wtf ? 12:49:25 At least with my cpu and gcc. 12:50:33 or maybe it has been emacs trying to interpret some encoding. 12:50:58 ebw: what cpu? 12:51:03 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 12:51:50 prxq ivy bridge 12:59:06 ahh ok, lower 4 bytes 0 or 255 has been my fault. 12:59:18 everythings is ok with rdrand 64 13:01:04 Quadrescence: where's the code with restart-case? 13:02:45 stassats`: I've solved the problem since then. It's not an SBCL issue. 13:06:03 -!- sdemarre [~serge@91.176.241.92] has quit [Read error: Operation timed out] 13:08:43 dioxirane [~OXO@unaffiliated/dioxirane] has joined #sbcl 13:16:53 tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 13:38:44 ebw` [~user@g228071107.adsl.alicedsl.de] has joined #sbcl 13:38:58 -!- ebw [~user@g228014067.adsl.alicedsl.de] has quit [Disconnected by services] 13:39:06 -!- ebw` is now known as ebw 13:41:45 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 13:52:33 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 13:53:50 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving...] 14:07:18 Thra11 [~thrall@46.208.89.201] has joined #sbcl 14:14:50 -!- Vivitron` [~Vivitron`@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 260 seconds] 14:28:35 LiamH [~none@96.231.218.61] has joined #sbcl 14:35:08 ebw: mersenne-twister style PRNGs can hit < 1 cycle per byte, so 162 MBps is *slow*. 14:37:20 *ebw* adjusted his scales accordingly 14:37:35 pkhuong: But it ain't PRNGs 14:39:06 sure, but you can see why people like prxq might not be too stoked. 14:42:38 yes 14:44:02 *ebw* waves. 14:44:04 -!- ebw [~user@g228071107.adsl.alicedsl.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 14:46:12 Thra11_ [~thrall@46.208.148.37] has joined #sbcl 14:48:28 -!- Thra11 [~thrall@46.208.89.201] has quit [Ping timeout: 252 seconds] 14:55:10 dioxriane [~OXO@unaffiliated/dioxirane] has joined #sbcl 14:56:48 -!- dioxriane [~OXO@unaffiliated/dioxirane] has quit [Remote host closed the connection] 14:58:24 -!- dioxirane [~OXO@unaffiliated/dioxirane] has quit [Ping timeout: 264 seconds] 14:59:11 dioxirane [~OXO@unaffiliated/dioxirane] has joined #sbcl 15:14:49 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 15:14:50 attila_lendvai1 [~attila_le@92.46.3.192] has joined #sbcl 15:14:50 -!- attila_lendvai1 is now known as attila_lendvai 15:14:50 -!- attila_lendvai [~attila_le@92.46.3.192] has quit [Changing host] 15:14:50 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:24:14 wbooze [~wbooze@xdsl-87-79-249-221.netcologne.de] has joined #sbcl 15:50:37 -!- wbooze [~wbooze@xdsl-87-79-249-221.netcologne.de] has quit [Read error: Connection reset by peer] 16:31:08 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 252 seconds] 16:33:50 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 16:35:32 -!- gko [~user@114-34-168-13.HINET-IP.hinet.net] has quit [Ping timeout: 248 seconds] 16:44:01 -!- psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has quit [Quit: Leaving.] 16:48:06 wbooze [~wbooze@xdsl-87-79-249-221.netcologne.de] has joined #sbcl 17:08:13 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 17:28:35 -!- dioxirane [~OXO@unaffiliated/dioxirane] has quit [Remote host closed the connection] 17:31:28 -!- Thra11_ [~thrall@46.208.148.37] has quit [Ping timeout: 246 seconds] 17:32:53 Thra11_ [~thrall@87.113.55.94] has joined #sbcl 17:38:47 -!- Thra11_ [~thrall@87.113.55.94] has quit [Quit: kthxbai] 17:40:33 Thra11 [~thrall@87.113.55.94] has joined #sbcl 17:53:07 -!- LiamH [~none@96.231.218.61] has quit [Quit: Leaving.] 18:31:50 -!- yacks [~yacks@180.151.36.169] has quit [Remote host closed the connection] 18:43:29 ebw [~user@g228071107.adsl.alicedsl.de] has joined #sbcl 18:47:03 dioxirane [~OXO@unaffiliated/dioxirane] has joined #sbcl 19:07:14 OK, I published this patch with new-style contribs for SBCL 19:07:44 https://bugs.launchpad.net/sbcl/+bug/1132254 19:08:00 unsurprisingly, this required fixing asdf itself. sigh. 19:08:15 (I suppose that's part of the reason I did it) 19:13:06 -!- dioxirane [~OXO@unaffiliated/dioxirane] has quit [Remote host closed the connection] 19:13:37 finally got to build sbcl with all the assem and disassem stuff not elided 19:16:20 -!- akovalen` [~user@77.51.4.104] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 19:17:18 akovalenko [~user@77.51.4.104] has joined #sbcl 19:17:38 dioxirane [~OXO@unaffiliated/dioxirane] has joined #sbcl 19:18:53 what elision? 19:19:07 eval-when (:compile-toplevel :execute) 19:21:41 mostly by adding #!+sb-devel :load-toplevel 19:21:55 but had to remove EVAL usage from cold-init in one instance 19:27:08 damn, but it's broken The value # is not of type (OR NULL SB-DISASSEM::INST-SPACE). 19:33:46 Thra11_ [~thrall@80.104.113.87.dyn.plus.net] has joined #sbcl 19:35:31 or my instruction printer is just broken 19:35:51 -!- Thra11 [~thrall@87.113.55.94] has quit [Ping timeout: 245 seconds] 19:42:51 -!- wbooze [~wbooze@xdsl-87-79-249-221.netcologne.de] has quit [Ping timeout: 260 seconds] 19:56:50 Thra11 [~thrall@46.208.92.48] has joined #sbcl 19:58:33 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 276 seconds] 19:58:52 wbooze [~wbooze@xdsl-78-35-161-158.netcologne.de] has joined #sbcl 19:59:53 -!- Thra11_ [~thrall@80.104.113.87.dyn.plus.net] has quit [Ping timeout: 252 seconds] 20:05:26 Thra11_ [~thrall@46.208.203.150] has joined #sbcl 20:07:41 -!- Thra11 [~thrall@46.208.92.48] has quit [Ping timeout: 255 seconds] 20:11:51 stassats [~stassats@wikipedia/stassats] has joined #sbcl 20:14:01 Thra11 [~thrall@35.186.125.91.dyn.plus.net] has joined #sbcl 20:17:24 -!- Thra11_ [~thrall@46.208.203.150] has quit [Ping timeout: 276 seconds] 20:20:30 LiamH [~none@96.231.218.61] has joined #sbcl 20:24:47 -!- Thra11 [~thrall@35.186.125.91.dyn.plus.net] has quit [Ping timeout: 255 seconds] 20:25:01 Thra11 [~thrall@87.114.125.215] has joined #sbcl 20:57:22 -!- stassats [~stassats@wikipedia/stassats] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:30:40 -!- prxq [~mommer@mnhm-5f75fa43.pool.mediaWays.net] has quit [Quit: Leaving] 21:35:19 -!- tcr [~tcr@77-56-40-229.dclient.hispeed.ch] has quit [Quit: Leaving.] 21:37:46 -!- ebw [~user@g228071107.adsl.alicedsl.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:52:34 -!- dioxirane [~OXO@unaffiliated/dioxirane] has quit [Remote host closed the connection] 22:02:15 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 22:06:45 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Ping timeout: 260 seconds] 22:41:04 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 256 seconds] 23:09:58 Hello #sbcl, I'm told irc://r42.eu:6667/#!/usr/bin/env sbcl script is not the proper way to setup an SBCL script. Is there a proper way that avoids hardcoding the path to sbcl? 23:11:28 #!/bin/sh \n #| \n sbcl --script \n #|# 23:12:35 nice, but ew, but nice. 23:12:43 hahaha 23:13:10 plus exec plus "$@" 23:13:32 Wouldn't /usr/bin/env sbcl --script work? 23:13:50 antoszka: nope, too musch arguments 23:15:11 Ah, luis already said that, sorry. 23:15:15 Asked that* 23:17:37 http://paste.lisp.org/display/135640 23:19:34 Doesn't work for me. My SBCL is probably too old. 23:21:43 Here neither. 23:23:52 shell doesn't like |, sbcl doesn't like # inside #| 23:24:56 or something like that 23:26:30 ah, no, it likes, it, $@ is just empty $0 works instead 23:27:04 exec sbcl --script "$0" "$@" 23:27:44 Yep, that's it. 23:29:46 so, #| #|# is not specified to work? 23:30:22 "It must be balanced with respect to other occurrences of #| and |#" 23:30:22 ok