00:09:15 -!- Bike has quit (Ping timeout: 260 seconds).
00:15:11 -!- Bike has joined.
00:24:10 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
00:31:14 -!- doesthiswork has joined.
00:39:06 <Bike> "my novella about a sentient SMT solver addicted to bitcoin gambling" fuck, i'd read that
00:40:24 -!- Phantom_Hoover has joined.
00:40:53 <int-e> satisfiability modulo politics. hmm.
00:57:57 <kmc> wow uruguay has straight up legalized weed today
00:58:24 <Bike> oh nice they went through with that
00:59:03 -!- nooodl_ has quit (Ping timeout: 246 seconds).
00:59:41 -!- augur_ has quit (Ping timeout: 272 seconds).
01:02:07 <HackEgo> He's a nobody. Move along.
01:04:37 -!- Sprocklem has joined.
01:06:47 <kmc> doesthiswork: ah, is it? cool
01:10:10 <kmc> i don't know very much about cannabis cultivation
01:10:23 <HackEgo> kmc ran the International Devious Code Contest of 2013
01:10:45 <kmc> i watched a video about it, which was more interesting for the engineering that goes into a covert grow room than for the actual agriculture part
01:11:12 <kmc> good to know
01:11:57 <oerjan> `run sed -i '2s!sed.*!lowercase | sed '\''s/^(a|the) //;s/[Ss]\? .*//'\'')' bin/learn
01:11:57 <doesthiswork> I'm going to school for an actual degree in agriculture and I took a weed science class
01:11:58 <HackEgo> sed: -e expression #1, char 55: unterminated `s' command
01:12:16 <oerjan> `run sed -i '2s!sed.*!lowercase | sed '\''s/^(a|the) //;s/[Ss]\? .*//'\'')!' bin/learn
01:12:37 <oerjan> `learn The natives are restless.
01:13:04 -!- augur has joined.
01:16:09 <oerjan> @tell gregor the repository browser ignored one of my `reverts.
01:16:22 <oerjan> `run ls wisdom/*native*
01:16:24 <HackEgo> ls: cannot access wisdom/*native*: No such file or directory
01:17:04 <oerjan> hm since it's not removed in the repository, i have a hunch it will come back on the next change.
01:17:24 <kmc> "Who's looking forward to @rubyconfuruguay? :)" c.c
01:18:00 <Bike> ah right uruguay also got gay marriage back in august
01:18:09 <Bike> kmc: myndzi has to account for their name
01:20:33 <oerjan> `run sed -i '2s!sed.*!sed '\''s/^`\\(a|the\\) //;s/[Ss]\? .*//'\'')!' bin/learn
01:21:43 <oerjan> `run sed -i '2s!sed.*!sed '\''s/^\\(a|the\\) //;s/[Ss]\? .*//'\'')!' bin/learn
01:22:09 <oerjan> `learn The natives are restless.
01:22:35 <Bike> is that sed inside a sed command
01:22:53 <oerjan> `run ls wisdom/*native*
01:22:54 <HackEgo> wisdom/the natives are restless.
01:23:17 <oerjan> `rm wisdom/the natives are restless.
01:24:43 <oerjan> i thought sed allowed separating commands by ;
01:25:29 -!- Sprocklem has quit (Quit: Leaving).
01:25:45 <oerjan> `run echo 'the natives are restless.' | sed 's/^\(a|the\) //;s/[Ss]? .*//'
01:25:47 -!- Sprocklem has joined.
01:25:57 <oerjan> `run echo 'the natives are restless.' | sed 's/^\(a|the\) //'
01:26:23 <oerjan> `run echo 'the natives are restless.' | sed 's/^\(a\|the\) //'
01:26:34 <oerjan> `run echo 'the natives are restless.' | sed 's/^\(a\|the\) //;s/[Ss]? .*//'
01:26:46 <oerjan> `run echo 'the natives are restless.' | sed 's/^\(a\|the\) //; s/[Ss]? .*//'
01:26:58 <oerjan> `run echo 'the natives are restless.' | sed 's/^\(a\|the\) //; s/s\? .*//'
01:27:22 <oerjan> ic. forgot two escape the backslash too.
01:27:50 <oerjan> `run sed -i '2s!sed.*!sed '\''s/^\\(a\\|the\\) //;s/s\\? .*//'\'')!' bin/learn
01:28:10 <oerjan> `learn The natives are restless, also armed with sed.
01:28:20 <HackEgo> The natives are restless, also armed with sed.
01:28:53 <oerjan> `run ls wisdom/*native*
01:34:02 -!- doesthiswork has quit (Quit: Leaving.).
01:34:56 -!- Sgeo has joined.
02:18:49 -!- tromp has joined.
02:24:21 -!- yorick has quit (Remote host closed the connection).
02:37:16 -!- Sorella has quit (Remote host closed the connection).
02:37:18 <ion> http://dubblebaby.blogspot.ca/2012/09/buttgu.html
02:51:24 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
03:07:50 -!- prooftechnique has joined.
03:08:14 <HackEgo> http://zzo38computer.org/dnd/recording/level20.tex (the precompiled .dvi is also available)
03:08:51 <shachaf> prooftechnique: Are you involved in that?
03:09:18 <shachaf> zzo38's Dungeons and Dragons game.
03:09:30 <oerjan> hm last i paid attention there was just zzo38 and the gm
03:09:46 <shachaf> There's a character named Also.
03:09:51 <shachaf> prooftechnique's username is Also.
03:10:13 <oerjan> i guess the evidence is indisputable
03:11:10 <prooftechnique> My favorite character that I invented for D&D was a thief called Reggie
03:11:25 <prooftechnique> When asked "Short for Reginald", he responded "No, long for Reg"
03:13:02 -!- copumpkin has joined.
03:15:11 -!- SingingBoyo has joined.
03:16:49 -!- Bike has quit (Ping timeout: 252 seconds).
03:20:45 -!- pikhq has quit (Ping timeout: 252 seconds).
03:22:54 -!- pikhq has joined.
03:23:25 -!- Bike has joined.
03:23:34 <quintopia> prooftechnique: the first time played, we started off with some default characters that the DM made up so we could get right into the mechanics. Mine was an elf with the auto-generated name "Varna" which I decided should be pronounced like "Lola" and that is what she was called for the rest of that campaign :D
03:25:59 <prooftechnique> I wish more mail clients supported integrated GPG stuff
03:26:23 <prooftechnique> I'm not way into Apple Mail, but I like it better than Thunderbird, and those are pretty much the options :|
03:27:43 <quintopia> i wonder if there is a way to integrate GPG into vmail
03:28:26 <quintopia> https://github.com/danchoi/vmail/issues/140
03:29:42 -!- nisstyre has joined.
03:56:32 -!- tromp has quit (Remote host closed the connection).
03:57:05 -!- tromp has joined.
04:01:39 -!- tromp has quit (Ping timeout: 260 seconds).
04:09:21 -!- tromp has joined.
04:21:07 -!- nycs has joined.
04:21:07 -!- Tod-Autojoined has joined.
04:24:51 -!- pikhq has quit (Ping timeout: 245 seconds).
04:24:52 -!- Tod-Autojoined2 has quit (Read error: Connection reset by peer).
04:24:53 -!- heroux has quit (Ping timeout: 264 seconds).
04:24:53 -!- `^_^v has quit (Ping timeout: 264 seconds).
04:25:44 -!- pikhq has joined.
04:26:24 -!- heroux has joined.
04:39:00 <Sgeo> I am shocked, SHOCKED, by The Onion's Kelly... the latest cartoon doesn't have flies surrounding the person burning the US flag
04:40:04 <Bike> it's satire. savvy readers know to draw in the flies.
04:40:30 <Bike> also, he's already dead, as is right and proper
04:40:51 <kmc> the big fish eat the little ones
04:53:08 -!- nisstyre has quit (Read error: Connection reset by peer).
04:54:33 -!- nisstyre has joined.
05:01:57 -!- pikhq has quit (Ping timeout: 252 seconds).
05:02:20 -!- pikhq has joined.
05:12:21 -!- conehead has quit (Quit: Computer has gone to sleep.).
05:13:03 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif).
05:35:26 -!- tromp has quit (Remote host closed the connection).
05:36:14 -!- doesthiswork has joined.
05:39:35 -!- oklopol has joined.
05:42:45 -!- Sprocklem has quit (Ping timeout: 252 seconds).
05:45:28 -!- Bike_ has joined.
05:45:29 -!- Bike has quit (Quit: Reconnecting).
05:45:46 -!- Bike_ has changed nick to Bike.
05:49:45 -!- ruddy has quit (Ping timeout: 240 seconds).
05:56:10 <Bike> linux is trademarked right
05:56:31 <kmc> yes http://www.linuxfoundation.org/programs/legal/trademark/faq
05:57:21 <Bike> «I am making T-shirts, mugs, etc. for sale, and I want to include the "Linux" on them. Do I need a sublicense?» «No, this is generally considered fair use.» huh
05:57:43 <Bike> kmc: yeah i'm wondering how justified in writing that to be silly i am. the answer it seems is "it's fine i guess, nobody likes your stupid jokes anyway"
05:58:24 <kmc> t-shirt of Linux humping Mickey Mouse on top of the Enjoy Coca-Cola sign
05:58:49 <Bike> i don't usually think of linux as a humping entity
05:58:58 <Bike> the penguin maybe, but not linux itself
05:59:06 <Bike> ("i think of the penguin humping things a lot")
05:59:58 <kmc> class Tux extends IHumpable
06:00:34 <kmc> man if #esoteric had a code of conduct I would have to enforce it against myself on a daily basis -_-
06:01:01 <Bike> do codes of conduct usually prohibit talking about humping (not sure if this is a serious question)
06:01:16 <kmc> It Depends
06:03:34 <kmc> `pastelogs 8=+D
06:04:23 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29661
06:10:18 <oerjan> fungot: i think you will like today's xkcd
06:10:18 <fungot> oerjan: i'm fixing my code of ethics is vacationing at famed schroon lake in upstate new york because fnord pronounce " an"
06:10:33 <oerjan> fungot: oh wait, xkcd what-if, i mean
06:10:34 <fungot> oerjan: bash can't write a literal function or a macro engine... had no concurrent in his time that it's handling a message. don't believe the separator itself is of much importance
06:16:42 <kmc> the hemp, hops, and hackberries diet
06:39:15 -!- oerjan has quit (Quit: leaving).
06:41:44 <oklopol> two guys leaving academia :'(
06:43:05 <Bike> too much hemp?
06:44:56 <Bike> not enough hemp?
06:45:54 <oklopol> perhaps!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
06:46:10 <oklopol> why does xkcd man occasionally use metric and occasionally retardic?
06:46:22 <oklopol> wouldn't consistency be nicer
06:46:39 <Bike> 'retardic' is a shitty insult, also we call that America Sickness
06:47:06 <oklopol> it's not an insult, i just didn't remember the name
06:48:45 <kmc> the US fluid ounce differs from the imperial fluid ounce
06:49:15 <kmc> http://en.wikipedia.org/wiki/File:MetricImperialUSCustomaryUnits.jpg
06:49:32 <kmc> http://en.wikipedia.org/wiki/Comparison_of_the_imperial_and_US_customary_measurement_systems
06:49:56 <kmc> it's ♫ the worst ♫
06:51:06 <quintopia> usually randall does a good job of converting between the various units for everyone's sake
06:51:23 <quintopia> but favors customary due to his mostly american audience
06:53:31 <oklopol> maybe i just don't see the imperial version if there's a metric version too
06:55:49 <oklopol> anyone here an expert on writing research statements
06:55:57 <shachaf> "Also, member function pointers may be up to four times larger than regular pointers. The compiler may need to store the address of the function body, the offset to the correct base (multiple inheritance), the index of another offset in the vtable (virtual inheritance), and maybe even the offset of the vtable inside the object itself (for forward declared types)."
07:00:03 -!- Slereah has joined.
07:03:13 <Sgeo> "There's no way a return value from a toilet can harm you unless you apply the value to your body."
07:04:08 <kmc> are you an op in #toilet now
07:04:36 <Sgeo> Some quote from some random person's dream
07:07:17 <kmc> shachaf: is there a case where you actually need all four of those
07:35:56 -!- Bike has quit (Read error: Connection reset by peer).
07:36:13 -!- Bike has joined.
07:53:11 -!- KingOfKarlsruhe has joined.
08:09:38 -!- Timwi has joined.
08:29:26 -!- pikhq has quit (Ping timeout: 245 seconds).
08:30:37 -!- pikhq has joined.
09:11:05 -!- FreeFull has quit.
09:18:31 -!- tertu has quit (Read error: Connection reset by peer).
09:33:47 -!- nooodl_ has joined.
09:48:02 <HackEgo> 104) <oerjan> alise: mainly it's the fact it blows so hard i cannot avoid hitting the walls of the thing, which completely goes against my basic public toilet hygiene principles \ 380) * Sgeo mutters about broken toilets <Sgeo> #toilet is useless <monqy> is #toilet even a thing <Sgeo> I'm looking for help with toilets \ 381) <Sgeo> Dear eHow: Pl
09:55:05 -!- doesthiswork has quit (Quit: Leaving.).
09:57:02 <fizzie> Take it to #esoteric-toilets, maybe?
09:57:59 <myname> there should be a language named toilet
10:04:54 -!- nisstyre has quit (Quit: Leaving).
10:14:12 <oklopol> i was climbing a fence in my dream (sideways, to get over a spontaneous waterfall) and realized (still in the dream) that what i did actually proved that climbing fences is NP-complete.
10:14:17 <oklopol> but i'm not so sure anymore.
10:15:44 <Taneb> oklopol, I can climb fences in polynomial time
10:16:31 <oklopol> so i guess we can combine our findings to get P = NP
10:16:51 <myname> only if his climbing is deterministic
10:17:00 <oklopol> i'm sure it is, Taneb is basically a robot
10:17:59 <myname> oklopol: okay, now reduce fence climbing to 3sat
10:18:39 <oklopol> and everyone knows dreams have access to quantum stuff etc
10:19:02 <myname> that reminds me of the esolang that is implemented but not known
10:19:49 -!- carado has joined.
11:06:52 -!- SingingBoyo has quit (Ping timeout: 246 seconds).
11:18:56 -!- Slereah_ has joined.
11:20:18 -!- Slereah has quit (Ping timeout: 265 seconds).
11:27:18 -!- doesthiswork has joined.
12:49:41 -!- FireFly has quit (Ping timeout: 248 seconds).
12:51:06 -!- doesthiswork has quit (Quit: Leaving.).
12:56:02 -!- Effilry has joined.
13:04:58 -!- boily has joined.
13:05:00 -!- metasepia has joined.
13:06:55 -!- Sgeo has quit (Read error: Connection reset by peer).
13:14:45 <int-e> boily: pfcuttle added you to wisdom has a nice ring to it.
13:15:22 <int-e> (I'm checking yesterday's e-mail)
13:23:34 <boily> good lockpicking-is-hard morning!
13:23:55 <lambdabot> oerjan said 14h 15m 21s ago: I will remain sane and spiritually pure. <-- and self-deluded, naturally.
13:24:10 <boily> @tell oerjan bleh!
13:34:49 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 25.0.1/20131112160018]).
13:39:20 -!- LinearInterpol has joined.
13:41:00 -!- Phantom_Hoover has joined.
13:47:17 -!- RJones has joined.
13:51:26 <RJones> the PDF in the topic is amazing.
13:52:03 <HackEgo> RJones: 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.)
13:52:17 <boily> `relcome LinearInterpol
13:52:19 <HackEgo> LinearInterpol: 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.)
13:52:57 <LinearInterpol> Been following esolang for a while yet I've never joined the IRC..
14:04:47 -!- tromp has joined.
14:10:20 <HackEgo> "But I don't want to go among mad people," Alice remarked. "Oh, you can't help that," said the Cat: "we're all mad here. I'm mad. You're mad." "How do you know I'm mad?" said Alice. "You must be," said the Cat, "or you wouldn't have come here."
14:10:39 <RJones> apparently I'm mad, then.
14:28:14 -!- Phantom__Hoover has joined.
14:29:41 -!- Phantom___Hoover has joined.
14:30:00 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
14:31:03 -!- LinearInterpol has quit (Read error: Connection reset by peer).
14:31:29 -!- LinearInterpol has joined.
14:32:55 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds).
14:35:46 -!- tromp has quit (Remote host closed the connection).
14:36:18 -!- tromp has joined.
14:40:30 -!- tromp has quit (Ping timeout: 246 seconds).
14:42:27 -!- mrhmouse has joined.
14:44:08 -!- ruddy has joined.
14:48:16 <b_jonas> I have a crazy idea but I have to think about it before I determine it's impossible.
14:52:01 <metasepia> Your divination: "Treading" to "Treading"
14:52:24 <boily> b_jonas: wrt the Divinatory Tools, your idea is... possibly possible.
14:52:59 <b_jonas> boily: let's ask a magic 8-ball
14:53:20 <b_jonas> do we have a bot that can roll the magic 8-ball on this channel, or should I do it on another channel
14:53:25 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ball: not found
14:53:29 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 8-ball: not found
14:55:35 -!- nycs has changed nick to `^_^v.
14:56:50 <HackEgo> #!/bin/sh \ welcome "$@" | rev | tr \)\( \(\)
14:57:29 <HackEgo> (.ten.lad.cri no ciretose# yrt ,aciretose fo dnik rehto eht roF) .>egaP_niaM/ikiw/gro.sgnalose//:ptth< :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW :?wow
14:57:31 -!- FreeFull has joined.
15:00:25 <int-e> `run cat bin/shachaf1sum
15:00:26 <HackEgo> #!/bin/bash \ sha1sum "$@" | tr a-z n-za-m
15:03:56 <HackEgo> sha1sum: wisdom/shachaf : No such file or directory
15:04:22 <HackEgo> sha1sum: wisdom/wikipedia: No such file or directory
15:04:47 <boily> there aren't any wisdomian shachafes?
15:04:54 <HackEgo> shachaf sprø som selleri and cosplays Nepeta Leijon on weekends.
15:04:59 <b_jonas> I asked 8-ball from perlbot in another channel, and it said indeed my crazy idea is impossible
15:05:03 <FreeFull> The filename might be capitalised weirdly
15:05:08 <mrhmouse> `shachaf1sum /hackenv/wisdom/shachaf
15:05:10 <HackEgo> p3rn6r3803427n499ps0qnnn1674r74qs85839r9 /unpxrai/jvfqbz/funpuns
15:05:28 <FreeFull> That's shachaf's secret identity
15:05:34 <fungot> boily: if yes, what?) t
15:05:50 <boily> fungot: yes, shachaf, tr. you're missing a letter.
15:05:50 <fungot> boily: e2 links are evil."
15:05:56 <boily> fungot: what's an e2?
15:05:57 <fungot> boily: an esolang based off of befunge simcity???
15:06:20 * boily falls down from his chair in complete stupefaction
15:06:30 <FreeFull> We need more cellular automaton esolangs
15:06:59 <boily> imagine. a befunge simcity. it'd be glorious.
15:07:27 <FreeFull> How about an intersection between brainfuck and some turing-complete 1D cellular automaton? Not sure it'd work well
15:07:52 <RJones> I'm doing something similar to that.
15:08:49 -!- tromp has joined.
15:09:08 <RJones> I wouldn't call the languages I've seen that call themselves "cellular automata esolangs" actual cellular automata.
15:09:22 <boily> RJones: horrifying? don't you Realise the Potential? the Splines that could be Reticulated?
15:09:38 <RJones> we must start immediately.
15:10:38 <RJones> I'm developing an agent-based esolang with a control language similar to brainfuck.
15:10:51 <RJones> writing the implementation in C.
15:11:37 <fizzie> http://i.imgur.com/r2gXChY.png is p. accurate.
15:15:09 -!- doesthiswork has joined.
15:26:27 -!- RJones has quit (Quit: Lost terminal).
15:31:28 -!- Phantom___Hoover has quit (Ping timeout: 246 seconds).
15:33:06 -!- FireFly has joined.
15:33:09 -!- FireFly has quit (Changing host).
15:33:09 -!- FireFly has joined.
15:33:49 -!- Effilry has quit (Quit: WeeChat 0.4.2).
15:40:13 -!- tromp has quit (Ping timeout: 246 seconds).
15:44:36 -!- yorick has joined.
15:59:31 -!- CADD has joined.
16:02:05 -!- CADD has quit (Client Quit).
16:02:32 -!- CADD has joined.
16:02:47 <boily> `unicode BLUE BOOK
16:03:03 * boily six-point-trees HackEgo
16:07:59 <CADD> loving the wisdom compendium
16:09:49 <boily> `run python --version
16:10:11 <boily> `run python3 --version
16:10:13 <HackEgo> bash: python3: command not found
16:10:29 -!- Chillectual has joined.
16:10:52 <boily> Chillectual: not gonna welcome you a third time, you vile nickchanger!
16:12:26 <Chillectual> not my fault this friggin' client sucks! :(
16:12:43 -!- LinearInterpol has quit (Ping timeout: 265 seconds).
16:12:56 <CADD> Chillectual: use irssi attain enlightenment
16:13:24 <boily> Chillectual: disregard irssi acquire weechat.
16:13:51 <CADD> boily: how is weechat? ive heard people like it
16:13:59 <CADD> i guess i should give it a try..
16:16:21 <CADD> interesting, weechat has a guile plugin..
16:16:55 -!- Chillectual has quit (Ping timeout: 250 seconds).
16:17:00 <boily> CADD: weechat has interesting plugins, such as a relay → http://cormier.github.io/glowing-bear/
16:17:52 -!- RJones has joined.
16:18:15 <CADD> boily: neat, im happy with curses though. :D
16:21:18 -!- CADD has quit (Quit: Lost terminal).
16:22:15 -!- RJones has quit (Client Quit).
16:23:53 -!- RJones has joined.
16:28:03 -!- Sprocklem has joined.
16:29:18 -!- ^v has joined.
16:35:03 <fizzie> boily: Last I looked at Python and Unicode, not even Python 3 had UCS-4 builds enabled by default, so no non-BMP characters there.
16:35:45 <fizzie> `run python -c 'import sys; print sys.maxunicode'
16:36:11 <fizzie> (The Python 2.7.3 build on this Debian seems to print the proper 1114111 for that.)
16:37:24 <boily> fizzie: Python 3.3 is based on UCD 6.1, and 3.4 will have UCD 6.3.
16:37:59 -!- tromp has joined.
16:38:06 <fizzie> boily: Which doesn't help at all if it's still a UCS-2 build.
16:39:21 <fizzie> Though maybe they've finally changed the default, or at least distributions have, who knows.
16:39:38 <fizzie> (Both 2 and 3 seem to be UCS-4 builds on this thing.)
16:40:17 -!- CADD has joined.
16:40:17 -!- CADD has quit (Client Quit).
16:40:49 -!- Tod-Autojoined has quit (Quit: This is me, signing off. Probably rebooting or something.).
16:43:00 <boily> fizzie: on my install, 'BLUE BOOK' fails on 2.7.6, but works on 3.3.3.
16:43:29 <fizzie> Yes, they do have different versions of the character database as well.
16:43:59 <RJones> `run python -c 'import antigravity'
16:44:00 <fizzie> (But that's a separate issue from the maximum allowed codepoint value in a unicode/str (for 2/3) object.)
16:44:02 <HackEgo> \ Configuration file "/etc/lynx-cur/lynx.cfg" is not available.
16:46:01 -!- CADD has joined.
16:46:52 -!- CADD has quit (Client Quit).
16:47:15 -!- CADD has joined.
16:48:40 -!- conehead has joined.
16:59:42 -!- carado has quit (Ping timeout: 252 seconds).
17:05:45 -!- muskrat has joined.
17:10:25 -!- tromp has quit (Ping timeout: 245 seconds).
17:10:48 -!- pikhq has quit (Ping timeout: 260 seconds).
17:14:11 -!- carado has joined.
17:18:32 -!- pikhq has joined.
17:21:41 -!- conehead has quit (Quit: Computer has gone to sleep.).
17:22:39 -!- conehead has joined.
17:24:07 -!- RJones has quit (Remote host closed the connection).
17:24:40 -!- TodPunk has joined.
17:37:44 -!- Phantom___Hoover has joined.
17:39:10 -!- muskrat has quit (Ping timeout: 245 seconds).
17:39:16 -!- tromp has joined.
17:39:31 -!- augur has quit (Remote host closed the connection).
17:39:57 -!- augur has joined.
17:40:37 -!- Koen__ has joined.
17:41:37 -!- prooftechnique has quit.
17:41:38 -!- Koen__ has quit (Read error: Connection reset by peer).
17:41:43 -!- Koen___ has joined.
17:43:25 -!- tromp has quit (Ping timeout: 246 seconds).
17:44:36 -!- augur has quit (Ping timeout: 246 seconds).
17:46:24 <boily> quintopia: pythoning what? I python for my job, for myself, for others... Python is the Universal Harmonic Language!
17:46:34 <boily> Koen___: bon après-midi! long time no see!
17:47:04 <quintopia> i'm considering pythoning a universal esoteric ide
17:47:28 <Koen___> I haven't used my computer since november 18th
18:01:12 -!- RJones has joined.
18:03:22 -!- Koen___ has quit (Quit: Koen___).
18:05:07 <boily> he'll be back some time in January...
18:12:36 <boily> I think it's a good idea. 2D editing is a must.
18:12:59 <boily> (and befunge syntax highlighting. I am naïf, and still believe it to be possible.)
18:13:32 -!- augur has joined.
18:13:33 <quintopia> well the idea is just a framework which loads different UIs and interpreters specific to each language
18:13:48 <quintopia> so "2d editing" would be supplied by the befunge editor for instance
18:14:01 <quintopia> and you could have multiple tabs open with different languages
18:14:24 <quintopia> each running its own plugged-in UI
18:14:42 <boily> and communication between the tabs, with data exchanged from esolang to esolang :D
18:16:26 -!- RJones has quit (Remote host closed the connection).
18:21:33 -!- prooftechnique has joined.
18:22:00 <quintopia> i suppose it's possible to redirect output. i'll be catching it to display it in the window anyway
18:22:39 <quintopia> but for interpreters that do visual output, like SELECT. or Gammaplex, I couldn't really do anything with that info
18:24:00 -!- RJones has joined.
18:32:02 -!- Phantom___Hoover has quit (Ping timeout: 264 seconds).
18:32:43 <olsner> fungot: do you python?
18:32:43 <fungot> olsner: here is my error with the fnord of the language are dragging its level of suck there in years
18:33:05 <RJones> fungot is a bot, ain't he.
18:33:05 <fungot> RJones: mine isn't for offroad. fnord is perfect! :) gay fnord fnord choir had visited once
18:33:56 <HackEgo> 14) <fizzie after embedding some of his department research into fungot> Finally I have found some actually useful purpose for it. \ 138) <fizzie> It's like mathematicians, where the next step up from "trivial" is "open research question". <fizzie> "Nope... No...This problem can't be done AT ALL. This one--maybe, but only with two yaks and a sherp
18:35:56 <olsner> I'm not sure, but I think it referred to something related to the text generation stuff
18:36:15 -!- Bike has quit (Ping timeout: 245 seconds).
18:36:22 <RJones> fungot: prove P == NP.
18:36:23 <fungot> RJones: i need that optimization anyway. at times i'm feverish and hardly able to open " com1", not " id" tag attribute is supposed to
18:37:04 <RJones> fungot: give me the fourier transform of a sinusoidal wave.
18:37:05 <fungot> RJones: why did saunalahti raise their prices. which prices were raised? ( fnord)
18:37:14 <boily> fungot: prove P /= NP, as the Random Number God intended it to be.
18:37:15 <fungot> boily: the zfc foundation of mathematics does so. there's no complicated magical trickery going on here; scheme's semantics are even simpler than using bison/ flex, this will produce errors but the program was
18:37:31 <boily> RJones: see, you have to ask fungot True Questions.
18:37:31 <fungot> boily: easiest way for me to understand. :p i hope it dies. :p ( copyright should expire soon.) what library is this?
18:38:15 -!- Bike has joined.
18:39:08 <fungot> RJones: and associate memory regions to it.
18:40:14 -!- RJones has quit (Remote host closed the connection).
18:40:14 -!- tromp has joined.
18:44:03 -!- Sprocklem has quit (Ping timeout: 264 seconds).
18:45:14 -!- tromp has quit (Ping timeout: 264 seconds).
18:59:46 -!- Timwi has quit.
19:01:20 -!- Sprocklem has joined.
19:06:26 <fizzie> @tell RJones It's generating text out of n-gram models (mostly) built with https://github.com/vsiivola/variKN
19:08:03 <olsner> is variKN the research you mentioned?
19:11:33 -!- Phantom___Hoover has joined.
19:11:49 <int-e> does the zfc foundation support mathematicians in need?
19:13:48 <Slereah_> No, they cook the famous Zermelo Fried Chicken
19:14:26 <metasepia> Ernst Friedrich Ferdinand Zermelo (18711953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics.
19:19:25 <boily> delicious fried logical chicken...
19:20:30 -!- Sprocklem has quit (Ping timeout: 246 seconds).
19:21:56 <fizzie> @tell RJones (As you can easily deduce from lines 125-169 of https://github.com/fis/fungot/blob/master/fungot.b98 of course.)
19:21:56 <fungot> fizzie: what's srfi-1?
19:22:17 <fizzie> fungot: It's mostly list utilities.
19:22:17 <fungot> fizzie: no, you invoke it after evaluating it in the original sentence is not an argument, is not a
19:22:30 <fizzie> fungot: I'm pretty sure it is.
19:22:30 <fungot> fizzie: i need food, but it's hard to combine the functionality of. and it looks like
19:22:45 <fizzie> fungot: How do you even eat? It makes no sense.
19:22:45 <fungot> fizzie: there is also hochdeutsch. i suggest that you try to formalize what " flow of execution is what " load" is all you care about
19:23:03 <ion> Brahms’ Hungarian Dance #5 on the Bellowphone http://youtu.be/9B-lIVEm0As
19:24:14 <olsner> ion: the *Majestic* Bellowphone
19:24:44 <Slereah_> We are doing MIPS for the assembly class!
19:24:58 <Slereah_> I guess MIPS really does stand for MIPS Is Popular in School
19:25:45 <boily> «Il est des nôtres... il fait du MIPS comme les autres! ♪»
19:26:27 <Slereah_> The professor is all like "Nobody does CISC processors nowadays!"
19:26:29 <Slereah_> And then >my face when basically all computers are CISC
19:26:30 <fizzie> Ah, but are you doing MIPS with SPIM or MIPS with MARS or MIPS with <something else>?
19:26:33 <int-e> oh, this is even nicet than the P = NP proofs. http://arxiv.org/abs/1203.0494
19:27:11 <int-e> (I haven't looked inside yet)
19:27:16 <Slereah_> You can have all the fancy concepts you want, but that's not gonna stop Intel from doing backward compatibility to the 70's
19:28:12 <fizzie> I would assume they'd tell you a recommended setup, at least before any homework exercises.
19:28:32 <olsner> don't worry too much about doing a whole course in an architecture you'll never see again though
19:28:38 <olsner> you can still learn something :)
19:29:26 -!- Slereah has joined.
19:29:28 <Slereah> [20:28:40] <Slereah_> Currently we are doing it on paper
19:29:28 <Slereah> [20:28:46] <Slereah_> Because he is That Kind of teacher
19:29:38 <fizzie> Anyway, there are probably more ARMs than Intels out there? That's got RISC right in the name.
19:29:59 <Slereah> At least all the school computers are Intel
19:30:07 <fizzie> Sure, but all phones are ARM.
19:30:10 <Slereah> Which makes his impassionate speeches about RISC amusing
19:30:20 <Slereah> Yeah but we're not doing homework on phones
19:31:32 <Slereah> Also he told us that the big assembly project, we won't be able to cheat with compilers, because it will be in KERNEL MODE
19:31:45 -!- pikhq has quit (Ping timeout: 246 seconds).
19:31:58 <Slereah> I am a bit sick of people telling me "The OS takes care of that!" whenever I ask an assembly thing
19:32:02 -!- Slereah_ has quit (Ping timeout: 264 seconds).
19:32:20 <fizzie> Kind of a curious statement, though, since most KERNEL MODE code in the world is probably written by a compiler.
19:32:36 <Slereah> Well he didn't say kernel mode
19:32:36 <fizzie> Linux is pretty much all C, and so on.
19:32:45 <Slereah> It was pretty vague statements
19:32:51 <boily> fizzie: you're forgetting the turtles.
19:33:07 <Slereah> But basically it will be some project where we won't be able to just compile it from C
19:33:14 <Slereah> At least not easily I guess?
19:33:37 -!- pikhq has joined.
19:33:39 <Slereah> but fuck it, I will just code it directly in fucking MIPS
19:33:50 <Slereah> That is much more fun than doing bash scripts
19:34:35 <fizzie> Yeah, you can pretty much always compile it from C if you just try hard enough. At least in the hello.c way.
19:34:39 <HackEgo> const char main[] = "AXAYAZA[A\\ATX-pppp-0```- ///P^VTXH10XP4>40PZ414>P_\x0f\x05XATASARAQAP\xc3Hello, world!\n";
19:35:29 <fizzie> `run gcc -o /tmp/x hello.c && /tmp/x; rm /tmp/x
19:35:49 <fizzie> I guess I forgot the funny-warning flag.
19:35:50 <fizzie> `run gcc -Wall -o /tmp/x hello.c && /tmp/x; rm /tmp/x
19:35:53 <HackEgo> hello.c:1: warning: ‘main’ is usually a function \ Hello, world!
19:36:07 <Slereah> By the way, I am wondering
19:36:19 <Slereah> What happens when the computer just doesn't do shit
19:36:28 <myname> how does that even work
19:36:38 <Slereah> Does it just loop idly by until there's an interrupt?
19:36:54 <Slereah> Like what is sent to the processor
19:36:58 <olsner> it could do that, but usually there's a way to sleep until the next interrupt
19:37:40 <olsner> and then there's a million different ways to sleep saving various amounts of power at the cost of latency when waking up again
19:38:22 <Slereah> Let's say the sleepiest sleep without turning off the computer
19:38:44 <myname> wait, people can sleep without running computers?
19:39:23 <Slereah> Before I moved out, the computer was in my room and there was like 4 hard drives and I left it running at night
19:39:29 <Slereah> It takes some getting used to the noise
19:39:40 <quintopia> which is the in-place sorting algorithm that iteratively swaps the nth element with the nth smallest element?
19:39:48 <myname> Slereah: nothing tape can't fix
19:40:12 <myname> quintopia: selection sort?
19:40:20 <Slereah> http://www.youtube.com/watch?v=kPRA0W1kECg
19:40:41 <Slereah> Bogosort is really the best musician
19:40:52 <mroman> Now I have to write an Interpreter for Pinkcode
19:41:03 <mroman> and then let's see about balancing stuff
19:41:33 <fizzie> myname: I'd say it works because of apathetic linkers that don't care about types. (Though I'm not entirely sure how the code ends up in an executable segment of the executable.)
19:41:53 <boily> there are things going on in my ears...
19:42:57 -!- tromp has joined.
19:43:44 <Slereah> Are gnomes mining your earwax
19:44:11 <fizzie> Oh, I guess maybe .rodata ends up in the same r-x ELF segment since that way it only needs to have headers for r-x .text + .rodata and rw- for .data.
19:45:38 <fizzie> (Well, that's how it works, then.)
19:45:49 <int-e> Slereah: I lost my love for Bogosort. https://en.wikipedia.org/wiki/Stooge_sort is my new hero.
19:46:39 <boily> Slereah: sorted gnomes are making boop boop boops in my ears.
19:47:30 * int-e puts a NaN gnome in the array and waits for the inevitable mayhem.
19:48:54 <boily> my ears are incompatible with euro NaN gnomes.
19:49:28 <fizzie> Don't you have IEEEars?
19:49:51 <boily> I didn't renew my subscription.
19:50:22 * boily mapoles fizzie for the horrible pun.
19:52:51 -!- Sprocklem has joined.
20:00:02 <metasepia> CYUL 111900Z 25015KT 15SM VCSH FEW025 BKN060 BKN090 OVC150 M06/M13 A3004 RMK SC2SC3AC2AC1 SLP174
20:01:13 <boily> VCSH? it's minus 6! it can't be SHing!
20:04:04 <boily> (the VC is ViCinity.)
20:04:07 <ion> The Majestic Bellowphone would be perfect for P.D.Q. Bach.
20:10:36 -!- Chillectual has joined.
20:11:52 -!- Chillectual has changed nick to LinearInterpol.
20:12:13 <boily> Chelloctual. HellinearInterpollo. RJonellos.
20:17:42 <int-e> ~metar Ph'nglui mglw'nafh Cthulhu R'lyeh wgah'nagl fhtagn
20:18:45 <int-e> LinearInterpol: Klingon. Ouch. The Old Ones will be sure to smite you for that one.
20:23:00 -!- nisstyre has joined.
20:24:49 <boily> LinearInterpol: you're an elder? are you as old as cpressey? what are your approximate coördinates, and body weigh?
20:26:54 <int-e> 1.5e8km from the sun, direction: varying.
20:29:37 * boily keeps his precious mapole away from the Burning LinearInterpol
20:30:04 <boily> olsner: it's a maple pole. very useful for thwacking people over :D
20:35:05 -!- MindlessDrone has joined.
20:35:26 <boily> `echo 'A mapole is a thwackamacallit built from maple according to the Canadian standards.' >wisdom/mapole
20:35:27 <HackEgo> 'A mapole is a thwackamacallit built from maple according to the Canadian standards.' >wisdom/mapole
20:35:33 <boily> `run echo 'A mapole is a thwackamacallit built from maple according to the Canadian standards.' >wisdom/mapole
20:36:16 <boily> `run echo 'A mapole is a thwackamacallit built from maple according to Canadian standards.' >wisdom/mapole
20:37:07 <HackEgo> cat: wisdon/mapole: No such file or directory
20:37:54 <HackEgo> A mapole is a thwackamacallit built from maple according to Canadian standards.
20:40:10 -!- Phantom___Hoover has quit (Ping timeout: 246 seconds).
20:40:43 <boily> LinearInterpol: don't worry, you're not the first nor the last to try and hack HackEgo. Gregor did a nice job on it.
20:41:29 <Bike> more like it is a shell.
20:42:25 <boily> it's... kinda complicated.
20:42:37 <Bike> It's user-mode linux in a virtual instance bla bla bla
20:42:47 <Bike> if you want an esoteric bot there's fungot. Fungot, refreshments, please.
20:42:47 <fungot> Bike: that was a long time in the shower...' paste about then?
20:42:49 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
20:42:56 <HackEgo> Linux umlbox 3.7.0-umlbox #1 Wed Feb 13 23:30:40 UTC 2013 x86_64 GNU/Linux
20:43:27 <fungot> Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, jconn ) , blsqbot !
20:43:32 <boily> LinearInterpol: have fun!
20:43:49 <mrhmouse> > "lambdabot also answers to >"
20:44:11 <boily> :t "and sometimes even to :"
20:44:26 <lambdabot> Occurs check: cannot construct the infinite type: a0 = a0 -> a0
20:44:26 <lambdabot> Expected type: (a0 -> a0) -> a0 -> a0
20:44:28 <myname> how is hackego secured against anything?
20:44:48 <olsner> ah, that didn't seem to work
20:44:50 <Bike> well, it's under like nine levels of virtualization or something, for one
20:44:51 <mrhmouse> myname: I don't think it is. It's still vulnerable to e.g. fork bombs
20:45:21 <boily> `run :(){ :|:& };:
20:45:30 <Bike> `echo still alive?
20:45:58 <Bike> `run perl -e "fork while fork" &
20:46:00 <mrhmouse> Hm. Maybe Gregor fixed it? I remember not too long ago we demonstrated that it is vulnerable to fork bombs.
20:46:06 <Bike> `echo and yet?
20:46:18 <boily> LinearInterpol: with the bunch of kind of sort of people you can find on this chännel, it better be secure.
20:47:19 <Bike> well, i think we pretty quickly stop seeing the point of gaining control of some random umlbox with an internet whitelist bla
20:47:30 <olsner> I wonder if either of UML or virtualization is "more secure", or if it just comes down to not putting bugs in the implementation(s)
20:48:13 <boily> LinearInterpol: where are you (approximately)?
20:49:28 <boily> you won't be metarred, then, you vile person you.
20:50:06 <metasepia> CYUL 112000Z 26016KT 15SM FEW030 BKN055 BKN090 BKN150 M06/M14 A3005 RMK SC1SC4AC1AC1 SLP177
20:50:47 <boily> pure Essence of Weather, distilled for pilots and other geeks.
20:51:03 <olsner> weather, distilled into gibberish
20:51:42 <metasepia> KBGR 111953Z 28005KT 10SM BKN050 BKN070 M03/M12 A3000 RMK AO2 SLP164 T10281122
20:52:16 <boily> each field means something.
20:52:33 <olsner> are you sure? would you notice if one of them didn't?
20:53:30 <boily> Bangor International Airport, report issued today at 7:53pm UTC, 5 knt westerly winds, 10 mi ground visibility, broken clouds at 5000'...
20:54:32 <boily> broken clouds at 7000', -3 °C with dew point at -12 °C, QFE at 30.00 inHg, something I forgot, QNH at 1016.4 hPA, another thing I forgot.
20:55:04 <boily> QFE: air pressure calibrated at airfield's altitude, QNH: air pressure calibrated at mean sea level.
20:55:28 <boily> yes, units are different. inches of mercury, and hectopascal.
20:55:41 <Bike> inches of mercury...
20:55:52 <Bike> that's terrible. just horrible.
20:55:55 <metasepia> EGNT 112050Z 17007KT 150V210 CAVOK 03/02 Q1020
20:57:06 <Taneb> Where's the temperature help
20:57:29 <Bike> Taneb: maybe the 3/2?
20:57:31 <boily> Taneb: +3 °C, +2 °C. it's the slash group.
20:57:46 <Bike> is this the "ICAO" airport codes?
20:57:58 <HackEgo> 994) <olsner> metar lead to canada, more metar and cows
20:58:14 <boily> Bike: yes. there are some suggestions made in this fine chännel that I should add support for IATA codes also.
20:58:26 <metasepia> KPUW 112053Z AUTO 11012KT 10SM CLR M01/M07 A3037 RMK AO2 SLP314 T10111067 57008
20:58:33 <Bike> why is it cold everywhere
20:58:42 <boily> LinearInterpol: it comes handy in times of Snowstorms. you'll see runway conditions too.
20:59:13 <boily> Bike: because global warming.
20:59:43 <metasepia> KMLB 112053Z 06007KT 10SM BKN080 26/20 A3017 RMK AO2 SLP214 T02610200 56009
21:00:06 <Bike> the problem is that i'm reading these like radio codes which is totally different nerdy shit
21:00:39 <Bike> melbourne is not exactly west of the mississip
21:01:13 <boily> all USA airports are K???, irregardless of the missississippi.
21:01:42 <Bike> (with radios w means east, generally)
21:02:01 <boily> except when it means West. there are some notable exceptions around the Great Lakes.
21:04:56 <metasepia> CYVR 112000Z 11003KT 15SM FEW045 SCT110 OVC130 03/M00 A3034 RMK SC1AC2AC5 SLP273
21:05:00 <olsner> what is west normally if w is east?
21:05:01 <metasepia> CYYC 112000Z 26015G22KT 40SM FEW160 BKN220 01/M09 A2990 RMK AC2CI4 ACC ASOCTD VIRGA SW SLP192
21:05:09 <metasepia> CYOW 112000Z 29015KT 15SM BKN055 BKN070 M09/M16 A3008 RMK SC5AC2 SLP193
21:05:14 <metasepia> CYUL 112000Z 26016KT 15SM FEW030 BKN055 BKN090 BKN150 M06/M14 A3005 RMK SC1SC4AC1AC1 SLP177
21:24:30 -!- Slereah has quit (Read error: Connection reset by peer).
21:24:49 -!- Slereah has joined.
21:26:48 <FireFly> also why isn't it colder??
21:26:55 <metasepia> ESSA 112120Z 25014KT 9999 OVC007 06/05 Q1018 R01L/29//95 R08/29//95 R01R/29//95 NOSIG
21:27:11 <metasepia> VHHH 112100Z 05016KT 6000 FEW025 SCT030 16/08 Q1016 NOSIG
21:28:20 <metasepia> WSSS 112100Z VRB02KT 6000 FEW016 BKN300 25/25 Q1007 NOSIG
21:28:23 <metasepia> ESKN 112120Z 27011KT 9999 BKN008 07/06 Q1020 R26/290095
21:29:11 <boily> time to go buy a practice lock.
21:29:24 -!- boily has quit (Quit: FEEL THE BINDING OF THE CHICKEN).
21:29:27 -!- metasepia has quit (Remote host closed the connection).
21:30:02 <FireFly> ruddy: any wisdom for us this fine evening?
21:30:04 <ruddy> wisdom `ls `? `ls yeah, that's fine `run ls -d wisdom `run /bin/ls -d wisdom wisdom of the day
21:30:23 <FireFly> ruddy: not terribly helpful
21:30:24 <ruddy> terribly noisy and doesn't sound i'm although i mips is terribly common for php, i'm not did you know that well member pointer
21:39:00 <mrhmouse> FireFly: I'm afraid if you seek wisdom from ruddy, your search will be a long one
21:39:04 <ruddy> wisdom `ls `? wisdom `ls how maybe i'm sorry, mrhmouse, i'm afraid `ls
21:39:17 <kmc> http://sfbay.craigslist.org/sfc/cpg/4238295054.html "2 Chemists, need programmer... When completed, the world will never look at air in the same way."
21:39:19 <mrhmouse> ruddy: you should be afraid; we're going to replace you
21:39:22 <ruddy> they'll because if iunno if we're that's we're starting from scratch and then just replace oh.
21:39:53 <Bike> kmc: that was way more exciting before i read the whole thing.
21:43:09 -!- ais523 has joined.
21:43:17 -!- ais523 has quit (Changing host).
21:43:17 -!- ais523 has joined.
21:44:12 <doesthiswork> So, the programmer needs to program the GUI we have developed in C# using MS Visual Studio 2013 Express and SQL Express 2012
21:45:39 -!- MindlessDrone has quit (Quit: MindlessDrone).
21:51:40 <mrhmouse> Nighty night ruddy; I'm reclaiming your disk space.
21:51:41 <ruddy> nighty er, night nighty night it's just night night again, mrhmouse. good night
21:51:48 -!- ruddy has quit (Remote host closed the connection).
21:53:11 -!- nisstyre has left ("Leaving").
21:53:37 -!- tromp has quit (Ping timeout: 250 seconds).
21:55:19 -!- Slereah has quit (Ping timeout: 272 seconds).
22:08:34 -!- ais523 has quit (Remote host closed the connection).
22:08:50 -!- ais523 has joined.
22:18:23 -!- muskrat has joined.
22:19:08 -!- conehead has quit (Quit: Computer has gone to sleep.).
22:20:29 -!- muskrat has changed nick to 16WABPJ69.
22:20:30 -!- muskrat has joined.
22:21:39 -!- muskrat has quit (Ping timeout: 260 seconds).
22:22:37 -!- 16WABPJ69 has changed nick to muskrat.
22:23:02 -!- Sprocklem has quit (Ping timeout: 264 seconds).
22:27:08 <kmc> std::rt::io::native::file::FileDesc::new(1).write("Hello, world!\n".as_bytes())
22:28:18 <Bike> i want to see the symbol name
22:29:15 <ais523> kmc: that "as_bytes()" looks ugly to e, it should take an encoding parameter
22:31:17 <kmc> unfortunately the fact that str is utf8 is more than an implementation detail in Rust
22:31:25 <kmc> in fact a lot of the methods operate on byte indices :/
22:31:46 <shachaf> Well, operating on byte indices doesn't necessarily mean UTF-8.
22:32:55 <ais523> I can sort-of understand a language as low-level as Rust intentionally not bothering doing Unicode correclty
22:33:05 <ais523> but I think it should make a decision as to whether to do it or not
22:35:01 -!- Taneb has quit (Quit: Leaving).
22:37:53 -!- SingingBoyo has joined.
22:41:00 <kmc> i'm not that happy with the way str works either
22:41:19 <kmc> but I'm not sure it counts as doing Unicode incorrectly, either
22:41:41 <ais523> this discussion came up on Reddit recently
22:41:45 <kmc> Rust does enforce that every str is valid UTF-8
22:41:53 <ais523> I decided that the only library I've seen that does Unicode correctly is ncursesw
22:42:01 <ais523> which represents strings as "list of set of codepoint"
22:42:09 -!- nooodl has joined.
22:42:10 <ais523> so as to get the character boundaries correct
22:42:19 <ais523> enforcing that a string is UTF-8 is one thing
22:42:20 -!- nooodl has left.
22:42:25 <ais523> but UTF-8 just encodes codepoints
22:42:32 <ais523> and characters can be multiple codepoints
22:42:37 <shachaf> I hear Perl does Unicode correctly, maybe.
22:43:10 <pikhq> It's probably moot in the case of ncursesw, simply because the terminals it talks to probably don't handle the cases where that matters.
22:43:19 <ais523> shachaf: Perl's closest of any language I know, but even it doesn't handle combining characters correctly without help from a separate library
22:43:34 <ais523> pikhq: well IIRC xterm can handle up to 4 combining characters on each graphic character
22:44:19 <shachaf> I,I represent strings as sequences of equivalence classes of sequences of codepoints
22:44:27 -!- Sorella has joined.
22:44:42 <pikhq> And naive users of wcwidth should get at least vaguely *close*.
22:45:00 <pikhq> Or the more useful wcswidth.
22:45:03 -!- Sorella has quit (Changing host).
22:45:03 -!- Sorella has joined.
22:45:15 <kmc> ais523: representing everything in terms of character clusters (base char + 0 or more combining chars) is what you want for maanging character-cell terminals, yeah, but I wouldn't say it's the one correct way to view Unicode
22:45:33 <pikhq> (wcwidth tells you the width of a wchar_t in terms of terminal cells, wcswidth a wchar_t*)
22:45:53 <kmc> it's not sufficient for proportional width font shaping
22:46:03 <pikhq> I'm not sure, but I assume the combining chars have a width of 0.
22:46:06 <kmc> where you can have a many-many relationship between character clusters and glyphs
22:46:09 <kmc> they do pikhq
22:46:13 <Bike> note to self, switch to pictograms
22:46:41 <pikhq> K, so a program using those would get about as close to "correct" as you can manage with a terminal.
22:47:26 <pikhq> Sucks for complex scripts though.
22:47:36 <shachaf> what about fullwidth characters and other things
22:47:53 <pikhq> shachaf: A fullwidth character has a width of 2.
22:48:00 <ais523> anyway, there are few situations in which manipulating Unicode strings is useful
22:48:19 <ais523> in the ones where it is, such as regexing, and wordwrapping, you want to avoid cutting strings between a character and a combining character
22:48:37 <pikhq> But otherwise aren't particularly concerned about the semantics.
22:54:36 -!- augur has quit (Remote host closed the connection).
22:55:09 -!- augur has joined.
22:56:34 -!- mrhmouse has quit (Quit: Leaving.).
22:59:16 -!- augur has quit (Ping timeout: 240 seconds).
23:02:13 -!- SBoyo has joined.
23:05:03 -!- SingingBoyo has quit (Ping timeout: 260 seconds).
23:05:04 -!- elliott has quit (Ping timeout: 260 seconds).
23:08:54 -!- lambdabot has quit (Read error: Connection reset by peer).
23:09:29 -!- elliott has joined.
23:09:42 -!- conehead has joined.
23:12:38 -!- prooftechnique has quit.
23:13:19 -!- lambdabot has joined.
23:23:00 -!- oerjan has joined.
23:24:08 <int-e> Darn what's the Winslow doing in a Girl Genius Online comic?! (Though I guess it's not the first time ...)
23:26:14 -!- tertu has joined.
23:26:14 <oerjan> well indeed, i think it was in the very first comic
23:28:14 <int-e> might be the same kids, heh.
23:29:23 -!- Bike has quit (Ping timeout: 252 seconds).
23:31:29 <oerjan> of course afair the original winslow belongs to the foglio kids^Wexperiments.
23:35:10 <int-e> wow. https://en.wikipedia.org/w/index.php?title=The_Winslow&action=historysubmit&diff=585606594&oldid=568281150
23:35:52 <oerjan> people are quick on the internet
23:36:52 -!- Phantom___Hoover has joined.
23:37:10 <int-e> And there are so many of them.
23:37:21 <int-e> The result occasionally feels like magic.
23:38:20 -!- Bike has joined.
23:42:30 <oerjan> i didn't really expect wikipedia to have an undeleted article on it, thought.
23:58:29 <oerjan> @tell oklopol i'd expect fence climbing to be at most a graph reachability problem, which means it's in NL. and if all the climbing is reversible, just L.