00:00:04 So I shouldn't mention how tomorrow is forecast to be above freezing here for the first time in a while? 00:00:10 -!- FireFly has left (?). 00:00:10 AnMaster: wrong 00:00:17 it was actually pretty neat 00:00:22 ehird, really? 00:00:24 mhm 00:00:28 yes, it ran on flash too 00:00:32 it was smalltalk in a browser 00:01:06 LULZKERNEL 00:01:20 wut 00:01:29 Which, paradoxically, will of course only ensure that we get _more_ ice and dangerous roads. 00:02:31 if "wut" = "i seeee" then i think "i seeee" must mean something other than i think 00:03:05 or are "what", "vut" and "wut" not equivalent? 00:03:44 oerjan, interesting analysis 00:04:03 It's just Logic, Sir 00:04:20 yes indeed 00:05:11 oerjan: not equivalent 00:05:18 also, I seeee is kind of sarcastic 00:05:27 "what" doesn't mean "what", it means "wow, that was completely incomprehensible" 00:05:36 "wut" means "I see your LSD there." 00:05:43 "vut" means "huh?" 00:07:04 ehird, I seeeeeeeeeeeee 00:07:28 no. that does not work. 00:07:36 ehird, why? 00:07:40 too much? 00:07:47 I se 00:08:08 or only 4 e? 00:08:25 Factor is nice 00:08:30 project euler problem #1: 1 1000 [a,b) [ [ 3 mod zero? ] [ 5 mod zero? ] bi or ] filter sum 00:08:53 (find the sum of all multiples of 3 and 5 below 1000) 00:10:09 the befunge: 00:10:10 25*:*25**1-00p010p>00g 3% #v_10g00g+10pv 00:10:10 |p00:-1g00 < < < 00:10:12 @.g01< > ^ 00:10:20 >00g5%#v_10g00g+10p^ 00:10:21 ^ < 00:13:55 * AnMaster reads that 00:15:34 INIT: store 1000 in (0,-1)... write 0 in (0,1) 00:15:38 then the main loop 00:16:31 (read from 0,0) % 3,compare to 0.. branch... 00:17:06 if 0 then check 5... compare to 0... branch... 00:17:45 err 00:17:51 that should be if 1 00:18:04 if 0 it adds it to another variable 00:18:35 similar code for 5 00:18:41 well, it works, says the author 00:18:46 |p00:-1g00 then 00:18:47 it is befunge-93, I think 00:18:56 that is all that is left to figure out 00:19:17 read from 0,0, substract 1, write to 0,0 00:19:23 and yes 00:19:29 that is the loop counter 00:19:52 and it stored 999 to 0,0, not 10000 to 0,-1 00:20:04 ehird, indeed the program should work 00:21:07 why is it 25*:*25** rather than simply 25*::** 00:21:24 oerjan, beats me 00:22:12 oerjan, you could golf that code quite a lot 00:22:35 hm right project euler isn't a golf site 00:22:55 I mean using swap instead of getting from funge space all the time 00:23:08 oerjan, heh 00:29:59 night 00:37:59 -!- Mony has quit ("Quit"). 00:59:01 -!- dean has joined. 01:08:16 -!- dean has quit (Remote closed the connection). 01:08:54 -!- Sgeo has joined. 01:15:03 -!- metaphysician has quit ("Oh Noes!"). 01:33:18 -!- oerjan has quit ("Good night"). 01:44:03 -!- GreaseMonkey has joined. 02:39:07 -!- fizzie has quit (brown.freenode.net irc.freenode.net). 02:39:18 -!- fizzie has joined. 02:47:48 -!- Slereah_ has joined. 02:51:40 -!- oklopol has quit (Connection timed out). 02:51:56 -!- oklopol has joined. 02:57:55 -!- Slereah has quit (Read error: 110 (Connection timed out)). 03:41:59 -!- Slereah_ has quit (Read error: 60 (Operation timed out)). 03:45:15 -!- Slereah has joined. 04:16:08 -!- GreaseMonkey has quit ("Client Excited"). 04:30:35 -!- Dewi has joined. 05:01:15 ehird: I see you posted something about WSGIScriptAlias in .htaccess ... did you ever find a workaround? 05:01:24 (Unless this is a different ehird :) ) 05:12:58 G'night all 05:13:02 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 05:21:13 -!- sebbu2 has joined. 05:39:17 -!- sebbu has quit (Read error: 110 (Connection timed out)). 07:10:09 -!- MigoMipo has joined. 07:22:43 -!- Slereah_ has joined. 07:28:19 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server"). 07:35:01 -!- Slereah has quit (Read error: 110 (Connection timed out)). 07:55:44 -!- Deewiant has quit (Remote closed the connection). 07:56:22 -!- Deewiant has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:29:31 -!- ais523 has joined. 09:36:27 -!- ais523 has quit (Read error: 104 (Connection reset by peer)). 09:36:30 -!- ais523_ has joined. 09:41:58 -!- ais523_ has changed nick to ais523. 09:43:21 -!- ais523 has quit (brown.freenode.net irc.freenode.net). 09:43:21 -!- sebbu2 has quit (brown.freenode.net irc.freenode.net). 09:43:21 -!- psygnisfive has quit (brown.freenode.net irc.freenode.net). 09:43:25 -!- Slereah_ has quit (brown.freenode.net irc.freenode.net). 09:43:25 -!- rodgort has quit (brown.freenode.net irc.freenode.net). 09:43:27 -!- ehird has quit (brown.freenode.net irc.freenode.net). 09:43:27 -!- GregorR has quit (brown.freenode.net irc.freenode.net). 09:43:28 -!- lifthrasiir has quit (brown.freenode.net irc.freenode.net). 09:43:31 -!- Leonidas has quit (brown.freenode.net irc.freenode.net). 09:43:33 -!- AnMaster has quit (brown.freenode.net irc.freenode.net). 09:43:34 -!- bsmntbombdood has quit (brown.freenode.net irc.freenode.net). 09:43:34 -!- Asztal has quit (brown.freenode.net irc.freenode.net). 09:43:34 -!- lament has quit (brown.freenode.net irc.freenode.net). 09:43:35 -!- Deewiant has quit (brown.freenode.net irc.freenode.net). 09:43:35 -!- fizzie has quit (brown.freenode.net irc.freenode.net). 09:43:36 -!- Dewi has quit (brown.freenode.net irc.freenode.net). 09:43:36 -!- comex has quit (brown.freenode.net irc.freenode.net). 09:43:38 -!- chuck has quit (brown.freenode.net irc.freenode.net). 09:43:38 -!- dbc has quit (brown.freenode.net irc.freenode.net). 09:43:40 -!- MizardX has quit (brown.freenode.net irc.freenode.net). 09:43:40 -!- oklopol has quit (brown.freenode.net irc.freenode.net). 09:43:41 -!- ski__ has quit (brown.freenode.net irc.freenode.net). 09:43:44 -!- mtve has quit (brown.freenode.net irc.freenode.net). 09:43:44 -!- ineiros has quit (brown.freenode.net irc.freenode.net). 09:43:45 -!- SimonRC has quit (brown.freenode.net irc.freenode.net). 09:43:45 -!- kerlo has quit (brown.freenode.net irc.freenode.net). 09:43:46 -!- evenant has quit (brown.freenode.net irc.freenode.net). 09:43:46 -!- pikhq has quit (brown.freenode.net irc.freenode.net). 09:43:46 -!- Ilari has quit (brown.freenode.net irc.freenode.net). 09:54:39 -!- Corun has joined. 09:54:39 -!- AnMaster has joined. 09:54:39 -!- Leonidas has joined. 09:54:41 -!- Slereah_ has joined. 09:54:41 -!- rodgort has joined. 09:55:00 -!- Deewiant has joined. 09:55:00 -!- Dewi has joined. 09:55:00 -!- oklopol has joined. 09:55:00 -!- fizzie has joined. 09:55:00 -!- chuck has joined. 09:55:00 -!- comex has joined. 09:55:00 -!- dbc has joined. 09:55:00 -!- MizardX has joined. 09:55:00 -!- ski__ has joined. 09:55:06 -!- mtve has joined. 09:55:06 -!- kerlo has joined. 09:55:06 -!- ineiros has joined. 09:55:06 -!- SimonRC has joined. 09:55:17 -!- evenant has joined. 09:55:17 -!- pikhq has joined. 09:55:17 -!- Ilari has joined. 09:55:21 -!- ais523 has joined. 09:55:21 -!- sebbu2 has joined. 09:55:21 -!- psygnisfive has joined. 09:55:31 -!- ehird has joined. 09:55:31 -!- GregorR has joined. 09:55:31 -!- lifthrasiir has joined. 09:55:41 -!- bsmntbombdood has joined. 09:55:41 -!- Asztal has joined. 09:55:41 -!- lament has joined. 09:56:00 -!- Corun has quit ("Leaving"). 10:06:13 -!- ais523_ has joined. 10:06:22 -!- ais523 has quit (Remote closed the connection). 10:06:27 -!- ais523_ has changed nick to ais523. 10:17:48 -!- ais523_ has joined. 10:18:14 -!- ais523 has quit (Nick collision from services.). 10:18:17 -!- ais523_ has changed nick to ais523. 10:24:32 -!- ais523 has quit (Read error: 104 (Connection reset by peer)). 10:34:08 -!- Corun has joined. 10:45:24 -!- Slereah has joined. 10:47:28 -!- Slereah_ has quit (Read error: 60 (Operation timed out)). 10:48:39 -!- Corun has quit ("This computer has gone to sleep"). 10:51:07 -!- Mony has joined. 10:52:56 yop 10:53:44 -!- ais523 has joined. 10:55:04 poy 10:55:35 hi ais523 10:56:15 hi 11:17:18 -!- Corun has joined. 11:19:08 -!- Corun has quit (Client Quit). 11:21:14 -!- oerjan has joined. 12:09:54 -!- jix has joined. 12:54:14 -!- M0ny has joined. 12:58:56 -!- jix has quit (Read error: 60 (Operation timed out)). 12:59:05 -!- jix has joined. 13:01:13 -!- Mony has quit (Read error: 60 (Operation timed out)). 13:35:45 -!- Judofyr has joined. 13:50:53 -!- oerjan has quit ("leaving"). 13:52:07 to bore an aerobot. 13:54:10 -!- bsmntbombdood has quit (Read error: 113 (No route to host)). 13:54:26 -!- bsmntbombdood has joined. 14:38:35 -!- ehird has left (?). 14:38:37 -!- ehird has joined. 14:39:35 YO BITCHIZZLES 14:39:37 bsmntbombdood: wherza lisp machine 14:39:41 21:01:15 ehird: I see you posted something about WSGIScriptAlias in .htaccess ... did you ever find a workaround? 14:39:43 21:01:24 (Unless this is a different ehird :) ) 14:39:45 whuz the issue 14:39:47 just put it in an httpd.conf :P 14:39:49 less elegant? yep. meh. 14:40:16 Hello, ELLIOT 14:40:23 ELLIOTT, bitch ass. 14:40:25 :| 14:40:37 Go back to Elliottia 14:40:40 ais523: I've been playing with massively overcomitting mmaps 14:40:47 I can mmap 2.5 GB but not (size_t)-1 14:42:38 ais523: alive? 14:42:54 ehird: no, I ran into a vampire in minetown and wasn't watching my hitpoints 14:43:01 s/minetown/mine's end/ 14:43:10 it happens 14:43:32 -!- sebbu2 has quit (Read error: 113 (No route to host)). 14:43:52 * ehird decides to write a program to search for the maximum I can mmap 14:47:03 i can mmap 3gb 14:47:10 which is greater than the memory I actually have.. 14:47:42 how much swap do you have? 14:48:04 ehm... I think OS X has infinite swap 14:48:13 I certainly can't configure it 14:49:36 ais523: /private/var/vm 14:49:41 -rw------T 1 root wheel 64M 11 Feb 21:18 swapfile0 14:49:41 -rw------T 1 root wheel 64M 12 Feb 23:26 swapfile1 14:49:41 -rw------T 1 root wheel 128M 12 Feb 23:26 swapfile2 14:49:41 -rw------T 1 root wheel 256M 16 Feb 00:16 swapfile3 14:49:42 -rw------T 1 root wheel 512M 16 Feb 00:27 swapfile4 14:49:42 -rw------T 1 root wheel 1.0G 17 Feb 16:31 swapfile5 14:49:59 heh, I like the filesizes 14:50:02 an odd arrangement indeed 14:50:09 it's clearly been using an exponential allocation strategy 14:50:13 yes 14:50:27 so I have 2GB of swap 14:50:32 ... so, I should try and allocate 4gb 14:50:34 maybe a bit less than 4gb 14:51:09 http://answers.yahoo.com/question/index?qid=20080926085342AA29rTU "Would a 4GB flashdrive hold up 726 bytes?" 14:51:32 ais523: ok, I can mmap 4gb 14:51:37 I bet it fails if I +1 14:51:44 hmm ... nope 14:51:50 64-bit system? 14:51:55 yes 14:52:11 well, most apps are 32-bit. but Factor and this have been -m64'd. 14:52:29 ais523: I'm basically trying to find a O(1) way to find out how much I can mmap without mmap realising I'm being tricksy on BSD/Linux 14:52:32 ehird: I'm worried by the "best answer" on that, which implies 726 MB > 4 GB 14:52:36 but it seems to be semi-arbitrary 14:52:45 ais523: :-D 14:52:58 I'm worried by Yahoo answers i ngeneral! 14:53:03 well, yes 14:53:07 "The 4 GB Flash drive will work, but I would recommend a pocket media drive. They start from 100 GB and can go up to 500 GB. They are very small (fit in a pocket)." 14:53:13 because pretty much every question seems to have stupidity in that order in it 14:53:19 BECAUSE WHAT IF YOU HAVE TO STORE _MANY_ 726 BYTE FILES 14:53:24 also, the first answer is correct, if not properly explained 14:53:36 and it's pretty clear the person asking the question dropped the word "mega" from it 14:53:40 well, the word-segment 14:53:47 ais523: n 14:53:48 no 14:53:49 It reads size as 726 bytes and size on disc 4.00KB (4,096bytes). 14:53:58 ah, missed that bit 14:53:59 that was clearly copied out from the windows property box 14:54:02 well in that case, wtf? 14:54:17 times like these make me wish computers required licenses. 14:54:23 ais523: they could just memorize the file :P 14:54:47 * ais523 picks the most recent question in the electronics section 14:54:51 to get a sort of random sample 14:54:52 http://answers.yahoo.com/question/index;_ylt=Apngm_fViZNk8wvQ7TC8QjGzxQt.;_ylv=3?qid=20090218064820AAcLxie 14:54:57 http://gyu.que.jp/jscloth/touch.html <- holy feck (enable JS) 14:55:15 ais523: haunted computer 14:55:26 I was actually wondering if he'd got his computer confused with a TV 14:55:36 although it seems to have task manager, so maybe not 14:55:43 maybe it's a troll 14:56:36 http://answers.yahoo.com/question/index;_ylt=AtBwU5Fdpb8IgZySgDYGvDCzxQt.;_ylv=3?qid=20090218015557AA7g5TU is another pretty bad one too 14:56:47 factor, by the way, is an excellent language made by someone who knows what they're doing and it's also fast, and has great unicode support and tons of libraries/ 14:56:51 everyone should try it. 14:57:15 (also, the workspace UI is like Smalltalk and Emacs put into one, except it integrates with the OS and you can use your own editor) 14:57:34 does it work without the UI too? 14:57:39 yes 14:57:44 in which case it's just a regular REPL 14:57:47 and you can run programs like that 14:57:50 including hash-bang style 14:57:59 but the UI is really great for development 14:58:19 sounds good, then 14:58:24 language tied to IDE = bad 14:58:28 language which comes with an IDE = good 14:58:39 well, the actual editing is outsourced to whatever editor you wish 14:58:45 better still 14:58:46 but it provides tons of hooks and documentation and a REPL etc 14:58:58 ais523: the UI itself is rather crazy; it's drawn manually with OpenGL... 14:59:05 why is that crazy? 14:59:12 i'd just use a gui toolkit :D 14:59:18 hmm, I forgot to mention that factor's a functional, concatenative lang 14:59:30 I guessed, I think I've heard of it vaguely 14:59:33 basically joy except usable. 15:00:00 It's made by the guy who wrote jEdit, if you've heard of that 15:01:08 ais523: it's crazy how much random stuff it has 15:02:30 it comes with a library for graphs, continuations, a full objective-c bridge with helper functions for making cocoa UIs, a bloody web framework, cellular automata stuff, coroutines, a pong game using the UI, a tetris game using the UI,... 15:02:46 oh, and a sudoku solver 15:02:50 (the latter ones are just demos, though) 15:03:15 it also has proper compiler macros, which is always nice 15:05:03 it reminds me of smalltalk quite a lot 15:05:04 you can do 15:05:07 \ word-name edit 15:05:13 and it pops up the word's definition in your editor 15:07:42 apparently the optimizing native-code compiler is really good, not as good as ocaml though 15:11:33 ESR wrote "The Cathedral and the Bazaar" and, uh... maintains fetchmail 15:11:39 -- 2004-10-12, but not #esoteric 15:11:52 how could he forget about C-INTERCAL? 15:12:00 :-D 15:12:07 he gave up on C-INTERCAL. 15:12:11 it was too cool. not crap enough. 15:12:15 well, yes, but he still invented it 15:12:26 and 2004 is well before I started maintaining it 15:12:35 ais523: he thought it was a serious language, and was going to rewrite fetchmail in it 15:12:44 when he realised it was a joke, he hastily amended the README to reflect this and abandoned it 15:12:53 I don't think so 15:13:00 that's what he wants you to think 15:13:05 "Your IP address is: 0:0:0:0:0:0:0:1" -- factor example app 15:13:09 oh so fancy, with yer ipv6. 15:13:54 so when is everyone going to start using ipv6 again? 15:13:59 3001? 15:14:03 9001? 15:14:43 That is... 15:14:44 A lot. 15:14:56 Oh yeah, and he also single-handedly ruined the Jargon File. I hate him =( 15:14:58 this guy talks sense. 15:15:10 the sad face does it. 15:17:44 ais523: 16:15:56 Oh, there was that INTERCAL compiler too 15:17:58 an eizaphant never forgets 15:23:11 haha wow, you can use ^H as a variable name in SBCL 15:23:36 hmm, no 15:23:40 you can use ^X though 15:39:01 I Have an important request that made me to contact you; I am Mr.Wolak Rakan, I found Your profile very interesting and decided to reach you directly to solicit your assistance and Guidelines in making a business investment and transfer of (£12.5M GBP) to your country within the Next few days. 15:39:13 gmail has failed to filter this, so I think I'll play along 15:39:38 wow 15:39:41 that's a lot of money 15:39:45 will you give me a bit too? 15:39:49 sure 15:39:54 ehird: careful 15:39:54 \o/ thanks 15:40:06 some people have even died as the result of scams or scambaiting attempts 15:40:15 huh? 15:40:24 why haven't i heard, links 15:40:24 I'm kind of doubting sending a few silly emails will result in my death... 15:40:31 basically, they got involved with criminals as a result and the criminals didn't like what happened 15:40:57 i was going to go for the sillier tactics. like 'what about my fluffy bunny pal'. 15:41:15 it's from a "Wolak Rakan" 15:41:18 and the sig is in chinese 15:41:22 it's an exotic 419! 15:41:39 ... the sig links to an ecard service. 15:54:27 -!- psygnisfive has quit (Read error: 110 (Connection timed out)). 16:07:02 -!- BeholdMyGlory has joined. 16:31:16 -!- sebbu has joined. 16:32:00 And no, smilies cannot ever face left just like you can never go back in time. 16:33:25 9: 16:34:33 * ais523 is reading the source to netcat 16:34:41 it's... not typical 16:37:05 ais523: Hobbit netcat 16:37:06 ? 16:37:06 or gnu 16:37:16 (I prefer the former, as you know...) 16:37:26 ais523: it is typical for ~1996 unix hacker sort of culture. 16:37:36 ehird: I don't know 16:37:40 ais523: is it GPL 16:37:53 $ nc --version 16:37:55 nc: invalid option -- '-' 16:38:00 I'm guessing it isn't the GNU version, then 16:38:06 % nc --version 16:38:06 nc: illegal option -- - 16:38:06 usage: nc [-46DdhklnrtUuvz] [-i interval] [-p source_port] 16:38:06 [-s source_ip_address] [-w timeout] [-X proxy_version] 16:38:06 [-x proxy_address[:port]] [hostname] [port[s]] 16:38:21 ais523: does your usage look like that? 16:38:29 there wasn't a usage 16:38:34 it just said "nc -h for help" 16:38:47 ais523: you have the source, surely you can check the comment header?!?!?! 16:39:10 ah yes, it's the hobbit version 16:39:18 which release? 16:39:25 960320 16:39:30 yep, that's the latest 16:39:53 it's solid code, what's not typical about it, ais523? 16:40:05 well, okay, it uses poop as a variable name, that is a bit strange. 16:40:17 register HINF * poop = NULL; 16:40:23 from function HINF * gethostpoop (name, numeric) 16:40:23 ehird: the comments 16:40:27 I assume poop actually means something 16:40:36 ais523: they're entertaining 16:40:40 exactly 16:40:46 how often do you see that in source nowadays? 16:40:53 true 16:41:16 #ifdef GAPING_SECURITY_HOLE 16:41:16 char * pr00gie = NULL;/* global ptr to -e arg */ 16:41:25 i bet -e was a last-minute afterthought 16:41:29 no 16:41:40 oh? did you ask him? :P 16:41:42 according to the readme if you turn that on in a suid root version of netcat, you're in trouble 16:41:50 ofc 16:42:00 I just mean 'pr00gie' 16:42:14 incidentally, this guy fell off the face of the earth after releasing a few netcat releases 16:42:16 the readme implies that he was preempting stupid packaging by giving the option a scary name 16:42:29 to a sufficient degree that bitrot has made google return no relevant results 16:42:49 and the only page you can get is the netcat page via the internet archive, IIRC 16:43:02 I wonder if this guy is a perl coder 16:43:04 bail, holler 16:43:06 ... carp, croak 16:43:32 no, I think this is the sort of person who invented Carp 16:43:38 it's the other way round 16:43:41 haha :D 16:43:54 Debug (("ipoptions ret len %d", x)) 16:43:57 damn, it's old-school debug macros. 16:44:49 * ais523 suddenly wonders how many commercial programs look like netcat 16:44:55 #ifdef HAVE_BIND 16:44:55 res_init(); 16:44:55 #endif 16:44:58 er 16:44:59 stupid client 16:45:04 #ifdef HAVE_BIND 16:45:06 /* can *you* say "cc -yaddayadda netcat.c -lresolv -l44bsd" on SunLOSs? */ 16:45:09 res_init(); 16:45:09 #endif 16:45:11 I don't know, can I? 16:45:35 ais523: windows? 16:45:40 more cursing, though. 16:45:44 and less.. working 16:45:53 /* If your shitbox doesn't have getopt, step into the nineties already. */ 16:45:57 wow, a time when systems didn't have getopt 16:46:07 Windows still doesn't 16:46:13 at least, not without cygwin or some other library 16:46:16 does windows count as a system, relaly 16:46:17 *really 16:46:32 #ifdef HAVE_HELP 16:46:32 helpme();/* exits by itself */ 16:46:32 #else 16:46:32 bail ("no help available, dork -- RTFS"); 16:46:32 #endif 16:46:38 now why would you not define HAVE_HELP? 16:46:46 to make the executable smaller, obviously 16:47:36 ais523: nope - smugness 16:47:36 #ifdef HAVE_HELP/* unless we wanna be *really* cryptic */ 16:48:09 tbh, options are one thing that can normally be deduced from the source, unless it's intentionally obfuscated 16:48:39 /* None genuine without this seal! _H*/ 16:48:48 Unforgable electronic signature 16:49:03 hey, it didn't say it guaranteed the source was genuine 16:49:08 just that the source wasn't genuine without it 16:49:10 which is correct 16:49:16 :D 16:50:55 ais523: when you wanna make an FPGA-type thing you use vhdl or verilog right? 16:51:00 yes 16:51:16 -!- sebbu has quit (Read error: 110 (Connection timed out)). 16:51:30 ais523: see i was thinking about bsmntbombdood's yesterday idea of a modern lisp machine in fpga 16:51:40 and it wouldnt' feel right to make a lisp machine in anything but something using lisp, y'know? 16:51:46 I have no idea how to code up a lisp machine, really 16:51:50 :-D 16:51:52 and you have to start somewhere 16:52:03 well, if you're in the 80s and a company, you make yer own damn chip 16:52:06 I mean, I can sort-of understand how to implement Lisp in an imperative manner 16:52:13 but not in a behavioural manner 16:52:15 oh, you don't implement lisp on the chip directly 16:52:20 oh, boring 16:52:37 ais523: what machine code is to C, lisp machine code is to lisp 16:52:55 I guessed it would be something like that 16:52:58 i.e., a relatively simple translation, with features specificalyl designed to make parts of the latter easier 16:53:16 although, lisp machines are closer to Lisp than x86 is to C 16:53:24 since they were bsaically designed to do lisp and nothing else 16:58:04 ais523: say, that solving a maze with random walk thing in ocaml you said was so fast 16:58:16 care to paste your code? I'd be interested in seeing how well factor does, speed-wise 16:58:21 -!- Hiato has joined. 16:58:41 ehird: legally can't, I don't have the copyright on it 16:58:50 Ouch; copyright assignment? 16:58:53 Nasty. 16:58:53 working for a university is ridiculous 16:59:24 Just imagine, people do that willingly. With the FSF. 16:59:28 They think it's a _good thing_... 16:59:57 well, for small submissions, when you don't care about the licence anyway, it makes it easier for the FSF to sue people infringing the copyright 17:00:37 if you don't care there's no point suing. 17:00:40 I <3 centralization. ... not 17:00:46 ehird: if you don't care and they do 17:00:55 huh? 17:00:58 then you might agree to the requirement so as to get your code in their projects 17:01:02 I mean, you don't care but the FSF does 17:01:04 oh, right 17:01:09 I'm saying that the whole concept is ridiculous 17:04:02 -!- Judofyr has quit (Remote closed the connection). 17:04:28 the factor CLI reminds me of running the mathematica kernel directly and I don't know why 17:04:28 [ehird:/Applications/Factor] % ./factor 17:04:29 ( scratchpad ) 1 0 / 17:04:29 Division by zero 17:04:29 Type :help for debugging help. 17:04:31 ( scratchpad ) 17:04:40 ( scratchpad ) 1 17:04:40 --- Data stack: 17:04:40 1 17:04:46 well, that's reverse polish, which looks concatenative right away 17:04:56 oh, yes 17:04:58 also, I've never tried to run the mathematica kernel directly 17:04:59 I just mean the general feel of it 17:05:28 ais523: 17:05:29 [ehird:/Applications/Mathematica.app/Contents/MacOS] % ./MathKernel 17:05:29 Mathematica 7.0 for Mac OS X x86 (64-bit) 17:05:29 Copyright 1988-2008 Wolfram Research, Inc. 17:05:29 In[1]:= 1/0 17:05:30 1 17:05:31 Power::infy: Infinite expression - encountered. 17:05:33 0 17:05:35 Out[1]= ComplexInfinity 17:05:38 In[2]:= 17:05:40 er, sorry for the flood 17:05:53 I guess it's just having used a similar GUI interface,then seeing it emulated at a console 17:06:13 hmm... they don't seem all that similar 17:06:22 they're both REPLs, but I don't see more of a similarity than that 17:06:54 in fact the Mathematica kernel reminds me more of the Perl debug REPLs on CPAN than of the Factor one 17:07:08 ais523: they're both mainly used via UI interfaces that look essentially the same, but are richer in the UI environment 17:07:15 ah 17:07:25 giving a sort of detached feeling. But I'm just odd. 17:09:39 also, there's a slight problem with factor's pong demo 17:09:44 specifically, the AI is unbeatable. 17:09:56 that's not a problem, it just makes the game different 17:10:05 as in, changing it from "can you win" to "how long will you last"? 17:10:22 ais523: true. but you can't score at all 17:10:30 yet it can 17:12:20 ais523: how much do you reckon my system will let me mmap? 17:12:52 it would be nice if it was exactly your free memory + your free disk space 17:12:56 haha 17:12:58 I'd be really impressed with Apple if it was that 17:13:02 naw, it's a bit less unfortunately 17:13:07 I'm thinking it's 3.5GB 17:13:15 as I have 2.5GB and 2GB of swap 17:13:16 errr... 17:13:18 4.5GB 17:13:37 [problem is, determining this in a portable way across linux/bsd 17:14:07 hmm nope, more than 4.5GB 17:14:28 i can allocate 5gb 17:14:45 * ehird puts sleep(10), to see if Activity Monitor puts it at 'Virtual memory: 5gb' 17:14:55 -!- sebbu has joined. 17:15:06 Hello French dude. 17:15:24 ais523: it pputs it at virtual memory = 7.5gb... 17:16:12 ah 17:16:13 then it goes down 17:16:14 to 11MB 17:16:21 i guess it realises it's playing dirty tricks 17:16:40 can you quickly write to all that 4.5GB in ten seconds 17:16:47 maybe one byte per megabyte for speed? 17:16:58 heh, I'll make it write to it 17:17:09 -!- sebbu2 has joined. 17:17:13 I'll write to it at 5368709110 17:17:17 which is about 10 bytes from the end 17:17:36 zsh: segmentation fault ./overcommit 17:17:38 unsurprising 17:18:36 well, I'm slightly surprised it's a segfault not some other sort of error 17:18:54 ais523: the OS just lies to the program 17:18:58 and gives it back a smaller space 17:19:04 (that can expand at will) 17:19:55 writing to it puts it at 7.5GB real m emory then grows to 1.19GB real memory, then my system lags like fuck and I have to terminate it 17:20:04 somewhere in the vicinity of 323000000 in 17:20:11 (out of 5368709120) 17:20:13 err 17:20:17 7.5GB virtual memory 17:20:18 I mean 17:20:58 ais523: I can write to [323000000] then read it fine 17:21:00 (if I do nothing else) 17:21:10 presumably, it breaks down if I go further than my free memory 17:21:16 which OS X sez is 1.21GB 17:21:18 so let's try that 17:22:20 hmm, nope 17:22:55 ais523: writing to 5000000000 out of 5368709120 segfaults 17:22:55 so 17:22:56 new theory: 17:23:00 i can use up to my total memory 17:23:18 ah, I can see how that would happen 17:23:24 yeah 17:23:26 or maybe up to your total memory - the amount the OS absolutely needs 17:23:39 yep, [1610612736] segfaults 17:23:47 so I'll try 1610000000 17:23:59 that also segfaults 17:24:03 -!- sebbu3 has joined. 17:24:10 so does 1600000000... 17:24:27 & 1500000000 17:24:40 1000000000 works 17:25:07 ais523: heh, if I assign to [1000000000] activity monitor says 7.56GB, as if I was using all the previous data 17:25:12 overcomitting is _weird_ 17:25:28 so are gibibytes 17:25:49 ais523: http://answers.yahoo.com/question/index?qid=20080513171119AAYgfzE <- wtf @ best answer 17:26:39 I reckon there are people who go around yahoo answers upvoting obviously stupid answers for fun 17:26:56 ais523: that was chosen by the asker 17:27:02 ... 17:27:17 -!- sebbu has quit (Connection reset by peer). 17:28:54 anyway, here's my current code: 17:29:00 -!- FireFly has joined. 17:29:23 -!- sebbu has joined. 17:29:30 ais523: http://pastie.org/393011.txt?key=hgvohjpomjrqkeebq3smg 17:29:45 could you try it on your system? I assume it'll fail due to the large amounts, but I'm curious as to what point 17:29:49 the mmap? the assignment? 17:30:02 ehird: I know from experience not to mess with overcommitting on here 17:30:06 huh? 17:30:17 I don't think my program can break your computer ... 17:30:25 it's taken me half an hour to unthrash it after accidentally using up too much memory when compiling C-INTERCAL 17:30:37 ais523: ah, well mine won't use more than 1 integer's worth of memory 17:30:37 so it doesn't break the computer, but it makes it unusable for a while 17:30:48 since it doesn't use any more than one integer's worth 17:30:49 well, I don't have much memory 17:30:58 do you have sizeof(int) memory? :P 17:31:06 considerably less IIRC 17:31:24 erm 17:31:29 what kind of computer is that 17:31:32 that cannot hold an int 17:31:41 apparently I have 1000.2 MiB of memory 17:32:11 ehird: I wasn't sure of the units, I assumed you were referring to an int-range of memory 17:32:17 no, I meant one integer :P 17:32:20 but that max memory value is pretty suspicious by itself 17:32:30 well, technically it stores an integer pointer too. 17:34:45 ais523: I predict the mmap will just fail 17:34:55 as overcommitting seems to be careful to a degree 17:34:58 for a second there i thought ais523 has a bignum computer. 17:35:05 well i didn't, but i hoped. 17:35:08 meh, maybe I'll turn overcommit off and then run it 17:35:14 that will definitely fail... 17:35:22 oklopol: omg that'd be amazing. 17:35:28 i bet the lispms had that 17:35:29 or set it to always overcommit even in ridiculous circumstances mode 17:35:44 who came up with overcomitting 17:35:50 yessssssss everything should be implemented hardware level, it may be stupid, but damn it's cool. 17:35:57 *at 17:38:08 On the structure of the cohomology of nilpotent Lie algebras (2007) - my masters thesis, written under the supervision of Barry Jessup and Paul-Eugene Parent. 17:38:13 I think this is the only reason I actually like factor 17:38:22 what is? 17:38:28 the author wrote that :P 17:38:37 and it makes absolutely no sense 17:38:40 have you read it, or do you just like the na,e? 17:38:53 it reads like it was generated 17:38:54 http://factorcode.org/result.pdf 17:40:02 ehird: you clearly don't read many academic papers, then 17:40:08 oh I read them 17:40:11 I just don't understand them 17:40:21 -!- sebbu2 has quit (Connection timed out). 17:41:05 have you read mine about the 2,3 machine, by the way? 17:41:11 yes 17:41:13 admittedly, it's rather boring 17:41:17 wasn't it typeset in arial? 17:41:26 no idea, quite possibly 17:41:30 it was just an openoffice file 17:41:48 ah, I remember what happened 17:42:00 http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf 17:42:04 I think I was using a linux-specific font, they wanted to put some mathematica code at the end so I sent them the .odt 17:42:07 looks like Univers 17:42:07 maybe 17:42:15 the actual text is times 17:42:16 and they somehow managed to mess up the conversion of the edited version to pdf 17:42:16 ugly times. 17:42:21 in fact, I think it's times new roma 17:42:22 n 17:42:28 line height 1 17:43:05 wow, that Mathematica at the end is ugly 17:43:12 it's really long too 17:43:17 yes 17:43:31 I hadn't really mastered the habit of concise Mathematica, that requires memorising the entire stdlib really 17:44:18 ironically, the Perl does the same thing as the Mathematica and runs a lot faster 17:44:28 so if they wanted to show off their prize programming language, they failed 17:45:04 -!- sebbu3 has quit (Connection timed out). 17:46:51 It is irritating that SBCL's only UI is emacs. 17:47:14 (The non-editing-supporting, dumb-terminal sbcl(1) does not count) 17:47:41 obviously, readline should be a wrapper program, not a library 17:47:59 that's a lot more UNIXy, and would probably work just as well 17:48:08 it is. 17:48:11 see ledit(1). 17:48:19 but sbcl is a mainly closed-world system, like most lisps. 17:48:24 you shouldn't have to do that 17:48:38 also, it doesn't work as well 17:48:41 e.g., tab completion 17:48:53 does readline do tab-completion? 17:49:40 yes. 17:50:08 ais523: if readline was a wrapper, rms couldn't harass the clisp author with false accusations to make him use the gpl. 17:50:17 think of the childr^Wfsf 17:50:21 yes, I was just thinking the same thing 17:55:23 ais523: i wonder if my cynicism rubs off on everyone 17:56:27 -!- sebbu2 has joined. 17:57:26 Wonder how much an old lisp machine costs. 17:57:32 (A: A lot. Probably.) 17:59:33 lol, the scammer replied 17:59:40 what did he say? 17:59:46 Thank you for your mail, however I want to bring it to your notice that this business we are trying to do must Need at least 7 working days with full concentration, no matter how engage you may be in order for it to be concluded successfully. 17:59:48 [blah blah blah blah] 17:59:59 Finally, I want to remind you of the importance for you to keep this business very secret and confidential until this fund is transferred into your account, bearing in mind the nature of what we are doing. If you think we should proceed and agree with the terms then reconfirm your name and address ,telephone and fax number for me to prepare the agreement.I want you to bear it in mind that this is 100% risk free and legal. 18:00:22 7 working days with full concentration? I wouldn't be able to concentrate for that long... 18:00:35 i'm tempted to ask some sort of question about child labour 18:05:30 er 18:05:38 what's the emacs way to hook into when an autoload triggers? 18:05:48 I can't remember offhand 18:05:51 I think it involves add-hook 18:05:57 but I'm not sure what hook to hook into 18:08:02 -!- sebbu has quit (No route to host). 18:09:55 :< 18:30:30 hmm 18:30:42 you can do mark-and-sweep in parallel right? 18:31:12 if you have an fpga you can have a piece that's constantly garbage collecting in the background 18:32:22 could be interesting 18:34:02 bsmntbombdood: mark-and-sweep is hideously stupid. 18:35:04 ehird: not if you are doing it concurrently 18:35:15 sure is, if you're doing it for a whole freaking machine 18:35:26 also, you can't really do much more than a conservative gc 18:35:31 you can sweep the whole memory every 2 minutes 18:35:32 which sux 18:35:36 ehird: it's a LISP MACHINE 18:35:40 no shit 18:35:40 it knows lisp 18:35:43 lisp machines run other code too 18:35:47 not this one 18:35:48 doesn't refcounting work in lisp? 18:35:49 and you can access memory directly with them 18:35:56 ais523: no. circular data structures. 18:35:56 because there's no way to express a cycle of references? 18:36:01 wrong. 18:36:01 8| 18:36:05 a lisp machine knows what you can do with pointers in lisp 18:36:09 ah, how do you get a circular data structure in lisp? 18:36:28 (defvar butts (cons 1 nil)) (replacd butts butts) 18:36:32 in some lisps there's even syntax for naming parts of a structure and referring from within 18:36:37 *to them 18:36:37 butts ;=> #1#=(1 . #1#) 18:36:42 (Printing syntax may be wrong, it's from memory) 18:36:44 ^ that syntax 18:36:56 hmm... I didn't even realise Lisp allowed that sort of thing 18:37:15 hmm right that's scheme's output syntax wasn't it? 18:37:20 amusingly, Perl allows that sort of thing but explicitly says it creates a memory leak, the programmer has to break the cycle for the resulting object to be garbage-collected 18:37:27 hmm 18:37:32 [18:37:15] hmm right that's scheme's output syntax wasn't it? 18:37:33 no; lisp 18:37:35 well, it's an extension 18:37:37 ais523: perl uses refcounting? 18:37:42 yes 18:37:47 ehird: scheme \subset lisp 18:37:52 errr 18:37:55 very no 18:38:06 ehird: yes definitely, I've read the helpfiles about it 18:38:07 lisp, in colloquial usage = common lisp and its kin/parents 18:38:12 ais523: I was replying to bsmntbombdood 18:38:13 oh, you're saying no to bsmntbombdood 18:38:25 lisp is a class of languages, containing LISP, common lisp, and scheme, among others 18:38:28 also, Perl has weaken which I think is one of my new favourite useful yet esoteric keywords 18:38:39 bsmntbombdood: so {scheme} \subset lisp 18:38:49 it causes a pointer to not count for the purposes of refcounting, and if the refcount goes down to 0, the pointer immediately becomes undef 18:39:40 or maybe scheme \subset (\union lisp), where \union unions the features of lisps in genera 18:39:41 l 18:39:49 but that might make a tiny bit less sense 18:39:50 dunno 18:39:58 oklopol: a lot less sense 18:40:12 not really, just a bit less. 18:40:54 ais523: python and c have that too, they're just not keywords 18:41:06 *c++ 18:41:23 oklopol: well, C++ needs all memory management to be done by the user, and explicit free 18:41:28 so you could implement weaken by hand, I suppose 18:41:34 how do you do it in python? 18:41:42 weakref's 18:42:02 at least i assume that's what they do, could be something slightly different, since i haven't actually looked at them. 18:42:24 python has del 18:43:09 del is completely unrelated 18:43:33 yeah it is pretty unrelated 18:44:56 -!- Corun has joined. 18:47:04 ais523: well if you just use pointers, they are automatically weak; i'm talking about boost's strong and weak pointers 18:47:28 oklopol: ah 18:47:36 well, they aren't properly automatically weak 18:47:47 because they don't become NULL when the thing they point to is freed 18:48:20 ..they should? 18:48:35 i don't see how that's something inherent to a weak pointer 18:48:49 well, it's one of their more useful properties 18:49:35 i guess the issue is whether the weak/strong distinction is about technicalities, that is, getting refcounting to work, or whether it's something that's actually used for some purpose 18:49:40 for the latter, they need to be nulled 18:49:53 but i think boost's philosophy is the former 18:50:04 ah, the latter is what I was using in my Perl program 18:51:18 i mean without nulling, there is no way to know whether the object has been removed, so the weak pointer will have to have died anyway at some point, or bugs will occur, so they could just as well have been strong, because from their perspective they're always pointing to a living object. 18:51:37 of course, this is kind of a triviality, dunno why i'm explaining it. 18:52:08 pizza time 18:52:09 -> 18:53:11 Poor man's lisp comment: ' 18:53:44 haha 18:53:48 that's like ()! in Underload/Underlambda 18:54:00 it's useful because you don't have to comment out every line of the form 18:54:06 or maybe ''' in Python 18:54:14 is ''' or """ more common, by the way? 18:54:34 both. 18:54:48 the REPL prints out '.' unless the str contains ' in which case it prints "." 18:55:14 ais523: common lisp has somethign specifically for it 18:55:15 #+nil 18:55:19 #+impl, you see 18:55:23 so if you just want something for sbcl you do 18:55:25 #+sbcl form 18:55:33 #+nil obviously comments out the next form 19:06:13 -!- Judofyr has joined. 19:07:52 grr 19:07:55 this is rather difficult 19:10:32 -!- M0ny has changed nick to mony. 19:10:35 -!- mony has changed nick to Mony. 19:21:38 http://www.isolani.co.uk/blog/standards/Ie8BlacklistForcingStandardsRenderingOptIn ;; Correct fix: write bot to mark all pages as that. distribute it. microsoft reverts change. profit. 19:22:36 err... what? Microsoft /re-reverted/ that? 19:22:55 nope, they just added an insidious feature that makes it actually neccessary 19:23:09 microsoft 1 humans 0 19:23:10 the more worrying thing there is the automatically updating list 19:23:19 that implies that IE8 sends to Microsoft information on which websites you visit 19:23:22 otherwise, how could it update? 19:23:31 only for the sites you click the button on 19:23:49 still... 19:24:37 anyway, it's been discovered that IE8 has exponential performance on nested absolutely-positioned
s 19:24:54 it seems that 25 nested absolutely-positioned
s is enough to crash most high-spec computers 19:25:11 :DD 19:25:25 heh 19:25:26 I wonder if Microsoft will fix that one? 19:25:42 or if you can just put a website with that markup in, as a logo or something? 19:26:01 if the website makes the computer, people will probably blame it on IE not the website 19:26:03 i hope the IE team goes and does something more suited for their level of intelligence 19:26:06 like, say, playschool 19:26:18 actually, I think the IE team are very intelligent and given stupid orders by management 19:26:24 such as what to prioritise, and what to implement or not 19:26:29 surely they could just follow the orders on a technicality? 19:26:32 how do they sleep at night? 19:28:35 "Despite all the outreach to sites, we saw from the telemetry data that IE8 Beta 2 users still have to use Compatibility View a lot." 19:28:39 why does that scare me a lot? 19:28:46 XD 19:29:28 also, they mention Opera does something similar, although it probably isn't at all similar 19:29:35 that article looks like it's trying to pre-emptively avoid criticism 19:31:13 hmm... http://www.gtalbot.org/BrowserBugsSection/MSIE8Bugs/ looks interesting 19:35:27 grr 19:35:28 slime 19:35:28 DWIM 19:35:47 ? 19:36:14 can't figure out how to hook into slime to get "tell me when the repl buffer is ready" 19:36:18 to resize it to be smaller 19:36:21 oh 19:36:23 what is slime 19:36:29 superior lisp interaction mode for emacs 19:36:38 it basically imitates the lisp machine editor 19:37:18 -!- olsner has joined. 19:38:36 -!- oerjan has joined. 19:42:08 all the cool kids seem to use emacs fully maximized. 19:42:31 also, does knuth really expect to be alive to write the 7th volume of taocp? 19:43:31 emacs is designed to be fully maximised, I think, as it's meant to be an entire UI not just an editor 19:43:48 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 19:44:04 gr. 19:48:06 as for that IE8 stuff, I'm wondering about submitting it to Slashdot to give kdawson something else to bash 19:48:09 do you think that's a good idea? 19:48:25 kdawson? 19:48:31 a Slashdot editor 19:48:40 who posts all sorts of anti-Microsoft stories even if they make no sense 19:49:01 haha 19:49:07 when there are loads of legitimate reasons to bash Microsoft, why pick stupid ones? 19:50:08 ehird: http://tech.slashdot.org/article.pl?sid=09/02/16/2259257&from=rss was one of the stupider ones recently 19:50:29 "oh no, I cracked Photoshop by replacing a DLL, now it doesn't work, it must be Windows 7 DRM!" 19:51:31 :D 19:51:48 wow, Leopard makes dark windows actually look nice. now I can be a super-leet haxor. 19:52:13 actually, dark windows are popular so as to hurt your eyes less 19:52:21 i don't have crap eyes :D 19:52:22 -!- Judofyr has joined. 19:52:26 i wonder where emacs's scroll-like-the-rest-of-my-system-not-a-jumpy-weird-ass-piece-of-crap setting is 20:00:40 ais523: i wonder if my cynicism rubs off on everyone 20:00:48 a bit. 20:05:34 grr 20:05:38 m-xc ustomize is so flaky 20:05:41 why can't it write out regular variables 20:11:25 ais523: oerjan: new vote: I switch to linux or bsd and use a tiling window manager so this isn't a problem. 20:11:54 ehird: "vote"? for what? 20:12:03 I am unable to make decisions :-D 20:12:19 * oerjan votes for xmonad, if only because it's in haskell 20:13:02 * oerjan goes back to IE in the other window 20:15:37 -!- ehird[erc] has joined. 20:15:45 Solution: Use Emacs as OS. 20:15:56 * ehird[erc] in fullscreen mode :P 20:16:55 -!- ehird[erc] has quit (Remote closed the connection). 20:21:11 -!- Slereah_ has joined. 20:21:30 I would use emacs if I were an idiot fuckhead moron. 20:21:48 i'm a regular guy who wants to use lisp so I have to be an idiot fuckhead moron 20:21:51 , xah lee 20:22:02 good point, i suppose there's nothing better than slime 20:22:11 because nobody cares enough about lisp to write something better 20:22:26 lament: lisp machine OS, duh. 20:23:13 the screenshots i've seen of them looked quite horrendous 20:23:26 they weren't _pretty_, this was the 80s 20:23:33 but they were efficient, usable and highly reflective 20:23:59 efficient, usable, highly reflective - pick any two 20:24:11 on "modern" slum computers, sure. :) 20:24:39 the reason modern computers suck is not because they don't run lisp on bare metal 20:24:46 agreed 20:25:01 the point is that you need hooks to allow the high-level features 20:25:05 and modern machines, well, don't. 20:25:13 so we get to use C! Joy! 20:29:40 some people also use Joy, C? 20:29:50 :D 20:30:32 mmph I wonder how to center the emacs frame 20:31:23 -!- Slereah has quit (Read error: 110 (Connection timed out)). 20:33:16 -!- Hiato has quit ("Leaving."). 20:34:20 gr 20:36:28 eek 20:38:33 this should be trivial 20:38:33 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 20:38:35 :-( 20:39:54 -!- kar8nga has joined. 20:42:44 ais523: do you know how/ 20:42:53 in what window manager? 20:43:03 you can set window positions generically in emacs 20:43:09 I've just forgotten how to get the frame's height in pixels 20:43:12 (/width too) 20:43:16 I'm not sure what the elisp command for that is 20:43:24 -!- oklopol has joined. 20:43:28 it's not the sort of thing that programs generally mess with, so I've never had to look it up 20:43:39 is there a shorter noun for "need to pee"? 20:43:50 noun, or adjective? 20:43:51 oklopol: neep 20:43:56 as far as I know, no to both, though 20:44:18 GregorR: i was wrong, it seems computers using vista can shut down due to hardware failures as well. 20:44:55 oklopol: ? 20:45:21 ais523: referring to a conversation GregorR probably doesn't even remember anymore. 20:45:51 ehird: is that a joke, or something urbandictionary just hasn't learned yet? 20:46:10 oklopol: I invented it. go use it 20:46:16 ais523: well by noun i meant noun, but adjective works too. 20:46:23 ais523: what does [[[...]]] around the modeline mean? 20:46:32 it means you're in a triply recursive edit 20:46:41 you can go back to editing in the middle of certain commands 20:46:49 and then pop the edit back to the command when you're done 20:47:04 useful in the middle of a long find/replace operation when you notice something else that needs fixing, for instance 20:47:22 how can I exit the recedits? 20:47:41 I can't remember offhand, maybe C-M-c 20:47:47 or maybe C-] 20:47:51 Debugger entered--Lisp error: (error "Cannot return from the debugger in an error") 20:47:55 I know ESC ESC ESC exits a recedit 20:48:03 that gives 20:48:03 Debugger entered--Lisp error: (error "Cannot return from the debugger in an error") 20:48:12 without resuming the command that started the recedit 20:49:04 import ant quest ion 20:50:36 aaaaaargh I forgot how to center :< 20:50:50 it's not -(/sh 2)fh 20:50:53 (s=screen,f=frame) 20:50:59 * ehird 's brain is off today 20:51:08 okay ehird let's think logically :| 20:51:13 (fh-sh)/2 20:51:20 i wish you hadn't done that 20:51:21 now Ifeel dumb. 20:51:28 you're not smart enough for lisp. 20:51:32 or (/ (- fh sh) 2) 20:51:34 in Lisp notation 20:54:22 okay, emacs environment all set up. umm, what was I going to write again? 20:54:52 oh look, SBCL's running with 2GB virtual memory. so it definitely does the overcommitting trick 20:55:00 ... wtf it's 32-bit :< 21:03:08 -!- kar8nga has quit (Read error: 60 (Operation timed out)). 21:14:54 -!- kar8nga has joined. 21:15:22 -!- ehird has changed nick to ehird|away. 21:38:35 -!- ehird|away has changed nick to ehird. 21:40:03 hi 21:40:23 hi 21:40:27 hi 21:40:34 a 21:40:35 I win 21:40:44 YOU BROKE THE CHAIN 21:46:41 o 21:47:04 oko 21:47:17 okokokokokokookokokokokokoo 21:47:20 okokokokokokokokookoko 21:47:23 okokokokokokokokokookoko 21:47:26 okokokokokokokokokookokokokokokoko 21:47:29 okokokokokokokokookok 21:47:30 kakao 21:47:30 o 21:47:46 oklopol: you should do evaluations in s-k combinator calculus 21:47:49 but with o rather than s 21:48:35 how would you indicate el structure? 21:48:46 ah, good point 21:48:47 Iota, then 21:48:51 with o for * and k for 21:48:53 i 21:49:14 except you can't start or end with a k or have two adjacent k's 21:49:17 okokokokokokokokokookoko 21:49:21 okokokokokokokokokookokookoko 21:49:24 okokookokokokoo 21:49:26 okokokokokokokokoo 21:49:28 okokokokokokokokokooko 21:49:38 okokokokokokokoko 21:49:42 ookokokokokokokoko 21:49:44 hmm 21:49:50 why did i start okoing anyway 21:49:51 oh 21:49:53 i see, 21:49:55 . 21:49:55 have oko be binary numbers 21:49:57 of a godel encoding 21:50:01 of oklotalk 21:52:22 i can't 21:52:25 i need to do algebra 22:00:37 -!- fizzie has quit ("reconfigurationationary restart required"). 22:07:47 -!- kar8nga has quit (Read error: 104 (Connection reset by peer)). 22:33:31 hi ais523 22:33:42 hi ehird 22:33:56 -!- chuck has changed nick to chuck|busy. 22:34:59 -!- jix has quit ("..."). 22:41:25 man, the sbcl documentation si refreshing 22:41:40 it's comprehensive and informal and it has tons of places where it says, oh yeah, this sucks, or oh this is a bug 22:50:14 heh #lisp are talking about lispms 22:57:59 I'm downloading a lisp machine environment and emulator! 23:06:07 What's lisp machine code, anyway? 23:06:14 What are the differences with regular lisp? 23:06:49 Slereah_: well, it's not lisp 23:06:56 imagine x86 machine code, and imagine C 23:07:00 -> lisp machine code / lisp 23:07:07 lisp compiles down to llisp machine code 23:09:44 Yes, but like, what are the basic functions? 23:10:03 I hope it's at least RISC, 'cause otherwise, the answer could be long! 23:12:00 Slereah_: you'd have to buy the manual to know exactly, probably 23:12:08 also, there are multiple lisp machines 23:12:16 from difffferent companies 23:13:02 -!- Mony has quit ("Quit"). 23:13:07 Is it something like theorical lisp + lambda + io or something? 23:13:19 Slereah_: it's imperative 23:13:26 :( 23:13:29 it just has special things for bignums, dispatching, functions, gc 23:13:30 etc 23:13:35 Slereah_: umm, lisp is imperative 23:13:43 Is it? 23:13:48 yes. 23:13:53 I mean, it's not purely functional, but still. 23:13:53 Scheme is functional, but lisp is imperative 23:13:59 it has first-class functions 23:14:00 Owait 23:14:01 that doesn't make it functional 23:14:06 That's right. 23:14:11 I don't know lisp :D 23:14:24 I just assume it's somehow similar to scheme 23:14:33 lisp is imperative, but sufficiently functionallish that you can do functional programming in it in a pinch 23:16:30 ais523: Slereah_: http://common-lisp.net/project/bknr/static/lmman/frontpage.html 23:16:34 -!- chuck|busy has changed nick to yourwiki-tech. 23:16:46 mostly a lisp manual, it seems 23:17:03 has assembly stuff 23:17:11 -!- yourwiki-tech has changed nick to chuck|busy. 23:17:18 The first instruction here is a CAR instruction. It has the same format as MOVE: there is a destination and an address. The CAR instruction reads the datum addressed by the address, takes the car of it, and stores the result into the destination. In our example, the first instruction addresses the zeroth argument, and so it computes (car y); then it pushes the result onto the stack. 23:17:27 Contents of address registeeeeeeeeeeeeeeeeeeeeeee 23:17:27 r 23:21:05 ais523: how much does a working vhdl/verilog environment cost? 23:21:11 -!- chuck|busy has quit (Read error: 60 (Operation timed out)). 23:21:20 ehird: GHDL you can get for free, but it's just a simulator 23:21:32 does it support everything I'd use? 23:21:37 also, what else would I need but a simulator...? 23:21:41 yes, I think so 23:21:55 it's command-line 23:22:02 I use gtkwave to view simulation output, though 23:22:06 and I know how much you hate gtk 23:22:15 ok, so ... free, is the answer? 23:22:18 what other tools would I need? 23:22:30 you need it, gcc I think, and something to view the output 23:22:34 -!- chuck|busy has joined. 23:22:41 if you're just doing things with assertions and print statements, you need nothing else 23:22:57 if you want to view the internal signals, which is useful when debugging, you need some program to actually show the simulation output 23:23:02 and gtkwave's the only one I know of 23:23:31 oh, ghdl's slightly buggy in that it sometimes accepts broken code, but you probably don't care about that 23:23:31 i thought you said these tools were all highly expensive 23:23:38 ehird: the synthesizers, yes 23:23:43 what do they do? 23:23:45 oh, write to FPGA? 23:23:47 yes 23:23:56 FPGAs are only used for hobbies right? 23:24:00 they all rely on the internal details of the chips, you see, which the manufacturers won't release 23:24:03 as in no real-world chips us ethem 23:24:04 and no, they're used for serious things too 23:24:09 ok. like 23:24:13 no real-world chips use them for the final product 23:24:20 but things like Pentiums are simulated on them 23:24:21 ah 23:25:11 how fast can fpgas go? 23:25:22 insanely fast, some of them 23:25:34 even in my student project at University, I was measuring time in nanoseconds 23:26:27 ais523: and these synths + the fpga chips cost.. 23:26:36 -!- BeholdMyGlory has changed nick to Zetro. 23:26:49 I think you can get one of the evaluation packs they market for hobbyists for not a ridiculous amount, although the synth is rather rubbish 23:27:07 define not ridiculous 23:27:19 I'm looking it up now 23:28:21 $189 for an evaluation board and evaluation software for the bottom-of-the range version 23:28:52 ais523: bottom range = crap, I assume 23:28:55 yes 23:29:08 the better evaluation boards, with the same software, cost hundreds to thousands of dollars 23:29:13 and the better software is price on request 23:29:15 yow 23:29:24 yeah I think I'll stick to simulators 23:30:13 i wonder how symbolics EVER made a profit 23:30:53 you may want to look at opencores.org by the way 23:31:08 for example VHDL/Verilog code 23:31:39 most of the VHDL/Verilog code you can buy costs a fortune and requires an NDA before you can touch it, opencores.org is free 23:32:10 bleh 23:32:13 i hate computing 23:32:55 -!- Zetro has changed nick to BeholdMyGlory. 23:35:02 ehird: by the way, GHDL is what happened when someone modified gcc to make it process VHDL rather than C 23:35:09 it generates executables that run the simulations 23:36:20 -!- ais523 has quit.