00:00:17 zzo38: given the [WUBRG] I'm going to guess it matches a Magic mana cost or something 00:04:41 -!- interest1ng has joined. 00:08:47 -!- jaboja has joined. 00:17:35 -!- Tod-Autojoined has joined. 00:20:46 -!- Todpunk has quit (Ping timeout: 240 seconds). 00:22:47 -!- TodPunk has joined. 00:22:47 -!- bb010g has joined. 00:23:00 But colorless is also a color now. 00:23:08 -!- Tod-Autojoined has quit (Ping timeout: 276 seconds). 00:27:31 -!- oren has joined. 00:27:55 <\oren\> \quit 00:27:59 -!- \oren\ has quit (Quit: leaving). 00:28:11 -!- oren has changed nick to \oren\. 00:29:45 -!- boily has joined. 00:31:39 <\oren\> 今ボアリは！ 00:33:06 <\oren\> I'm gonna head up to CYYB tomorrow, so I've switched to ircing thru my web server 00:34:42 @metar CYYB 00:34:42 CYYB 210000Z 16012KT 15SM OVC230 M02/M06 A3000 RMK CI8 SLP182 00:37:06 コレンバンは！ 00:37:31 僕はケベック市にいます 00:38:24 CYYB is a little in the middle of Nowhere, Ontario... 00:38:59 -!- oerjan has joined. 00:39:40 コンベリャンは！ 00:40:30 @metar CYQB 00:40:31 CYQB 210000Z 25005KT 15SM FEW030 BKN100 OVC210 M07/M11 A3034 RMK SC1AS7CI1 SC TR SLP282 00:40:36 @metar CYUL 00:40:37 CYUL 210000Z 13006KT 15SM BKN038 OVC140 M02/M07 A3034 RMK SC7AC1 SLP278 00:40:42 @metar CYOW 00:40:43 CYOW 210000Z 12007KT 15SM BKN130 BKN180 BKN240 M04/M07 A3027 RMK AC5AC1CI1 SLP260 00:49:54 ᚷᚩᚩᛞ ᛒᚩᛁᛚᛖᚾᛁᛝ 00:53:52 -!- TellsTogo has joined. 00:55:48 I want to make a DSL for something 00:55:52 But I'm not sure what 00:56:19 Man, this is scary. Network providers are trying to do "interesting" things with routing where they parse the TCP and UDP headers but break traffic that isn't TCP or UDP or that doesn't use TCP the way they expect. 00:56:36 \oren\: why on earth do you want to go there? 00:56:54 So people build protocols that pretend to use TCP and UDP the ordinary way, but actually use it to tunnel something completely different through it, so that the routers don't break their stuff. 00:57:06 UDP more commonly 00:57:17 But that's an arms race! Eventually routers will try to parse the nested protocols, then people nest some more, 00:57:33 and people will be sending packets with hundreds of bytes of nested header just to fool rooters. 00:57:49 coppro: funnily, multi-path TCP is trying to be based on TCP in such a way that it's transparent to routers. 00:57:49 routers shouldn't break non-TCP/UDP packets :( 00:57:59 Meh. Textgen whynot. 00:57:59 b_jonas: that arms race should break pretty fast the moment the users include ssl anywhere in the mix 00:58:09 -!- tromp_ has joined. 00:58:10 coppro: they shouldn't, yes. That's why IP and TCP are separate layers, the routers have to speak only IP. 00:58:35 Or perhaps video game enemy AIs? 00:58:41 Or TBRPGs? 01:00:41 -!- triggerwarning has joined. 01:01:18 -!- triggerwarning has quit (Changing host). 01:01:18 -!- triggerwarning has joined. 01:02:08 <\oren\> Most routers already have NAT which involves parsing UDP and TCP anyway 01:02:34 \oren\: exactly 01:02:50 and that's just the start, some firewall stuff does much more than that 01:03:51 yeah, IPv4 doesn't have enough info for NAT 01:04:17 IPv6 doesn't either AIUI, but it obviates NAT in a lot of cases 01:08:54 -!- dcentral has quit (Ping timeout: 250 seconds). 01:08:55 -!- triggerwarning has quit (Ping timeout: 240 seconds). 01:09:33 chelloppro! are you calgarying now? 01:11:09 yes! 01:24:12 -!- tromp_ has quit (Remote host closed the connection). 02:02:36 -!- ^v has joined. 02:04:09 fungot: where do you go when you vacation? 02:04:09 boily: javascript is cool xd space...) and expr within a string rewriting language, but without getting lost in it 02:04:46 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 02:05:54 -!- Phantom_Hoover has joined. 02:18:32 fungot: so you're saying javascript is ok to visit, but you wouldn't want to live there? 02:18:32 oerjan: you probably consed them in the future. 02:18:58 fungot: how do you know that? are you a dreen? 02:18:58 oerjan: whats up? girlfriend trouble? i recently upgraded glibc 2.3.3 2.3.4, and now he's speaking english d: 02:19:37 fungot: uhm, that is a rather personal question 02:19:37 FireFly: i do, but don't have enough space to copy it 02:19:55 FirelloFly. remember, fungot has two girlfriends. 02:19:55 boily: riastradh will get sick of macosx, macosx, windows), then 02:20:02 fungot: i think girlfriend trouble presupposes a girlfriend 02:20:03 oerjan: then you have my undying admiration or wonder". i just want to be 02:20:09 helloily 02:20:41 How does it feel to be admired by fungot? 02:20:42 FireFly: the variable file is not present in the cheese help to counteract the ill effects of sword swallowing. design: letters sent to sword swallowers requesting information on technique and complications. setting: membership lists of the form 02:21:07 FireFly: hollow hth 02:21:47 ^style 02:21:47 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 02:22:33 irc is the true fungot style 02:22:34 FireFly: ' issue' should be distinguished. piracetam also helps healthy people. i have a problem 02:22:58 fungot: I'm sorry. Can I help you somehow with your distinguished issue? 02:22:59 FireFly: most things are built to develop. :) " hey, we'll do it together) 02:23:19 Are you saying that you feel your codebase has been neglected, fungot? 02:23:20 FireFly: okay, gotcha. didn't think of 02:24:41 -!- tromp_ has joined. 02:26:11 -!- andrew_ has joined. 02:28:54 -!- tromp_ has quit (Ping timeout: 245 seconds). 02:42:40 Hm... 02:42:55 How about a programming language for which the bulk is Itertools and Functools? 02:48:37 Aren't functional Turing tarpits basically languages based on functools(ish)? 02:48:51 Assuming functools have, like, at least composition and const 02:49:24 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:01:11 whoa whoa whoa, what's this "incompressibility method" thing and why did no one tell me about it? 03:07:49 SKI combinators FTW! 03:07:59 hellochaf. what's an incompressibility method? 03:08:51 a trick which is too long to type about on my phone hth 03:09:21 and i don't know the details anyway 03:10:25 the idea is apparently that if you want to know the average runtime of an algorithm, or something like that, you can pick a special representative "incompressible" input and look at the runtime for that one input 03:10:50 or maybe there point is that it isn't special 03:11:50 but it is representative, so many statements about it will extend to almost all inputs 03:12:06 or something 03:12:52 something something everything something... 03:13:54 anyway kolmogorov complexity is p. nifty 03:28:40 shachaf: Colorless is not also a color now; it is just that now there is the symbol that can be paid only by colorless mana. I think still, if you choose a color you can't choose colorless, and something that has both colorless and colored mana costs is not colorless (unless it has the devoid ability), etc 03:29:25 Once Wizards of the Coast will say what letter represents the colorless mana symbol then I can put that in too. 03:30:43 That command does match a mana cost for Magic: the Gathering though; it is deciding the converted mana cost of a card if the full mana cost is the input of that (given as '0' in the example). 03:34:56 Is 'U' for blue mana official? I thought it was just a convention 03:35:03 Yes it is official. 03:35:15 It is even in the rules. 03:35:57 Ah, I see 03:36:41 See rule 202.2a 03:41:09 -!- tromp_ has joined. 03:45:35 -!- tromp_ has quit (Ping timeout: 255 seconds). 04:11:51 <\oren\> wow this is the stupidest harem anime setup in the history of stupid harem anime setups 04:13:13 <\oren\> (Rokujouma no shinryakusha. the stupidity has to be seen to be believed) 04:14:25 I don't watch a lot of anime or even other TV show 04:16:30 <\oren\> I didn't watch a lot, until I started working and therefore had more spare time 04:19:19 probably the only good haremanime (haranimem?) is Love Hina, if only because it has a flying turtle. 04:21:20 -!- mauris has quit (Ping timeout: 260 seconds). 04:25:13 -!- tromp_ has joined. 04:29:27 -!- boily has quit (Quit: SHIFTY CHICKEN). 04:29:53 -!- tromp_ has quit (Ping timeout: 265 seconds). 04:35:40 -!- tromp_ has joined. 04:44:13 I'm making a funny programming language based on sexiness because why the hell not. 04:44:51 I wound up formalizing the way you specify n-somes in the process. 04:55:13 -!- tromp_ has quit (Remote host closed the connection). 05:12:52 <\oren\> hppavilion[1]: There's already a formalization of that. They are mapped to strings matching the regex /m*f*/. hth 05:13:09 \oren\: Yes, but that's very ambiguous 05:13:23 MF can have 2 possible meanings, and it just inflates from there 05:13:36 2 /at minimum/ 05:13:44 -!- jaboja has quit (Ping timeout: 250 seconds). 05:14:30 <\oren\> well whata bout labeled directed graphs then? 05:14:54 <\oren\> (edges and points labeled) 05:15:19 \oren\: That works, but it has to be able to be put into a tag 05:16:33 I formulated a system that I'm pretty sure is unambiguous, AND it allows for vagueness as needed (e.g. if you don't care exactly how much tail this guy is getting at once), AND it incorporates time delay, AND it is familiar to anyone who knows regex 05:25:23 RDF is one kind of labeled directed graphs 05:56:16 -!- tromp_ has joined. 06:01:07 -!- tromp_ has quit (Ping timeout: 276 seconds). 06:01:56 What's wrong with this regex?: /"[^"\\]*(?:\\.[^"\\]*)*"/ 06:02:04 The computer won't accept it in the Docstrings. 06:02:19 For some reason, PLY uses Docstrings for stuff like this. 06:04:16 Oh, think I figured it out 06:12:37 i thought today's xkcd had a way for the patient to theoretically escape alive if they had > 100 limbs, but then i read the hovertext. 06:12:53 * >= 06:15:15 * Elronnd reads today's xkcd 06:16:56 lol 06:17:35 i guess the bet option is neverending scalp massaging. 06:17:38 *best 06:19:28 i think you can get there without harm if you fake discomfort in the right spot. 06:20:29 wait, is oxygen injection fatal 06:20:34 oh well. 06:29:03 -!- interest1ng has quit (Quit: Leaving...). 06:32:18 now that i own a smartphone i can download an app to read xkcd 06:32:26 * izabera joined the cool kids 06:32:37 there are several apps for this! which one do i pick 06:35:00 Oh, there are apps for xkcd? 06:35:16 Oh, screw it. I'm not reading xkcd on a tiny phone screen 06:35:23 * Elronnd just got a phone recently too 06:36:50 good luck playing http://xkcd.com/1608/ 06:40:34 get a bigger phone 06:42:58 Fuck no 06:43:02 I hate large phones 06:43:20 why so? 06:43:42 bigger screen = better at reading manga 06:43:46 Because, they're huge and unweildy 06:45:28 cannot relate 06:45:45 i use a nexus 5 and it could be a little taller 06:46:59 i mean, basically you are saying there is such a thing as a computer screen too big 06:47:06 -!- FreeFull has quit (Ping timeout: 240 seconds). 06:47:07 that doesn't make sense 06:47:08 myname: I've got Nexus 5X that is slightly larger 06:47:28 4.95" -> 5.2" 06:47:30 myname: for something to carry around, I want it small. For something stationary, I want it big 06:47:53 lifthrasiir: sounds neat 06:48:17 i am interested in the note series from samsung, but they are just too expensive 06:48:33 I don't want to have a larger phone than that, but 5" seems to be a sweet spot 06:49:02 What I hate is the 6 or the 6p. 06:49:08 Those things are way too big. 06:49:15 agreed 06:49:24 the only valid reason i heard is that pockets on pants for girls are ridiculously small 06:49:39 I want to *hold* my phone. 06:49:41 too big for what? 06:49:53 myname: at 6" you cannot comfortably reach the top area of the screen with one hand 06:49:54 you can't hold 6"? 06:50:10 well, you may have a large thumb 06:50:13 I don't 06:50:17 Yes. I have a human hand that I use for holding my phone with one hand and interacting with it. 06:50:21 lifthrasiir: the trick is to make it so that you barely ever need the top of the phone 06:50:34 If you are not a human being this may not be applicable to you. 06:50:39 myname: greatly depends on apps you are using 06:50:56 indeed, but just have a look at good apps 06:51:10 -!- triggerwarning has joined. 06:51:12 the put everything you need on the bottom for a reason 06:51:26 Also, frankly, the 5x is just about the maximum size I'd be comfortable with in my pocket. 06:51:32 -!- dcentral has joined. 06:51:59 with LMT or any other PIE control you don't even need to reach the top to drop down the notification area <3 06:57:25 why do people buy samsung notes? 06:57:35 that pen is so silly 06:57:52 because bif screens are awesome for doing computer stuff 06:57:53 reminds you of the resistive screens age 06:58:31 like, my sßartphone is an ssh client at many times 06:58:45 i want to have a big terminal and keyboard 06:59:56 a foldable 27" imac 07:00:25 nah, 12" laptop at most 07:00:42 alsoy laptops ten not to last 24h+ with ankers 07:03:15 on that topic, i'd love to have an arm laptop with like 11", trackpoint and a fullhd display 07:04:37 why arm 07:05:09 -!- oerjan has quit (Quit: Testing...). 07:05:26 -!- oerjan has joined. 07:05:29 because battery 07:18:02 -!- ais523 has joined. 07:24:18 -!- triggerwarning has quit (Quit: Leaving). 07:25:15 -!- FreeFull has joined. 07:27:58 https://arin.ga/1AXjZf/raw 07:28:26 i feel dumb because i wrote noglob like a thousand years ago and didn't realize i could write the others until now 07:28:53 then i needed nullglob and i was like "damn, it'd be nice to have something like noglob for nullglob... oh wait" 07:29:25 sharing because they may come in handy <.< 07:29:47 * lifthrasiir didn't know izabera operates arin.ga 07:30:13 and >36^5 snippets already? wow. 07:30:30 (or 32^5, depending on the character set used, but doesn't matter) 07:30:53 nope, just using php's tempnam 07:31:03 ;_; 07:31:07 unfortunate 07:31:08 sry 07:32:23 doesn't goo.gl use something similar? 07:32:38 yeah, completely randomized 07:32:52 izabera: I thought arin.ga is sequentially numbered because of 000002 07:33:06 nope, those are just a few file i hand picked 07:33:13 files 07:33:15 yeah, makes sense now 07:34:44 it used to be 000000-000006 but now there's only 0-2 07:35:14 also there's arin.ga/aringa 07:35:42 * izabera found it funny back then 07:36:07 I personally use ix.io a lot 07:37:01 (which is sequentially numbered, by the way) 07:37:07 my client is better than theirs 07:37:07 -!- Patashu has joined. 07:37:28 yeah, ix.io is sorta minimalistic 07:38:30 >:o the source isn't available 07:38:50 -!- jaboja has joined. 07:41:15 also they have users, that's not very minimalistic... >.> 07:41:28 lol 07:52:56 -!- oerjan has quit (Quit: More testing). 07:53:29 -!- oerjan has joined. 08:05:57 i didn't sleep enough, i went to work tired 08:06:14 my alarm didn't even ring this morning, wonder why 08:06:18 then i get there 08:06:21 it's closed 08:06:26 monday morning it's closed 08:06:31 i'm retarded 08:07:32 * izabera jumps into beeeed 08:29:12 -!- oerjan has quit (Quit: Testing again...). 08:29:34 -!- oerjan has joined. 08:29:48 ah adding explicit -n options fixed it 08:30:08 tmux wasn't showing the actual command names in the status line for some reason. 08:31:57 except for the one which is an actual shell. 08:39:30 I'm making a lisp because whynot. 08:39:41 whydo 08:39:59 izabera: whydo or whynot. There is no whytry. 08:40:22 whydonot* 08:40:22 lol 08:40:24 It has... basic operations, IO, and IF-THEN-ELSE 08:40:29 Whoo. 08:41:34 i downloaded the force awakens and it's in spanish or portuguese 08:41:36 cam 08:41:42 do i watch it anyway? 08:43:21 sorry, only the original galactic basic is acceptable hth 08:46:45 found an english version yay 08:46:51 -!- andrew_ has quit (Ping timeout: 260 seconds). 08:49:33 -!- andrew_ has joined. 08:57:07 -!- tromp_ has joined. 08:59:02 -!- Elronnd has changed nick to realdonaldtrump. 09:01:15 -!- tromp_ has quit (Ping timeout: 240 seconds). 09:03:46 -!- realdonaldtrump has changed nick to Elronnd. 09:09:52 -!- ^v has quit (Remote host closed the connection). 09:11:11 -!- FreeFull has quit (Ping timeout: 265 seconds). 09:12:29 Ugh 09:12:38 I want to play with qudotpy, but I don't quantum 09:12:41 And I don't know where to learn. 09:13:55 read Kaye, Laflamme, & Mosca or Nielsen & Chuang. 09:14:04 Former is more accessible but also less comprehensive 09:28:20 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 09:36:31 -!- ais523 has quit. 09:44:53 -!- perrier____ has joined. 09:48:50 -!- diginet_ has joined. 09:49:55 -!- fungot has quit (*.net *.split). 09:49:55 -!- perrier___ has quit (*.net *.split). 09:49:55 -!- izabera has quit (*.net *.split). 09:49:55 -!- j-bot has quit (*.net *.split). 09:49:55 -!- diginet has quit (*.net *.split). 09:49:55 -!- Xe has quit (*.net *.split). 09:50:13 -!- Elronnd has changed nick to earenndil. 09:51:45 -!- Xe has joined. 09:52:09 -!- earenndil has changed nick to Elronnd. 09:54:19 -!- TellsGoto has joined. 09:55:53 -!- oerjan has quit (Quit: Latêr). 09:56:37 -!- contrapumpkin has joined. 09:57:45 -!- izabera has joined. 10:02:07 -!- ais523 has joined. 10:02:49 -!- Melvar` has joined. 10:08:02 -!- J_Arcane_ has joined. 10:11:07 -!- zgrep_ has joined. 10:11:26 -!- trnv2 has joined. 10:12:07 -!- TellsTogo has quit (*.net *.split). 10:12:08 -!- copumpkin has quit (*.net *.split). 10:12:08 -!- J_Arcane has quit (*.net *.split). 10:12:08 -!- trn has quit (*.net *.split). 10:12:08 -!- zgrep has quit (*.net *.split). 10:12:08 -!- fractal has quit (*.net *.split). 10:12:08 -!- Melvar has quit (*.net *.split). 10:12:08 -!- relrod has quit (*.net *.split). 10:12:12 -!- J_Arcane_ has changed nick to J_Arcane. 10:20:13 -!- trnv2 has changed nick to trn. 10:25:21 -!- fractal has joined. 10:37:09 -!- Welo has joined. 10:43:25 -!- jaboja has quit (Ping timeout: 260 seconds). 10:58:00 -!- tromp_ has joined. 11:02:32 -!- tromp_ has quit (Ping timeout: 255 seconds). 11:03:22 -!- jaboja has joined. 11:13:23 -!- Phantom_Hoover has joined. 11:13:54 -!- jaboja has quit (Ping timeout: 245 seconds). 11:41:10 -!- Patashu has quit (Ping timeout: 260 seconds). 11:56:13 -!- Melvar` has changed nick to Melvar. 11:59:56 -!- jaboja has joined. 12:10:36 -!- dcentral has quit (Ping timeout: 250 seconds). 12:15:12 -!- Welo has quit (Quit: Leaving). 12:15:51 -!- TellsGoto has quit (Quit: Leaving). 12:22:07 -!- dcentral has joined. 12:30:37 -!- hppavilion[1] has joined. 12:31:36 -!- hppavilion[1] has quit (Read error: Connection reset by peer). 12:32:30 -!- dcentral has quit (Ping timeout: 260 seconds). 12:38:34 -!- callforjudgement has joined. 12:38:38 -!- ais523 has quit (Disconnected by services). 12:38:39 -!- callforjudgement has changed nick to ais523. 12:38:56 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 12:44:00 -!- dcentral has joined. 12:51:29 -!- andrew_ has quit (Remote host closed the connection). 12:57:29 -!- Phantom_Hoover has joined. 12:58:56 -!- tromp_ has joined. 13:03:15 -!- tromp_ has quit (Ping timeout: 240 seconds). 13:11:30 -!- gniourf has quit (Quit: Leaving). 13:14:13 -!- gniourf has joined. 13:17:48 -!- mauris has joined. 13:19:58 -!- TieSoul has joined. 13:24:31 -!- TieSoul has quit (Ping timeout: 260 seconds). 13:31:21 -!- TieSoul has joined. 13:56:54 -!- tromp_ has joined. 14:05:15 -!- dcentral has quit (Remote host closed the connection). 14:08:07 -!- tromp_ has quit (Remote host closed the connection). 14:32:40 [wiki] [[Special:Log/newusers]] create * Celeritas * New user account 14:47:24 -!- Celeritas has joined. 14:48:25 -!- Celeritas has quit (Client Quit). 14:52:10 ais523: ok, so I wanted to ask some things about nh4, especially the save system 14:52:18 b_jonas: in #esoteric? 14:52:22 I mean it's not 100% an incorrect place 14:52:25 ah no, let's try in the other channel 14:52:26 but we're both in #nethack4 too 14:52:56 -!- `^_^v has joined. 14:55:47 -!- contrapumpkin has changed nick to copumpkin. 14:59:44 -!- jaboja64 has joined. 15:00:32 -!- Frooxius has quit (Quit: *bubbles away*). 15:03:14 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 15:03:35 -!- jaboja has quit (Ping timeout: 260 seconds). 15:04:53 Hey, what was the thing that reads C types and describes them linearly? 15:05:16 cdecl 15:05:21 it's both a website and a command-line tool 15:05:38 seems to be in the ubuntu repos 15:05:47 * ais523 tries it out 15:06:10 Not in Fedora, it appears. 15:06:21 I'm still waiting for it to install 15:07:57 cdecl> cast x into pointer to array 4 of float 15:07:59 (float (*)[4])x 15:08:09 (an example that actually came up earlier today) 15:08:40 -!- tromp_ has joined. 15:13:07 " The declare, cast and explain statements try to point out constructions that are not supported in C. In some cases, a guess is made as to what was really intended. In these cases, the C result is a toy declaration whose semantics will work only in Algol-68. " 15:13:12 -!- tromp_ has quit (Ping timeout: 265 seconds). 15:14:40 For example, “declare foo as array of function (int) returning int”. 15:15:44 Warning: Unsupported in C -- 'Array of function' (maybe you mean "array of pointer to function") int foo[](int ) 15:15:51 Exactly. 15:16:03 (I tried it on the website.) 15:17:26 Or “declare foo as array of array of int”. 15:18:06 actually Verity doesn't let you do either of those either 15:18:17 arrays can only contain int pointers 15:18:34 (Verity, being an Algol, has all variables const, but you can define const pointers that point to "stack" locations) 15:19:03 in algol 68 it's something like "int ref x = loc int" 15:19:15 then you can dereference and assign to x, which is the /name/ of a variable 15:19:19 rather than the variable itself 15:20:13 -!- TellsTogo has joined. 15:21:39 -!- Welo has joined. 15:25:44 Huh. Can C actually allow more than two “long” in a row? 15:26:18 hmm, you'd expect short short and long long long to have been made illegal (if they weren't already) to allow for future expansion 15:26:25 * ais523 vaguely wonders if unsigned unsigned is legal 15:26:39 actually I think there's a specific list of what adjective and adjective/noun combos work 15:29:00 -!- SgeoIsrael has joined. 15:29:19 So, Robozzle has a beta JS version 15:29:28 `cc int main(void) { long long long x = 0; printf("%zu\n", sizeof(x)); } 15:29:37 : In function ‘main’: \ :1:28: error: ‘long long long’ is too long for GCC \ compilation terminated due to -Wfatal-errors. 15:29:53 Figured people would be interested. Also messaged Gregor and pikhq in the hopes they would say something here, but meh 15:30:26 GNU folks must have been having fun when they wrote that error message 15:30:30 (Not that they didn't, but I decided to be impatient) 15:30:34 `cc puts("does this work without a main?"); 15:30:35 :1:6: error: expected declaration specifiers or ‘...’ before string constant \ compilation terminated due to -Wfatal-errors. 15:30:39 apparently not 15:30:58 * Melvar giggled profusely in a lecture about that error message just now. 15:31:26 The lecture was about that error message? 15:35:46 No, I just saw the error message here and am simultaneously sitting in an “OS Security” lecture, which is not really for giggling about most of the time. 15:36:59 I'd seen the message before but had forgotten about it 15:37:14 `cc int main(void) { short short x = 0; printf("%zu\n", sizeof(x)); } 15:37:15 : In function ‘main’: \ :1:24: error: duplicate ‘short’ \ compilation terminated due to -Wfatal-errors. 15:37:22 OK, that's less interesting 15:37:29 `cc int main(void) { unsigned unsigned x = 0; printf("%zu\n", sizeof(x)); } 15:37:30 : In function ‘main’: \ :1:27: error: duplicate ‘unsigned’ \ compilation terminated due to -Wfatal-errors. 15:38:39 Is long long allowed? 15:38:50 as of C99, yes 15:38:57 it refers to a type that's at least 64 bits long, possibly longer 15:39:09 Sge O Israel 15:39:36 Oh? It doesn’t only need to be strictly longer than int and at least as long as long? 15:39:39 on 32-bit Linux systems and 32- or 64-bit Windows systems, the usual is char=8, short=16, int=32, long=32, long long=64 15:39:53 on 64-bit Linux, it's slightly different: char=8, short=16, int=32, long=64, long long=64 15:40:16 16-bit Windows was char=8, short=16, int=16, long=32; long long would be 64 but I'm not sure it has any C99 compilers 15:40:29 Melvar: hmm, I'm not sure 15:40:39 possibility of the standard integer types being out of order hadn't crossed my mind 15:40:51 there is no good reason for them to be out of order, so I'd hope the standards committee had banned that 15:41:38 Just use the number of bits in the name of the type >.> 15:41:46 Not out of order, but IIRC there’s a few “at least as big as” rules. 15:42:08 SgeoIsrael: #include 15:42:24 there's also inttypes.h 15:42:29 we have two competing integer headers! 15:42:36 also limits.h, which serves a similar purpose 15:42:53 “The header shall include the header.” 15:47:06 -!- ais523 has quit. 15:48:20 i'm a functional programming noob, so this is a noob question: how is memoization "functional"? 15:52:11 doesn't it require an external data structure to save the data? 15:55:18 I wouldn’t call it functional. 15:56:46 It's a non functional thing that makes functional programming more efficient in some ways sometimes 15:57:04 It's non functional but helps functional code more often 15:57:09 Thank you, well said. 16:08:02 * izabera relabels functional languages as liar languages 16:13:08 -!- J_Arcane has quit (Ping timeout: 265 seconds). 16:13:24 -!- SgeoIsrael has quit (Ping timeout: 252 seconds). 16:25:15 -!- Phantom_Hoover has joined. 16:31:41 -!- J_Arcane has joined. 16:31:51 Ok, so did I reassemble the comfy armchair slanted, or is it the desk that's slanted? I bet it's the former 16:44:51 -!- boily has joined. 16:45:31 @metar CYQB 16:45:32 CYQB 211642Z 07005KT 12SM -SN OVC064 M02/M05 A2999 RMK SC8 SLP160 16:46:35 `8-ball Did I reassemble the comfy armchair slanted? 16:46:35 Outlook good. 16:46:58 b_jhellonas. 16:47:04 hello 16:47:39 cursed by ikea furniture? 16:48:02 not cursed 16:48:05 it's still quite a good chair 16:48:11 was totally worth to get it here in the new home 17:14:19 -!- hppavilion[1] has joined. 17:17:45 -!- jaboja64 has quit (Ping timeout: 260 seconds). 17:19:33 -!- jaboja has joined. 17:19:45 -!- jaboja has quit (Remote host closed the connection). 17:20:03 -!- ^v has joined. 17:21:13 -!- relrod_ has joined. 17:21:16 -!- relrod_ has quit (Changing host). 17:21:16 -!- relrod_ has joined. 17:23:32 -!- relrod_ has changed nick to relrod. 17:42:37 -!- ais523 has joined. 17:43:33 -!- Lord_of_- has quit (Excess Flood). 17:44:36 -!- Lord_of_Life has joined. 17:47:40 -!- mauris_ has joined. 17:51:00 -!- mauris has quit (Ping timeout: 260 seconds). 17:53:11 -!- Welo has quit (Quit: Leaving). 18:13:56 Yay! While Loop in my LISP! 18:14:07 No assignment yet though :/ 18:14:07 congratulations 18:14:26 And I'll have to restructure the code to implement environments. I need an environment in LISPy languages, right? 18:14:28 Probably 18:14:33 Like, generally. 18:14:55 helloppavellon[1]! 18:15:01 yay for LISPing the world! 18:16:01 ahoily 18:17:16 "languages, right?" was on a nother line in my client, so it looked like "I need an environment in LISPy" 18:17:26 Like LISP+python? 18:17:29 awesome! 18:18:39 Elronnd: Oh mah gawd 18:18:41 LISPy 18:18:44 YUS 18:18:53 (def chicken (x) (print (+ (to-uppercase x) "CHICKEN"))) 18:19:20 I was considering making my LISP support Python libraries as a backup when importing a normal lib doesn't work 18:19:21 * Elronnd doesn't actually know lisp 18:19:28 You, my friend, have just sealed the deal 18:19:32 Elronnd: I don't either 18:19:33 boily: does + concatenate strings in the lisp variant you're using? 18:20:13 fungot, do you like grapes? 18:21:00 `? droid 18:21:01 droid? ¯\(°_o)/¯ 18:21:02 `? android 18:21:03 android? ¯\(°_o)/¯ 18:21:03 `? robot 18:21:05 `? bot 18:21:06 Robots are deterministic finite Belgians that repeat themselves. Taneb invented them. 18:21:06 bot? ¯\(°_o)/¯ 18:21:13 `? state 18:21:14 state? ¯\(°_o)/¯ 18:21:22 `wisdo 18:21:23 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wisdo: not found 18:21:23 `wisdom 18:21:24 cosplay/Cosplay is the art of dressing up as people to show off to other people dressed up as people. 18:21:28 `wisdom 18:21:29 module/A module is like a vector space, except with a ring instead of a field. 18:21:35 `wisdom 18:21:36 moth/Moths are the main ingredient of mothballs. 18:22:53 ais523: It does in my language xD 18:22:59 would people object if i changed the no-wisdom-found message 18:23:12 ais523: his523. I went with what I could remember Python used. 18:23:14 `? walrusman 18:23:14 walrusman? ¯\(°_o)/¯ 18:23:19 it's bad with this terminal and it's also kind of bad in general 18:23:27 I haven't Pythonned in a long time, and my memory's getting fuzzy about it :/ 18:23:47 Kids, Java is bad for you programental health. Don't do it at home. 18:23:48 idea: a sexp-based language which is semantically nothing like lisp 18:23:48 shachaf: and I should make a command for multi-search of wisdoms instead of just one in aline 18:23:50 boily: Well to uppercase you use str.upper() in python 18:24:04 shachaf: also, change the "command not found" message because it's ugly 18:24:07 hppavilion[1]: see! too much of the J-word! 18:24:22 `? 404 18:24:23 404? ¯\(°_o)/¯ 18:24:37 b_jonas: We can't change that from within the system. 18:24:39 `? not found 18:24:40 not found? ¯\(°_o)/¯ 18:24:40 boily: I /like/ . notation 18:24:42 shachaf: yeah 18:24:43 But we can change ?. 18:24:58 `le/rn not found/not found? ¯\(°_o)/¯ 18:25:02 Learned «not found» 18:25:05 `? not found 18:25:06 not found? ¯\(°_o)/¯ 18:25:47 (assert (> 5 4 3 2 1)) 18:25:50 I like that notation 18:25:58 ais523: Stacky Sexpy lang? 18:26:17 5 > 4 > 3 > 2 > 1 18:26:34 hppavilion[1]: no. plain scheme works like that. sadly. 18:26:44 ais523: Oh :/ 18:26:50 b_jonas: Stacky or >? 18:27:17 hppavilion[1]: scheme has crazy interpretations of too many arguments to some of the arithmetic primitives. 18:27:39 The most advanced program ever written in my LISPy is (WHILE (INPUT) (PRINT "You said something!")) 18:27:49 b_jonas: > like that makes sense though 18:27:56 variadic functions are interesting, but are too much of a mess imho hth 18:28:03 Perhaps we should make a mathematical lisp for mathematicians? 18:28:17 hppavilion[1]: that one exists too, sadly. it's called Mathematica. 18:28:23 much better to 'foldl (>) minBound'. 18:28:32 (It's quite well done actually.) 18:28:48 But it's not for the kind of mathematicians I am. 18:29:14 boily: Or just reduce (>) 18:29:16 :t foldl (>) minBound 18:29:17 Foldable t => t Bool -> Bool 18:29:26 Though that isn't Hasky AFAIK 18:29:33 Or is it Haskic? 18:29:51 Haskellianistic. 18:30:20 foldl and reduce are approximately the same thing, and neither of them makes sense. 18:31:10 (For this.) 18:31:17 :t let xs = [5,4,3,2,1] in and (zipWith (>) xs (tail xs)) -- maybe 18:31:19 Bool 18:35:00 The difference is that Python and Mathematica also supports mixing of relation signs in chains, such as x <= y < z, whereas scheme doesn't. 18:35:43 x < y in z 18:35:47 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 18:39:03 -!- ^v has quit (Ping timeout: 260 seconds). 18:39:44 oh, and the fun starts when you try to see the value of (0 != 1 != 0) in different languages 18:40:07 in Mathematica, it's false. in Python, I think it's true. In scheme, I think it's also false. But I'm not sure I remember this right. 18:40:50 python is true. 18:50:22 -!- hppavilion[1] has joined. 18:52:54 For my MathLISP, should I allow sets to be constructed in sety notation ({1, 2, 3}), or should I restrict it to something like "(set 1 2 3)"? 18:53:22 As long as you allow bag brackets for bags, it's fine. 18:53:34 The former is more readable and more mathematical, but it also obligates me to implement set-builder notation in a simple way. The latter is more in line with LISPiness 18:54:07 shachaf: Well of course. I'd probably allow either {$ $} as well as the unicode characters, though 18:54:21 I think almost none of those are true. 18:54:29 s/in a simple way/which would complicate parsing/ 18:54:50