00:00:10 It's concievable I've been within 400 miles of Mountain View 00:01:11 "AMTRAK is like the Orient Express of the USA. It'll be a special time." 00:01:18 Have you been in the Bay Area? 00:01:53 Seems to be something called the California Zephyr. 00:02:02 pikhq, not as far as I'm aware 00:02:14 I remember Universal Studios which apparently is in Los Angeles 00:02:14 Alas. 00:02:20 Yeah, it is. 00:02:20 I was only 3 years of age 00:02:27 who is a good drummer? 00:02:50 Taneb: is it immoral for me to live in the united states 00:02:50 That is an odd question to ask, quintopia 00:03:10 would it be more or less odd to answer? 00:03:18 shachaf, it isn't immoral to me, you live there of your own free will 00:03:18 i'll take that as your answering "not me" 00:03:24 shachaf: how bout you? 00:03:37 I'm not a drummer at all. 00:03:43 I dislike drums. 00:03:57 Taneb: is it immoral to me, though 00:03:59 fizzello! drums? 00:04:07 shachaf, that depends on your morals 00:09:37 Is it immoral if you aren't a citizen of another country and thus have real issues living anywhere else? 00:10:05 I have all sorts of citizenships, though. 00:10:58 Hmm, but the other countries have mandatory military service. 00:11:43 Sure, but IIRC you've got the right to live anywhere in Schengen, so hey. 00:12:07 I have two with the vague possibility of a third 00:12:18 None of which as far as I am aware have mandatory military service 00:12:24 Yes, but I think the exemption specifically relies on me living in the US? 00:12:27 I'm not actually sure. 00:12:32 hppavilion[1], summary of my collated research on today's xkcd: 00:12:33 after extensive research i have concluded that the joke is that as it is spring there are rabbits around and people take pictures of the cute little ones 00:12:33 half of the joke appears to have been left out of the comic and the remainder has been extrapolated grotesquely by randall's blackbird-like comedic timing 00:12:44 No drums. 00:12:59 quintopia, I have a unicycle if it helps 00:14:01 Taneb: will that help us start an esoteric band 00:14:04 shachaf: Huh. I woulda figured it would be on you not living in the countries in question. 00:14:20 quintopia, I believe bands are made more esoteric if they have a unicycle 00:14:20 But then I am in no way an expert on mandatory military service requirements in other countries. 00:14:26 pikhq: Did you ever get emails from Skyrock Adventures? 00:14:34 Not to my knowledge. 00:14:50 However, I cannot yet ride said unicycle 00:15:03 Taneb: more eccentric, certainly. more esoteric though? 00:15:11 I would certainly hope you couldn't get in a situation where you would be forced to engage in mandatory military service in two countries *simultaneously*... 00:15:22 quintopia, only a select few people can ride a unicycle 00:15:34 Is a select few fewer than few? 00:15:35 none of which are here? 00:15:38 pikhq, especially if said countries were at war 00:15:46 In Finland, the military service is optional if you have a second nationality and haven't been living in Finland for the last seven years or more. 00:15:51 shachaf, not necessarily, but it is more prestigious 00:16:07 fizzie: Which is only half the situation for shachaf, unfortunately. 00:16:16 I haven't the foggiest clue how that works for Israel. 00:16:35 fizzie: Oh, is that true? But what happens when you move to Finland for seven years? 00:17:04 What if you are stationed in Finland while in another nation's military 00:17:26 you work a lot of overtime 00:17:52 Taneb: That typically is not considered "living in the country", bizarrely. 00:17:56 shachaf: If you move back to Finland while still <= 30 years old, you'll need to do it; if older than that, they'll just forget about it. 00:18:03 OK. 00:18:16 Then I can just wait [redacted] years and then move to Finland, I guess. 00:18:31 shachaf: so you originated in finland? 00:18:43 shachaf: you have one of those ridiculous names by birthright? 00:18:49 No, fizzie did. 00:20:27 (Apparently the 7-year rule is also just the threshold after which it's automatic. You can apply for an exemption even if you've been away from Finland less than that, if you're sufficiently free of connections to Finland.) 00:20:44 I have just the boring one nationality. 00:20:59 Alas, I only have US citizenship. So boring. 00:21:12 i should have followed this convo more closely 00:21:14 so lost 00:21:29 -!- oerjan has joined. 00:21:30 Rather better than a US green card though. Many of the related obligations without many of the rights. 00:21:48 I think I will head to bed now 00:21:50 Goodnight! 00:22:02 i keep meaning to get an irish passport 00:22:06 just for the sake of having one 00:22:28 `? oerjan 00:22:31 Your retired mysterious evil cackling overlord oerjan is a lazy expert in future computation. Also an antidiluvian Norwegian who mildly dislikes Roald Dahl with a passion. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. 00:22:38 shachaf: wat. 00:22:46 Phantom_Hoover, if the UK leaves the EU I'll be doing my best to get a Netherlands passport 00:22:51 `` sed -i 's/anti/ante/' wisdom/oerjan 00:22:54 oerjan: well, you've been known to kick people who flood the channel 00:22:55 No output. 00:22:59 ooh good point i should get on that 00:23:11 If the UK leaves the EU, I wonder whether they'll kick me out. 00:23:18 Phantom_Hoover, getting a Netherlands passport? 00:23:22 god the border situation's going to be a clusterfuck once that happens 00:23:33 fizzie, you live in the uk? 00:23:50 fizzie: That would be such a clusterfuck. 00:24:06 shachaf: TOO LATE 00:24:12 Though, the UK being in Schengen is not directly related to them being in the EU. 00:24:28 Phantom_Hoover: Yes, since January last year. 00:24:32 It's possible they could leave the EU but still be in their weird half-Schengen state. 00:24:41 oerjan: apparently you mildly dislike puns with a passion too hth 00:25:07 is ireland in schengen? presumably not since in practical terms the borders work the same as the UK 00:25:22 Phantom_Hoover, it's got the same deal as the UK 00:25:22 fizzie, hmm, where 00:25:51 Phantom_Hoover: Half-Schengen. They're on the same bizarro thing where they agree to many of the terms such as the right to residence for Schengen citizens, but not the open border. 00:26:15 shachaf: only puns masquerading as stupid typos hth 00:26:23 Phantom_Hoover: London. 00:27:03 fizzie: I heard the new London office was going to be pretty good. 00:27:32 shachaf: Well, I mean, there's two. 00:27:50 shachaf: There's the one we're moving in soon, that's just a boring old office building rented from someone. 00:28:11 shachaf: And then there's the new building Google's building from scratch, that's supposed to be incredible and all that. 00:28:23 Of course the latter doesn't actually exist. 00:28:26 What, they're still building it? 00:28:28 It's been years. 00:28:32 They haven't started yet. 00:28:37 -!- xkapastel has joined. 00:28:38 There's an impressive hole in the ground, though. 00:28:48 Well, y'know, it's gotta be web-scale. 00:28:51 -!- tromp_ has joined. 00:29:17 The story I heard was, the plans were insufficiently awesome and had to be scrapped. 00:29:34 Has to be true, since that's what Daily Mail says: http://www.dailymail.co.uk/news/article-2950181/Google-scraps-boring-plans-London-HQ-Internet-giant-s-boss-Larry-Page-orders-architects-design-building-worthy-standing-100-years.html 00:29:39 ah for fuck's sake i think i need mine and my parents' birth certificates to get an irish passport 00:29:46 Sounds like Page. 00:30:33 The office that actually does exist is right next to the hole in the ground, though, so at least it'll be a short move if they eventually end up building something. 00:40:50 -!- tromp_ has quit (Remote host closed the connection). 00:42:59 fizzie: now i'm thinking of those sinkholes... 01:02:58 sinkholes. deep into the ground, a little bit darker than they ought to be. than they have the right to be. shouldn't they be lightened more by the light source you carry? 01:03:07 -!- tromp_ has joined. 01:03:32 a flashlight should do its job, not bring out too many shadows, right by the corner of your vision. 01:04:25 the descent is easy, even if the rock is clammy. steps hewn so many years ago are uneven, but wide. you won't slip, or if you do, you'll be close enough to the ground to not break too many bones. 01:05:10 or you hope so. the ground isn't there, and you fear it has forsaken you. not even a geological laugh to remind you of its presence. it smirks, in the darkness. 01:05:25 shoily. i assume there's a reference. 01:08:24 I may be in the act of reading a few SCPs... 01:08:37 that'd do it. 01:09:11 the flashlight reminded me of another one, the dimension hopper. 01:10:28 let's just say you shouldn't assume light is harmless. 01:12:32 -!- ybden has quit (Quit: We are the Knights Who Say Ni!). 01:14:30 SCP-507 is a very well done article. 01:14:56 I was inspired by SCP-087, my all-time favourite. that one is gutwrenchterrifying. 01:17:26 -!- tromp_ has quit (Remote host closed the connection). 01:29:01 -!- tromp_ has joined. 01:37:13 Oh, disliking bell peppers makes you quirky now? <-- definitely! 01:39:13 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 01:40:18 oerjan: you know what else is quirky? editing your own wisdom entry hth 01:41:10 -!- Akaibu has quit (Quit: Connection closed for inactivity). 01:41:16 `? evil 01:41:53 evil? ¯\(°​_o)/¯ 01:42:14 `? overlord 01:42:19 now where did i put it. 01:42:20 Evil overlords do evil acts like taking over the world, kicking puppies, and changing their own wisdom entries. 01:42:25 ah there it was. 01:42:29 shachaf: ^ 01:44:34 Help I think my language nomadness is at a standstil 01:44:49 I try to look at other languages but all I see is ways that they're bad because they're not Rust. 01:44:59 -!- Moon_ has joined. 01:45:34 Sgeo: how am i going to make a "rusted" pun when you type this fast tdnh 01:46:03 `? sgeolang 01:46:05 Sgeolang is probably Rust ATM. 01:46:52 how is this the first time i've heard of sgeolang 01:47:25 `learn Sgeolang used to change frequently, but eventually it rusted in place. 01:47:30 Relearned 'sgeolang': Sgeolang used to change frequently, but eventually it rusted in place. 01:48:29 I'm trying to look at Perl 6, but I keep getting hung up on its mutability model not being Rust's, and that roles suck compared to Rust traits 01:48:30 Phantom_Hoover: `wisdom uses a bad PRNG? 01:48:38 -!- zzo38 has joined. 01:49:06 honestly i kind of assumed sgeo stopped jumping languages after i stopped paying attention to this channel 01:49:08 A lot of other stuff I can almost forgive based on Perl 6 being dynamically typed 01:52:51 Does hackego allow sshing? 01:54:54 Sgeo: i think your language behavior may be the opposite of nomadness hth 01:55:05 Mhelloon_. you should try! 01:55:18 oerjan: `wisdom was created just the other day anyway 01:55:25 Sgeo: What about all the ways Rust is bad because it's not Haskell? 01:55:37 all it means is that you've grown old and set in your ways hth 01:56:18 `sh 01:56:22 `ssh 01:56:49 No output. 01:56:49 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ssh: not found 01:57:19 `` hg log bin/wisdom | tac 01:57:28 No output. 01:57:44 shocking 01:57:44 `` hg log bin/wisdom | grep date 01:57:46 date: Tue May 03 23:17:41 2016 +0000 \ date: Mon Nov 16 02:53:18 2015 +0000 \ date: Mon Nov 16 02:52:06 2015 +0000 \ date: Mon Nov 16 02:50:09 2015 +0000 \ date: Mon Nov 16 02:40:16 2015 +0000 \ date: Thu Jul 02 15:13:01 2015 +0000 \ date: Thu Jul 02 15:06:48 2015 +0000 \ date: Sun Jun 21 02:4 01:57:53 `` hg log bin/wisdom | grep date | tail -n1 01:57:55 date: Mon Jun 01 23:54:10 2015 +0000 01:58:03 see, it's less than a year old 01:58:24 ! 01:58:47 shachaf: Rust is good, exactly because it isn't Haskell. 02:00:08 * oerjan quickly jumps into the bomb shelter 02:00:17 `? hackego 02:00:19 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico! 02:01:01 `? rust 02:01:03 Rust is C++ as designed by the makers of Haskell. 02:01:07 rust is da bomb 02:07:45 Rust fixes a lot of problems Haskell has IMO 02:10:51 Like rank-n types? 02:11:18 Like annoying to use records 02:12:01 https://www.reddit.com/r/rust/comments/47ucw9/comparing_haskell_and_rust_which_to_choose_when/d0fphn2 02:12:06 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:13:23 Rust Uses Simple Types 02:15:01 Rust has type families and not fundeps, instead of both for historical reasons like Haskel 02:15:03 Haskell 02:18:00 does it have injective type families, though 02:22:06 -!- jaboja has joined. 02:22:20 -!- boily has quit (Quit: EDUTAINMENT CHICKEN). 02:27:14 -!- Moon_ has quit (Ping timeout: 250 seconds). 03:06:17 -!- MDude has changed nick to MDream. 03:11:31 * Sgeo has no idea what those are 03:12:06 shachaf, I have been able to fake rank-n types in some circumstances, although it sucks 03:13:39 I made a trait (like a Haskell class) representing forall a. (Reifies a b) => a -> b 03:13:51 But I don't have a reasonable way to write closures that satisfy that 03:14:22 I made a macro, but it doesn't close over stuff: 03:14:22 https://gist.github.com/Sgeo/3d7f8449ea5ba136038a9c677e744004#file-haskell_reflection_2-rs-L157 04:02:27 -!- jaboja has quit (Ping timeout: 276 seconds). 04:16:17 -!- hppavilion[1] has joined. 04:21:50 -!- jaboja has joined. 04:26:25 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 04:30:53 -!- idris-bot has joined. 04:39:10 -!- oerjan has quit (Quit: Nite). 05:09:07 I have writen some designs for a kind of computer machine and I wrote about the video processor and blitter and so on. The blitter is not nearly as advanced as Amiga, though. 05:20:03 You could do memcpy(dest,src,n) as memblt(dest,1,src,1,n,0,MEMBLT_OPAQUE) and memset(s,c,n) as memblt(s,1,&c,0,n,0,MEMBLT_OPAQUE) for example. 05:20:41 Do you like this? 05:20:51 Do you know some things about computer hardware design? 05:22:35 I know some things 05:22:56 the general problem with blitters is that you need 3 times the memory bandwidth 05:23:28 once for reading the texture, once for writing to the framebuffer, and once for displaying to the screen 05:23:57 Unlike Amiga the blitter in my design uses up CPU cycles and cannot run simultaneously with the CPU. Also screen displaying is a separate component. 05:24:28 The video processor is clock interleaved with the CPU. 05:25:04 doesn't the amiga share the same ram for gfx and cpu& 05:25:05 ? 05:25:18 (or at least the amiga 500) 05:25:39 I don't know a lot about Amiga, but I think it does share some of the RAM. 05:26:00 yeah it has 2 types of ram... chip ram and fast ram 05:26:13 fast ram is fast because it's not shared with the video and sound hw :3 05:26:31 Yes, and only the Chip-RAM is shared. 05:26:54 do you have hw scrolling? 05:27:36 My own design is different; video and CPU are clock-interleaved so both have exclusive access to memory. CPU can run at double speed when video is disabled (note that video is normally enabled even during vblank, since the video processor executes instructions during vblank and hblank) 05:28:09 what generation of dram is your system designed around? 05:28:12 mad: Yes, the video processor runs a program which can write to the video registers in order to implement scrolling and so on 05:28:24 early c64 like dram or modern? 05:28:39 also, 8 bits? 16 bits? 32 bits? 05:28:50 64 bits? 05:29:14 I haven't decided anything about DRAM yet, although it is 8-bits data, 32-bits address (audio memory is 16-bits data though) 05:29:42 doesn't it make sense to have vram if you have ram for audio? 05:29:55 or share the audio ram between gfx and sound? 05:31:11 8-bit ram shared between cpu and gpu might not be fast enough to run a blitter 05:31:25 -!- centrinia has joined. 05:31:25 unless you're doing it in 4 colors or 2 colors 05:32:29 The designs can change in future of course, although currently what I have for audio is that it uses separate memory and can run in parallel with CPU/video, so CPU cannot access it (you would have to use some kind of DMA transfer modes to do it I suppose) 05:33:02 some systems have no cpu access of vram either 05:33:04 -!- hppavilion[1] has joined. 05:33:17 like.. genesis I think (though it has dma for that) 05:35:34 the issue I see is that dram runs at something like 3mhz 05:35:41 which leaves 1.5mhz for the gpu 05:36:22 for NTSC that's about 96 memory accesses per scanline 05:39:46 since the active region is about 75% of the width that's like (80% on paper + 5% overdraw or something like that), 72 cycles for the actually drawn pixels 05:40:40 which means you have to draw about 4 pixels worth of graphics per byte 05:52:32 -!- jaboja has quit (Remote host closed the connection). 06:03:04 to get 16 colors you'd need either 16bit ram, separate cpu vs gpu ram, or more modern ram that's faster if subsequent accesses fall in the same page 06:03:14 or multiple ram banks on the same address pins 06:15:01 then to draw sprites you probably have to eat into your cpu cycles or leftover gpu cycles but that's not too bad if you don't have too many large objects :3 06:18:34 I think Perl6 is bad at math 06:18:35 m: say (1+10i) ~~ (-∞..∞) 06:18:35 rakudo-moar e39ce3: OUTPUT«True␤» 06:18:36 oops 06:18:50 Gah I hate HexChat sometimes 06:18:59 m: say (1+10i) ~~ (-∞..∞) 06:19:06 camelia> rakudo-moar e39ce3: OUTPUT«True␤» 06:25:20 for real? *scnr* 06:27:55 zzo38 : basically I've looked at this... it's hard to really have sprites on a 8bit system with shared gpu + cpu ram 06:28:06 tho c64 does it (barely) 06:30:44 and I guess the msx2 vdp does it but it has really few sprites and not very high bit depth 06:32:56 The C64 does it, but at the expense of the CPU not being able to read RAM as often while the screen is drawn. 06:33:52 The VIC ends up taking exclusive control of the bus at various points, which sucks. 06:35:12 yeah 06:35:37 the whole system is just kinda strapped for bandwidth 06:35:54 and it has to have an extra SRAM for the colors 06:38:47 one of the reasons the amiga can do more simply because the ram bus is 16bits instead of 8bits 06:39:21 (ok and also having proper cmos chips instead of slow nmos and enough chip space for control registers for everything :3 ) 06:41:53 I have written the list of cycle accesses and that stuff 06:43:27 It is two clock cycles per pixel (which is what Digi-RGB (also another specification I made up) uses). 06:43:47 Here is what I have written so far: http://zzo38computer.org/textfile/miscellaneous/new.computer There is more but on paper and I have not written it into the computer yet. 06:44:57 As it turns out, I have exactly sixteen memory accesses needed per tile, which is what I needed. 06:45:57 Note that CPU and video are clock interleaved, so both have exclusive access to RAM. 06:48:54 Sprites are 8x8 or 8x16 and the attribute byte of a sprite consists of a 4-bit plane mask, a collision bit, a height bit, a occult bit, and a impostor bit. 06:52:51 2 gpu clocks per pixel? 06:52:55 -!- unifowl has left ("Leaving"). 06:53:01 which means 4 all in all? 06:54:08 Yes 06:54:31 that means you'd have to access ram @ 25mhz no? 06:55:12 -!- centrinia has quit (Ping timeout: 246 seconds). 06:55:15 I don't know yet all of the speed, and the plans may change in future as I have said. 06:55:50 for 320x240x60, that's about 400x262x60 in terms of clock cycles if you cound hblank+vblank, that's 6.3mhz 06:55:54 pixel clock 06:56:39 which means it would have to be SRAM or something 06:57:15 I was thinking SRAM actually 06:57:53 Although changes are possible as it gets made up more, there can be whatever changes we consider necessary to correct it. 06:58:09 640x480 quadruples this problem 06:58:27 unless it has a reduction in features 06:58:47 Yes, the frame rate could be reduced perhaps 06:58:59 on a lcd? 06:59:05 or you could interlace it 07:01:06 Yes interlacing is another possibility that I have thought of, but am unsure about it. However it does seem interlacing would clearly work fine with the video registers I have defined, as the display program could be defined for an interlaced display. However, I only intended 320x240 to be used for analog output while the other modes are only for LCD 07:03:18 However you have mentioned some problems so I could consider how to fix it 07:05:05 it's like they used all sorts of tricks on later systems so that they could do more colors and resolution 07:05:38 -!- xkapastel has quit (Quit: Connection closed for inactivity). 07:05:50 mostly more memory bits and fast page dram (=faster if accesses fall on the same page) and multiple ram areas 07:07:12 it's kinda sad that dram just got more and more complex as it sped up 07:07:21 instead of staying simple and just speeding up 07:07:47 That's why I avoided it, because it is too complex 07:08:35 and sram sizes are still tiny and prices kinda hair raising last time I checked :D 07:09:00 tho psram might not be too bad 07:09:50 What does "psram" mean? 07:10:11 pseudo static ram 07:10:27 basically dram designed to have some characteristics of static ram 07:10:46 Yes that might work (if I can understand it better) 07:11:16 it varies from chip to chip I think but it goes from auto-refresh, to chips that have special layout with smaller rows so that they can be read with full accesses every time 07:11:56 and I remember reading about it being used in the first Iphones (presumably to get to market faster instead of dealing with the insane timings of DDR33456) 07:14:22 afaik the genesis has psram as well 07:16:07 OK 07:45:24 -!- lambda-11235 has quit (Quit: Bye). 07:51:47 -!- hppavilion[2] has joined. 07:53:13 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 07:54:25 `? galss 07:54:27 galss? ¯\(°​_o)/¯ 07:54:30 `? glass 07:54:32 I can eat glass and it doesn't hurt me. 07:54:57 `slashlearn glass/I can eat glass and it doesn't hurt me. -- http://www.savagechickens.com/2016/05/new-diet.html 07:55:00 Relearned «glass» 07:58:49 You could implement graphical displays as either 4-plane PseudoColor XYPixmap or 15-plane TrueColor ZPixmap. 08:04:49 Hopefully you could see how you can do both of these things, as well as imitating PC text mode (including cursor) and VT100, by the use of the system I have designed (I have updated the document a bit). 08:06:10 -!- hppavilion[1] has joined. 08:07:31 -!- hppavilion[2] has quit (Ping timeout: 252 seconds). 08:08:45 -!- zadock has joined. 08:11:18 -!- zadock has quit (Remote host closed the connection). 08:29:33 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 08:55:27 http://i.imgur.com/xRhwA0M.jpg SPIRITS ARE ALLLWAAYS WITH YOOOUUU 10:19:46 -!- augur_ has joined. 10:19:47 -!- augur has quit (Read error: Connection reset by peer). 10:36:06 -!- AnotherTest has joined. 11:01:41 -!- jaboja has joined. 11:01:51 There's a warning on the menu saying "fish may contain bones", which sounds reasonable, but there's also another warning saying "olives may contain", and that's a bit more dubious. 11:03:36 -!- jaboja has quit (Remote host closed the connection). 11:04:35 ominous 11:05:19 -!- int-e has set topic: The international hub of solidity matrices | May contain | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 11:26:04 -!- hppavilion[1] has joined. 11:30:32 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 11:35:26 -!- boily has joined. 11:43:13 xhoily 11:48:32 alphabetint-ello! 12:24:14 -!- boily has quit (Quit: COLLAGEN CHICKEN). 12:25:14 -!- MDream has changed nick to MDude. 13:41:31 -!- ybden has joined. 13:42:37 -!- bender has joined. 13:46:11 -!- xkapastel has joined. 13:48:47 -!- HackEgo has quit (Ping timeout: 260 seconds). 14:08:03 -!- Sgeo has quit (Ping timeout: 240 seconds). 14:11:30 i have an idea 14:11:58 let's found the "committee for the code that's not 100% awful" 14:12:26 then we can give away stickers that people can add to their readme on github 14:12:41 like "approved by CCN100A" 14:14:14 the number of stars on github is clearly not enough to separate crap from good code 14:16:26 hi, people 14:18:56 -!- HackEgo has joined. 14:29:55 -!- oerjan has joined. 14:39:22 -!- Akaibu has joined. 14:41:09 -!- `^_^v has joined. 14:53:06 -!- HackEgo has quit (Ping timeout: 276 seconds). 14:55:41 -!- spiette has joined. 14:57:53 Hey look, Scott Aaronson replied to a question with a Kipling quote included => https://www.quora.com/Whats-your-advice-to-someone-beginning-his-her-PhD-in-Theoretical-Computer-Science/answer/Scott-Aaronson 14:58:02 `? if 15:00:00 i'm only halfway (? the list seems to keep growing) through those answers. 15:00:22 or wait 15:00:35 that may have been the one i actually skipped most of. 15:01:08 oerjan: it's one of the first ones 15:01:17 what's with hackego? 15:01:21 he's left? 15:01:23 strange 15:01:35 I think `? if isn't the same verse, but still 15:01:43 it's from the same poem 15:02:28 b_jonas: whoops 15:03:17 it was the last of Gregor's bots remaining. although maybe it'll rejoin, even if the others didn't. 15:05:13 oerjan: oh, he runs bots on multiple hosts? 15:05:20 at the same time that is 15:05:23 I haven't done that yet 15:05:57 I've relocated my bot to another host manually for months once when I knew the normal host wasn't available for a while, but I never tried to run them on multiple machines at once. 15:09:03 um i'm not talking about multiple copies of the same bot. except for glogbackup, which was supposed to only be here when glogbot isn't. 15:11:08 although it would be hard to keep two copies of HackEgo in sync, because they store so much persistent mutable data 15:11:49 -!- lambda-11235 has joined. 15:12:45 and afaik Gregor never synced glogbot with glogbackup, even when it was working. 15:23:00 https://github.com/davidlind/taas 15:26:22 -!- HackEgo has joined. 15:37:16 -!- pelegreno has quit (Remote host closed the connection). 15:38:32 -!- pelegreno has joined. 15:38:44 `botsnack 15:38:56 ​>:-D 16:03:38 `? if 16:03:59 If you can make one heap of all your winnings / And risk it on one turn of pitch-and-toss, / And lose, and start again at your beginnings / And never breathe a word about your loss: 16:04:33 right, different verse of the same poem 16:15:38 -!- xkapastel has quit (Quit: Connection closed for inactivity). 16:26:46 <\oren\> i want a port of allegro 4 to javascript 16:26:56 allegedly. 16:33:29 \oren\: what's "allegro 4"? 16:33:35 `? allegro 16:33:36 `? allegro 4 16:33:44 allegro? ¯\(°​_o)/¯ 16:33:44 allegro 4? ¯\(°​_o)/¯ 16:33:53 <\oren\> a game library for C 16:33:57 ah 16:34:07 and why would you want a javascript port of that? 16:34:14 also, hell\oren\ 16:35:01 <\oren\> i have a much fadter computer now so i could make my old games into web games 16:35:31 \oren\: but it's not your computer that matters for that, it's the computer of the people playing those games, right? 16:36:15 <\oren\> the computer i wrote them on was a ancient dell laptop from 2006 16:36:17 and my computer for example isn't powerful enough. although I recently decided it's finally time to buy a new computer that's more powerful, that will still take some time because there's some more urgent stuff I have to do before. 16:37:27 <\oren\> so i think average pc today could do it in js 16:38:11 is it unrealistically expensive if I want the desktop computer with a motherboard that can be expanded to up to 32 gibibytes of RAM, even if I only want to buy 8 gibibytes of RAM for it now? 16:38:38 that's a rhetorical question, there's not much need to answer, I'll find out the answer when I look at specific motherboard models 16:38:46 and I have more criteria I want from it 16:39:19 I know it will cost a ton, and I have other things I want to spend money on, but still, it will be worth 16:39:38 I want all the shiny modern hardware stuff 16:39:42 ok, not all 16:39:44 but much of it 16:40:15 <\oren\> i bought a thinkpad 16:41:19 <\oren\> but i have built desktops in the past 16:41:53 I also want to buy a compact camera, which sounds like it's cheaper, but actually much of the hardware of a desktop computer lasts for very long, and I can expand it by replacing only some parts (additional RAM, storage, etc) later, the costs are really the same order of magnitude. 16:43:16 The camera won't sit in a room, so its hardware (especially the lens mechanics) is amortized quickly. 16:44:11 I bought a surge protector yesterday 16:47:42 I'd buy something that I could stick at least 32 gigs in eventually. 16:47:52 I'd buy 16 in it to start with, even. 16:48:00 (This workstation's got 64.) 16:52:54 -!- Akaibu has quit (Ping timeout: 260 seconds). 16:55:45 -!- Akaibu has joined. 17:19:46 https://vimeo.com/93042377 17:35:40 -!- sebbu3 has joined. 17:36:09 -!- oerjan has quit (Quit: Later). 17:36:33 -!- sebbu has quit (Ping timeout: 240 seconds). 17:54:05 -!- `^_^v has quit (Read error: Connection reset by peer). 17:54:34 -!- `^_^v has joined. 17:58:52 -!- xkapastel has joined. 18:14:50 `olist 1037 18:14:51 olist 1037: shachaf oerjan Sgeo FireFly boily nortti b_jonas 18:20:46 -!- bender has quit (Ping timeout: 250 seconds). 18:54:10 -!- sebbu3 has changed nick to sebbu. 19:20:09 -!- Reece` has joined. 19:28:49 -!- gremlins has joined. 19:30:30 -!- Reece` has quit (Ping timeout: 260 seconds). 20:12:59 -!- nycs has joined. 20:15:30 -!- `^_^v has quit (Ping timeout: 276 seconds). 20:20:26 -!- Phantom_Hoover has joined. 20:21:03 Like annoying to use records 20:21:11 i thought someone had Solved The Records Problem 20:22:47 thx 20:24:02 b_jonas did, with the grandmophone 20:26:40 -!- puckipedia has quit (Read error: Connection reset by peer). 20:26:50 -!- puckipedia has joined. 20:51:33 Now I wrote a display program for use with what my new computer design says so far, that can imitate a PC text screen without the cursor (but does implement blinking text). You can look in order to see example of its working. 20:51:47 I also wrote about audio working now 21:16:31 -!- hppavilion[1] has joined. 21:18:29 Compared with Amiga, my system cannot execute instructions on the video processor during rendering (so writes to video registers can occur only between scanlines or during vblank), although I have a more complex instruction set (with sixteen instructions instead of three), although the instruction set is fully orthogonal (there are two address mode bits, two condition bits, and four instruction kind bits) 21:21:25 Raster bars (horizontal and vertical) effects can still be implemented though. 21:30:22 -!- spiette has quit (Quit: :qa!). 21:38:09 https://en.wikipedia.org/wiki/Monadic_predicate_calculus 21:38:11 v. misleading tdnh 21:39:11 zzo38: is this that older low-level computer design of yours that has the strange complicated collection of addressing modes and treats the instruction pointer a general register? 21:39:54 Monadic first order logic is fun. 21:39:57 No it is a different one, and I haven't written about the CPU instrucion set 21:39:58 by complicated collection of addressing modes, I mean an instruction can have two or three arguments, each of which has a variable addressing mode with a variable number of extra bytes to encode the instruction 21:40:08 making it hard to decode instructions 21:40:20 zzo38: ok 21:40:33 and that one, I thin ,had more than 16 "instructions" 21:40:52 The one I mean is this one: http://zzo38computer.org/textfile/miscellaneous/new.computer it isn't that complicated to decode instructions. I have written about the video processor and audio and operating system. 21:41:05 Note that the video processor's instruction set is not the same as the main processor's instruction set 21:42:09 Do you like this so far? 21:43:40 zzo38: oh, while we're at designs for instruction sets, just out of curiosity, have you ever looked at John Savard's designs at eg. http://www.quadibloc.com/arch/perint.htm or http://www.quadibloc.com/prog/lg00.htm ? 21:44:25 I will look now 21:49:13 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 21:57:18 zzo38: this thing you describe and call a “video processor” sounds like a auxiliary general cpu to me, which runs synchronized with the RAM acess, and that's why it runs only during hsync and vsync time. It doesn't seem like specifically a *video* processor. It doesn't have parallelism or much video-specific things. 21:57:35 zzo38: also, the sentence “Video registers are read-only.” is probably a typo 22:00:24 -!- hppavilion[1] has joined. 22:02:35 Yes; it should be write-only. I fixed it now 22:04:03 It is meant for programming the video registers and can execute instructions or read during rendering, what the instructions programmed it to do. 22:05:40 -!- gremlins has quit (Ping timeout: 260 seconds). 22:11:06 -!- Reece` has joined. 22:19:43 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:22:46 Do you have other comments about this? 22:23:45 -!- Reece` has quit (Ping timeout: 260 seconds). 22:26:36 -!- Reece` has joined. 22:32:23 -!- nycs has quit (Quit: This computer has gone to sleep). 22:34:22 -!- Reece` has quit (Ping timeout: 260 seconds). 22:39:41 If you have a Turing machine where the symbol on the tape is erased whenever you move left, is that equivalent to a push-down automaton? 22:40:34 It look it will be like the stack if you do that? 22:41:02 do you erase the symbol you're going to or the symbol you're coming from... 22:41:44 but assuming the lattter it should directly translate to a PDA. 22:43:08 The latter. 22:43:27 oh. did you intend to put input on the tape? 22:43:44 -!- ybden has changed nick to looking. 22:43:59 Oh, I guess a PDA usually has a separate input tape. 22:47:09 you get something quite odd when the input and the stack share a tape... because you can compare the stack size to the current input position. so recognizing { a^nb^nc^n | n in N } seems possible. 22:54:57 -!- oerjan has joined. 22:56:25 -!- looking has changed nick to ybden. 22:58:38 -!- Sgeo has joined. 23:18:42 Amazon, you're a liar. 23:18:58 shocking 23:19:01 They said they'll dispatch something on the 17th, but it's still "preparing to dispatch". 23:19:13 Did they say the 17th of which month? 23:19:22 I think they did. 23:19:29 year? 23:19:41 That they don't say. 23:19:48 see, there you go. 23:19:55 They do say "Expected by 22 May", but that also lacks the year. 23:35:32 time zone? 23:38:02 Or perhaps they're just still using the Julian calendar. 23:38:18 it could be UTC-39999:00:00 timezone 23:39:13 I still think we could make an authentic old-timey or medieval or “eighties” or “19th century” etc theme park just by declaring it's in some time zone with a large negative offset 23:40:26 O, that's how you do it? 23:41:10 -!- Akaibu has quit (Quit: Connection closed for inactivity). 23:41:48 (The Julian calendar is 13 days behind the Gregorian now... no change since the October revolution) 23:48:03 b_jonas: I don't think a UTC-P30Y time zone is all that reasonable or authentic. 23:50:41 int-e: it won't change until 2100. 23:51:54 -!- Akaibu has joined. 23:57:50 Do you like the PC text imitation display program I wrote, and can you find any mistakes in it?