00:00:10 @quote uppos 00:00:11 baristaTam says: Well, I suppose I shouldn't surround myself in a place full of hate. I think bringing kindness into the world is a value, and this channel seems to spew the opposite. 00:00:45 Ooh, a flame war 00:00:45 @forget baristaTam Well, I suppose I shouldn't surround myself in a place full of hate. I think bringing kindness into the world is a value, and this channel seems to spew the opposite. 00:00:45 Done. 00:01:06 @quote uppos 00:01:07 RussellNorvig says: "...the ideas of logic are far more general and beautiful than is commonly supposed." 00:01:50 @quote 00:01:50 devrandom says: yes, I do plan to use a good RNG 00:02:07 @quote 00:02:07 JosephFMiklojcikIII says: In keeping with other popular software projects, versions are named by adjectiveFurniture pairs, where successive versions (more properly termed "releases") begin with pairs of successive letters of the English alphabet. We could not come up with the zeroth or negative first letter of the alphabet, so simply began our 00:02:07 release names with AvariciousArmoire and documented the reason why. 00:02:36 -!- adu has quit (Client Quit). 00:03:12 @quote 00:03:12 DavidWheeler says: Compatibility means deliberately repeating other people's mistakes. 00:03:21 yes it does 00:03:22 -!- adu has joined. 00:03:49 hmm, is that naming joke a negative reasoning joke? 00:04:01 *negative thinking 00:06:39 @quote 00:06:39 dalaing says: going from doing a fair bit of haskell recently to doing javascript today... sigh... it feels like the difference between typing at a keyboard and typing with a pair of those sporting-event-foam-hands-with-a-pointing-finger on 00:07:36 -!- mihow has quit (Quit: mihow). 00:08:25 @quote 00:08:25 Heffalump says: Heffalump: i always wondered... why didn't [Credit Suisse] go with ocaml? cos they have taste 00:09:58 @quote 00:09:59 accel says: next time I'll read a few research papers before I start trolling hakell 00:10:00 @quote antidisestablishmentarianism 00:10:00 No quotes match. My pet ferret can type better than you! 00:10:24 @quote hak 00:10:24 accel says: next time I'll read a few research papers before I start trolling hakell 00:10:58 @quote project 00:10:58 JosephFMiklojcikIII says: In keeping with other popular software projects, versions are named by adjectiveFurniture pairs, where successive versions (more properly termed "releases") begin with pairs of successive letters of the English alphabet. We could not come up with the zeroth or negative first letter of the alphabet, so simply began our 00:10:59 release names with AvariciousArmoire and documented the reason why. 00:11:02 @quote project 00:11:02 Cale says: Little known fact: For any positive integer n, the infinite sequence of Project Euler problems has only finitely many elements whose solution is not divisible by n. 00:11:40 @quote project 00:11:41 gwern says: good news everyone! we heard you like interpreters so we used the 3rd futamura projection to interpret your compiler so you can compile while you interpret! 00:12:40 futamura? apparently a chemical company in Japan 00:14:29 -!- adu has quit (Quit: adu). 00:14:52 -!- MDude has joined. 00:14:59 -!- mihow has joined. 00:16:06 @google projections of futamura 00:16:07 http://en.wikipedia.org/wiki/Partial_evaluation 00:16:07 Title: Partial evaluation - Wikipedia, the free encyclopedia 00:16:10 @google projections of futamura sigfpe 00:16:11 http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html 00:16:11 Title: A Neighborhood of Infinity: The Three Projections of Doctor Futamura 00:16:45 oh i see... Has anyone implemented such thing? 00:17:34 yes 00:18:39 -!- MDream has quit (Ping timeout: 264 seconds). 00:23:23 @quote 00:23:23 blackh says: This is Haskell so we can do whatever we like. 00:23:33 @quote 00:23:34 jedbrown says: #haskell spends 5 hours discussing what the version number should be, then one hour writing an Arc compiler. 00:23:38 -!- shikhin_ has changed nick to shikhin. 00:25:27 the AvariciousArmoire Arc compiler 00:29:34 Oh Arc ... 00:34:32 -!- mihow has quit (Quit: mihow). 00:34:51 -!- olsner has quit (Ping timeout: 264 seconds). 00:39:36 whats Arc? 00:39:36 -!- olsner has joined. 00:39:36 paul graham's lisp dialect 00:39:36 o 00:39:37 yes. more or less abandoned now. 00:39:55 oh hacker news was written in it 00:40:30 yes. other than HN and the Arc forum, about the only applications in Arc seem to be half-finished Arc implementations ... 00:44:13 (partly this is because the canonical implementation is written in a grossly out of date version of MzScheme) 00:44:13 -!- Sprocklem has joined. 00:44:28 -!- AndoDaan has joined. 00:47:35 -!- boily has joined. 00:52:02 -!- augur has quit (Quit: Leaving...). 00:57:20 -!- Tritonio has quit (Remote host closed the connection). 01:00:49 @metar ENSB 01:00:50 ENSB 302350Z 13016KT 9999 FEW025 M20/M29 Q1017 RMK WIND 1400FT 12003KT 01:00:55 @metar CYUL 01:00:55 CYUL 310000Z 29012KT 15SM DRSN FEW040 BKN180 BKN220 M12/M18 A3009 RMK SC1AC5CI1 SLP190 01:01:30 brrr. 01:01:35 @metar LOWI 01:01:35 LOWI 310050Z AUTO VRB02KT 2000 SN FEW015 BKN024 M04/M06 Q0982 01:02:07 more than cold enough for me 01:02:16 int-ello. -22 this night. I wonder if we're going to get lower than Svalbard. 01:04:20 -!- adu has joined. 01:04:32 @metar ENRO 01:04:32 @metar KATL 01:04:33 ENRO 310050Z AUTO 14015KT 9999NDV -SHSN FEW027/// OVC052/// M04/M07 Q0978 01:04:33 KATL 310052Z 34011KT 10SM FEW250 06/M06 A3031 RMK AO2 SLP271 T00611061 01:04:49 hm not so cold 01:04:50 hellœrjan. ENRO is a persistent anomaly. 01:05:08 well it's well known in norway for being a cold place 01:05:15 but not today 01:05:47 or maybe it's just not working properly, that does look anomalous 01:06:31 hm nah weather forecast agrees 01:06:32 oh. I'm conflagrating ENRO and EFRO together. my bad. 01:06:36 @metar EFRO 01:06:37 EFRO 310050Z AUTO 02005KT 9999 -SHSN FEW007 OVC012 M09/M10 Q0993 01:06:46 huh. same thing. 01:07:11 @metar ENVA 01:07:12 ENVA 310050Z 07007KT CAVOK 01/M07 Q0980 RMK WIND 670FT 16016KT 01:08:12 i think rovaniemi is also known for being cold, being in north finland 01:08:21 i assume that's the one 01:08:26 it's the one. 01:10:21 @metar ESNQ 01:10:22 ESNQ 310050Z AUTO 03005KT 9999 -SN FEW008/// SCT038/// OVC068/// M14/M16 Q0992 01:10:26 that's better 01:10:32 kiruna in sweden 01:10:46 ah! at last some place colder than here! 01:11:23 I keep forgetting how to read METAR 01:11:32 @metar UUDD 01:11:33 UUDD 310100Z 14007MPS 9999 BKN006 OVC100 M05/M05 Q1004 64550194 TEMPO 1000 FZDZ 01:11:36 It's 1.8 degrees C here 01:11:42 moscow disappoints 01:13:13 @metar UNNT 01:13:14 UNNT 310100Z 17004MPS CAVOK M22/M26 Q1032 25810160 16810160 NOSIG RMK QFE764/1019 01:13:27 i give you: novosibirsk 01:13:53 tbf it went up to +2°C during the day here. 01:15:13 Taneb: Tanelle. which one was yours again? 01:15:30 oerjan: that's cheating. 01:15:55 int-e: you live in a tropical climate. how dare you go above zero during February! 01:15:56 hey it's a perfectly good populated place 01:16:11 by obviously mad people, but still 01:16:47 @metar ENKA 01:16:48 No result. 01:16:52 wat 01:17:06 boily: happens every year 01:17:22 boily, EGNT out of termtime 01:17:25 @metar ENNA 01:17:25 ENNA 310050Z 33004KT 290V030 9999 FEW031 SCT041 M08/M12 Q0998 RMK WIND 1800FT 06015KT 01:17:30 Right now I'm not much near an airport 01:17:34 So I use http://weather.elec.york.ac.uk/ 01:17:37 i guess norway just isn't cold 01:17:48 oerjan: to say something positive for the people, I'm not a native. 01:18:04 `addquote i guess norway just isn't cold 01:18:06 1231) i guess norway just isn't cold 01:19:32 you leave out _one_ "today"... 01:20:53 it is entirely possible to get M40 in røros, but... 01:20:59 Ambient temperature is fluctuating around 275K, but people make a big deal of a 10% difference... 01:21:30 we happen to be made of biological matter with a high water proportion hth 01:22:33 *sigh* If you think I didn't know that, think again. 01:22:59 * boily thinks... thinks... thinks... enters a state akin to OSX's beachball of death... 01:23:11 Oh well. I guess stating the obvious is this channels second most favourite topic. I forgot the first. 01:24:19 `welcome int-e 01:24:20 int-e: 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.) 01:24:27 I guess that was it. 01:26:01 -!- callforjudgement has quit. 01:27:04 let's not conclude too early which one is on top 01:28:23 oerjan: you make a strong case. 01:29:21 [In case it wasn't obvious: that was the second reply that came to my mind. The first one was "obviously."] 01:38:16 -!- aloril has quit (Read error: Connection reset by peer). 01:40:39 -!- aloril has joined. 01:44:59 hi everybody. what is the good exercise set (like Project Euler) to learn lambda calculus and dig deep into FP like Haskell? 01:46:00 just about anything other than project euler is good 01:46:08 it happens to be particularly unsuited for haskell :p 01:46:41 Project Euler in Haskell is kinda fun I guess? But really not a good fit for "learning Haskell". 01:46:58 what's good then...? 01:47:01 It manages to explore the less interesting bits of the language quite heavily. :P 01:48:03 PinealGlandOptic: if you want a nice set of challenges, http://programmingpraxis.com/ . the exercises there are oftentimes practical and applicable. 01:48:12 boily: thanks! 01:50:28 I want to sharpen my FP skills and I choose to learn LISP, ML and Haskell. anything else I forgot? 01:51:53 I'd rather swap LISP with Scheme (R5RS) because personal preference. also, don't be afraid by beginner category theory. 01:53:00 have you read http://learnyouahaskell.com/ yet? 01:53:32 if you're learning ML and Haskell, beware of the term "functor", they're not the same 01:53:55 -!- Quin has joined. 01:53:56 and by "not the same" I mean "almost, but not quite, entirely different" 01:54:05 -!- Quin has changed nick to Eolus. 01:54:05 this also applies if you're learning Prolog 01:54:40 boily: I think Scheme is probably the best place to learn FP style. It was much easier to grasp stricter typed FP languages with some Little Schemer and Racket under my belt. 01:55:38 * int-e had to remind himself... the original was about tea. Or rather, not tea. 01:56:11 int-e: wat 01:56:19 T not tea 01:56:19 thanks for your answers. but Sceme lacks Dynamic scope? is it not worth using it nowadays? 01:56:30 Not-quite-tea in space. 01:56:41 oerjan: "[Arthur] had found a Nutri-Matic machine which had provided him with a plastic cup filled with a liquid that was almost, but not quite, entirely unlike tea." 01:56:46 there are uses for dynamic scope, but it's a bad default 01:56:48 goog morning 01:56:57 Goog morning to you too 01:56:58 oerjan: so it's bad pattern? 01:57:31 it's bad if it's used without explicitly choosing to use it 01:57:42 So, What's you all talkins about today 01:57:54 nothing 01:58:03 Eolus: hi not-Lilax. 01:58:05 obviously nothing. 01:58:23 even haskell has some dynamical scope support, but it's rarely used. 01:58:28 oerjan: it does? 01:58:32 oerjan: IC, thanks 01:58:35 boily: implicit parameters 01:58:45 J_Arcane: I like chicken scheme. 01:58:52 oerjan: ooooh. 01:59:04 boily: Have you seen Bones yet? 01:59:04 int-e shut your god damn mouth about that, I mentally am not Lilax. Drop it 01:59:14 Sorry if I was rude 01:59:38 > let f x = x + ?y in (let ?y = 1 in f 2, let ?y = 2 in f 2) 01:59:40 (3,4) 01:59:42 Eolus: don't worry. in times of identity crisis, lick ion. 01:59:50 btw, where is ion nowadays? 02:00:01 lick ? 02:00:05 Eolus: but you make it so rewarding to rub it in. 02:00:07 What do you mean 02:00:19 `? ion 02:00:20 ion? ¯\(°_o)/¯ 02:00:20 int-e: I will spit in your mouth 02:00:25 It pleases my inner troll. 02:00:32 stop rubbing it in 02:00:39 huh? ion's been wiped from the wisdom? 02:00:47 Eolus: int-e is oerjan's evil twin. 02:00:55 `` grep ion wisdom/* 02:01:01 wisdom/:everyone: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) \ wisdom/1: 02:01:03 wait. bad idea 02:01:13 So is oerjan mildy bad 02:01:20 `` grep -P '\bion\b' wisdom/* 02:01:23 grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°_o): Is a directory 02:01:24 | 02:01:24 o/`¯º 02:01:26 int-e: can we just be nice or something 02:01:29 oerjan is a wholly different level of evil. 02:01:41 secred 02:02:13 elliott: I guess. The troll is fed now anyway. 02:02:43 `` find wisdom -name '*ion*' 02:02:44 wisdom/indentity function \ wisdom/natural transformation \ wisdom/internationale \ wisdom/lion \ wisdom/perpetual motion machine \ wisdom/identity function \ wisdom/urbandictionary \ wisdom/hallucination \ wisdom/eurovision \ wisdom/tanebvention \ wisdom/composition 02:02:56 `? lion 02:02:57 Lions are the catamorphisms of the animal world. 02:03:05 I see 02:03:09 o-uch. 02:03:14 `? cake 02:03:15 cake? ¯\(°_o)/¯ 02:03:41 :l 02:03:56 in the wisdom I wrote “Suffers from drive-by lickings.”, but it doesn't seem to be the official wisdom. 02:04:24 I don't get the joke 02:04:30 was ion being licked 02:04:41 `? internationale 02:04:41 You have been reported to the House Un-American Activities Committee 02:04:51 Duly noted 02:05:02 Eolus: yes, by some troll that joined the channel, licked ion, and then parted. sometimes multiple times per week. 02:05:10 lol 02:05:17 remember how they came back recently 02:05:28 after like multiple years having passed 02:05:36 they obviously wanted the ion 02:06:25 btw, where is ion nowadays? <-- we can only assume he got all licked up 02:06:42 He is off enjoying the licking 02:06:47 Obviously 02:06:59 Zzz~ 02:07:09 boily: i'm sorry but int-e is my _redundant_ twin. i'm the evil one. 02:07:39 ￦_￦ 02:09:14 my what big eyes you have 02:09:18 oerjan is a fountain, int-e is a watermelon, firefly is a firefly, elliott is Jesus, boily is a cat 02:09:32 true 02:09:36 * Eolus prints out labels 02:09:37 i agree with no. 3 02:09:50 meowhat? 02:09:55 * oerjan swats FireFly -----### 02:10:03 aww 02:10:08 ;+; 02:10:10 poor ship 02:10:12 oh, the swatter! long time no see! 02:10:47 watermelon, eh. could be worse. could be a pot of petunias. 02:11:19 boily: est-ce que vous êtes un chat? 02:11:32 An ORANGE water melon 02:11:45 oerjan: non, j'ai tendance à ne pas etre un chat. 02:11:48 don't push it, lily 02:12:13 (that's a plant. a fragile one.) 02:12:23 oerjan: et tu peux me tutoyer, sans problème. 02:12:31 (vraiment, ça fait étrange quand le monde me vouvoient...) 02:12:37 shut your mouth before I tear it off 02:12:39 Anywayd 02:12:42 ways* 02:12:59 Only our gf can call lilax Lily :l 02:13:26 merci beaucoup. although i was mainly amused i actually remembered enough french to make that sentence. 02:13:37 France 02:13:39 it was perfectly formed and properly accentuated. 02:13:43 Eolus: nope. Canada. 02:13:43 Is pretty kewl 02:13:53 we're better. eh. 02:13:57 je suis napoleon. 02:13:59 I can speak canadin 02:14:07 J_Arcane: j'te crois pas. 02:14:14 I'm doin' it right now 02:14:55 * Eolus pets int-e 02:15:06 goog kitty 02:16:43 -!- shikhin_ has joined. 02:16:57 `? cake 02:16:58 The Enrichment Center is required to remind you that you will be baked, and then there will be cake. 02:17:20 lol 02:17:31 Even better kitty 02:18:09 Cod dammit data tables are just annoying 02:18:33 J_Arcane n'est pas leon 02:18:42 oops 02:18:45 *lion 02:19:07 oerjan: back in business, I see 02:19:21 re. swatting 02:19:31 he likes to hit people 02:19:31 let 02:19:32 another year, another swat 02:19:38 us wait for the mapole. 02:19:41 its his only excitement 02:19:43 oerjan: «J_ arcane n'est pas un lion»? 02:19:52 (and kill whoever put ' right next to ) 02:20:05 -!- shikhin has quit (Ping timeout: 265 seconds). 02:20:22 * boily shines his trusty mapole and makes a few practice swings in the air... 02:20:42 Murder is nev er an option int-e 02:20:57 * boily thwacks Eolus with a double reverse ninja wheelbarrow spin 02:21:11 boily: i didn't want to break the pun with un 02:21:17 * Eolus pulls out spray bottle and sprays boily 02:21:24 Bad cat! 02:21:37 D:< 02:22:13 -!- nys has left ("Leaving"). 02:22:15 -!- olsner has quit (Ping timeout: 264 seconds). 02:22:53 -!- oerjan has set topic: The channel of percussive reeducation | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 02:23:20 -!- oerjan has set topic: The channel of percussive reëducation | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 02:23:32 oerjan: thanks ^^ 02:23:52 -!- augur has joined. 02:23:58 and with that, 'night all! 02:24:04 -!- boily has quit (Quit: ULTRAMARINE CHICKEN). 02:24:19 -!- olsner has joined. 02:25:40 int-e: i see you've put henkma hard at work lately 02:29:19 hmm, funny statistics on the Caesar thing 02:32:41 the website is lacking the essential "show me problems where A is better than B" view... 02:33:51 for the moment I only remember http://golf.shinh.org/p.rb?sin+curve and http://golf.shinh.org/p.rb?kM4_ 02:34:10 So two magic formula problems. 02:37:58 oh mai 02:44:15 -!- oerjan has quit (Quit: Good night). 03:23:28 -!- AndoDaan has quit (Quit: bbl). 03:34:42 -!- tswett has joined. 03:39:24 -!- ^v^v has quit (Read error: Connection reset by peer). 03:39:51 -!- ^v^v has joined. 04:20:31 @Qウお手まい 04:20:32 Unknown command, try @list 04:20:40 Goddamnit 04:20:45 @quote mai 04:20:46 benmachine says: main = interact id 04:20:50 @quote mai 04:20:51 RootLabs says: Bitcoin remains the most efficient method to buy drugs & transfer wealth from anti-govt zealots to hackers. 04:22:34 ok, actually I want to know why that Q ended up capital, the u became a katakana, and the o became a hiragana 04:23:31 It's repeatable: @Qウお手 it is using some crazy rules to decide what things are 04:23:57 Oh yeah, I remember... one of those characters. い. 04:24:04 I keep learning all the hiragana and forgetting most of them. 04:25:08 Intrestingly if I type something in the wrong mode into google, google often knows how to "unIME" it 04:25:10 -!- shikhin_ has quit (Ping timeout: 255 seconds). 04:26:26 @google ようつべ 04:26:28 http://get-simple.info/forums/showthread.php?tid=1995 04:26:29 Title: ÃÂŸÃ‘Â€ÃÂ¾ÃÂ±ÃÂ»ÃÂµÃÂ¼ÃÂ° Ã‘Â�... 04:26:35 @google れぺあt 04:26:36 http://www.wattpad.com/65119375-dreams-aren't-just-dreams-%D0%B3%D0%BB%D0%B0%D0%B2%D0%B0-1 04:26:36 Title: Dreams aren't just dreams Глава 1 - Page 1 - Wattpad 04:26:52 But apparently not thru lambdabot 04:27:54 The above are just IMEizations of "youtube" and "repeat" and google knows to unIME them 04:29:52 I love Yōtsube. 04:36:52 -!- tswett has quit (Ping timeout: 255 seconds). 04:41:42 lambdabot should really do some, y'know, encode checking on those titles. :) 04:47:43 -!- Eolus has quit (Quit: Connection closed for inactivity). 04:51:48 there shud be a language called "epilog" 04:59:49 there's epigram 05:03:37 @quote epigram 05:03:38 dolio says: Perhaps he's an epigram guy and frowns on Turing completeness. 05:04:43 @quote epigram 05:04:43 dolio says: Perhaps he's an epigram guy and frowns on Turing completeness. 05:04:49 -!- bb010g has joined. 05:04:52 @quote dijkstra 05:04:52 dijkstra says: when judging the relative merits of programming languages, some still seem to equate "the ease of programming" with the ease of making undetected mistakes 05:05:22 @quote dijkstra 05:05:23 dijkstra says: when judging the relative merits of programming languages, some still seem to equate "the ease of programming" with the ease of making undetected mistakes 05:05:29 @quote merit 05:05:29 dijkstra says: when judging the relative merits of programming languages, some still seem to equate "the ease of programming" with the ease of making undetected mistakes 05:05:36 oh the ease of programming one is good 05:05:47 @quote assembler 05:05:47 edwardk says: i learned to program becaise i'd lied and told a kid that i'd written a disassembler, then had to make good on the claim. 05:06:32 @quote prolog 05:06:32 zzo38 says: Such as, we try to make something similar to a combination of Haskell, C, BLISS, TeX, WEB, Prolog, INTERCAL, and Magic: the Gathering; and then make it with many things omitted such as Unicode syntax, layout, do-notation, list comprehensions; and add in macros and stuff, and then make up something new...... 05:06:54 @quote prolog 05:06:55 fubo says: I've seen "production" Prolog code and it bends my brain. Also, any language where performance is even less predictable than in Haskell strikes me as an odd choice. 05:16:28 * Sgeo now has a supposedly working fridge 05:19:36 MealSquares are not non-perishable, so not so great for the obvious use-case of 05:19:42 'can't leave apartment' 05:20:01 Either I'm eating them regularly so could be caught out, or I end up throwing them out frequently 05:20:22 Spam is practically non-perishable 05:20:52 Though almost certainly less suitable as a complete diet than MealSquares. 05:22:15 Our fridge is used mostly for beer, milk and eggs 05:22:32 I've been told by my step-mother that I no longer need to gain weight 05:22:34 oh and butter 05:23:06 The most obvious diet change would be going from 3 slices of pizza most nights to 2 + MealSquare, but 1 MealSquare > 1 slice of pizza in terms of calories :/ 05:23:29 * pikhq blinks a bit 05:23:36 You... do you mostly just eat pizza? 05:23:50 dude learn to cook 05:23:54 Other things too, but probably pizza makes up a big portion 05:24:04 Huh, and I thought I was bad. 05:24:16 5/7 nights I eat pizza for dinner. I eat other things for breakfast and lunch 05:24:31 I eat very unhealthy stuff, but I make it myself 05:25:35 Isn't that, y'know, expensive? I mean, pizza isn't super ultra pricy, but eating out all the time is kinda killer on the wallet. 05:26:06 pikhq: I figure as long as derivative of net worth stays positive, it's probably fine 05:26:21 Also, 3 slices of pizza + you didn't have a fridge = huh. So, you just let the pizza sit out? 05:26:36 pikhq: I go to pizza place and eat there 05:26:42 *Ah*. 05:26:49 That is significantly less worrying. 05:26:52 Sgeo: do you have a stove? 05:27:05 oren: don't know if it works 05:27:20 Sgeo: jesus dude 05:28:10 If it works, you could save a fortune by making french toast one night a week 05:30:17 Also check what's on sale at your local grocery store 05:30:38 -!- GeekDude has changed nick to GeekAfk. 05:32:15 -!- GeekAfk has quit (Quit: ZNC - http://znc.in). 05:32:36 I don't drive, and the nearest grocery store is a significant walk away 05:32:58 -!- GeekDude has joined. 05:33:07 -!- GeekDude has changed nick to Guest6149. 05:33:24 -!- Guest6149 has changed nick to GreekDude. 05:35:03 -!- GreekDude has quit (Client Quit). 05:48:49 [wiki] [[IDTM]] M http://esolangs.org/w/index.php?diff=41780&oldid=41772 * Scoppini * (-1) Minor grammar fix 05:58:56 -!- MDude has changed nick to MDream. 06:17:15 -!- nisstyre has quit (Changing host). 06:17:15 -!- nisstyre has joined. 06:26:44 as it seems, ML and Haskell source code has reduced need of syntax-colouring editors? languages probably can be compared using this measure :) 06:27:11 -!- weissschloss has quit (Excess Flood). 06:28:50 -!- weissschloss has joined. 06:47:43 -!- Lymia has joined. 07:09:31 -!- elliott has quit (Remote host closed the connection). 07:09:33 -!- qlkzy has quit (Ping timeout: 245 seconds). 07:13:57 -!- qlkzy has joined. 07:20:28 -!- qlkzy has quit (Ping timeout: 264 seconds). 07:22:01 -!- elliott has joined. 07:22:25 -!- elliott has changed nick to Guest43292. 07:27:22 -!- Guest43292 has quit (Ping timeout: 245 seconds). 07:32:34 -!- tswett has joined. 07:34:39 -!- qlkzy has joined. 07:37:19 -!- tswett has quit (Ping timeout: 255 seconds). 07:40:12 -!- elliott_ has joined. 07:44:58 -!- elliott_ has quit (Ping timeout: 255 seconds). 07:53:22 -!- qlkzy has quit (Ping timeout: 240 seconds). 07:57:33 * Taneb yawn 08:17:51 -!- hjulle has joined. 08:18:04 -!- bb010g has quit (Quit: Connection closed for inactivity). 08:18:09 -!- qlkzy has joined. 08:26:04 -!- qlkzy has quit (Ping timeout: 245 seconds). 08:29:32 -!- qlkzy has joined. 08:32:14 -!- elliott has joined. 08:32:36 -!- elliott has changed nick to Guest26702. 08:38:28 -!- Guest26702 has quit (Changing host). 08:38:28 -!- Guest26702 has joined. 08:38:31 -!- Guest26702 has changed nick to elliott. 08:38:34 hi 08:52:10 -!- Eolus has joined. 08:58:36 hi 08:59:50 Hey 09:04:50 Pat pat 09:09:52 -!- Sprocklem has quit (Ping timeout: 240 seconds). 09:10:50 [wiki] [[Talk:Al Dente]] N http://esolangs.org/w/index.php?oldid=41781 * 86.92.91.190 * (+95) Created page with "Examples are given on a [[Al_Dente_examples|separate]] page; why not add them to the main text?" 09:44:10 -!- adu has quit (Quit: adu). 09:58:03 -!- AnotherTest has joined. 10:15:23 hi everybody. ML praised for excellent type system. is it possible to encode there a value in range 0..11 for month in date, so it would be impossible to push 12 there? are there any other PL which makes this possible? 10:16:27 this can be solved by allocating n bits for value, but it works only for values in 0..2^n range 10:32:50 -!- tswett has joined. 10:37:19 -!- tswett has quit (Ping timeout: 255 seconds). 10:46:59 -!- TieSoul has joined. 10:55:06 How impossible do you need it to be? 10:57:41 Jafet: do you asking me? 10:58:09 In ML it is quite simple: signature MONTH = sig type Month val toMonth : Int -> Month val fromMonth : Month -> Int end 10:58:21 Jafet: but limits? 10:58:46 toMonth n = if n >= 12 then throw NoSuchMonth else Month n 10:59:07 Jafet: is this kinda object constructor? 11:00:30 -!- tswett has joined. 11:01:15 It constructs a value, not an object, but ocaml probably allows the same thing with objects 11:01:44 Jafet: IC, thanks 11:04:36 Also simple in Ada: subtype Month is Integer range 0 .. 11; 11:04:51 -!- tswett has quit (Ping timeout: 264 seconds). 11:05:19 Jafet: that's specific for month or I could add, say, day in range of 0..31? 11:06:47 Why would you want that? It seems better to have a type for Gregorian dates, then the valid day numbers depend on the current month and year. 11:06:59 (No month has 32 days, anyway.) 11:07:39 Jafet: just interesting, no specific goal. RDBMS has constraints for this, so it's impossible to push incorrect value to field. maybe some PL can do so as well 11:08:27 Which programming languages cannot do this? 11:10:03 Good old Pascal has "subrange types" too. 11:11:26 type Month = 0 .. 11; and so on. 11:12:20 fizzie: huh, I forgot 11:12:33 Jafet: What about the rare "misplaced leap day" that accidentally lands in January? 11:12:39 as another example, it would be cool to have LatinChar type which can contain only A..Z symbols 11:13:17 -!- shikhin has joined. 11:13:21 -!- Koen_ has joined. 11:13:48 interesting, how Pascal controlling value to be always withing range, or it is rather self-documenting feature 11:14:13 I think it's enforced, but I'm no Pascal expert. 11:14:20 hi 11:18:40 I also once made FuzzyBool type in C++ which is enum for True/False/Unknown. I has a bit obsessive compulsive paranoid thoughts that other value can be there instead of these. huh. 11:19:03 it is integer, of course, but can be narrowed to 2 bits, which allows four state 11:19:06 fourth 11:19:37 enum Bool { True, False, FileNotFound }; is the dailywtf classic. 11:19:44 -!- SopaXT has joined. 11:34:55 -!- Patashu_ has quit (Ping timeout: 255 seconds). 11:37:43 -!- Eolus has quit (Quit: Connection closed for inactivity). 11:46:46 -!- Tritonio has joined. 11:48:45 PinealGlandOptic, you could have true,false,unknown,not-applicable? 11:48:48 -!- Vorpal_ has changed nick to Vorpal. 12:18:44 -!- oerjan has joined. 12:19:03 Buh. JuiceSSH somehow disables the swiping functionality of the standard keyboard. 12:19:40 Obviously it would be true, false, unknown, impossible 12:20:43 You have to pop up the "special keys" supplementary keyboard, swipe it left to get a special text input line. Then you can do normal text input and editing there. 12:21:38 Admittedly predictive text input in Irssi Connectbot was kind of flaky occasionally too. 12:22:49 ooh! inkscape 0.91 is finally released! 12:24:33 "Thanks go especially to Google for sponsoring much of this work." I didn't know that. 12:30:28 -!- Tritonio has quit (Remote host closed the connection). 12:30:49 -!- Tritonio has joined. 12:32:43 -!- Koen_ has quit (Quit: Koen_). 12:33:39 Spam is practically non-perishable <-- i now get the image of Sgeo living solely on spam for a month 12:34:16 mmm. spam. 12:34:42 I don't think I've ever had proper spam. :/ 12:34:48