00:00:02 -!- MoALTz has quit (Read error: No route to host). 00:00:47 -!- MoALTz has joined. 00:03:18 -!- MoALTz_ has joined. 00:05:42 kmc: it exits openssl for libc 00:05:51 ? 00:05:57 exit through the gift shop 00:06:33 -!- MoALTz has quit (Ping timeout: 245 seconds). 00:07:43 -!- MoALTz_ has quit (Max SendQ exceeded). 00:09:37 -!- tromp has quit (Remote host closed the connection). 00:11:44 -!- MoALTz has joined. 00:14:49 -!- MoALTz_ has joined. 00:15:36 Someday I will understand why every C library abstracts standard everything through four layers of macrology, or rather I won't, because I ain't trying 00:16:04 -!- MoALTz has quit (Ping timeout: 240 seconds). 00:21:57 is it in the name of portability to systems nobody has used since before most members of this channel were born? 00:22:52 to be fair, many members in this channel have probably used obscure systems older than them. 00:26:07 Obscure systems, like autoconf 00:28:14 -!- MoALTz__ has joined. 00:28:36 obscure systems, like IRC 00:28:51 (well, i'm older than IRC but presumably many here aren't) 00:30:52 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 00:31:02 It's not even 26 years old. 00:31:39 -!- Sgeo has joined. 00:33:54 -!- MoALTz has joined. 00:35:16 -!- MoALTz__ has quit (Ping timeout: 240 seconds). 00:35:29 -!- MoALTz__ has joined. 00:35:47 kmc: https://www.youtube.com/watch?v=byp_x2be8C8 00:36:25 o_O 00:37:32 I wonder who the target demographic of that ad is :P 00:37:43 "meet me at the giant mushroom" 00:38:12 kmc, obviously 00:38:13 -!- MoALTz has quit (Ping timeout: 250 seconds). 00:39:22 -!- MoALTz_ has joined. 00:40:08 -!- Sgeo_ has joined. 00:41:30 -!- MoALTz__ has quit (Ping timeout: 240 seconds). 00:42:39 Would OverlappingInstances be ok if we had typeclasses that were closed? 00:43:38 -!- MoALTz has joined. 00:43:45 -!- Bicyclidine has quit (Quit: Page closed). 00:43:54 -!- Sgeo has quit (Ping timeout: 240 seconds). 00:45:24 -!- MoALTz__ has joined. 00:46:18 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 00:47:03 -!- MoALTz_ has joined. 00:48:51 -!- MoALTz has quit (Ping timeout: 265 seconds). 00:49:55 -!- MoALTz__ has quit (Ping timeout: 250 seconds). 00:56:48 -!- adu has quit (Quit: adu). 00:57:15 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 01:14:24 -!- MoALTz has joined. 01:15:40 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 01:30:55 -!- MoALTz has quit (Ping timeout: 276 seconds). 01:32:11 -!- tromp has joined. 01:56:32 -!- shikhout has joined. 01:59:20 -!- shikhin has quit (Ping timeout: 252 seconds). 01:59:20 -!- shikhout has changed nick to shikhin. 02:11:17 [wiki] [[Talk:Hollang]] http://esolangs.org/w/index.php?diff=39350&oldid=39349 * Doesthiswork * (+474) 02:21:04 [wiki] [[Hollang]] M http://esolangs.org/w/index.php?diff=39351&oldid=39348 * Doesthiswork * (+5) 02:23:36 -!- doesthiswork has joined. 02:27:52 what is the current bot percentage 02:31:01 > 9/86 02:31:03 0.10465116279069768 02:31:25 one bot left, but the channel also shrank a bit otherwise 02:31:44 and we can count myndzi in a pinch 02:31:54 I'm glad to hear that the invarient holds 02:33:09 -!- idris-ircslave has joined. 02:33:21 ah it's back 02:33:27 > 10/86 02:33:28 0.11627906976744186 : Float 02:33:29 0.11627906976744186 02:33:44 you mean 87 02:33:49 oh right 02:33:54 ( 10/87 02:33:54 0.11494252873563218 : Float 02:34:35 what percentage of the bots can answer this question? 02:34:55 and of course there might be bots we don't know about 02:35:18 fungot: answer nooodl's question please 02:35:18 oerjan: mr president, in the last instance by the directorate-general for personnel, you share the commission's satisfaction with the support of this house. 02:35:51 1 down, 9 to go 02:39:21 -!- Patashu[Zzz] has changed nick to Patashu_. 02:39:24 -!- Patashu_ has changed nick to Patashu. 02:39:42 fungot: 10/87 02:39:42 lexande: mr president, on such a basis. i think no one would take it seriously and do not fall within the scope of objective 1, we cannot tell you anything more at present. 02:39:58 @ 10/87 02:40:04 `? 10/87 02:40:05 10/87? ¯\(°​_o)/¯ 02:40:45 ^prefixes 02:40:45 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-ircslave ( , jconn ) , blsqbot ! 02:40:50 ) 10%87 02:40:50 nooodl: 0.114943 02:44:59 ! 10/87 02:45:09 10/87 02:45:22 ( 10/87 02:45:23 0.11494252873563218 : Float 02:45:31 woops already done 02:45:54 ` 10/87 02:45:55 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 02:46:21 + 10/87 02:46:30 ~ 10/87 02:46:36 thutubot isn't usually here. 02:46:46 metasepia is only when boily is. 02:47:23 `runpython print 10/87 02:47:25 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: runpython: not found 02:47:33 hm i thought there was a command like that 02:47:47 `run python -c 'print 10/87' 02:47:47 0 02:47:54 `run python -c 'print 10.0/87' 02:47:55 0.114942528736 02:48:12 !python print 10.0/87 02:48:15 0.114942528736 02:49:11 getting fungot to calculate that is going to take some work. 02:49:12 oerjan: mr president, the purpose of our action could not be settled through the consultation procedure in this case of seven years, and that is after cooperation between the usa and to which our response can no longer be ruled out that any such transports do not allow us to be able to take into account what opinions are prevalent in the committee on women’s rights and the proper criteria for selecting the companies to be ins 02:50:03 ^ul (0.114942528736)S(although we can cheat a bit more) 02:50:03 0.114942528736 02:50:04 mr president, i don't like you, ♫ YOU DON'T KNOW HOW TO ROCK ♫ 02:57:45 -!- Sprocklem has quit (Ping timeout: 250 seconds). 02:58:39 -!- Sprocklem has joined. 02:58:40 -!- Sprocklem has quit (Changing host). 02:58:40 -!- Sprocklem has joined. 02:59:31 -!- nisstyre has joined. 03:01:34 -!- nisstyre has quit (Client Quit). 03:22:50 fungot: do you know how to rock 03:22:51 kmc: madam president, i have taken on serious proportions. to dismiss these arguments with the other institutions to the concept of fixed controls with that of the impact of liberalising the energy markets on the consumer to pay for energy and transport policies is to be in favour of the previous explanation of vote in this budget process. three issues stand out, namely that there is a whole package of measures represents a goo 03:23:12 `addquote kmc: madam president, i have taken on serious proportions. 03:23:12 kmc: madam president, the marinho report, which gives priority to research and partly to the many members who are deeply concerned about the absence of any further scientific progress. 03:23:14 1185) kmc: madam president, i have taken on serious proportions. 03:23:42 fungot: i'll show you my package of measures 03:23:43 kmc: madam president, it gives us the greatest concern to us all imperative that we do not get left behind in relation to compliance with the fundamental principle of maintaining a capitalist system in which there is much talk of the collapse in the near future 03:24:03 that seems like a pretty shoddy fundament, not gonna lie 03:24:06 hahaha 03:24:11 that last one is gold 03:24:21 purestrain gold 03:27:41 http://opensslrampage.org/post/83007010531/well-even-if-time-isnt-random-your-rsa-private-key 03:28:33 "There are no plans to ever build this with the Metrojerks compiler." 03:29:27 During the 1990s, Apple Computer released a monthly series of developer CD-ROMs containing resources for programming the Macintosh. These CDs were, in the early days, whimsically titled using punning references to various movies but with a coding twist; for example, "The Hexorcist" (The Exorcist), "Lord of the Files" (Lord of the Flies), "Gorillas in the Disc" (Gorillas in the Mist), etc. 03:29:49 -!- MoALTz has joined. 03:30:05 holy shit the stratus thing 03:30:34 just in case your i386 converts 03:30:49 «Most will argue that x86_64 is always little-endian. Well, yes, but then we have stratus.com who has modified gcc to "emulate" big-endian on x86. Is there evidence that they [or somebody else] won't do same for x86_64? Naturally no.» 03:31:17 "so anyway that's why we're supporting architectures that don't exist" 03:31:42 brought to you buy the people who brought you heartbeats for tcp 03:33:39 -!- Sprocklem has quit (Quit: leaving). 03:34:18 -!- doesthiswork has quit (Ping timeout: 240 seconds). 03:35:23 "As snprintf is not available everywhere, we provide our own implementation." 03:36:32 http://www.openbsd.org/cgi-bin/cvsweb/src/lib/libssl/src/crypto/bio/b_print.c?rev=1.18;content-type=text%2Fplain this is... actually a printf implementation, isn't it 03:39:39 it prints into a BIO, so its not really "printf" per se 03:39:52 -!- doesthiswork has joined. 03:40:16 oh there's a BIO_snprintf too 03:40:55 strncpy(d, s, strlen(s)), also good 03:42:59 i've seen that more times than you'd think :( 03:43:48 nice 'n' safe 03:45:01 -!- adu has joined. 03:52:09 -!- nooodl has quit (Ping timeout: 252 seconds). 03:52:58 http://www.reddit.com/r/programming/comments/23a8bf/openssl_valhalla_rampage_documenting_the_humorous/cgvbfch?context=1 03:53:14 https://www.youtube.com/watch?v=CJQU22Ttpwc SSL theme song 03:58:53 "A technical argument by a trusted author, which 03:58:53 is hard to check and looks similar to arguments known to be correct, is hardly ever 03:58:56 checked in detail." 04:00:52 [wiki] [[Talk:Hollang]] http://esolangs.org/w/index.php?diff=39352&oldid=39350 * Zerk * (+170) 04:02:58 [wiki] [[Talk:Hollang]] M http://esolangs.org/w/index.php?diff=39353&oldid=39352 * Zerk * (+1) 04:07:10 [wiki] [[Talk:Hollang]] http://esolangs.org/w/index.php?diff=39354&oldid=39353 * Doesthiswork * (+191) 04:07:32 [wiki] [[Talk:Hollang]] M http://esolangs.org/w/index.php?diff=39355&oldid=39354 * Doesthiswork * (+6) 04:09:52 on coq and mathematics and getting mistakes out of proofs: http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf 04:10:26 was that posted here recently? I remeber reading that a couple days ago 04:12:09 is this the coq's C being undefined business 04:12:12 dont know 04:12:18 no, not about coq's C. 04:12:55 -!- tromp has quit (Remote host closed the connection). 04:13:11 -!- tromp has joined. 04:16:26 -!- Sorella has quit (Quit: It is tiem!). 04:16:27 must be pretty great thinking you can prove things 04:16:54 would prob not be worth being a mathematician if you thought you couldnt 04:17:49 and thankfully I am not. 04:18:48 How can coq's (compcert's?) C be undefined 04:19:48 Jafet: beats me http://blog.regehr.org/archives/903 04:20:42 the bottom has coqchk's rather than coqtop's. 04:21:25 Ah, the runtime issue 04:21:34 regehr is being a sensationalist as usual 04:21:56 "Therefore someone who wanted to get to the bottom of things in mathematics had a simpleroad to follow - learn what Predicate Logic is, then learn a particular theory called ZFC, thenlearn how to translate propositions about a few basic mathematical concepts into formulas ofZFC, and then learn to believe, through examples, that the rest of mathematics can be reducedto these few basic concepts. " lol 04:22:02 not very sensationalist, have you seen what clang does with UB 04:22:17 still, you'd prob want to hold coq to a high standard 04:22:24 I mean, you might as well bitch that the hardware has bugs (it does) 04:22:27 i wonder if any of those issues are in the important core of coq 04:22:30 "Now we come to the important question: Is Coq's validity threatened? The short answer is that this seems unlikely." yeah i can see how you'd read this and think it's sensationalist 04:22:34 or if they're all in stuff thats "untrusted" anyway 04:22:34 but these are not compiler bugs 04:22:43 at least, the compiler writers wouldn't agree they are, and nor would the C committee 04:22:49 Bike: "coq's C is undefined" 04:22:50 and they actually break things in practice, so...? 04:23:05 come the fuck on 04:23:09 that string appears nowhere on the linked page 04:23:13 not all of coq needs to be correct to be trustworthy 04:23:22 unless you believe Bike is regehr 04:23:31 This is C code in ocaml or its runtime, so who knows, probably most C code in ocaml is used at some point or other 04:23:36 too busy poking flies to be regehr, thankfully 04:23:56 Ok, regehr does say: "This output means that Coq---via OCaml---is executing a number of C's undefined behaviors before it even asks for any input from the user. The problem with undefined behaviors is that, according to the standard, they destroy the meaning of the program that executes them." 04:24:16 are there any more trustworthy versions of ocaml? 04:24:18 regehr's other posts are equally colourful 04:24:32 you have really sad standards for color 04:24:34 I think there are projects to do verified runtimes of ocaml and/or sml 04:25:06 so you just have to rerun your coq proof on a trusted ocaml once to verify that the c langauge didnt ruin your picnic 04:25:11 There was a paper on verified bignum libraries for x86 04:25:19 tbh his blog is incredibly dry and even-handed by any standards I can think of, have you ever seen most programming blogs 04:25:32 When you are verifying to this standard, by the way, the C standard is irrelevant 04:25:43 fwiw, the cpu your computer is running on is also flawed 04:25:45 You check the compiler of ocaml itself, and the generated machine code 04:25:50 luckily it mostly does the right thing 04:25:52 i think regehr probably thinks so too! 04:25:55 Compilers don't implement the C standard, either 04:26:22 jafet: i heard some C compilers were even written before the language standard existed! 04:26:38 there's not an implication of "coq is totally wrong" from "haha, unsigned shifts" unless you have really bizarre ideas about math 04:27:09 bike: there seems to be an underlying "you cnat prove things" theme though in your discussion 04:27:09 I heard some C compilers wrote the standard 04:27:28 newsham: in mine yeah. i don't think it's what regehr means though. 04:28:07 Also, I'm only reading past the first few paragraphs of regehr's post now 04:28:23 also in a practical sense, you can use lots of compiler flags on a modern compiler to make those undefined operations do what the human thought they did 04:28:46 for the most part (not always.. some of it is inherent in the translation to hardware ops.. like shifting more than 32 bits on a 32 bit cpu...) 04:28:58 and there are people who have been studying the effects of undefined C ops 04:29:04 troll first, actually read things later 04:30:19 great fun http://people.csail.mit.edu/nickolai/papers/wang-undef.pdf 04:31:51 "The third component 04:31:51 is a structure that enables humans to encode 04:31:51 mathematical ideas in terms of the objects directly associated with the 04:31:53 http://people.csail.mit.edu/nickolai/papers/wang-stack.pdf has a nice table showing diff compilers and optimization levels 04:31:54 language. " er sorry 04:32:03 anyway that's an interesting way of seeing how people think 04:32:51 maybe someone can run this STACK tool on ocaml and fix the compiler 04:33:04 is this related to fuck shit stacks 04:33:13 It's stacks all the way down 04:33:25 Also, libc bugs 04:33:28 put some fuckshit, stack it on top of itself. that's ocaml 04:35:57 I kind of wish I was still writing fancy SSE code so I could finally port it to AVX on my Haswell CPU. 04:36:56 -!- oerjan has quit (Quit: leaving). 04:36:57 http://newbrict.github.io/Fe26/ 04:39:02 triple alpha continues to be suffering 04:40:01 http://freshbsd.org/commit/openbsd/448ea0eae861248df6710920c23f167647f487ca 04:41:36 digital crime and forensic science in cyberspace 04:42:40 `thanks magnesium 04:42:40 Thanks, magnesium. Thagnesium. 04:42:56 -!- tromp has quit (Remote host closed the connection). 04:43:01 i completely agree ;_; 04:44:04 http://onlinelibrary.wiley.com/doi/10.1634/stemcells.2008-0184/abstract meanwhile in science 04:50:45 "Retraction notice ‘that is, the text supplied by Legal’." 04:52:09 it's nice to see the scientific method in all its wonderful detail, isn't it 04:53:45 this one is interesting http://freshbsd.org/commit/openbsd/0179d4e553d5f01de48877acefd1ebc795e2ce0a 04:54:00 "goto err; i = -1; .... err: return i;" 04:56:41 -!- MoALTz has quit (Ping timeout: 252 seconds). 05:09:11 http://www.aliendovecote.com/uploads/twine/sauna.html 05:11:11 * copumpkin inserts USB into kilobyte 05:11:29 https://www.dropbox.com/s/5bptf82xl4h0y52/Screenshot%202014-04-18%2001.11.25.png 05:12:04 -!- MoALTz has joined. 05:14:05 that was 05:14:07 unusual 05:14:35 good point. 05:16:08 "NOTE: Don't expect any of these programs to work with current OpenSSL releases, or even with later SSLeay releases. 05:16:13 but still in the src tree... 05:16:19 its like an append-only log 05:17:34 What are 'these programs'? 05:18:04 these: http://freshbsd.org/commit/openbsd/eadb750b87b4a90c1284f6361d6c3ea6d6e26f66 05:21:05 `run unicode 1234 12345 4321 05:21:07 U+1234 ETHIOPIC SYLLABLE SEE \ UTF-8: e1 88 b4 UTF-16BE: 1234 Decimal: ሴ \ ሴ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+12345 CUNEIFORM SIGN URU TIMES KI \ UTF-8: f0 92 8d 85 UTF-16BE: d808df45 Decimal: 𒍅 \ 𒍅 \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+4321 CJK UNIFIED IDEOGRAPH-4321 \ 05:21:20 It's a bit long if you want to do several. 05:21:45 But I guess the extra info is nice too. 05:22:42 `run unicode -s foo 05:22:43 U+0066 LATIN SMALL LETTER F \ UTF-8: 66 UTF-16BE: 0066 Decimal: f \ f (F) \ Uppercase: U+0046 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \ \ U+006F LATIN SMALL LETTER O \ UTF-8: 6f UTF-16BE: 006f Decimal: o \ o (O) \ Uppercase: U+004F \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \ \ U+006F LATIN SMA 05:22:52 That just won't do at all for a `unidecode replacement, however. 05:40:47 -!- Tod-Autojoined has joined. 05:44:03 -!- TodPunk has quit (Ping timeout: 240 seconds). 05:44:52 -!- Tod-Autojoined has changed nick to TodPunk. 05:56:53 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 05:57:40 -!- ^v has joined. 05:58:00 -!- ^v has quit (Read error: Connection reset by peer). 05:59:19 http://cybertiggyr.com/babbage.html 06:02:12 "The new language is thus named after the first systems designer to go over budget and behind schedule." cute. 06:04:09 -!- conehead has quit (Quit: Computer has gone to sleep). 06:04:39 'A hotly contested issue among language designers is the method for passing parameters to subfunctions. Some advocate "call by name," others prefer "call by value." Babbage uses a new method -- "call by telephone."' erlang 06:06:14 -!- Sellyme has quit (Excess Flood). 06:06:26 -!- Sellyme has joined. 06:09:57 Over The Phone 06:17:20 over the phone radar 06:17:53 over the phone booth 06:23:14 :t from 06:23:15 (Profunctor p, Functor f) => AnIso s t a b -> p t (f s) -> p b (f a) 06:23:19 wrong from 06:23:33 You're right, it would be much better with pure profunctor lenses. :-( 06:24:55 -!- MoALTz has quit (Quit: bbl). 06:25:00 I mean, I'm interested in GHC.Generics 06:32:07 -!- impomatic has quit (Quit: impomatic). 06:44:42 http://hackage.haskell.org/package/CC-delcont-0.2/docs/Control-Monad-CC-Dynvar.html 06:44:54 So, it's storing values of arbitrary types ? 06:45:15 I guess this implies ST could be made in pure Haskell? Or am I missing something? 06:45:40 (Besides the possible negative performance implications of doing so) 06:46:01 -!- nikozzzzzz has joined. 06:46:21 ?? 06:46:26 -!- nikozzzzzz has quit (Client Quit). 06:51:21 "In the case for :+:, we produce False or True depending on whether the constructor of the value provided is located on the left or on the right:" 06:51:45 i'm with niko on this one 06:51:48 So, for A | B | C, the exact serialization depends on the nesting of :+: ? 06:52:12 If the GHC compiler changes how that nesting works, could that break reserialization? 06:52:24 (Reading the example in http://hackage.haskell.org/package/generic-deriving-1.6.3/docs/Generics-Deriving-Base.html ) 06:55:00 i'm continually amazed by how complicated everybody makes haskell sound 06:59:17 thought of another name that has a name 06:59:17 there was an MIT Mystery Hunt team whose name was the entirety of Atlas Shrugged 06:59:45 the worst buffer overflow in human history 07:10:14 "Generic Generic Programming 07:10:14 " 07:11:04 where's my phylogenetic programming 07:30:46 -!- MindlessDrone has joined. 07:32:28 -!- slereah has joined. 07:32:31 Hello 07:36:40 hi slereah 07:39:05 -!- hubert has joined. 07:43:55 -!- tromp has joined. 07:45:51 -!- doesthiswork has quit (Quit: Page closed). 07:48:18 -!- tromp has quit (Ping timeout: 240 seconds). 07:56:43 -!- hubert has quit (Read error: Connection reset by peer). 07:56:52 -!- shikhout has joined. 07:59:45 -!- shikhin has quit (Ping timeout: 252 seconds). 07:59:46 -!- shikhout has changed nick to shikhin. 08:10:04 https://www.youtube.com/watch?v=FEHdDjVrGEM everyone's favorite movie 08:16:50 -!- hubert has joined. 08:51:31 -!- adu has quit (Quit: adu). 08:55:43 [wiki] [[Special:Log/newusers]] create * Llrsexme * New user account 08:58:24 [wiki] [[User talk:Llrsexme]] N http://esolangs.org/w/index.php?oldid=39356 * Llrsexme * (+2418) Created page with "Depending on scientific studies, introduction regarding virgin mobile acrylic inside eating habits is available being invaluable to take care of gallstone problems. To make ce..." 08:59:12 mmhm 09:09:06 -!- hubert has quit (Ping timeout: 240 seconds). 09:13:14 -!- slereah has quit (Quit: Leaving). 09:13:41 -!- hubert has joined. 09:23:12 -!- AnotherTest has joined. 09:23:16 hmm, apparently openssl had support (of some kind?) for big-endian x86 and x86-64 09:34:32 -!- Bike has quit (Quit: leaving). 09:35:56 -!- Frooxius has quit (Quit: *bubbles away*). 09:36:12 -!- Frooxius has joined. 09:49:50 -!- Vorpal has joined. 09:49:50 -!- Vorpal has quit (Changing host). 09:49:50 -!- Vorpal has joined. 09:50:28 -!- hubert has quit (Quit: leaving). 10:13:57 olsner: scary 10:27:13 this thing: http://en.wikipedia.org/wiki/Stratus_VOS has a compiler that makes your x86 code big endian 10:31:22 -!- xpte has quit (Quit: Connection closed for inactivity). 10:37:44 -!- JesseH2 has joined. 10:37:45 -!- yorick has joined. 10:40:53 -!- JesseH has quit (Ping timeout: 258 seconds). 10:41:54 -!- slereah has joined. 10:59:28 -!- Phantom_Hoover has joined. 11:16:22 -!- nooodl has joined. 11:19:36 olsner: sure, and you can implement something very close to big-endian integer types in C++ too 11:21:19 but that doesn't make the CPU itself big-endian 11:22:20 olsner, why? And what b_jonas said 11:25:59 olsner, huh, after reading the article, who uses that sort of stuff? 11:56:54 I think x86 modified to be big endian exists out there, but the average x86 processor won't support that 12:00:28 FreeFull: it exists as an emulator, sort of 12:00:36 but I don't think it exists as a physical cpu 12:04:55 Maybe not 12:26:37 -!- Sgeo_ has quit (Read error: Connection reset by peer). 13:45:07 -!- conehead has joined. 13:50:58 -!- nucular has joined. 13:50:58 -!- nucular has quit (Changing host). 13:50:59 -!- nucular has joined. 13:52:57 wtf are people asking for syntax highlighting for languages like brainfuck where it totally doesn't make sense? 13:54:43 I mean, maybe I can understand that in C you want to color macros, type names, objects, functions, undefined identifiers. 13:55:16 but in a language that doesn't have that kind of thing, or it can't be determined without running the program, what would syntax highlighting even do? 13:55:33 -!- shikhin has quit (Read error: Connection reset by peer). 13:56:59 -!- shikhin has joined. 14:07:48 b_jonas: hey: I like them brackets blue! 14:09:37 I'd also'd love a brainfuck eclipse plugin. 14:10:03 So I can use it more professionlly. 14:10:40 although brainfuck completely lacks any library support 14:10:46 that's a bit of a turn down. 14:14:37 Is there a BF version with libraries? 14:14:43 Wouldn't be too hard 14:18:29 -!- yorick has quit (Remote host closed the connection). 14:18:47 slereah: with so many variants out there, there's probably one 14:21:31 [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[User talk:Llrsexme]]": Spam: content was: "Depending on scientific studies, introduction regarding virgin mobile acrylic inside eating habits is available being invaluable to take care of gallstone probl..." (and the only contributor was "[[Special:Contributions/Llrsexme|Llrsexme]]") 14:21:50 [wiki] [[Special:Log/block]] block * Oerjan * blocked [[User:Llrsexme]] with an expiry time of indefinite (account creation disabled): Spamming links to external sites 14:31:34 -!- Patashu has quit (Ping timeout: 276 seconds). 14:44:19 -!- Bike has joined. 14:58:51 -!- Guest74775 has joined. 14:59:07 . 15:02:22 Guest74775: could you elaborate on that point? 15:10:24 -!- Guest74775 has quit (Remote host closed the connection). 15:16:15 -!- conehead has quit (Quit: Computer has gone to sleep). 15:27:44 -!- conehead has joined. 15:35:57 :\ 15:36:14 oerjan stop editting the wiki and come here and help me :( 15:41:45 -!- slereah has quit (Quit: Leaving). 16:05:46 -!- FreeFull has quit. 16:07:41 [wiki] [[Boxy]] M http://esolangs.org/w/index.php?diff=39357&oldid=39346 * Zerk * (+13) /* Signed */ 16:28:36 [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39358&oldid=39357 * Zerk * (+20) /* Nock Interpeter */ nil handling, br math 16:37:29 -!- xpte has joined. 16:39:01 [wiki] [[Boxy]] M http://esolangs.org/w/index.php?diff=39359&oldid=39358 * Zerk * (+49) /* Arithmetic */ power of 2 optimization 16:42:48 -!- Sorella has joined. 16:42:59 -!- MoALTz has joined. 16:46:54 -!- yorick has joined. 17:27:35 b_jonas: some syntax highlighters for lisp will color matching parentheses the same 17:27:49 heehee http://theconversation.com/no-youre-not-entitled-to-your-opinion-9978 17:27:53 oops, wrong channel 17:34:14 good link though 17:36:04 though in general i dont believe i should have to defend every opinion to every person. 17:36:07 often it is a waste of time 17:37:38 (should be defensible, but need not always be defended, though you prob should defend ideas once in a while to make sure you're not fooling yourself) 17:38:59 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 17:43:48 kmc: I see 17:44:13 kmc: I do use the feature where the editor finds me the matching paren, but not with colors 17:45:12 i think coloring the parens themselves is not that useful, but some editors will also shade the background behind the text according to the level of nesting 17:49:57 http://paste.lisp.org/display/142012 example paren colors... in webscale 17:50:10 the color choice is, frankly, terrible. need queer eye for the straight guy to take a look 17:50:45 #haskelgbt 17:51:12 Bike: I assure you that I have no particular skill at color coördination 17:51:35 i like rainbows though :3 17:51:45 Queer And Also Design-Trained Why Did We Specify Queer Again Eye for the Straight Guy 17:52:12 for that matter, why specify straight? 17:52:22 "fashion help for dudes" 17:52:34 or just fashion help 17:52:40 Eye for the Person 17:52:45 that sounds... sinister. 17:52:45 eye for an eye 17:53:21 Bike: it's worthwhile to specify "dudes" because it has that connotation of "clueless and careless about fashion" 17:53:33 wow way to be misandric??? 17:53:37 -_- 17:53:52 there's already a similar show that's female-centric 17:54:04 wait, wait, is the show still on 17:54:06 not all guys are dudes 17:54:12 it's just something i vaguely remember from when i was a kid 17:54:16 Bike: not last i checked 17:54:22 when you were a kid????? 17:54:31 that was when i was in college or something 17:54:42 2007, apparently 17:54:46 is when it ended. 17:54:54 when it started i was... eleven. 17:55:20 a wee one 17:58:18 you know what would be good. a text-only browser like lynx except as modern html compliant as possible 17:58:21 with one of them beefy js engines 17:58:50 righto 17:59:33 it should even AUTOMATICALLY ASCII ART THE IMAGES 18:00:05 Bike: links2, w3m, elinks are all better than lynx at that 18:00:10 I think one of them has bad JS support or something. 18:00:13 still not great though 18:06:26 9what's the difference between a quintopia and a Bike? 18:06:34 -!- conehead has quit (Ping timeout: 265 seconds). 18:06:37 well, Bike is a smart feller... 18:07:00 Also I'm a bike 18:08:00 -!- Phantom_Hoover has joined. 18:08:38 Bike's a bike but is Phantom_Hoover a hoover? 18:09:09 hantom foover 18:09:17 the answer is yes 18:09:51 just run a headless webkit and send the output through an ascii art converter 18:10:03 most ascii art converters suck 18:12:14 yep 18:14:53 hmm.. i've seen people do mpeg in high-res ascii, but not full browser 18:15:02 would be interesting seeing youtube in ascii browser 18:15:09 would be an amusing hack 18:15:29 chrome4ascii 18:15:32 kinda like http://virtuallyfun.superglobalmegacorp.com/?p=3866 18:16:01 shit i was looking for that yesterday, thank you 18:29:24 -!- conehead has joined. 18:29:54 -!- impomatic has joined. 18:31:28 static const char rnd_seed[] = "string to make the random number generator think it has entropy"; 18:32:13 youtube videos with ascii were there a short time 18:41:54 -!- conehead has quit (Quit: Computer has gone to sleep). 18:53:52 -!- boily has joined. 19:12:07 These days, if you write to /dev/random it gets mixed in the pool but doesn't affect the entropy estimator. 19:12:20 On Linux, that is. 19:12:28 (Not sure if it has been different.) 19:12:45 -!- Zerker has joined. 19:13:02 wait, you can WRITE in /dev/random? 19:13:11 -!- conehead has joined. 19:13:23 i never got the idea 19:13:41 b_jonas: A brainfuck syntax highlighter that colors all non-brainfuck-command characters in some "comment" color sounds useful to me, since you'll immediately notice if you e.g. accidentally put a comma in your comment. 19:13:50 freebsd random(4) page says yes. 19:14:05 If the device is using the software generator, writing data to random 19:14:05 would perturb the internal state. This perturbation of the internal 19:14:05 state is the only userland method of introducing extra entropy into the 19:14:05 device. If the writer has superuser privilege, then closing the device 19:14:06 after writing will make the software generator reseed itself. 19:14:12 fizzie: ack. 19:15:00 Also there are people who syntax-highlight Scheme so that every paren level gets a different background color, you might do that for the brackets to indicate loops. Though it might be more of a distraction. 19:16:03 For Befunge I haven't really thought of any (automatic) syntax highlighting worth doing. You could indicate valid commands, maybe, but so many things are. 19:16:29 Oh, kmc mentioned that already. 19:17:16 need polyglot syntax highlighting 19:17:23 with rainbow parens for scheme 19:18:14 I think I started on a manual syntax highlighting/"literate code" kind of thing for fungot, marking and commenting regions, but never got around finishing it. 19:18:14 fizzie: i believe that this parliament must take account of the problem. 19:18:32 I did do that for a universal Turing machine Befunge thing, then lost the file. :/ 19:18:46 And mooz did a very nice highlighted quicksort but that's only in archive.org now. 19:19:14 http://web.archive.org/web/20060925160554/http://kotisivu.mtv3.fi/quux/qsort.html 19:36:00 Also at http://sbp.so/qsort :-) 19:36:44 I feel like we should make an effort to mirror esolang content to keep it available... 19:37:50 (For Befunge-98 compatibility, base64-decode MSwzYwogICAgIDAwOTYqMD4yKzAwcDo6ICAgICAgdgo7YjF4ID4wZzEtXHx2IWAwLSIhIjp+OyM6PAogICAgIF4wLSQkJDI+IzxfXDAwZ3AxKyAgXgouCg== and apply) 19:39:31 fungot: stop making sense. 19:39:31 boily: president of the commission we will be in a position to give the member states too will take prompt action to update their systems for inspections at sea. 19:41:01 [wiki] [[.yacuabll]] http://esolangs.org/w/index.php?diff=39360&oldid=38967 * 192.160.117.140 * (-21) /* Example Program */ Fixed to match website 19:41:51 fungot: indeed. but have you really been far even as decided to use even go want to do look more like? 19:41:51 boily: mr president, i would also draw the commission's attention to a number of occasions i have always understood that during the discussions on climate change, and this is why we stress the need for change. it spells an end to the shortfall of information and inability to be able to take decisions after 2007. cohesion, ladies and gentlemen. 19:44:53 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 19:45:36 "cohesion, ladies and gentlemen." 19:45:47 fungot: You're quite the orator. 19:45:47 fizzie: mr president, i too would like to stress very strongly and loudly here in parliament at that time accept an increase of a third country under the european union's great responsibility, and it could cause problems in the application of the agreement: for example references to the presence of president santer, with regard to this objective. 19:45:58 very strong and loud is the key to oration 19:48:49 I think I was either going to ask mooz for the sources and/or permission for a mirror, or did ask, but I don't know which, and if I did ask, what I asked for, and what he said. 19:52:48 -!- MindlessDrone has quit (Ping timeout: 245 seconds). 19:57:02 -!- shikhout has joined. 19:59:53 -!- shikhin has quit (Ping timeout: 252 seconds). 19:59:54 -!- shikhout has changed nick to shikhin. 20:03:30 http://www.umassd.edu/media/umassdartmouth/collegeofengineering/cisdept/resources/CIS_MS_Dependency_Graph.pdf i wonder why i can't find more of these... oh it's the CS department. 20:05:59 Now I'm tempted to scrape out the web interface to our course information system and try to parse a Graphviz graph out of the prequisites field. 20:06:07 Though the data is very very messy and not machine-readable at all. 20:06:10 -!- contrapumpkin has joined. 20:06:30 And of course not available via any reasonable API either. 20:08:28 fizzie: how much of them is there? 20:08:55 -!- copumpkin has quit (Ping timeout: 276 seconds). 20:09:08 I can't even tell that in any reasonable way. 20:09:29 fizzie: i've been thinking the same thing about my school. with the similar problems. 20:09:56 and there are a few hundred courses at least. 20:10:01 The search forms can't search an empty field. 20:10:40 fizzie: search for each digit 20:10:45 I can search for a single letter, apparently. 20:10:57 There are 4260 courses that have the letter "t" in their course code or name. 20:11:21 fizzie: how many of those have prerequisites? 20:11:33 How am I suppose to know *that*? 20:12:32 dunno. I'm glad I don't have to deal with this anymore. 20:12:35 Our university is the combination of three universities, so there's not even any single system for course codes. 20:12:42 nice, nice 20:13:01 Anyway, the prequisites field can have completely free text mentioning course names that are probably not even current. 20:13:20 And there's names in three different languages. 20:13:23 It's all very messy. 20:13:37 I don't think I'm going to try this. 20:13:43 all three languages filled for all courses? 20:13:46 or only one? 20:13:52 Anything from one to three. 20:14:07 Though the third (Swedish) is probably pretty rare. 20:14:10 I mean, I think here every course has an official English translated name 20:14:29 We probably have courses that don't have an official English name, though those are probably reasonably rare too. 20:14:31 ah, so that's in Finland? 20:14:34 Yes. 20:15:24 There's a university-level policy that bachelor's-level teaching should be mostly in Finnish, while master's-level stuff should be completely in English. 20:15:26 so what's the uh... second 20:15:28 ah. 20:15:47 Also, sometimes there are different course codes for the separate language variants. 20:15:53 I think only for some "mass" courses, though. 20:16:07 Probably for easier handling of exams or something like that. 20:16:32 fizzie: the courses have English names not because they're taught in English, but so that they can be printed to the English translted long diplomas and other forms 20:16:55 I think I had some Finnish course names when I last asked for a course transcript in English. 20:17:02 totally sensible reasons being american annoys me: my cv won't be a weird cosmopolitan morass 20:20:46 Here's a random sampling of course codes, to show how uniform it is: 02115, 04334, 20021, 20A00310, 21C09901, 22771, ..., 37A055, 710000, 90L011, A-112.2501, A61A00100, AS-84.3411, Atk0195, AUT.kand, BECS-C3001, cb0027, CHEM-C2410, ELEC-C4110, et003, Inf-0.3101, KE-30.C, KE-31.4520, LC-8045, tk0299, ... 20:20:54 I think that includes most of the formats. 20:21:39 man, the most i have to deal with is two (but not all) of the departments having different names at different campuses for no reason i can discern, meaning i have technically never taken a computer science class 20:22:58 I did most of my stuff (and got a master's) before the merger, so all my courses were Xxx-NN.DDD where Xxx was the name of a study program ("T" for computer science, "S" for electrical engineering, "Mat" for mathematics, etc.), Xxx-NN a code for a professorship, and DDD a three-digit course code with usually no clear structure. 20:23:21 fizzie: here the course codes are at least uniform, mostly: 20:24:05 Then they switched from three- to four-digit codes with some kind of a inherent structure; I think first digit is more or less approximately the year you're supposed to take it in, or something like that. 20:24:32 Most of the other formats are probably from the other two universities, and now they're transitioning to a entirely new format, perhaps (dare I think) to unify them. 20:24:58 they have the form BMETE010002 where "BME" is fixed and is the abbreviation of the university, TE is the two-letter code of the faculty, 01 is two alnums identifying the department owning the course, and 0002 is four alnums identifying the course among those 20:25:37 (It's this "ELEC-C4110" thing where the first part is a name for a "school" -- we've got six now -- and I don't know how the letter-and-four-numbers part is constructed.) 20:26:02 mind you, at least one department has two different codes because it was renamed once so old courses use the abbreviation of its older name 20:26:17 (more than just renamed really, it's complicated) 20:26:27 Except "new" maths courses seem to be of the form MS-A0503 and MS-C1110 and so on, even though "MS" is not a school name. 20:26:37 Never mind, I'm not going to start figuring this out at this point. 20:26:46 guys, i invented a way to easily kill a lot of nerds without raising suspicion 20:27:42 a feature in the online administration system I hated is this: when you search for a course, you must choose one of three options for what to search in, one of the three saying "all course", 20:27:49 just produce something that moulds REALLY hard and make it limited, with a number on it (that part is important!) 20:28:16 "all courses", but even "all courses" doesn't cover all courses, so you have to repeat the search using the other two options as well to find everything (and maybe even then you don't find everything, I don't know) 20:28:43 the other feature is that if you log in as a teacher, you get access to much fewer data than if you log in as a student 20:30:12 but the worst part is that the developers refuse to listen to complaints, they never fix bugs, and the software is based on some idealized rules which don't really apply to the university 20:30:39 oh, and the system has a planned downtime five hours every night for "backup" 20:31:19 it's web-based, and they keep changing the javascript code so it only runs on latest versions of browsers, even for features that used to work 20:31:57 our university intranet is incomparable to the non-intranet, for example the non-intranet contains the official instructions for phd students, as a pdf, and intranet contains an elaborate html version with most (though not all) of that information, but not the actual pdf 20:32:05 this is all about the state of the last iteration I used. the system before that was better in some respect and worse in some other respects 20:32:21 it was not web-based, but instead needed a remote desktop client. 20:32:37 oklopol: hehe 20:32:50 Oh, we've been iterating through several systems to access this stuff, too. 20:33:15 oklopol: I have seen important public information accessible only from the intranet, but I haven't seen anything you can access only from non-intranet 20:34:18 There's one more "formal" thing (Oodi) that does enrollment and (internally) grades and all kind of student management stuff, and then a separate thing for less formal course information (Noppa) which is where weekly exercises and project work and course news and things like that get communicated. 20:34:31 well, they clearly spent more effort on the stuff on the intranet 20:34:37 but it's still less information.. 20:35:10 Oh, and I once got an export from the first thing in a character encoding nobody could identify. 20:35:24 I don't understand why people would restrict information to a university intranet in first place. Do they think that makes it more secret because only the ten thousand people in the university can access it? 20:35:43 It wasn't any of the 1173 supported by iconv on this system, at least. 20:36:39 Oh, the informal system (Noppa) can be used to restrict selected material to logged-in users only. 20:36:50 Or some third level of access, I forget what that could be. 20:37:10 fizzie: could you at least identify the family of the encoding, like a 8859-1-alike, or a 437-alike, or a 646-variant (unlikely), or mangled double-utf? 20:37:16 No. 20:37:31 Well, I mean, beyond the fact that the ASCII half was there. 20:38:03 fizzie: did it seem like the information was there? or, like, every non-ascii replaced by a question mark? because I've seen a lot of the latter. 20:38:09 Oh, it was there. 20:38:20 fun 20:38:28 I didn't really have much to work with, since the only non-ASCII characters in my export were ä, ö and é. 20:38:36 All those three had a different one-byte encoding. 20:38:48 no uppercase letter? 20:39:12 No, this was a (quite short) list of names, and I guess all first letters happened to be ASCII. 20:39:34 The values for the lowercase letters didn't correspond to any standard encoding I could find. 20:39:41 I see 20:40:53 If you want to go looking, 0xc8 for 'é', 0x89 for ä, 0x88 for ö. 20:41:05 Though it's possible it was something custom for this system. 20:41:06 thanks 20:42:03 It's not one of the 8859 family, at least, since those have control characters (or nothing; I'm not sure if that's part of it) from 0x80 to 0x9f. 20:42:55 Oh, and last email I got from this system had all non-ASCII in the subject line replaced by an "X". 20:43:31 fizzie: or it could be mangled from two different encodings, but even then it's strange 20:43:48 (Further investigation showed that it sends raw ISO-8859-1 directly in the email headers, and somewhere in amavisd/SpamAssassin those got sanitized to "X".) 20:44:14 I've recently donwloaded a datasets where half of the text is fine and half has a broken (but luckily recoverable) mangling of the non-ascii 20:44:37 how about a language with esoteric syntax highlighting 20:47:02 "odd numbers are red and even numbers are blue, except primes are invisible" 20:48:30 that's a strange kind of synaesthesia 20:51:00 fizzie: yes, those codes are strange. they don't seem like 437-derived either to me, nor T1-derived or anything else. 20:51:46 "It's not one of the 8859 family, at least, since those have control characters ... from 0x80 to 0x9f." -- that's not sound logic, because cp1252 and cp1251 have printable characters at most of those places 20:52:08 I mean cp1252 and cp1250 20:52:27 but these codes aren't those of course 20:52:29 Yes, but I wouldn't call those part of the 8859 family just because they coincide with one elsewhere. 20:52:31 `run for c in $(iconv -l); do if printf '\xc8' | iconv -f $c 2>/dev/null | grep -q é; then echo $c; fi; done 20:53:00 kmc: I sort of did that already, except with iconv -l | while read cs; do if [ "$(printf '\x89\x88\xc8' | iconv -f $cs -t utf8)" = "äöé" ]; then echo $cs; fi; done 2>/dev/null 20:53:02 No output. 20:53:11 yeah i don't get anything either 20:53:39 fizzie: cp1250 doesn't quite coincide, just almost. as for whether you call it family, whatever, but they're still something I have to check if I don't know the encodings because they're frequent. 20:55:05 what I hate about cp1250 is that it didn't get renamed when they added those five characters that didn't use to exist when the codepage was first used (the romanian letters and the euro sign) 20:55:29 there is no code but unicode and utf-8 is its transport 20:55:48 kmc: I'm not convinced of that 20:56:01 though I've almost accepted it now 20:56:26 it might take a few more years till I'm completely converted to using utf-8 only 20:56:56 What I don't like about ISO-8859-15 is that it's "Latin 9". (This applies to any ISO-8859-N that is Latin-M for N ≠ M.) 20:57:41 I guess that's probably most of them. (Haven't checked.) 20:58:10 fizzie: that's because the "Latin" means the name of the script, and the purpose of iso-8859-5 is to encode the cyrillic script, not latin script 20:58:34 fizzie: plus there's one for hebrew and one for greek so it's all shifted 20:58:49 fizzie: besides, many other character sets have aliases 20:59:31 reasonable ones like, IBM-437 vs CP437; or ASCII vs US-ASCII or ISO-646-US or that crazy letter-number combination I can never rememner 21:00:08 ANSI_X3.4-1968 21:00:24 Onneksi ddkkvset eivdt ole endd ongelma. 21:00:48 what? is "ddkkvset" a word? 21:01:04 It's a running joke, it's a common mangling of "onneksi ääkköset eivät ole enää ongelma". 21:01:16 Something related to stripping high bits. 21:01:25 ah yes, I've seen that kind of thing 21:01:59 Alternatively, {{kk|set. 21:02:13 (For the ISO-646-FI interpreted as ASCII.) 21:02:32 the most common is stripping the high _byte_ of ucs16 codes, resulting in őű transformed to Qq 21:02:59 Freenode doesn't use the case mapping that has [\] be the uppercase variants of {|}. :/ 21:03:02 the 646 one is funnier the other way 21:03:05 (Perhaps that's quite reasonable.) 21:03:17 It doesn’t? Huh. 21:03:23 like, basic code listings with PRINTÉ and similar 21:03:35 It's mentioned in the numerics at the start of the connection. 21:04:05 Huh... does it in fact use it on the new server? 21:04:19 fizzie: yes, it's changed 21:04:29 I'm absolutely certain it had CASEMAPPING=ascii before. 21:04:33 yes 21:04:40 it got changed when they changed the irc server 21:04:46 Now it seems to be CASEMAPPING=rfc1459. Well, that's nice, I guess. 21:04:49 and I don't know what they did with clashing chanserv/nickserv registrations 21:04:49 If i wrote an IRC client, i’d certainly make it render nicks in ISO 646-FI unless the server informs otherwise. 21:05:16 It does inform you otherwise with CHARSET=ascii still, I guess. 21:05:58 fizzie: well, the character set is really a client-only abstraction, the server doesn't much care about it besides knowing what bytes it acceppts to channel names and what in nicks etc 21:06:11 fizzie: most channels these days have decided to use utf-8, 21:06:20 -!- Patashu has joined. 21:06:29 Yes, but I assume it's a reasonable choice for rendering nicks and channel names. 21:06:30 -!- Bike_ has joined. 21:06:32 but back when I started ircing, at least one channel used iso-8859-2, and changed to utf-8 only later 21:06:51 -!- Patashu_ has joined. 21:06:52 -!- Patashu has quit (Disconnected by services). 21:07:07 Speaking UTF-8 on IRCnet used to be a major faux pas on several channels. 21:07:17 Nowadays it's probably mostly acceptable. 21:07:37 fizzie: well sure, the channels can decide 21:07:39 "To address the machine-vision and image-processing issues, the Open Connectome Project is alg-sourcing (algorithm outsourcing)" 21:07:42 -!- Bike_ has changed nick to Bicyclidine. 21:07:51 just like how they can decide whether they like mirc-like color codes etc 21:08:05 I’m on quite a few IRCnet channels and nobody ever complains about UTF-8. Except one (1) person who’s IRCing on an ancient SunOS box with a broken iconv. He has me on /ignore. 21:08:15 lol. 21:09:27 All my IRCnet channels have pretty much died out, which I guess is also a solution of sorts. 21:10:37 ion: I hope your SunOS guy isn't on #utf-8. :) 21:10:43 Hah. He isn’t. 21:11:39 latest release 1994, eh 21:12:02 People still call Solaris that, to be fair. 21:12:13 Hmm, it *may* be Solaris, actually. I don’t remember anymore. 21:12:21 * boily is battling muscle memory full time... “stupid misorganized keyboard...” 21:12:59 I don't think I've used anything older than Solaris 7 / SunOS 5.7. 21:14:19 Ooh, Wikipedia lists April 29, 2014 (just a week and a bit away) as the release date of Solaris 11.2. Still going strong, I see. 21:16:11 -!- Sprocklem has joined. 21:16:40 http://upload.wikimedia.org/wikipedia/en/timeline/90aec7d902c1d610e90720ebc42fabd4.png a log looks like a good fit for the envelope of the upper half. 21:18:51 -!- contrapumpkin has changed nick to copumpkin. 21:19:36 «Unsurprisingly, since was so darn hard to find for OpenSSL developers they had resorted to manually protyping read(2) instead of incredible amount of preprocessor wizardry needed to find the ever illusive » 21:33:24 -!- Sgeo has joined. 21:33:37 -!- ^v has joined. 21:36:01 -!- AnotherTest has quit (Ping timeout: 276 seconds). 21:37:55 -!- boily has quit (Ping timeout: 258 seconds). 21:38:24 -!- conehead has quit (Quit: Computer has gone to sleep). 21:38:33 [wiki] [[Hollang]] http://esolangs.org/w/index.php?diff=39361&oldid=39351 * Doesthiswork * (+374) added link to implementation 21:39:05 [wiki] [[Hollang]] M http://esolangs.org/w/index.php?diff=39362&oldid=39361 * Doesthiswork * (+2) 21:45:21 -!- conehead has joined. 21:56:06 Bike: do you understand why 5HT reuptake inhibitors attenuate the action of 5HT agonists? 21:56:44 (some of them, anyway) 21:58:08 i really don't :( 21:58:18 i can't take biochem for a whiole nother year, probably 21:59:44 ok 22:01:04 If the OpenBSD team discovers a heartbleed-esque flaw in OpenSSL, would they go for responsible disclosure? 22:01:49 no, they'd use it to get admin credentials on linux boxes and replace them with BSD 22:02:04 It's just their review seems so... public 22:02:17 They'd post it on a web page in big letters. 22:02:22 -!- Zerker has joined. 22:02:28 gotta make a cool logo first 22:04:16 well, wait, so if serotonin reuptake is inhibited, there's going to be more serotonin around so of course serotonin receptors are more agonized? that seems too simple 22:05:16 you mean competitive binding between 5HT and the other agonist? 22:06:13 I want to make a language called cenotaffy 22:07:00 it makes sense except that SSRIs themselves don't make you trip balls 22:07:11 so i don't know if there's something about the relative activation of different receptor subtypes 22:07:33 [wiki] [[Redcode]] http://esolangs.org/w/index.php?diff=39363&oldid=38262 * 91.125.123.39 * (+1) Corewar -> Core War 22:07:36 or that particular molecules activate the receptor in different ways which have different effects inside the cell 22:09:55 well i'm not actually sure what "5HT agonist" means >_< 22:10:22 -!- oerjan has joined. 22:12:25 Is Redcode really an esolang or more of a DSL? 22:12:25 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 22:14:07 it doesn't seem very esoteric at all. it matches its design space pretty straightforwardly. 22:20:49 -!- adu has joined. 22:21:19 -!- nucular has quit (Quit: Switching to phone). 22:34:04 oh i guess "foo agonist" is short for "agonist of foo-receptors", great 22:36:31 -!- doesthiswork has joined. 22:36:43 yeah sorry 22:37:41 if [whatever]chemical terminology being weird was actually your fault i'd actually be angry :P 22:37:59 i thought maybe it meant agonists of receptors that stimulate serotonin release, or something 22:39:41 -!- tromp has joined. 22:46:18 -!- TAROT has joined. 22:48:39 !welcome TAROT 22:48:41 TAROT: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 22:48:54 i just realized this paper i'm reading basically implements genetic memory 22:49:05 oh wait argentina 22:49:11 `bienvenido TAROT 22:49:12 TAROT: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en irc.dal.net.) 22:49:19 maybe they're from argon 22:49:42 -!- TAROT has quit. 22:49:55 i guess at least one of those got through 22:50:51 -!- TAROT has joined. 22:52:26 -!- TAROT has left. 22:52:48 oerjan stop editting the wiki and come here and help me :( <-- i didn't log on irc because i was about to leave so soon 22:56:07 -!- nooodl_ has joined. 22:56:52 oh, babbage was already in the wiki 22:59:00 -!- nooodl_ has changed nick to fcrawl. 22:59:06 -!- nooodl has quit (Ping timeout: 240 seconds). 23:08:30 -!- boily has joined. 23:24:07 -!- doesthiswork has quit (Quit: Page closed). 23:30:25 quintopia: QUINTHELLOPIA! 23:33:40 -!- yorick has quit (Remote host closed the connection). 23:40:39 -!- tromp has quit (Remote host closed the connection). 23:41:13 -!- tromp has joined. 23:42:51 -!- Patashu_ has quit (Ping timeout: 240 seconds). 23:45:15 -!- tromp has quit (Ping timeout: 240 seconds). 23:51:31 -!- conehead has quit (Ping timeout: 252 seconds). 23:53:04 @messages 23:54:45 oerjan: I 23:55:16 I've been using my personal computer for work, so am usually offline from IRC for a period of time before work until a period of time after work 23:55:47 * oerjan has no recollection of what he @told, anyway 23:56:29 22:30:31: @tell Sgeo blah >>= flip when $ do ... <-- the precedences are wrong for that to work. 23:56:42 But there were some lines afterwards where you were wtfing 23:56:46 22:30:46: wtf is Sgeo not here 23:57:01 also, when you did return you returned as Sgeo_ 23:57:34 o.O 23:57:48 @messages 23:57:49 You don't have any messages