00:00:47 Although maybe there is better way? 00:04:04 -!- myndzi\ has quit. 00:04:53 -!- yorick has quit (Remote host closed the connection). 00:09:19 -!- boily has joined. 00:10:10 -!- mihow has joined. 00:13:11 hi all! I am in a panicking state! I'm trying to make windows boot! 00:13:26 Sorry to hear that. 00:14:03 I may have creatively destroyed the EFI on a friend's machine. 00:14:14 (in some very dubious and artistics maneuvers...) 00:18:39 i'm sure they were also EFIcient 00:19:52 -!- mihow has quit (Quit: mihow). 00:23:59 oerjan: you deserve a thorough mapole, you fiend. 00:25:07 the automated repair didn't work, rebuilding the BCD didn't work, on to the nuclear option. 00:25:43 i'll check if blitzortung picks it up 00:28:23 no lightning that far east in canada, it seems 00:28:40 blitzortung? 00:29:07 http://www.blitzortung.org/Webpages/index.php?lang=en&page_0=30 hth 00:32:52 tdh. shiny! 00:33:53 meanwhile, the EFI mystery persists. everything seems to be in the right place, I can select bootmgfw.efi from either grub or refind, but every time the machine just beeps and reboot. 00:34:01 oh, and don't forget to select the "detectors" button 00:37:07 it shines with lines. 00:45:49 @ask Deewiant elliott: So complete copies of the code for different deltas? Hasn't been done in -98 afaik. (The resulting binary size, think of the floppies!) <-- isn't that what fizzie's jit did? although i don't recall him ever finishing it. 00:45:50 Consider it noted. 00:46:16 -!- conehead has quit (Quit: Computer has gone to sleep). 00:56:29 the forecast lightning here doesn't seem to be materializing. 00:58:24 so the windows disc now suddenly refuses to repair windows for no apparent reason. screw me. 01:01:58 -!- conehead has joined. 01:03:53 -!- drdanmaku has joined. 01:14:59 -!- pikhq has quit (Remote host closed the connection). 01:20:46 -!- mhi^ has quit (Quit: Lost terminal). 01:22:22 -!- pikhq has joined. 01:23:06 -!- Zuu has changed nick to ZuuGates. 01:30:36 -!- conehead has quit (Quit: Computer has gone to sleep). 01:37:46 -!- augur has quit (Ping timeout: 255 seconds). 01:46:35 -!- MoALTz_ has joined. 01:48:40 oh well. I went the lazy way, and just installed that **** de câlisse de bâtard de **** in virtualbox. 01:48:50 time to go home. I need sleep. 01:48:56 -!- boily has quit (Quit: WeeChat 0.4.2). 01:49:26 -!- MoALTz has quit (Ping timeout: 260 seconds). 02:08:43 -!- augur has joined. 02:12:18 -!- sebbu has quit (Ping timeout: 255 seconds). 02:15:18 -!- edwardk has joined. 02:17:54 -!- nooodl has quit (Quit: Ik ga weg). 02:18:21 -!- nooodl has joined. 02:20:19 -!- nooodl has quit (Client Quit). 02:54:48 -!- Sprocklem has joined. 03:12:48 -!- sebbu has joined. 03:14:06 I found that someone has figured out how to do open source bitstream generation for FPGA without needing to figure out the bitstream format; it is done by making a bunch of small bitstreams for each primitive and then putting them together. http://www.isi.edu/~nsteiner/publications/soni-2013-bitstream-fccm13.pdf 03:15:11 Awesome. 03:15:16 Really sad that that had to be done, though. 03:15:44 "i'm living in a proprietary world and i am a proprietary girl" 03:15:49 isnt that how the song goes? 03:17:58 -!- Sprocklem has quit (Quit: Holy crap! I'm on fire!). 03:27:28 You could possibly do it even further, by making sets of microbitstreams that have corresponding sets for different FPGA models (including different vendors), and then store them in a ROM chip, and then you can program a FPGA without ever even touching the bitstreams at all! 03:29:08 yo, 2000 SO rep 03:29:20 that went a lot faster than the first 1000 03:29:26 elliott may be right 03:32:39 zzo: might have a big efficiency cost 03:33:11 ie. if fpga blocks can do function of 6 inputs, and you end up only using functions of 2 inputs as your building block 03:33:44 <- didnt read the paper 03:36:06 oerjan: whoa, you're practically ahead of me 03:37:13 if you guess what people are asking for when they're unclear without pointing it out they'll just keep being unclear :'( 03:37:18 newsham: Yes, if you want maximum compatibility, but you could have a "microbitstream archive" which contains the bitstreams and rule files to combine them and the capability files, and then if you are tuning the compilation to specific systems you can use those otherwise you could only use a portable set, I think. 03:38:19 -!- Lorenzo64 has joined. 03:38:37 shachaf: wait are you referring to any of my answers here 03:38:43 -!- Bike has quit (Quit: upgrade). 03:38:54 maybe 03:39:01 that would be kind of rude though 03:39:42 i _do_ remember that there were a number of occasions when i got the right answer long after everyone else had misinterpreted the question. 03:39:47 -!- Bike has joined. 03:40:19 in fact, since i don't visit SO _all_ the time, that's probably how i get most of the ones i get 03:41:37 well nah 03:41:49 sometimes i just remember something slightly obscure 03:46:26 (my _last_ answer was of course something trivial which just popped up and i couldn't resist because it would put me over 2000) 03:50:13 Maybe it would help though, if they can make up a single chip which can be compatible with the format of this: http://blog.notdot.net/2012/10/Build-your-own-FPGA 04:17:48 -!- MoALTz has joined. 04:18:15 -!- skarn has quit (Remote host closed the connection). 04:22:05 -!- MoALTz_ has quit (Ping timeout: 272 seconds). 04:37:37 -!- quintopia has changed nick to nicklimitsarenin. 04:37:54 -!- nicklimitsarenin has changed nick to quintopia. 05:26:46 fizzie said 7h 19m 18s ago: Yes, and it should output "2 3 1". (The K cells "conceptually" pushed by y are on top of the existing contents of the stack, so if the argument to y is K+N, the picked cell should be the N'th counting from the top, not bottom.) <-- fair enough, should be an easy enough fix, but I *probably* won't have time until the weekend. Have you told Deewiant about it? He mig 05:26:46 ht want to improve the test in mycology. 05:26:58 he did 05:27:01 Ah 05:27:08 bbl work 05:27:43 Oh and, this means nobody is using y for pick very much I think. Otherwise this would have been found way sooner 05:27:51 heh 05:32:18 oerjan, also is it still Gregor that runs HackEgo? 05:32:24 And EgoBot 05:32:42 yes 05:33:53 Right, EgoBot's cfunge version will need updating after this is fixed 05:33:58 anyway, bbl now, really 05:36:15 What's wrong with Befunge? Spec issue, issue in popular implementations? 05:41:15 issue in cfunge, which mycology's test accidentally doesn't catch 05:42:24 (y numbering stack elements in reverse order) 05:42:43 and it doesn't catch it because the test picks the middle element of the stack 05:51:31 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 05:52:32 I think using y for picking is kinda-sorta considered cheating by some. 05:54:36 Not to mention that it might be quite slow in unoptimilized implementations. 05:57:08 -!- oerjan has quit (Quit: Nite). 06:12:47 -!- MoALTz has quit (Quit: Leaving). 06:18:35 Hey 06:29:57 -!- HackEgo has quit (Ping timeout: 256 seconds). 06:34:19 @tell oerjan Possibly, I don't remember; fizzie would know. (But then, as you said, it was never finished, so the floppies still live.) 06:34:19 Consider it noted. 06:44:00 What would I know? 06:48:23 Oh, the delta thing. No, jitfunge didn't do that; only the different iterations of ff, a '93 interpreter. 06:49:30 jitfunge was a tracing jit (interpret, but also collect instruction traces while executing; then when re-encountered, compile traces with constant-propagation and such), which I consider to be a p. natural way of JITting Funge-98. 06:52:27 It can't compile across "computed goto" kind of dynamic things (j or x with non-constant arguments and the like), but those are (a) rare and (b) can be considered to separate "basic blocks" that you can compile to native code and then connect with conditional jumps. 06:55:54 There's also quite a lot of not-so-hard-but-tedious bookkeeping to figure out everything that needs to be invalidated when a 'p' is executed, at least if you want to try doing it somewhat optimally. Things like tracking which traces go across which playfield cells, and treating ;;-jumps (only a p of ';' matters) and stringmode (can be fixed by modifying the pushed constant) differently. And ... 06:56:00 ... tracking which wrapping traces would hit the new cell if boundaries are extended. 06:56:44 @tell oerjan NO (but see logs for details) 06:56:44 Consider it noted. 07:17:36 -!- skarn has joined. 07:17:37 -!- skarn has changed nick to Guest95819. 07:20:06 -!- TieSoul has quit (Ping timeout: 255 seconds). 07:21:26 -!- TieSoul has joined. 07:28:15 -!- TieSoul has quit (Excess Flood). 07:28:30 -!- TieSoul has joined. 07:35:44 -!- Tritonio has joined. 07:40:03 Hey guys, can anyone on Linux (who has Python) check if this works right on Linux? https://github.com/TieSoul/Multilang 07:40:13 -!- TieSoul has quit (Excess Flood). 07:40:45 -!- TieSoul has joined. 07:41:52 did my message just now arrive in chat? 07:41:56 yes 07:41:56 :P 07:42:02 -!- Guest95819 has quit (Changing host). 07:42:02 -!- Guest95819 has joined. 07:42:03 but it's not peak hour here 07:42:10 -!- Guest95819 has changed nick to skarn. 07:42:16 most folk are away asleep/at work 07:42:33 i will try to test your code 07:42:37 Yeah I asked because I was force-quitted 07:43:26 it's a shell, and I'm most concerned with the directory stuff and file execution. 07:43:35 well 07:43:37 I don't know if it works cross-platform 07:43:45 if i get it running, tell me commands to test 07:43:51 dir 07:43:53 cd 07:43:58 and f 07:44:05 if you have any files to test on 07:44:28 no 07:44:29 i mean 07:44:35 complete commands 07:44:39 oh right 07:44:55 do you have any brainfuck/befunge files to test on? 07:45:01 (or random) 07:45:13 also can you call dir ls instead (at least alias it) 07:45:46 no 07:45:49 I'll alias it 07:46:55 hrm 07:47:29 can you just make a file containing "!dlroW olleH"bk,@ ? 07:47:39 and save it as something.b98? 07:47:46 then you could test with that 07:51:12 having nets issues on linux box hold please 07:52:54 cloning now 07:53:46 run Multilang.py when you're done cloning 07:54:26 oh i can't 07:54:31 don't have python 3 installed 07:54:32 sorry 07:54:37 oh 07:55:04 ah well 08:22:23 Works -- http://sprunge.us/iVBQ -- for me. 08:22:52 First time I see a "Pascal string" in a Funge-98 hello-world, also. 08:23:52 -!- mhi^ has joined. 08:24:48 what's a Pascal string? 08:25:05 "gnirts"6 as opposed to 0"gnirts". 08:25:15 0a"!dlroW olleH">:#,_@ is the conventional one. 08:25:56 ah 08:26:04 (Though I always write 25* in place of a due to Befunge-93 roots.) 08:32:50 or 19+. 08:35:35 55+ gets some use, too. 08:35:46 I don't know why I got stuck with 25*, but here we are. 08:42:55 -!- Patashu has joined. 08:43:24 From the department's mailing list, in a note about someone's Master's thesis presentation: "-- our meeting room has AIR CONDITIONING --" 08:43:33 I guess that's one way to ensure an audience. 08:44:39 (This building in general doesn't do AC, it being considered a bit of a luxury in Finland when it was built, since it's so seldom needed here.) 08:44:51 hehe 08:45:11 fizzie: does the note also mention free food or drinks? 08:53:28 No, since we don't tend to do those at thesis presentations. If it did, they'd probably run out of space in the meeting room. 09:06:56 ah yes, and then you'd have to overflow to non-air-conditioned rooms 09:13:22 These last few days, it has been generally 28..29°C in this office. 09:13:22 Today it's only 27°C. 09:43:10 I like "our meeting room has a heater" 09:43:27 soom big old lecture rooms get really cold in winter 09:43:29 *some 09:43:52 -!- shachaf_ has joined. 09:44:02 -!- quintopi1 has joined. 09:44:13 -!- int-e_ has joined. 09:44:28 -!- quintopia has quit (*.net *.split). 09:44:29 -!- KingOfKarlsruhe has quit (*.net *.split). 09:44:29 -!- shachaf has quit (*.net *.split). 09:44:30 -!- int-e has quit (*.net *.split). 09:44:30 -!- EgoBot has quit (*.net *.split). 09:44:42 -!- KingOfKarlsruhe has joined. 09:46:27 -!- EgoBot has joined. 09:47:38 Around these parts, we know about heating but not about cooling. 10:09:43 I'm implementing Whirl. Does Whirl use integers or floats? 10:11:19 -!- boily has joined. 10:48:52 The reference implementation (in C++) has a memory made out of 'int's. I guess that's the thing to follow. 10:50:00 right 10:50:17 I'm asking because the flash interpreter uses floats 10:50:46 and I was too lazy to check the other implementations 11:09:34 -!- boily has quit (Quit: GALACTIC CHICKEN). 11:33:57 -!- MindlessDrone has joined. 11:37:14 -!- yorick has joined. 11:50:52 -!- b_jonas has quit (Ping timeout: 240 seconds). 11:53:29 -!- shachaf_ has quit (Changing host). 11:53:30 -!- shachaf_ has joined. 11:53:40 -!- shachaf_ has changed nick to shachaf. 11:57:38 -!- b_jonas has joined. 12:06:15 -!- Sgeo has quit (Read error: Connection reset by peer). 12:13:59 -!- impomatic_ has quit (Quit: http://retroprogramming.com). 13:09:14 -!- fowl has quit (Remote host closed the connection). 13:14:56 -!- prooftechnique has joined. 13:17:54 -!- Patashu has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:39:34 -!- mhi^ has quit (Quit: Lost terminal). 13:42:44 -!- mhi^ has joined. 13:45:47 Somebody wrote an interpreter with flash 13:45:50 ? 13:45:53 how unesoteric 13:46:05 although flash 13:46:17 I presume Flash is a platform and the language behind it is afaik this ActionScript 13:48:59 As far as I know, yes, but arguably you could still call something that depends on the platform's features to be written "in Flash". 14:11:41 I want to implement another esolang. Any suggestions? :P 14:12:30 twoducks 14:13:17 the irc esolang or snusp 14:16:35 or zombie ^^ 14:17:08 I'll do SNUSP 14:17:22 I like multi-dimensional languages 14:18:03 -!- Tritonio has quit (Ping timeout: 272 seconds). 14:19:18 -!- Tritonio has joined. 14:33:57 -!- zzo38 has quit (Remote host closed the connection). 14:46:44 -!- mihow has joined. 15:00:54 k, finished SNUSP (modular) 15:00:57 :P 15:01:50 -!- spiette has joined. 15:11:03 -!- MindlessDrone has quit (Ping timeout: 240 seconds). 15:18:43 TieSoul: yeah snusp is easy to implement :) 15:19:05 Was quite easy indeed 15:19:07 what language did you use? 15:19:13 Python 15:19:21 ah ok 15:19:23 I use Python for everything 15:20:41 5 years ago I made a BF2Text, oklopol battled me and his implementation was awesome, also writtein in python 15:20:42 check out https://github.com/TieSoul/Multilang. It's a shell for all languages I've written implementations of. 15:20:42 :P 15:21:15 nice :) 15:23:51 TieSoul: I've made a Chip8 Interpreter, but its in java -.-, maybe you could recycle it 15:24:03 including an assembler *g* 15:25:44 -!- MindlessDrone has joined. 15:25:49 -!- fenris_kcf has joined. 15:30:37 -!- Tritonio has quit (Ping timeout: 245 seconds). 15:37:28 -!- Lorenzo64 has quit (Ping timeout: 255 seconds). 15:47:41 TieSoul: is this python 3? It doesn't work with python 2.7.3 15:50:17 Yup, it is. print(chr(s[i]), end="") 15:50:32 ah ok thx 15:56:06 -!- mihow has quit (Quit: mihow). 15:57:19 -!- mihow has joined. 16:23:07 @tell fizzie Just pushed a fix for that cfunge issue. 16:23:08 Consider it noted. 16:24:00 @tell Gregor You might want to update to latest cfunge trunk in EgoBot for the Befunge98 command. I fixed a bug with using y as pick counting incorrectly. 16:24:00 Consider it noted. 16:24:48 TieSoul, Latest cfunge should now work correctly for y 16:25:30 I should seriously move from launchpad to bitbucket or something at some point 16:39:48 Rustyfunge 16:39:52 This should be a thing, maybe 16:39:59 -!- mihow has quit (Quit: mihow). 16:40:12 Maybe IronFunge 16:40:26 Rustyfunge better, because fungus 16:41:09 Iron* is C# 16:44:18 elliott, I wondered about that, why Iron* for C# 16:44:36 good question. idk 16:52:40 -!- mihow has joined. 17:03:10 -!- quintopi1 has changed nick to quintopia. 17:03:19 -!- quintopia has quit (Changing host). 17:03:19 -!- quintopia has joined. 17:05:37 -!- ais523_ has joined. 17:06:15 OK, so the saga of "get a working copy of Visual Studio on a non-Internet connected system" continues 17:06:42 I tried installing Visual Studio Express 2012 (rather than 2013), which I have successfully done before via doing the registration on another computer 17:07:10 this started out fine, but the form you have to fill in to register it is not working, in the sense that the Continue button does nothing 17:07:34 with no indication of any required fields missing 17:07:55 in case it was a client-side scripting error, I edited the JS so that it would submit the form without validation, but the same page just reloads, again with no indication of anything I'd done wrong 17:08:44 I am now going to try 2010, because VS2012 Express didn't appear in the list of topics that Microsoft offer support with (maybe it's been discontinued?), but VS2010 Express did 17:10:07 Aren't there CD-Versions of it available? 17:10:12 "Did you mean microsoft visual studio express 2020?" 17:10:15 mroman: I'm using the CD versions 17:10:24 they nonetheless require registration over the Internet 17:10:36 even though Microsoft specifically say that registration is optional, apparently Visual Studio doesn't follow the same rules 17:11:37 searching Microsoft's search engine for VS2010 failed, but DuckDuckGo found within one link of the appropriate page 17:11:41 let's see what happens here 17:13:01 Microsoft don't even give a sensible method of reporting that their website is broken 17:13:16 Hm. 17:13:26 anyway, VS2010 is advertised as using the same registration method as VS2012, so in theory it should work unless the website is broken in the same way for both products 17:13:33 also, fewer allcaps in the menu, which has to help 17:13:40 Yeah, looks like it prompts for registration even if you download the offline version 17:13:46 That's a sham. 17:13:48 *shame 17:13:52 it says that before you download 17:14:04 so it's not malicious or misleading, just stupid 17:14:17 Microsoft must really want that marketing data 17:16:32 maybe Microsoft discontinued support for VS 2012 Express because they thought nobody was using it because they got no new registrations 17:17:05 also, that broken button (which must be broken for everyone, seeing as the mistake seems to be server-side) affects not just my unusual setup, but the most common setup for VS2012 Express 17:18:06 ouch 17:18:58 ais523_, I use 2010 Ultimate from MSDNAA. Can't you get something like that too? I thought you worked at a university even 17:19:16 yeah but I won't necessarily be here forever 17:19:24 ais523_, those licenses don't expire 17:19:36 I think they have limitations for academic use only, though, or whatever 17:19:36 There are some non-commercial clauses and such but that is it 17:19:48 ais523_, non-commercial. But I thought Express had that too? 17:20:04 Express actually has a business option although it's meant to be for evaluation only 17:20:19 if the limitation really is "noncommercial" only, that's possibly good enough for me 17:20:31 but really I prefer to do things in a way that other people can reproduce 17:20:33 ais523_, pretty sure that is the case 17:20:47 ais523_, anyway, even if it wasn't, who would ever know? 17:21:14 Vorpal: this is not the approach I have towards the law 17:21:20 Fair enough 17:21:48 ais523_, It seems like a minor detail though in this case. I'm not suggesting using that as an argument for murder! 17:22:01 Err argument is wrong English word 17:22:12 excuse? 17:22:36 reason? 17:22:56 although, in general, I have a policy that companies that put ridiculous restrictions on their customers should have to live with the effects of their own policies 17:23:04 or, well, licenses generally 17:23:10 Right 17:23:58 ais523_, What would you think about a static analysis tool evaluation version that limited the number of results you opened by double clicking on the result (or right clicking and selecting goto). But listed file and line number in the result 17:24:17 Would you just continue using it and opening the file manually? 17:24:37 that sounds like a reduced-feature version of software 17:24:39 ais523_, This is not a theoretical question btw, there really is such a piece of software 17:24:47 Right 17:24:50 if it was clear that the developer was happy with people using the reduced-feature version indefinitely, I'd be fine with it 17:24:59 ais523_, if it wasn't clear? 17:25:05 then I'd probably avoid it 17:25:15 Heh 17:25:30 that said, I prefer to avoid closed-source software generally because it is so hard to fix bugs in it 17:25:53 Well yeah 17:26:08 (the thing that immediately started all this off was "open-source software which I want to fix a bug in but it only compiles in Visual Studio", but that's a distant goal now; I'm just trying to get Visual Studio installed at all, mostly to see if I can get aimake to work with it) 17:26:14 ais523_, I fixed a bug in a compiled binary today though 17:26:23 via hex editing? 17:26:52 ais523_, via hte, (debian package ht) which is somewhat smart hex editing, showing the disassembly live while editing and such 17:26:59 (and tracing jumps and what not) 17:27:18 ais523_, it was looking for kernel major = 2 && minor > some-number-I-forgot 17:27:21 I have a 3.x kernel 17:27:40 So I adjusted the jump to basically kill the check 17:27:48 oh wow, that mistake 17:28:07 this is apparently why Windows 7 gives its version number as 6.1 if requested via the version number API 17:28:14 so that programs checking for major = 6 don't break 17:28:24 ais523_, also setarch --uname-2.6 didn't work, since it read /proc/sys/kernel/osrelease 17:28:34 because 7 is pretty similar to Vista (6.0) bfrom a developer's point of view 17:29:18 major/minor numbers for ABI type things are just a mistake. 17:29:24 anyway, I dislike Visual Studio for being excessively complicated, among other things 17:29:34 ais523_, the tool is part of Intel Parallel Studio's tool to inject static analysis by wrapping your build system and recording compiled files 17:29:42 You thought intel would get it right... 17:30:08 elliott, yep 17:30:23 ais523_, When intellisense works properly it is pretty nice 17:30:29 doesn't work well for C++ at all though 17:30:36 that's not really what I was talking about 17:30:43 Hm 17:30:49 I'm fine with that sort of feature existing, and it is very helpful for Java and C# 17:31:00 I was thinking more of the build system interface 17:31:03 ais523_, we use Visual Studio at work, but we disabled intelisense and use a separate third party add-on for better intelisense 17:31:14 InteliSense for non-.NET just sucks 17:31:30 At least in the older version of VS that we have 17:32:05 ais523_, oh god the property sheet hell indeed 17:32:19 ais523_, we are moving to a cmake-based system at work to get rid of that 17:32:35 (also in the longer term we are moving to linux as well) 17:34:30 -!- conehead has joined. 17:34:38 -!- conehead has quit (Changing host). 17:34:38 -!- conehead has joined. 17:35:01 anyway, another thing I'd be happy with would be to download a time-unlimited copy of the command-line compiler 17:35:07 and just use msbuild or aimake or something as glue 17:35:19 but Microsoft doesn't support that any more either, they made it part of Visual Studio 17:38:28 Vorpal: what static analysis tool is this? 17:38:57 maurer, the one that had that evaluation thing? 17:39:23 Yeah 17:39:24 maurer, a Windows-only tool that integrates with Visual Studio called "PVS Studio". It is okay. 17:39:32 Oh, OK 17:39:35 oh, I've heard of that, but don't know what it does 17:39:39 Not a binary static analysis thing 17:39:42 * maurer goes back to his corner 17:39:44 No, source code 17:40:33 Not too many false positives in my experience. Lint is pretty useless for example unless you use it from the get-go 17:41:32 splint is worse, because AFAICT it's too buggy to be useful 17:41:54 I found very minor, meaning-preserving changes to programs which would completely change its output 17:42:40 right 17:44:15 Hey guys 17:49:55 ais523_, yes splint is useless 17:50:06 ais523_, the clang static analysis is pretty nice too, but rather limited 17:50:14 Getting better every version though 17:50:23 I've wanted a "splint done properly" for a while, but then Mozilla went and invented Rust 17:50:44 which looks pretty close to that, except better in every respect except it isn't a subset of C (which is only arguably an advantage) 17:51:23 ais523_, Try clang static analysis, it can find rather complex control flows leading to an error. I have seen it detect an error that happens after 30 steps of control flow 17:52:07 I haven't tried it myself, but apparently another NH4 developer runs it every now and again 17:52:17 Hm 17:53:50 -!- MindlessDrone has quit (Quit: MindlessDrone). 17:54:20 ais523_, The intel one is nice too. When it doesn't check the kernel version that is ;P 17:54:58 hmm, so apparently attempting to use system restore to uninstall Visual Studio (because installing versions of software out-of-order tends to cause DLL problems), it now won't boot; the loading screen finishes, then there's a black screen rather than the login screen which doesn't respond to input and has no mouse cursor 17:55:46 * ais523_ force-reboots twice to get the repair screen to come up 17:56:25 ais523_, ouch 17:56:38 "There was a problem with refreshing your PC. No changes were made." 17:56:49 ais523_, so uninstall didn't work? 17:56:51 Ouch 17:57:26 I'll try another System Restore to an earlier restore point 17:59:33 ais523_, do you have a proper backup? 17:59:39 That would likely work better 18:00:03 of all my files as of recently, yes; for Windows itself, there's just the recovery partition 18:00:07 but I fear it might uninstall Linux 18:00:16 I don't keep files I care about on the Windows side 18:00:37 ais523_, I meant like a disk image to overwrite windows with 18:14:57 hmm, well the system restore just got stuck on "Initialising..." 18:16:39 anyone know what the Windows Event Viewer is called from the command line? I got to a working command line 18:18:20 hmm, I have two drives, X: and C: 18:18:28 which seem similar but not identical 18:18:53 e.g. if I try to load files from C:, it sometimes looks in X: and then says they aren't there 18:18:59 this is a /very/ good argument for text-based log formats 18:19:53 hmm, X: seems reminiscent of an initramfs or the like 18:20:06 it has the directory structure I'd expect for C:, but a different set of programs and no user data 18:21:56 * ais523_ attempts a "System Restore Undo" 18:22:12 this seems slightly more promising, in that it shows no signs of having got stuck yet 18:23:29 -!- int-e_ has changed nick to int-e. 18:29:32 "System Restore failed while restoring the registry from the restore point. An unspecified error occurred during System Restore. (0x80070002) 18:35:14 hi ais 18:40:58 hi 18:41:07 ended up making Windows unbootable trying to get a working Visual Studio 18:41:23 my guess is a corrupted registry 18:41:29 although it's only a very wild guess 18:46:11 I was ambivalent towards the registry but now I am close to certain that it's a bad idea 18:47:50 now, I have a thoguht 18:48:08 what is the minimum number of files in /etc for which a standard Linux distribution (Ubuntu, etc.) can boot with full functionality? 18:49:00 define full functionality 18:49:42 a typical user would assume that it was merely an uncustomized / weirdly-configured system, rather than a cut-down system 18:51:55 Start-up Repair couldn't repair your PC 18:52:11 Press "Advanced options" to try other options to repair your PC, or "Shut down" to turn off your PC. 18:52:24 Log file: C:\Windows\System32\Logfiles\Srt\SrtTrail.txt 18:52:33 yay, I now have a log file that might give a clue about what the problem is 18:54:03 "Root cause found: Unspecified changes to system configuration might have caused the problem." 18:54:43 and it tried to fix it via "", "System Restore", and "System files integrity check and repair", which failed with error codes 0x32, 0x1f, and 0x490 respectively. 18:56:16 Linux side still works 18:56:58 I guess a backup/reinstall may be a worthwhile thing to try 18:59:08 ais523_: I wanted to ask something 18:59:17 feel free to ask it 18:59:27 no backup/reinstall for me now, anyway, because I don't have backup media handy 18:59:55 I borrowed a book on formal languages but it's not on the topic I need 19:00:31 I need a book that tells more about parsers for context-free languages, like LR parsers and modified variants of it 19:00:41 Can you recommend a book? 19:00:49 Someone on this channel had recommended Alfred V. Aho, 19:00:58 Jeffrey D. Ullman., "The theory of parsing, translation, and compiling" 19:01:18 which I haven't borrowed yet because it's summer and libraries are mostly closed, but I will probablytry 19:01:32 but you might be able to recommend something too 19:03:43 b_jonas: I learned it from a book by Bornat called something like "understanding and writing compilers", but I can't remember the exact name 19:03:50 it was quite a good book, if very old 19:04:42 (for the record, other possible books suggested were Alfred Vaino Aho et al, "Compilers, principles, techniques, and tools"; and Charles N. Fisher, Richard J. LeBlanc, Jr., "Crafting a compiler with C") 19:05:07 ais523_: Bornat... let me search that 19:05:25 http://www.eis.mdx.ac.uk/staffpages/r_bornat/ has a pdf 19:05:49 int-e: thanks 19:06:09 int-e: claims to, but it appears to be a broken link 19:06:22 ah no 19:06:22 ?! 19:06:23 Maybe you meant: v @ ? . 19:06:24 works for me 19:06:34 it's a section link to a section that's so near the bottom of the page that no scroll is involved 19:07:18 that looks about right 19:07:19 ais523_: seems to work for me 19:07:32 although the paper version was better formatted than the PDF, I doubt b_jonas will care about that that much 19:08:21 ais523_: I do care about the formatting, but I'll still look at the pdf first to tell if this is the book I need, and will likely read it if the paper book is not available 19:16:46 oh argh 19:17:04 oh? 19:17:05 I thought for a minute the book was available in a library, but no, it's a completely different maths book by the same author 19:17:10 pity 19:17:25 ah. unfortunate 19:22:16 I'll try to read some of this pdf later when I'm less tired. It seems terse but useful. 19:22:22 ais523_ and int-e: thanks for the hint 19:29:49 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 19:42:45 -!- mhi^ has quit (Quit: Lost terminal). 19:49:42 -!- mhi^ has joined. 19:49:46 -!- vifino has joined. 19:58:33 isnt there a bot that allows shell execution? 19:59:25 `run yes no 19:59:32 oh, it's not here. 19:59:50 I wonder how that worked 20:00:06 UML 20:00:22 ? 20:00:28 user-mode linux. 20:00:52 okay. 20:01:24 that comment is more fun if you interpret it as referring to unified modelling language 20:02:25 how about: the communist party of nepal 20:07:24 Huh. 20:07:55 -!- HackEgo has joined. 20:07:59 There we go. 20:08:12 Again with the not rejoining automatically. 20:09:38 `man splain 20:09:38 man: can't open the manpath configuration file /etc/manpath.config 20:14:35 `run echo "test" 20:14:36 test 20:14:45 `sauce 20:14:46 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sauce: not found 20:14:50 `source 20:14:51 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: source: not found 20:14:54 meh 20:17:45 See https://bitbucket.org/GregorR/hackbot 20:33:49 -!- not^v has joined. 20:45:43 [wiki] [[SYCPOL]] http://esolangs.org/w/index.php?diff=40225&oldid=40162 * GermanyBoy * (-2) /* (categories) */ unimplemented ➡ implemented 20:46:28 -!- fenris_kcf has left ("ISON NickServ "). 21:06:33 -!- not^v has quit (Ping timeout: 240 seconds). 21:12:13 [wiki] [[Special:Log/upload]] upload * Nucular * uploaded "[[File:Nyan.png]]" 21:12:40 -!- impomatic_ has joined. 21:16:52 are pop tarts in the public domain 21:19:23 [wiki] [[BytePusher]] http://esolangs.org/w/index.php?diff=40227&oldid=39219 * Nucular * (+313) New program: Nyan Cat 21:21:02 -!- prooftechnique has quit (Quit: return ()). 21:52:45 -!- oerjan has joined. 22:01:23 -!- boily has joined. 22:06:17 -!- imp9 has joined. 22:08:47 -!- imp9 has quit (Quit: Leaving). 22:09:40 -!- imp9 has joined. 22:13:31 @messages-look 22:13:32 Deewiant said 15h 39m 13s ago: Possibly, I don't remember; fizzie would know. (But then, as you said, it was never finished, so the floppies still live.) 22:13:32 fizzie said 15h 16m 47s ago: NO (but see logs for details) 22:17:34 hello fellas 22:17:48