00:00:11 <lambdabot> 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 <oren> Ooh, a flame war
00:00:45 <elliott> @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:01:07 <lambdabot> RussellNorvig says: "...the ideas of logic are far more general and beautiful than is commonly supposed."
00:01:50 <lambdabot> devrandom says: yes, I do plan to use a good RNG
00:02:07 <lambdabot> 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 <lambdabot> release names with AvariciousArmoire and documented the reason why.
00:02:36 -!- adu has quit (Client Quit).
00:03:12 <lambdabot> DavidWheeler says: Compatibility means deliberately repeating other people's mistakes.
00:03:22 -!- adu has joined.
00:03:49 <elliott> hmm, is that naming joke a negative reasoning joke?
00:06:39 <lambdabot> 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 <lambdabot> Heffalump says: <joelr1> Heffalump: i always wondered... why didn't [Credit Suisse] go with ocaml? <Heffalump> cos they have taste
00:09:59 <lambdabot> accel says: next time I'll read a few research papers before I start trolling hakell
00:10:00 <J_Arcane> @quote antidisestablishmentarianism
00:10:00 <lambdabot> No quotes match. My pet ferret can type better than you!
00:10:24 <lambdabot> accel says: next time I'll read a few research papers before I start trolling hakell
00:10:58 <oren> @quote project
00:10:58 <lambdabot> 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 <lambdabot> release names with AvariciousArmoire and documented the reason why.
00:11:02 <oren> @quote project
00:11:02 <lambdabot> 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 <oren> @quote project
00:11:41 <lambdabot> 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 <oren> 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 <elliott> @google projections of futamura
00:16:07 <lambdabot> http://en.wikipedia.org/wiki/Partial_evaluation
00:16:07 <lambdabot> Title: Partial evaluation - Wikipedia, the free encyclopedia
00:16:10 <elliott> @google projections of futamura sigfpe
00:16:11 <lambdabot> http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html
00:16:11 <lambdabot> Title: A Neighborhood of Infinity: The Three Projections of Doctor Futamura
00:16:45 <oren> oh i see... Has anyone implemented such thing?
00:18:39 -!- MDream has quit (Ping timeout: 264 seconds).
00:23:23 <lambdabot> blackh says: This is Haskell so we can do whatever we like.
00:23:34 <lambdabot> 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 <oerjan> the AvariciousArmoire Arc compiler
00:34:32 -!- mihow has quit (Quit: mihow).
00:34:51 -!- olsner has quit (Ping timeout: 264 seconds).
00:39:36 -!- olsner has joined.
00:39:36 <oerjan> paul graham's lisp dialect
00:39:37 <J_Arcane> yes. more or less abandoned now.
00:39:55 <oerjan> oh hacker news was written in it
00:40:30 <J_Arcane> yes. other than HN and the Arc forum, about the only applications in Arc seem to be half-finished Arc implementations ...
00:44:13 <J_Arcane> (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:50 <lambdabot> ENSB 302350Z 13016KT 9999 FEW025 M20/M29 Q1017 RMK WIND 1400FT 12003KT
01:00:55 <lambdabot> CYUL 310000Z 29012KT 15SM DRSN FEW040 BKN180 BKN220 M12/M18 A3009 RMK SC1AC5CI1 SLP190
01:01:35 <lambdabot> LOWI 310050Z AUTO VRB02KT 2000 SN FEW015 BKN024 M04/M06 Q0982
01:02:07 <int-e> more than cold enough for me
01:02:16 <boily> int-ello. -22 this night. I wonder if we're going to get lower than Svalbard.
01:04:20 -!- adu has joined.
01:04:33 <lambdabot> ENRO 310050Z AUTO 14015KT 9999NDV -SHSN FEW027/// OVC052/// M04/M07 Q0978
01:04:33 <lambdabot> KATL 310052Z 34011KT 10SM FEW250 06/M06 A3031 RMK AO2 SLP271 T00611061
01:04:50 <boily> hellœrjan. ENRO is a persistent anomaly.
01:05:08 <oerjan> well it's well known in norway for being a cold place
01:05:47 <oerjan> or maybe it's just not working properly, that does look anomalous
01:06:31 <oerjan> hm nah weather forecast agrees
01:06:32 <boily> oh. I'm conflagrating ENRO and EFRO together. my bad.
01:06:37 <lambdabot> EFRO 310050Z AUTO 02005KT 9999 -SHSN FEW007 OVC012 M09/M10 Q0993
01:07:12 <lambdabot> ENVA 310050Z 07007KT CAVOK 01/M07 Q0980 RMK WIND 670FT 16016KT
01:08:12 <oerjan> i think rovaniemi is also known for being cold, being in north finland
01:08:21 <oerjan> i assume that's the one
01:10:22 <lambdabot> ESNQ 310050Z AUTO 03005KT 9999 -SN FEW008/// SCT038/// OVC068/// M14/M16 Q0992
01:10:46 <boily> ah! at last some place colder than here!
01:11:23 <Taneb> I keep forgetting how to read METAR
01:11:33 <lambdabot> UUDD 310100Z 14007MPS 9999 BKN006 OVC100 M05/M05 Q1004 64550194 TEMPO 1000 FZDZ
01:11:36 <Taneb> It's 1.8 degrees C here
01:13:14 <lambdabot> UNNT 310100Z 17004MPS CAVOK M22/M26 Q1032 25810160 16810160 NOSIG RMK QFE764/1019
01:13:27 <oerjan> i give you: novosibirsk
01:13:53 <int-e> tbf it went up to +2°C during the day here.
01:15:13 <boily> Taneb: Tanelle. which one was yours again?
01:15:30 <boily> oerjan: that's cheating.
01:15:55 <boily> int-e: you live in a tropical climate. how dare you go above zero during February!
01:15:56 <oerjan> hey it's a perfectly good populated place
01:16:11 <oerjan> by obviously mad people, but still
01:17:06 <int-e> boily: happens every year
01:17:22 <Taneb> boily, EGNT out of termtime
01:17:25 <lambdabot> ENNA 310050Z 33004KT 290V030 9999 FEW031 SCT041 M08/M12 Q0998 RMK WIND 1800FT 06015KT
01:17:30 <Taneb> Right now I'm not much near an airport
01:17:34 <Taneb> So I use http://weather.elec.york.ac.uk/
01:17:37 <oerjan> i guess norway just isn't cold
01:17:48 <int-e> oerjan: to say something positive for the people, I'm not a native.
01:18:04 <Taneb> `addquote <oerjan> i guess norway just isn't cold
01:18:06 <HackEgo> 1231) <oerjan> i guess norway just isn't cold
01:19:32 <oerjan> you leave out _one_ "today"...
01:20:53 <oerjan> it is entirely possible to get M40 in røros, but...
01:20:59 <int-e> Ambient temperature is fluctuating around 275K, but people make a big deal of a 10% difference...
01:21:30 <boily> we happen to be made of biological matter with a high water proportion hth
01:22:33 <int-e> *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 <int-e> Oh well. I guess stating the obvious is this channels second most favourite topic. I forgot the first.
01:24:20 <HackEgo> int-e: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
01:24:27 <int-e> I guess that was it.
01:26:01 -!- callforjudgement has quit.
01:27:04 <oerjan> let's not conclude too early which one is on top
01:28:23 <int-e> oerjan: you make a strong case.
01:29:21 <int-e> [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 <PinealGlandOptic> 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 <elliott> just about anything other than project euler is good
01:46:08 <elliott> it happens to be particularly unsuited for haskell :p
01:46:41 <pikhq> Project Euler in Haskell is kinda fun I guess? But really not a good fit for "learning Haskell".
01:47:01 <pikhq> It manages to explore the less interesting bits of the language quite heavily. :P
01:48:03 <boily> PinealGlandOptic: if you want a nice set of challenges, http://programmingpraxis.com/ . the exercises there are oftentimes practical and applicable.
01:50:28 <PinealGlandOptic> I want to sharpen my FP skills and I choose to learn LISP, ML and Haskell. anything else I forgot?
01:51:53 <boily> I'd rather swap LISP with Scheme (R5RS) because personal preference. also, don't be afraid by beginner category theory.
01:53:00 <boily> have you read http://learnyouahaskell.com/ yet?
01:53:32 <int-e> 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 <int-e> 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 <oerjan> this also applies if you're learning Prolog
01:54:40 <J_Arcane> 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:19 <PinealGlandOptic> thanks for your answers. but Sceme lacks Dynamic scope? is it not worth using it nowadays?
01:56:41 <int-e> 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 <oerjan> there are uses for dynamic scope, but it's a bad default
01:57:31 <oerjan> it's bad if it's used without explicitly choosing to use it
01:57:42 <Eolus> So, What's you all talkins about today
01:58:03 <int-e> Eolus: hi not-Lilax.
01:58:05 <boily> obviously nothing.
01:58:23 <oerjan> even haskell has some dynamical scope support, but it's rarely used.
01:58:35 <oerjan> boily: implicit parameters
01:58:45 <boily> J_Arcane: I like chicken scheme.
01:59:04 <J_Arcane> boily: Have you seen Bones yet?
01:59:04 <Eolus> int-e shut your god damn mouth about that, I mentally am not Lilax. Drop it
01:59:14 <Eolus> Sorry if I was rude
01:59:38 <oerjan> > let f x = x + ?y in (let ?y = 1 in f 2, let ?y = 2 in f 2)
01:59:42 <boily> Eolus: don't worry. in times of identity crisis, lick ion.
01:59:50 <boily> btw, where is ion nowadays?
02:00:05 <int-e> Eolus: but you make it so rewarding to rub it in.
02:00:20 <Eolus> int-e: I will spit in your mouth
02:00:25 <int-e> It pleases my inner troll.
02:00:32 <Eolus> stop rubbing it in
02:00:39 <boily> huh? ion's been wiped from the wisdom?
02:00:47 <boily> Eolus: int-e is oerjan's evil twin.
02:01:01 <HackEgo> 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:13 <Eolus> So is oerjan mildy bad
02:01:20 <FireFly> `` grep -P '\bion\b' wisdom/*
02:01:23 <HackEgo> grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°_o): Is a directory
02:01:26 <elliott> int-e: can we just be nice or something
02:01:29 <int-e> oerjan is a wholly different level of evil.
02:02:13 <int-e> elliott: I guess. The troll is fed now anyway.
02:02:43 <boily> `` find wisdom -name '*ion*'
02:02:44 <HackEgo> 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:57 <HackEgo> Lions are the catamorphisms of the animal world.
02:03:56 <boily> in the wisdom I wrote “Suffers from drive-by lickings.”, but it doesn't seem to be the official wisdom.
02:04:24 <Eolus> I don't get the joke
02:04:30 <Eolus> was ion being licked
02:04:41 <HackEgo> You have been reported to the House Un-American Activities Committee
02:05:02 <boily> Eolus: yes, by some troll that joined the channel, licked ion, and then parted. sometimes multiple times per week.
02:05:17 <elliott> remember how they came back recently
02:05:28 <elliott> after like multiple years having passed
02:05:36 <Eolus> they obviously wanted the ion
02:06:25 <oerjan> <boily> btw, where is ion nowadays? <-- we can only assume he got all licked up
02:06:42 <Eolus> He is off enjoying the licking
02:07:09 <oerjan> boily: i'm sorry but int-e is my _redundant_ twin. i'm the evil one.
02:09:14 <oerjan> my what big eyes you have
02:09:18 <Eolus> oerjan is a fountain, int-e is a watermelon, firefly is a firefly, elliott is Jesus, boily is a cat
02:09:55 * oerjan swats FireFly -----###
02:10:12 <boily> oh, the swatter! long time no see!
02:10:47 <int-e> watermelon, eh. could be worse. could be a pot of petunias.
02:11:19 <oerjan> boily: est-ce que vous êtes un chat?
02:11:32 <Eolus> An ORANGE water melon
02:11:45 <boily> oerjan: non, j'ai tendance à ne pas etre un chat.
02:11:48 <int-e> don't push it, lily
02:12:13 <int-e> (that's a plant. a fragile one.)
02:12:23 <boily> oerjan: et tu peux me tutoyer, sans problème.
02:12:31 <boily> (vraiment, ça fait étrange quand le monde me vouvoient...)
02:12:37 <Eolus> shut your mouth before I tear it off
02:12:59 <Eolus> Only our gf can call lilax Lily :l
02:13:26 <oerjan> merci beaucoup. although i was mainly amused i actually remembered enough french to make that sentence.
02:13:39 <boily> it was perfectly formed and properly accentuated.
02:13:43 <boily> Eolus: nope. Canada.
02:13:59 <Eolus> I can speak canadin
02:14:07 <boily> J_Arcane: j'te crois pas.
02:14:14 <Eolus> I'm doin' it right now
02:16:43 -!- shikhin_ has joined.
02:16:58 <HackEgo> The Enrichment Center is required to remind you that you will be baked, and then there will be cake.
02:18:09 <Eolus> Cod dammit data tables are just annoying
02:18:33 <oerjan> J_Arcane n'est pas leon
02:19:07 <FireFly> oerjan: back in business, I see
02:19:31 <Eolus> he likes to hit people
02:19:32 <oerjan> another year, another swat
02:19:38 <int-e> us wait for the mapole.
02:19:41 <Eolus> its his only excitement
02:19:43 <boily> oerjan: «J_ arcane n'est pas un lion»?
02:19:52 <int-e> (and kill whoever put ' right next to <return>)
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 <Eolus> Murder is nev er an option int-e
02:20:57 * boily thwacks Eolus with a double reverse ninja wheelbarrow spin
02:21:11 <oerjan> boily: i didn't want to break the pun with un
02:21:17 * Eolus pulls out spray bottle and sprays boily
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:52 -!- augur has joined.
02:23:58 <boily> and with that, 'night all!
02:24:04 -!- boily has quit (Quit: ULTRAMARINE CHICKEN).
02:24:19 -!- olsner has joined.
02:25:40 <oerjan> int-e: i see you've put henkma hard at work lately
02:29:19 <int-e> hmm, funny statistics on the Caesar thing
02:32:41 <int-e> the website is lacking the essential "show me problems where A is better than B" view...
02:33:51 <int-e> 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 <int-e> So two magic formula problems.
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:46 <lambdabot> benmachine says: main = interact id
04:20:51 <lambdabot> RootLabs says: Bitcoin remains the most efficient method to buy drugs & transfer wealth from anti-govt zealots to hackers.
04:22:34 <oren> 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 <oren> It's repeatable: @Qウお手 it is using some crazy rules to decide what things are
04:23:57 <tswett> Oh yeah, I remember... one of those characters. い.
04:24:04 <tswett> I keep learning all the hiragana and forgetting most of them.
04:25:08 <oren> 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:28 <lambdabot> http://get-simple.info/forums/showthread.php?tid=1995
04:26:29 <lambdabot> Title: ßрþñûõüð ÑÂ...
04:26:36 <lambdabot> http://www.wattpad.com/65119375-dreams-aren't-just-dreams-%D0%B3%D0%BB%D0%B0%D0%B2%D0%B0-1
04:26:36 <lambdabot> Title: Dreams aren't just dreams Глава 1 - Page 1 - Wattpad
04:26:52 <oren> But apparently not thru lambdabot
04:27:54 <oren> The above are just IMEizations of "youtube" and "repeat" and google knows to unIME them
04:36:52 -!- tswett has quit (Ping timeout: 255 seconds).
04:41:42 <pikhq> 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 <oren> there shud be a language called "epilog"
05:03:37 <oren> @quote epigram
05:03:38 <lambdabot> dolio says: Perhaps he's an epigram guy and frowns on Turing completeness.
05:04:43 <oren> @quote epigram
05:04:43 <lambdabot> dolio says: Perhaps he's an epigram guy and frowns on Turing completeness.
05:04:49 -!- bb010g has joined.
05:04:52 <oren> @quote dijkstra
05:04:52 <lambdabot> 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 <oren> @quote dijkstra
05:05:23 <lambdabot> 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 <lambdabot> 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 <int-e> oh the ease of programming one is good
05:05:47 <lambdabot> 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 <lambdabot> 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:55 <lambdabot> 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 <Sgeo> MealSquares are not non-perishable, so not so great for the obvious use-case of
05:19:42 <Sgeo> 'can't leave apartment'
05:20:01 <Sgeo> Either I'm eating them regularly so could be caught out, or I end up throwing them out frequently
05:20:22 <oren> Spam is practically non-perishable
05:20:52 <pikhq> Though almost certainly less suitable as a complete diet than MealSquares.
05:22:15 <oren> Our fridge is used mostly for beer, milk and eggs
05:22:32 <Sgeo> I've been told by my step-mother that I no longer need to gain weight
05:23:06 <Sgeo> 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:36 <pikhq> You... do you mostly just eat pizza?
05:23:50 <oren> dude learn to cook
05:23:54 <Sgeo> Other things too, but probably pizza makes up a big portion
05:24:04 <pikhq> Huh, and I thought I was bad.
05:24:16 <Sgeo> 5/7 nights I eat pizza for dinner. I eat other things for breakfast and lunch
05:24:31 <oren> I eat very unhealthy stuff, but I make it myself
05:25:35 <pikhq> 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 <Sgeo> pikhq: I figure as long as derivative of net worth stays positive, it's probably fine
05:26:21 <pikhq> Also, 3 slices of pizza + you didn't have a fridge = huh. So, you just let the pizza sit out?
05:26:36 <Sgeo> pikhq: I go to pizza place and eat there
05:26:49 <pikhq> That is significantly less worrying.
05:26:52 <oren> Sgeo: do you have a stove?
05:27:05 <Sgeo> oren: don't know if it works
05:27:20 <oren> Sgeo: jesus dude
05:28:10 <oren> If it works, you could save a fortune by making french toast one night a week
05:30:17 <oren> 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 <Sgeo> 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 <HackEgo> [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 <PinealGlandOptic> 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).
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:52:10 -!- Eolus has joined.
09:09:52 -!- Sprocklem has quit (Ping timeout: 240 seconds).
09:10:50 <HackEgo> [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 <PinealGlandOptic> 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 <PinealGlandOptic> 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 <Jafet> How impossible do you need it to be?
10:58:09 <Jafet> In ML it is quite simple: signature MONTH = sig type Month val toMonth : Int -> Month val fromMonth : Month -> Int end
10:58:46 <Jafet> toMonth n = if n >= 12 then throw NoSuchMonth else Month n
11:00:30 -!- tswett has joined.
11:01:15 <Jafet> It constructs a value, not an object, but ocaml probably allows the same thing with objects
11:04:36 <Jafet> Also simple in Ada: subtype Month is Integer range 0 .. 11;
11:04:51 -!- tswett has quit (Ping timeout: 264 seconds).
11:05:19 <PinealGlandOptic> Jafet: that's specific for month or I could add, say, day in range of 0..31?
11:06:47 <Jafet> 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 <Jafet> (No month has 32 days, anyway.)
11:07:39 <PinealGlandOptic> 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 <Jafet> Which programming languages cannot do this?
11:10:03 <fizzie> Good old Pascal has "subrange types" too.
11:11:26 <fizzie> type Month = 0 .. 11; and so on.
11:12:33 <fizzie> Jafet: What about the rare "misplaced leap day" that accidentally lands in January?
11:12:39 <PinealGlandOptic> 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 <PinealGlandOptic> interesting, how Pascal controlling value to be always withing range, or it is rather self-documenting feature
11:14:13 <fizzie> I think it's enforced, but I'm no Pascal expert.
11:18:40 <PinealGlandOptic> 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 <PinealGlandOptic> it is integer, of course, but can be narrowed to 2 bits, which allows four state
11:19:37 <fizzie> 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 <Vorpal_> 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 <fizzie> Buh. JuiceSSH somehow disables the swiping functionality of the standard keyboard.
12:19:40 <Jafet> Obviously it would be true, false, unknown, impossible
12:20:43 <fizzie> 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 <fizzie> Admittedly predictive text input in Irssi Connectbot was kind of flaky occasionally too.
12:22:49 <b_jonas> ooh! inkscape 0.91 is finally released!
12:24:33 <fizzie> "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 <oerjan> <oren> Spam is practically non-perishable <-- i now get the image of Sgeo living solely on spam for a month
12:34:42 <fizzie> I don't think I've ever had proper spam. :/
12:35:03 <J_Arcane> It's largely under-rated IMO, if a bit salty.
12:35:22 <fizzie> We have a somewhat similar thing in Finland that we had as boat food relatively often.
12:36:11 <fizzie> "Nötkötti", colloquially.
12:36:58 <Vorpal> fizzie, sounds similar to the Swedish word nötkött, which just means "meat from a cow"
12:37:14 * oerjan thought it mean emergency meat
12:37:30 <fizzie> This one is a mixture of beef and pork.
12:37:34 <oerjan> i guess that would be nödkött
12:37:37 <fizzie> http://fi.m.wikipedia.org/wiki/Sian-_ja_naudanlihas%C3%A4ilyke
12:37:39 <Vorpal> oerjan, would be nödkött indeed
12:38:09 <fizzie> "Sikanauta" is an alternative term.
12:38:54 <fizzie> Apparently the original was beef-only, hence the name.
12:38:55 <Vorpal> oerjan, now I'm wondering why nöt is used for cows, nötkött, nötkreatur and so on. After all nöt on its own means nut
12:39:26 * oerjan munges url into https non-mobile
12:39:59 <oerjan> huh google translate actually calls it "spam"
12:40:27 <fizzie> I guess spam is pork-only? I think it's otherwise quite similar though.
12:42:41 <oerjan> i thought that was what the page said.
12:43:18 <fizzie> I didn't read it all the way through.
12:44:24 <oerjan> Vorpal: hm there's a norwegian word "naut" which means cattle or stupid person
12:44:50 <oerjan> although "nøtt" means nut
12:45:17 <fizzie> Minestrone soup (from a bag), with the minced meat in the recipe replaced with "nötkötti", was one of our staples.
12:46:07 <Vorpal> And yes, nöt can also be used to mean stupid person
12:46:16 <oerjan> however, i think naut is hardly ever used as a non-insult these days
12:47:29 <oerjan> certainly not as part of food descriptions
12:47:57 <fizzie> The Finnish "nauta" (cow or bull, often in compounds) is clearly from the same roots.
12:48:33 <oerjan> of course the word "fe" which _is_ used in food descriptions, also means stupid person.
12:49:56 <HackEgo> [wiki] [[Taktentus]] http://esolangs.org/w/index.php?diff=41782&oldid=41734 * 46.112.181.141 * (+37) binary
12:50:04 <oerjan> (usually it's used in the form "storfe", presumably to avoid saying that the meat is cow rather than ox)
12:51:11 <oerjan> if it actually _is_ ox meat, that may be marked.
12:52:17 <oerjan> i think. a bit hearsay as i've not paid attention to it myself.
12:54:35 <oerjan> i cannot remember the norwegian brandname or colloquial word for hermetized meat. i don't think i've had it for decades.
12:55:29 <oerjan> although there's a strange visual of something like it in the back of my mind, so i think my childhood contained some of it.
13:03:12 <fizzie> Wikipedia seems to be missing a "List of the Spam-equivalents of different countries" article, or at least I didn't quickly find it.
13:06:33 -!- Tritonio has quit (Ping timeout: 276 seconds).
13:12:18 -!- boily has joined.
13:25:08 -!- nys has joined.
13:40:06 -!- SopaXT has quit (Remote host closed the connection).
13:54:25 -!- AnotherTest has quit (Ping timeout: 255 seconds).
14:00:29 <J_Arcane> The Danish have the canned ham, which is pretty much the same stuff as Spam, just usually less salty/fatty IME.
14:00:35 <J_Arcane> I loved getting that stuff as a kid.
14:01:03 <J_Arcane> We used to get charity food boxes at Christmas from the VFD and someone in the neighborhood always stuck a can of Danish ham in there.
14:05:40 <boily> J_Arcanello. In My Epinion?
14:07:02 -!- SopaXT has joined.
14:07:11 <boily> I like grilled spam on top of ramen.
14:09:17 <boily> FirelloFly. thanks.
14:10:26 <FireFly> Hmm, doesn't work very well
14:12:00 <oerjan> polysynthetic greetings
14:13:41 <J_Arcane> boily: I'm a big fan of spam sushi and spam fried rice. :D
14:14:46 <oerjan> but do you like green eggs and spam?
14:15:27 <Taneb> I do not like green eggs and spam
14:15:34 <Taneb> I do not like them, oh-er-jan
14:16:35 <boily> J_Arcane: you hawaiian :P
14:17:00 <J_Arcane> naw. but that is where I got the idea, by way of Bourdain.
14:17:17 -!- shikhin_ has joined.
14:18:17 <boily> J_Arcane: have you tried salted fish fried rice?
14:18:25 <oerjan> plausible http://www.spamjamhawaii.com/
14:18:37 <oerjan> (although there are other spam festivals...)
14:18:56 <J_Arcane> boily: I have not. Sounds tasty.
14:20:39 -!- shikhin has quit (Ping timeout: 276 seconds).
14:21:13 -!- AndoDaan has joined.
14:21:17 <oerjan> or possibly just one other, hm
14:21:35 <boily> J_Arcane: it's the kind of dish that the more it stinks, the tastier it is.
14:26:27 -!- rodgort has quit (Quit: ERC Version 5.3 (IRC client for Emacs)).
14:41:09 -!- rodgort has joined.
14:53:30 -!- MDream has changed nick to MDude.
14:54:50 -!- SopaXT has quit (Remote host closed the connection).
14:55:26 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
14:59:18 -!- SopaXT has joined.
15:07:01 -!- AndoDaan has quit (Read error: Connection reset by peer).
15:07:28 -!- AndoDaan has joined.
15:11:11 <quintopia> how is it this fine saturday afternoon
15:12:08 -!- rodgort has quit (Quit: ERC Version 5.3 (IRC client for Emacs)).
15:15:46 -!- rodgort has joined.
15:17:31 -!- GeekDude has joined.
15:19:22 <boily> quintopia: QUINTHELLOPIAAAAAAAAAAAAA!
15:29:14 <quintopia> but feel free to invite me next time you vacation
15:45:57 -!- rodgort has quit (Ping timeout: 252 seconds).
16:02:27 -!- AndoDaan has quit (Ping timeout: 264 seconds).
16:04:29 -!- AndoDaan has joined.
16:12:29 <J_Arcane> Working on a C# tutorial, and starting to realize why the comparison point is usually Java here ...
16:12:34 -!- AndoDaan has quit (Ping timeout: 255 seconds).
16:16:59 <J_Arcane> At this point the project does little more than make a window appear with some text in it, yet I've at this point completely lost count of the number of files in the solution, in part just because many of them are obscured.
16:20:39 -!- Tritonio has joined.
16:47:02 -!- adu has joined.
17:00:29 -!- Tritonio has quit (Remote host closed the connection).
17:00:50 -!- Tritonio has joined.
17:02:14 -!- rodgort has joined.
17:02:39 -!- oerjan has quit (Quit: leaving).
17:11:09 -!- SopaXT has changed nick to SopaXorzTaker.
17:44:20 <HackEgo> [U+1D34 MODIFIER LETTER CAPITAL H] [U+1D30 MODIFIER LETTER CAPITAL D]
17:49:19 <oren> Modifier letter? Glah
17:49:59 -!- boily has quit (Quit: ACETIC CHICKEN).
17:57:41 -!- copumpkin has joined.
18:05:27 -!- SopaXorzTaker has quit (Ping timeout: 264 seconds).
18:19:05 -!- SopaXorzTaker has joined.
18:32:32 -!- nyuszika7h has quit (Remote host closed the connection).
18:34:15 -!- nyuszika7h has joined.
18:34:45 -!- shikhin_ has changed nick to shikhin.
18:48:12 -!- SopaXorzTaker has quit (Read error: Connection reset by peer).
19:40:51 <Vorpal> oren, there are modifier letters? What do they do?
19:43:32 -!- shikhin has changed nick to not_myself.
19:43:58 -!- not_myself has changed nick to shikhin.
19:47:18 -!- boily has joined.
19:49:00 -!- Tritonio has quit (Remote host closed the connection).
19:50:39 -!- Tritonio has joined.
20:01:51 <oren> Vorpal: no idea
20:04:42 <J_Arcane> O_O https://projecteuler.net/problem=500
20:05:18 <Taneb> J_Arcane, yay number theory>
20:09:02 <Taneb> J_Arcane, I've often thought that Project Euler is less about programming and more about number theory
20:09:13 <Taneb> Number theory and combinatorics mostly
20:10:15 <J_Arcane> Taneb: this would explain why Racket is the easiest language to solve Euler problems in that I've found (besides maybe Haskell): It has a built in number-theory library ...
20:11:48 <Taneb> J_Arcane, ooh, I didn't realise this
20:16:30 -!- Koen_ has joined.
20:16:48 <int-e> 50% of PE problems require a prime sieve
20:17:35 -!- Koen__ has joined.
20:17:35 -!- Koen_ has quit (Read error: Connection reset by peer).
20:17:54 -!- arjanb has quit (Quit: .).
20:18:49 -!- shikhin_ has joined.
20:18:56 -!- shikhin_ has quit (Changing host).
20:18:56 -!- shikhin_ has joined.
20:19:15 <int-e> But PE is rather strange. A lot of the problems (at least the first 270, I stopped solving them after that) are designed to be solved without requiring larger than 64bit integers. And some tasks are number-crunching so much that it's hard to solve them in 1 minute in Haskell, and much easier in C.
20:20:28 <int-e> hmm. s/270/230/, though I've still looked at the problems for a while after that.
20:22:16 -!- shikhin has quit (Ping timeout: 264 seconds).
20:23:03 <fizzie> I stopped at... 100? 200? Something like that.
20:27:31 <fizzie> Vorpal: AIUI, letter that doesn't have it's own sound but modifies some other letter. IPA has them, for example.
20:27:47 -!- Froox has changed nick to Frooxius.
20:29:35 -!- shikhin_ has changed nick to shikhin.
20:35:15 -!- nys has quit (Quit: quit).
20:39:57 -!- nys has joined.
20:41:37 <boily> fizzie: AUI? http://en.wikipedia.org/wiki/AUI_%28constructed_language%29
20:43:06 -!- boily has quit (Quit: CENTERED CHICKEN).
20:43:46 -!- AnotherTest has joined.
20:55:56 -!- Tritonio has quit (Remote host closed the connection).
20:56:17 -!- Tritonio has joined.
20:58:08 -!- adu has quit (Quit: adu).
21:05:13 -!- Patashu has joined.
21:33:26 <b_jonas> In http://www.smbc-comics.com/?id=1176#comic , why is the model Moon so small compared to the model Earth? Could Superman not find models of the same scale?
21:39:05 <J_Arcane> https://github.com/thiagopnts/groot
21:42:30 <J_Arcane> 141 lines to write Hello World.
21:43:05 <J_Arcane> And that's still lighter than the c# tutorial I'm working on, which so far can only manage to put some numbers up in a window.
21:44:46 -!- AndoDaan has joined.
21:51:22 -!- TieSoul has changed nick to TieSleep.
22:00:21 -!- oren has quit (Quit: Lost terminal).
22:09:03 -!- ^v^v has quit (Read error: Connection reset by peer).
22:09:29 -!- ^v^v has joined.
22:37:26 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
22:42:44 -!- AnotherTest has quit (Ping timeout: 245 seconds).
22:43:32 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?").
22:54:24 -!- Qfwfq has quit (Ping timeout: 245 seconds).
22:59:57 -!- Qfwfq has joined.
23:35:38 -!- oerjan has joined.
23:38:03 -!- Patashu has quit (Remote host closed the connection).
23:38:11 <AndoDaan> Hey, oerjan. Mind if I ask a question?
23:38:14 -!- Patashu has joined.
23:38:55 <oerjan> i can neither confirm nor deny that
23:40:08 <oerjan> i predict the answer is: no, i wasn't there, and you cannot prove anything.
23:40:10 <AndoDaan> I've been looking Thue, and I was wondering if there are any Thue like languages without the non-determinism.
23:40:25 <oerjan> AndoDaan: /// is deterministic
23:40:29 <nys> biased thue
23:41:02 <AndoDaan> does /// have all the basic operations of Thue?
23:41:28 -!- olsner has quit (Ping timeout: 264 seconds).
23:42:00 <oerjan> itflabtijtslwi is /// with input
23:42:01 <AndoDaan> Wait, /// is self modifying right? I mean it can add and subtrack pattern and replacement strings?
23:42:34 <nys> packrat thue
23:42:40 -!- heroux has quit (Ping timeout: 264 seconds).
23:42:56 <oerjan> thue doesn't modify its own program
23:43:16 -!- lambdabot has quit (Ping timeout: 264 seconds).
23:43:23 -!- heroux has joined.
23:43:51 <oerjan> it's AST rather than string replacement, essentially, but it's usually deterministic.
23:43:59 <oerjan> of course it also has backtracking
23:44:21 <oerjan> eodermdrome is graph replacement but that's nondeterministic too
23:44:49 <oerjan> prolog backtracks if a clause fails
23:45:22 <oerjan> but applying a single clause is sort of like replacement
23:45:34 <AndoDaan> I'm not familiar with prolog at all. Functional language?
23:45:39 -!- hjulle has quit (Ping timeout: 264 seconds).
23:46:13 -!- hjulle has joined.
23:46:17 <oerjan> basically, it's primitive operation is term unification
23:46:58 <oerjan> more or less the same kind of unification that haskell/ml uses for type inference
23:47:29 -!- J_Arcane has quit (Ping timeout: 264 seconds).
23:47:44 <AndoDaan> Haskell is basically just a fancy string rewriter, with some arithmetic, right?
23:47:58 <AndoDaan> I say right, but I'm guessing.
23:48:10 -!- olsner has joined.
23:48:33 <oerjan> you can _implement_ haskell with tree rewriting.
23:48:50 <oerjan> not very efficient, but it's an old technique
23:48:54 -!- lambdabot has joined.
23:49:28 <oerjan> or well, graph rewriting probably, you have cycles...
23:49:40 <AndoDaan> That's true for a lot of languages.
23:49:40 <oerjan> unless you want to be _completely_ inefficient.
23:50:02 <AndoDaan> That is the nature of string rewriting.
23:50:42 <oerjan> fractran could be considered number rewriting :)
23:50:50 <oerjan> it's also completely deterministic
23:50:54 -!- J_Arcane has joined.
23:50:57 <AndoDaan> I've been playing around with the Yad interpreter. And I just thought it odd that's there seems to be no named Markov like esolangs.
23:51:18 <oerjan> what's a markov like esolang
23:52:20 <oerjan> fungot: what do you think about markov
23:52:21 <fungot> oerjan: i, myself, will bring an end to all. ghosts lurk in the ruins were in truth, and everything in readiness for fnord. under these to tristan d'acunha, a volcanic origin, a high, and was fnord him with his umbrella. " who can have patience to acquire it. just fnord" brutha. " do you know much about gods, i am no fighter:
23:52:31 <fungot> 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
23:52:38 <AndoDaan> http://en.wikipedia.org/wiki/Markov_algorithm
23:53:04 <AndoDaan> You know that of course. I wasn't sure it was 'algorithm'.
23:53:33 <oerjan> markov did a lot of stuff
23:54:08 <AndoDaan> It's one of those names that I'm starting to remember by osmosis.
23:57:02 <oerjan> i guess with thue already existing, implementing plain markov seems boring.
23:57:33 <oerjan> also, you're technically allowed to implement thue as if it were markov
23:58:49 <AndoDaan> I had difficulty with forcing the order of thue's rule execution.
23:59:11 <AndoDaan> I guess a bigger alphabet might help that.
23:59:36 <oerjan> i'm saying that a deterministic thue implementation is legal.