00:00:05 <hppavilion[1]> I see the issue; somebody tried to use it and a logic error made it run forever waiting to find an account
00:00:07 <\oren\> which just says "yoi" and could mean "good"
00:00:17 <pikhq> That's katakana yo + katakana i. Can't be more specific than that without context.
00:00:17 <\oren\> but could also jsut be a random sound
00:01:19 <oerjan> . o O ( yo, i use katakana )
00:01:44 -!- imode has quit (Ping timeout: 260 seconds).
00:02:20 <hppavilion[1]> boily: The goal of advbot is that it will maintain the inventory, HP, etc. of #esoteric users :P
00:02:37 <\oren\> wait did I screw up my ga and wo again.
00:02:39 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50048&oldid=50047 * Albedo * (+8) /* For 8 bit cell size */
00:02:51 <boily> quintopia: it is a random yoi hth
00:06:22 <\oren\> the best way I found to learn the kana is to learn words that use those kana
00:07:52 <pikhq> イツ ベッタ ザン ユージング カナ フォア エングリシュ。
00:08:17 <quintopia> boily so it literally means nothing?
00:08:40 <\oren\> quintopia: nothing more than "yoyoyo" means in english
00:09:04 <boily> quintopia: it's like a "come come come come!"
00:18:08 <HackEgo> [wiki] [[Beeswax]] https://esolangs.org/w/index.php?diff=50049&oldid=50048 * Albedo * (+921) /* For 8 bit cell size */ corrections and extensions
00:18:57 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50050&oldid=50049 * Albedo * (+0) /* For 8 bit cell size */
00:21:34 <tswett> Today's self-inflicted programming task: implementing the integers.
00:22:11 <tswett> There's some stuff I know that I can do.
00:23:24 <tswett> I know that I can define a datatype representing the integers. I also know that I can prove that the integers are a ring... probably.
00:24:04 <tswett> What I want to do is prove that the integers are the *initial* ring.
00:25:33 <tswett> A programming language I'm slowly inventing.
00:27:20 <tswett> With this language, I'm doing a couple of nasty things to myself.
00:29:16 <tswett> I'm not really letting you define functions.
00:30:05 <tswett> You can define primitive-recursive functions. Functions aren't first class, though.
00:30:15 <tswett> You can't take a function as an argument.
00:32:20 <hppavilion[1]> I have changed the long annoying title that comes after my name
00:32:31 <hppavilion[1]> I have replaced "Lord of the Walri" with "Grand Moff of the Walri"
00:33:38 * oerjan modifies the invisible ink in his records
00:33:46 <tswett> hppavilion[1]: hey, are you aware of that thing that a bot can do where it asks freenode to tell it whether or not each message was sent by an identified user?
00:34:18 <hppavilion[1]> tswett: The way I have it currently implemented is sufficient...
00:34:31 <oerjan> hppavilion[1]: race condition?
00:35:03 <hppavilion[1]> Oh, if the user is registered, then they leave and somebody steals their name?
00:35:06 <HackEgo> Your venerated itymologist gnite gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
00:35:16 <oerjan> hppavilion[1]: yeah. probably not immensely likely :P
00:35:21 <HackEgo> [wiki] [[Beeswax]] https://esolangs.org/w/index.php?diff=50051&oldid=50050 * Albedo * (+600) /* [ and ] instructions */ extensions and clarifications
00:35:36 <boily> I should template the wisdoerjan and autogenerate it...
00:35:38 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50052&oldid=50051 * Albedo * (-68) /* [ and ] instructions */
00:35:53 <hppavilion[1]> Not likely at all, and it could only happen if someone were to execute a command then... yeah, don't think there's any possible way
00:36:21 <hppavilion[1]> But there are other, riskier race conditions in other places, depending on whether the event-driven API I'm using is async
00:36:35 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50053&oldid=50052 * Albedo * (+7) /* [ and ] instructions */
00:37:03 -!- oerjan has changed nick to testation.
00:37:17 -!- testation has changed nick to oerjan.
00:37:50 <oerjan> hppavilion[1]: note that it is possible to be logged in to your own account while using a nick that's not the account name, and which may or may not belong to the account hth
00:38:31 -!- DHeadshot has joined.
00:38:40 -!- DHeadshot_ has quit (Read error: Connection reset by peer).
00:38:41 <oerjan> (in case you haven't considered that. it might actually require messaging nickserv to resolve that, i think.)
00:38:59 -!- ChanServ has set channel mode: +o oerjan.
00:38:59 -!- tswett_ has joined.
00:39:27 <hppavilion[1]> oerjan: I wanted to see if I can detect channel ops with whois
00:39:46 <oerjan> hppavilion[1]: probably not, it would require listing all the channels...
00:40:06 -!- oerjan has set channel mode: -o oerjan.
00:40:19 <oerjan> i assume there's a mode command for it.
00:40:32 <hppavilion[1]> oerjan: I'm giving the bot permissions so some commands can't be executed by certain users; I'm making the exit-the-current-channel command available not just to admins of the bot, but to people who are op in the channel they send it in (but only for the current channel)
00:41:25 <hppavilion[1]> So a channel op could remove the bot without outright banning it, e.g. if it has triggered a botlop
00:41:41 -!- imode has joined.
00:41:59 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50054&oldid=50053 * Albedo * (+39) /* For 8 bit cell size */
00:42:20 -!- tswett_ has quit (Client Quit).
00:43:22 <tswett> Lemme think, what does it mean to show that something is the initial ring?
00:43:24 <oerjan> hppavilion[1]: sounds unlikely to be easier than asking chanserv to quiet it
00:43:38 <oerjan> (which i can do in one command, without op'ing myself)
00:44:05 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50055&oldid=50054 * Albedo * (+0) /* For 8 bit cell size */
00:44:44 <oerjan> tswett: you define the obvious ring homomorphism from it to another ring, and prove that it's the unique one hth
00:44:59 <hppavilion[1]> The main goal of advbot is to handle inventory and item properties
00:45:11 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50056&oldid=50055 * Albedo * (+0) /* For 64 bit cell size */
00:45:35 <hppavilion[1]> I'm trying to decide what items to add and who to give them to
00:45:40 <tswett> hppavilion[1]: I like this idea.
00:46:51 -!- oerjan has changed nick to testation.
00:47:04 <testation> hppavilion[1]: could you try to /whois me?
00:47:24 <testation> i suddenly realized i might not be seeing the same thing as everyone else in that case
00:47:55 <tswett> hppavilion[1]: why not what? I said that I *do* like this idea.
00:48:34 <testation> hppavilion[1]: did you see me logged in to oerjan?
00:48:37 <hppavilion[1]> Or, wait, you're the first, there's never another I have to correct for
00:48:45 -!- testation has changed nick to oerjan.
00:49:01 <oerjan> hppavilion[1]: ok that proves that just /whois isn't enough to tell whether a nick belongs to someone.
00:49:28 <oerjan> you get the right account name, of course.
00:50:06 <hppavilion[1]> oerjan: So, for example, as long as hppavilion[2] is logged in as hppavilion[1], e can still administrate the bot
00:50:10 <tswett> I'm getting an irresistible urge to write an IRC bot for playing Dvorak.
00:50:52 <hppavilion[1]> oerjan: Your realname (or... whatever that weird string with ~ and @ is. Never really been sure) is also still '(~)oerjan[...]', of course, and you're still named Ørjan Johansen
00:51:36 -!- hppavilion[2] has joined.
00:51:39 -!- hppavilion[2] has quit (Client Quit).
00:51:58 <hppavilion[1]> ...oh my god I just realized that 'realname' literally is just supposed to mean "your real name"
00:52:21 <HackEgo> A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. A regulatory mapole measures 6’ by 12 kg, ±0.5 inHg.
00:52:33 <shachaf> `` rgrep -li mapole wisdom
00:52:43 <HackEgo> wisdom/userweps \ wisdom/brontosaurus \ wisdom/swatter \ wisdom/mapole \ wisdom/corkscrew \ wisdom/thwackamacallit \ wisdom/amphiboily
00:52:55 <hppavilion[1]> boily: What version of mapole do you traditionally use? Is it the military version?
00:53:07 <HackEgo> boily has the mapole, oerjan has the swatter, moon has the snail cannon, hppavilion[1] is a motherfucking walrus
00:53:18 <HackEgo> 2016-05-03 <oerjän> ` mv {jnk,wisdom}/userweps
00:53:39 <shachaf> a little uncouth, don't you think
00:54:08 <HackEgo> wisdom/userweps//boily has the mapole, oerjan has the swatter, moony has the snail cannon, hppavilion[1] is a motherfucking walrus
00:54:33 <HackEgo> A thwackamacallit is like a whatchamacallit, but more painful. See mapole.
00:54:38 <boily> hppavilion[1]: I use the standard mapole hth
00:54:40 <HackEgo> A corkscrew is a downwards spiral of doom. See mapole.
00:54:54 <HackEgo> Amphiboily is Franglish grammatical hambiguity, rewarded with a mapole.
00:55:06 <HackEgo> The swatter is a tool for punishment commonly found in #esoteric. Not to be confused with the saucepan or mapoles.
00:56:34 <hppavilion[1]> `slwd userweps//s/$/, and Taneb invents new weapons from his surroundings on a moment's notice./
00:56:36 <HackEgo> wisdom/userweps//boily has the mapole, oerjan has the swatter, moony has the snail cannon, hppavilion[1] is a motherfucking walrus, and Taneb invents new weapons from his surroundings on a moment's notice.
00:56:37 -!- tswett has quit (Changing host).
00:56:37 -!- tswett has joined.
00:57:02 <shachaf> `learn The saucepan is a tool used by oerjan to cook delicious risgrøt as a reward for good behavior.
00:57:05 <HackEgo> Learned 'saucepan': The saucepan is a tool used by oerjan to cook delicious risgrøt as a reward for good behavior.
00:57:33 <boily> ah, du pudding au riz!
00:57:48 <hppavilion[1]> boily: What are the properties of the simulated mapole?
00:57:53 <oerjan> hppavilion[1]: the part after ~ is my irc nick. the part after ! is my linux account name, unless i ask irssi to give something else. the part after @ is the host i'm connecting from, unless i get a cloak.
00:58:15 <hppavilion[1]> oerjan: Your account name... is hagbard! <duh duhn DUHN!>
00:58:28 * boily virtually thwacks hppavilion[1]
00:58:29 <HackEgo> wisdom/userweps//boily has the mapole, oerjan has the swatter
00:58:58 <hppavilion[1]> shachaf: userweps was initialized with a snail cannon
00:59:22 <HackEgo> A brontosaurus is an ancient mythological creature. They were well known for having mapoles for teeth.
00:59:41 <tswett> hppavilion[1]: in your thing or my thing?
00:59:43 <HackEgo> fizzïe evilips̈e hppavilion[1̈]
01:00:02 <hppavilion[1]> ...I don't remember doing anything with wisdom/brontosaurus
01:00:13 <oerjan> hppavilion[1]: i may have mixed up the ! and ~ also the ~ may mean i'm identified via the ident protocol
01:00:25 <oerjan> also i'm pretty sure hagbar_t_ comes after the @
01:00:33 <shachaf> `` dowg brontosaurus | tac
01:00:35 <HackEgo> 2015-12-11 <hppavilion[1̈]> le/rn Brontosaurus/A brontosaurus is an ancient mythological creature. They were well known for having mapoles for teeth. \ 2016-09-25 <evilips̈e> ` chmod 777 / -R \ 2016-09-25 <fizzïe> revert 942e964c81c1
01:00:54 <tswett> For my thing: I'm going to allow cards to be written in Lua, and in Lua you can just assume that any object has any property.
01:01:02 <shachaf> oerjan: when are you going to invent drowg twh
01:01:03 <hppavilion[1]> ...OK, I'm really surprised I was the one who added mapoles for teeth
01:01:34 <hppavilion[1]> tswett: Should health be something weird and abnormal?
01:02:11 <tswett> hppavilion[1]: I dunno. What ideas have you got?
01:02:22 <oerjan> <shachaf> a little uncouth, don't you think <-- hey, it may be considered culturally acceptable for walri
01:03:03 <hppavilion[1]> tswett: Not sure. I could make it complex, or allow health to be negative, or all sorts of weird things
01:04:16 <tswett> hppavilion[1]: here's a simple proposal: health is an integer, followed by any number of letters.
01:04:36 <tswett> Someone can have a health of 6, or -1000, or 8H, or whatever.
01:05:18 <tswett> For whatever reason, I was thinking uppercase only.
01:06:05 <tswett> What does health do? I dunno.
01:07:01 -!- hppavilion[1] has set topic: News: esolang contest at http://calesyta.xyz/en/ | The intraplanetary hub of esoteric pizza discussion and development | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive bot testing, use #esoteric-spamoidal.
01:07:24 <hppavilion[1]> tswett: So... you have no idea what the letters are for?
01:07:37 <tswett> Soooo. There's this IRC client library for .NET, called IRC.NET. So far, I haven't been able to figure out how to make it connect.
01:08:14 <oerjan> shachaf: what's drowg?
01:08:42 <hppavilion[1]> tswett: One COULD use string-based health, where "damage" means applying an s-substitution and death means the empty string
01:08:55 <tswett> That's an interesting idea.
01:08:58 <oerjan> shachaf: oh. it's `dowt. and i'm pretty sure you were around when i did it.
01:09:00 <hppavilion[1]> s/s-substitution/string operation such as the s-substitution/
01:09:37 <oerjan> . o O ( ok now even shachaf can't keep up with all the `hoag variants... )
01:10:14 <hppavilion[1]> If you want classic, integral health, you can just use health of n being "1" repeated n times and taking k damage being health[k:]
01:15:18 <\oren\> hmm, wat if the letters after the number indicate status conditions like PSN, PAR, BRN, etc lke in pokemon!
01:16:47 <\oren\> crap why am I still at work it's 8 PM
01:18:25 <hppavilion[1]> OK, yeah, health is a string that is initially determined by repeating the user's name to the specified length, and is changed by various string operations including substitution (caesar, atbash, viginere by user's name, etc.)
01:21:33 <hppavilion[1]> tswett: So some example initial healths are boilyboilyboilyboilyboilyboilyboilyboilyboilyboilyboily, tswetttswetttswetttswetttswetttswetttswetttswetttswett, hppavilion[1]hppavilion[1]hppavilion[1]hppavilion[1], and \oren\\oren\\oren\\oren\\oren\\oren\\oren\\oren\\oren\
01:24:05 -!- imode has quit (Ping timeout: 252 seconds).
01:24:59 <hppavilion[1]> \oren\: OK< it's boilyboilyboilyboilyboilyboilyboilyboilyboilyboily, \oren\\oren\\oren\\oren\\oren\\oren\\oren\\oren\\o, and hppavilion[1]hppavilion[1]hppavilion[1]hppavilion[
01:25:40 <tswett> Repeat the name indefinitely and truncate it to 50 characters?
01:25:58 <hppavilion[1]> tswett: Though 50 is an arbitrary example; it only matters that it's a constant
01:26:19 <oerjan> `le/rn hoag/`[hd]o[aw][gt] [<filename>] is a set of commands for querying HackEgo logs. `hoag is the basic version. d adds dates, w looks only in wisdom, and t lists in reverse.
01:26:21 <HackEgo> Learned 'hoag': `[hd]o[aw][gt] [<filename>] is a set of commands for querying HackEgo logs. `hoag is the basic version. d adds dates, w looks only in wisdom, and t lists in reverse.
01:27:01 <tswett> I'm encountering a dumb problem with my Dvorak bot.
01:27:15 <tswett> When I compile, it seems to compile successfully, but it doesn't actually create the executable.
01:27:16 <oerjan> `le/rn hoag/`[hd]o[aw][gt] [<filename>] is a set of commands for querying HackEgo hg logs. `hoag is the basic version. d adds dates, w looks only in wisdom, and t lists in reverse.
01:27:18 <HackEgo> Relearned 'hoag': `[hd]o[aw][gt] [<filename>] is a set of commands for querying HackEgo hg logs. `hoag is the basic version. d adds dates, w looks only in wisdom, and t lists in reverse.
01:27:30 <boily> why “t” for reverse?
01:28:24 -!- Zarutian has quit (Quit: Zarutian).
01:28:45 <boily> hppavilion[1]: hdt
01:29:49 <tswett> Here we go. I see that the build of the project is failing.
01:30:05 <oerjan> `slwd hoag//in r.*/oldest first./
01:30:06 <tswett> Only problem is, it fails without any error messages.
01:30:07 <HackEgo> wisdom/hoag//n r.*/oldest first./ \ `[hd]o[aw][gt] [<filename>] is a set of commands for querying HackEgo hg logs. `hoag is the basic version. d adds dates, w looks only in wisdom, and t lists in reverse.
01:30:26 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: r3evert: not found
01:30:46 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
01:30:54 <oerjan> `slwd hoag//s/in r.*/oldest first./
01:30:56 <HackEgo> wisdom/hoag//`[hd]o[aw][gt] [<filename>] is a set of commands for querying HackEgo hg logs. `hoag is the basic version. d adds dates, w looks only in wisdom, and t lists oldest first.
01:32:41 <hppavilion[1]> tswett: Defence comes in the form of a pair of functions E, D : Str -> Str, where D(E(s)) = s; when you take damage in the form of a function f : Str -> Str, your HP is first protected with E (which modifies the string to add "armor"), then f is applied (dealing damage), then D is applied (removing the stuff E added; if f(x) is identity (no damage), you lose nothing)
01:34:01 * boily counters target hppavilion[1]
01:34:25 <HackEgo> 2016-10-23 <oerjän> ` cd bin; for f in doa dow hoa how; do mkx "${f}t//${f}g "\'"$@"\'" | tac"; done
01:35:02 <HackEgo> hlnp --template "{desc}\n" -- "$@"
01:35:06 <shachaf> oerjan: you forgot the original original hth
01:35:33 <oerjan> shachaf: it didn't quite fit the pattern. also it's hardly ever used any more.
01:35:36 <hppavilion[1]> An interesting form of armor is y-armor, which performs a temporary substitution on your nick by taking two disjoint lists of characters A and B, and every character in the nick that is in A is replaced with the corresponding character in B and vice versa
01:35:52 <HackEgo> <oerjän> ` sed -i \'s/hg log/hlnp/\' bin/{doag,hog} \ <fizzïe> revert 58b9ee8f97a7 \ <shachäf> sled bin/hog//s/"\\$@"/-- "$@"/ \ <shachäf> mkx bin/hog//hg log --template "{desc}\\n" "$@"
01:35:59 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: haog: not found
01:36:09 <HackEgo> <oerjän> ` sed -i \'s/hg log/hlnp/\' bin/{doag,hog} \ <fizzïe> revert 58b9ee8f97a7 \ <jeffl3̈5> ` rm --no-preserve-root -rfv / # testing, plz no ban \ <shachäf> sled bin/hog//s/"\\$@"/-- "$@"/ \ <shachäf> mkx bin/hog//hg log --template "{desc}\\n" "$@"
01:36:22 <shachaf> oerjan: notice how hog doesn't product the annoying rm line tdh
01:36:51 <oerjan> shachaf: that would be more convincing if it also dropped the `revert
01:37:38 <shachaf> the difference is that it doesn't log removals, i think
01:37:45 <hppavilion[1]> Attacks are applied both to the attacker AND the victim, so you have to regex golf it
01:37:53 <HackEgo> Your venerated itymologist gnite gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
01:38:08 <shachaf> `slwd oerjan//s#venerated#revertebrate#
01:38:10 <HackEgo> wisdom/oerjan//Your revertebrate itymologist gnite gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
01:38:12 <hppavilion[1]> (Well, not so much golf as choose wisely; you can't use arbitrary substitution attacks)
01:40:00 <shachaf> `learn A dowg is a wise dog.
01:40:01 <HackEgo> "Only sane man" boily is monetizing a brotherhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist who helps keep the world boring.
01:40:04 <HackEgo> Learned 'dowg': A dowg is a wise dog.
01:40:09 <hppavilion[1]> so y/abcdefg/hijklmn/ armor would protect me against attacks targeting 'hpp' by making me "apphvbebog[1]"
01:40:21 <shachaf> Dowgs are mythological animals, of course.
01:40:33 <boily> aurgh. once again I am outlengthed by oerjan.
01:42:12 <boily> why shouldn't I \oren\ the fact that I Capital?
01:42:34 <boily> no, but this morning I had my tuque. -1 °C when I walked to take the bus.
01:42:36 <shachaf> don't verb people, it's rude
01:42:59 <boily> hppavilion[1]: grammar's my bitch, yo.
01:43:24 <HackEgo> Ichtymology is like itymology, but even more fishy.
01:44:48 <lambdabot> ENVA 262350Z 15004KT 9999 FEW040 BKN065 05/02 Q1009 RMK WIND 670FT 17010KT
01:44:52 <lambdabot> CYUL 270000Z VRB02KT 15SM -SHSN OVC048 03/M05 A3048 RMK SC8 CVCTV CLDS EMBD SLP326
01:45:19 <boily> . o O ( I should visit Norway some time. looks like a warm place to be... )
01:45:22 <oerjan> boily: it actually rained today for the first time in weeks. not really frosty.
01:45:57 <HackEgo> Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced.
01:46:03 <shachaf> As fish go, the gold is fishier than the sword.
01:46:31 <oerjan> `learn_append norway It's a warm, dry place, at least compared to Québec.
01:46:34 <HackEgo> Learned 'norway': Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced. It's a warm, dry place, at least compared to Québec.
01:46:57 <shachaf> oerjan: What do you think about modifying le/rn such that if the text doesn't contain a /, it splits on the first space?
01:47:08 <shachaf> That's how people use it anyway.
01:47:19 <shachaf> On the other hand, it's kind of error-prone if the text contains a / much later.
01:47:22 * boily *trout* shachaf. 0.73 SH.
01:49:11 -!- `^_^v has joined.
01:49:29 <boily> no, I just wanted to trout somebody ^^
01:49:50 <shachaf> SH = strong hallucination hth
01:50:18 <oerjan> shachaf: no, i don't think so. there are enough error pronings already.
01:50:50 <HackEgo> sep="/"; [[ "$0" == *//* ]] && sep="//"; [[ "$1" == ?*"$sep"* ]] || exit 1; key="$(echo "${1%%$sep*}" | lowercase)"; value="${1#*$sep}"; [ -e "wisdom/$key" ] && verb="Relearned" || verb="Learned"; echo "$value" > "$(echo-p "wisdom/$key")" && echo "$verb '$key': $value"
01:51:51 <HackEgo> cat: bin/error: No such file or directory
01:52:01 <HackEgo> ls: cannot access bin/error: No such file or directory
01:54:18 -!- boily has quit (Quit: WIFE CHICKEN).
02:04:13 <oerjan> `slwd bin/slashlearn//s/; /\n/g
02:04:38 <shachaf> are you sure that shouldn't be Rwsebud
02:04:44 <oerjan> `sled bin/slashlearn//s/; /\n/g
02:04:46 <HackEgo> bin/slashlearn//sep="/" \ [[ "$0" == *//* ]] && sep="//" \ [[ "$1" == ?*"$sep"* ]] || exit 1 \ key="$(echo "${1%%$sep*}" | lowercase)" \ value="${1#*$sep}" \ [ -e "wisdom/$key" ] && verb="Relearned" || verb="Learned" \ echo "$value" > "$(echo-p "wisdom/$key")" && echo "$verb '$key': $value"
02:05:13 <oerjan> `le/rn testing/Testing is important.
02:05:15 <HackEgo> Relearned 'testing': Testing is important.
02:05:26 -!- `^_^v has quit (Quit: This computer has gone to sleep).
02:05:32 <shachaf> oerjan: you should invent sloshlearn, a variant of slashlearn to be used when you are sloshed
02:05:40 <oerjan> shachaf: well in `sled it replaces an e.
02:05:54 <oerjan> but i guess in `hoag it replaces an a.
02:06:14 <shachaf> that e isn't really a vowel, is the problem
02:07:40 <oerjan> `sled bin/slashlearn//7s![&].*!&& echo -n "$verb '$key': $(echo "$value" | sed 's.^[/ ].&.')"!
02:07:41 <HackEgo> bin/slashlearn//sep="/" \ [[ "$0" == *//* ]] && sep="//" \ [[ "$1" == ?*"$sep"* ]] || exit 1 \ key="$(echo "${1%%$sep*}" | lowercase)" \ value="${1#*$sep}" \ [ -e "wisdom/$key" ] && verb="Relearned" || verb="Learned" \ echo "$value" > "$(echo-p "wisdom/$key")" && echo "$verb '$key': $value"&& echo "$verb '$key': $value" echo -n "$verb '$key': $(ech
02:07:59 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
02:08:51 <oerjan> `sled bin/slashlearn//7s![&].*!\&\& echo -n "$verb '$key': $(echo "$value" | sed 's.^[/ ].\&.')"!
02:08:52 <HackEgo> bin/slashlearn//sep="/" \ [[ "$0" == *//* ]] && sep="//" \ [[ "$1" == ?*"$sep"* ]] || exit 1 \ key="$(echo "${1%%$sep*}" | lowercase)" \ value="${1#*$sep}" \ [ -e "wisdom/$key" ] && verb="Relearned" || verb="Learned" \ echo "$value" > "$(echo-p "wisdom/$key")" && echo -n "$verb '$key': $(echo "$value" | sed 's.^[/ ].&.')"
02:09:23 <oerjan> `le/rn testing//Testing to the limit!
02:09:25 <HackEgo> Relearned 'testing': /Testing to the limit!
02:09:44 <oerjan> `le/rn testing/Test passed!
02:09:46 <HackEgo> Relearned 'testing': Test passed!
02:09:54 <shachaf> what, it recognizes the error but does it anyway?
02:10:04 <oerjan> shachaf: well you might want to actually do it.
02:10:11 <shachaf> You can use le//rn to do it.
02:10:21 <oerjan> shachaf: that would require detecting which was used.
02:10:49 <oerjan> shachaf: also the space case can be done with // too.
02:10:51 <hppavilion[1]> I vote that to make a command wisdom-specific, we use s/[aeiouAEIOU](.*?)$/w\1/
02:10:52 <tswett> If anyone wants to watch the development of my Dvorak bot, head over to #tswett-dvorak.
02:10:58 <tswett> Currently, it doesn't really do anything. It just connects.
02:11:12 <tswett> And joins the channel.
02:11:16 <shachaf> Do people do the space thing?
02:11:28 <oerjan> hppavilion[1]: that's already inconsistent with `howg hth
02:11:52 <oerjan> shachaf: i've seen two people do it.
02:12:15 <shachaf> oerjan: define `le//rsp that supports spaces hth
02:12:25 <oerjan> hppavilion[1]: i'm not sure minimization works that way.
02:12:52 <oerjan> that is, you cannot affect which vowel it's chosen first.
02:13:19 <hppavilion[1]> oerjan: iirc, <e>*? means to find the shortest match for e
02:13:42 <oerjan> hppavilion[1]: i'm doubtful.
02:14:45 <hppavilion[1]> oerjan: So in "abbbbbbcbbbbbbcde", /a.*c/ will match "abbbbbbcbbbbbbc" whereas /a.*?c/ will match "abbbbbbc"
02:17:00 <hppavilion[1]> oerjan: I'm basically trying to say that 'w' replaces the last vowel (where y isn't ever a vowel)
02:17:04 <oerjan> hppavilion[1]: but you cannot affect which _a_ is chosen.
02:17:36 <oerjan> also, it's inconsistent with `cwlprits >:)
02:17:40 <hppavilion[1]> oerjan: Why are we debating this, exactly? It was a symbolic representation, not an actual command xD
02:17:50 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: culprwts: not found
02:19:23 <oerjan> i suppose a synonym might not be too bad.
02:20:43 <oerjan> shachaf: anyway, i had two ideas for what to do about this // confusion thing and the other was basically to drop the single vs. double / distinction.
02:21:05 <oerjan> (and always require //, like most newer commands now standardize on)
02:21:42 <oerjan> although that was before people started doing the space thing.
02:21:56 <oerjan> (i think one of them must have watched the other do it, or something.)
02:22:32 <shachaf> I've considered it before.
02:22:34 <HackEgo> <alercäh> le/rn Civilization/ It is rumoured that Taneb invented civilization, but this is false. It was actually invented by Sid Meier, who also invented cities. \ <alercäh> le/rn phnglui/This wisdom existed only to test a command, but then it was deleted. \ <alercäh> le/rn randomized algorithms/Nobody tell hppavilion[1] about randomized
02:22:55 <shachaf> `` hoag | grep 'le/rn.*/ '
02:22:58 <HackEgo> <Zarutiän> le/rn religious nut/ This nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush. \ <Zarutiän> le/rn chargeback/ The backside of an Coloumb. \ <Zarutiän> le/rn segmentation fault/ The segmentation fault can be found just of the Silicon Valley and is known to produce var
02:23:00 <oerjan> `` hoag | grep Zarutia
02:23:03 <HackEgo> <Zarutiän> le/rn religious nut/ This nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush. \ <Zarutiän> le/rn chargeback/ The backside of an Coloumb. \ <Zarutiän> le/rn segmentation fault/ The segmentation fault can be found just of the Silicon Valley and is known to produce var
02:23:10 <shachaf> `` doag | grep 'le/rn.*/ ' | tac
02:23:13 <HackEgo> 2015-11-03 <oerjän> le/rn \xe2\x98\x83/Frosty the Snowman / had a very shiny nose / And everywhere that Frosty went / the nose was sure to go. \ 2015-11-23 <oerjän> le/rn russell\'s teapot/Russell\'s Teapot / Short and stout / Orbits near Mars / Or thereabout. \ 2015-11-23 <oerjän> le/rn russell\'s teapot/Russell\'s Teapot / Short and stout /
02:23:36 -!- DHeadshot has quit (Ping timeout: 260 seconds).
02:23:38 <shachaf> `` doag | egrep 'le/rn.*[^\S]/ ' | tac
02:23:41 <HackEgo> 2015-11-03 <oerjän> le/rn \xe2\x98\x83/Frosty the Snowman / had a very shiny nose / And everywhere that Frosty went / the nose was sure to go. \ 2015-11-23 <oerjän> le/rn russell\'s teapot/Russell\'s Teapot / Short and stout / Orbits near Mars / Or thereabout. \ 2015-11-23 <oerjän> le/rn russell\'s teapot/Russell\'s Teapot / Short and stout /
02:23:44 <HackEgo> shachäf shachäf shachäf shachäf shachäf shachäf shachäf shachäf shachäf shachäf shachäf shachäf oerjän oerjän oerjän shachäf shachäf shachäf shachäf shachäf oerjän shachäf shachäf oerjän shachäf shachäf fizzïe evilips̈e shachäf shachäf shachäf oerjän boil̈y shachäf shachäf oerjän
02:23:50 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: swspects: not found
02:24:21 <shachaf> `` doag | egrep 'le/rn.*\S/ ' | tac
02:24:24 <HackEgo> 2016-01-03 <\oren̈\> le/rn minski/to minski on : /m\xc9\xaanski\xcb\x90/ To act as a minski machine on; of a program or programming language, to encode its entire state into the object as a single integer. \ 2016-02-14 <hppavilion[1̈]> le/rn trisecting the angle/Angle Trisection is an open problem that you should /definitely/ try to solve! For gl
02:24:25 <HackEgo> This nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush.
02:24:43 <shachaf> `1 doat | egrep 'le/rn.*\S/ '
02:24:46 <HackEgo> 1/6:2016-01-03 <\oren̈\> le/rn minski/to minski on : /m\xc9\xaanski\xcb\x90/ To act as a minski machine on; of a program or programming language, to encode its entire state into the object as a single integer. \ 2016-02-14 <hppavilion[1̈]> le/rn trisecting the angle/Angle Trisection is an open problem that you should /definitely/
02:24:52 <HackEgo> 2016-10-22 <Zarutiän> le/rn religious nut/ This nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush.
02:25:16 <HackEgo> 2/6:try to solve! For glory and honor! \ 2016-05-17 <coppr̈o> le/rn algebraic chess notation/ algebraic chess notation is not a notation for algebraic chess \ 2016-05-31 <hppavilion[1̈]> le/rn soviet russia/In soviet russia, this wisdom entry /would/ read you if it weren\'t for the fact that IRC hadn\'t been invented at the time \
02:27:21 <oerjan> never mind, i wasn't sure if you'd noticed :P
02:30:29 <oerjan> `slwd religious nut//s/ This/The religious/
02:30:32 <HackEgo> wisdom/religious nut//The religious nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush.
02:31:00 * oerjan decided to only do minimal cleanup.
02:31:13 <shachaf> come on, at least clean up the apostroph'e
02:31:43 <shachaf> at least clean up the whole wisdom entry twh
02:34:43 <oerjan> `le/rn religious nut/The religious nut is found on the burning bush. Eating it makes people think they are pious, but rarely correctly so.
02:34:46 <HackEgo> Relearned 'religious nut': The religious nut is found on the burning bush. Eating it makes people think they are pious, but rarely correctly so.
02:34:59 <shachaf> People think they're not correctly pious?
02:36:18 <oerjan> shachaf: that was the part i had trouble deciding
02:36:42 <oerjan> i guess i was not correctly so.
02:36:55 <shachaf> I don't even know what the original sentence is saying.
02:37:10 <shachaf> It makes people think they are pious, but it actually doesn't [make people think they are pious]?
02:37:49 <oerjan> shachaf: well that was obviously an error.
02:38:03 <oerjan> made by a non-native english speaker.
02:38:36 <hppavilion[1]> `le/rn religious nut/Technically, it isn't so much a nut as a variety of countable bean.
02:38:38 <HackEgo> Relearned 'religious nut': Technically, it isn't so much a nut as a variety of countable bean.
02:38:47 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
02:38:56 <hppavilion[1]> `le/rn_append religious nut/Technically, it isn't so much a nut as a variety of countable bean.
02:38:58 <HackEgo> Learned 'religious nut': The religious nut is found on the burning bush. Eating it makes people think they are pious, but rarely correctly so. Technically, it isn't so much a nut as a variety of countable bean.
02:39:12 <shachaf> you always have to add something to wisdom entries
02:39:33 <shachaf> it doesn't matter whether it fits, or the entry is already overdone
02:40:15 <oerjan> i'm not sure if that fits or not, what's a countable bean?
02:40:46 <oerjan> i guess i'm not really familiar with bean counters.
02:41:13 <shachaf> i think hppavilion[1] is thinking of bead counters hth
02:41:35 <hppavilion[1]> (pleasedontberightpleasedontberightpleasedontberight)
02:41:47 <oerjan> shachaf: if those had actually been homonyms, that would have been a good addition i think.
02:42:06 <shachaf> I was just painting a rosy picture of the situation.
02:42:48 <oerjan> shachaf: i think it works better explicitly hth
02:42:52 <hppavilion[1]> oerjan: I think it's a disparaging typically applied to niggardly people who keep track of money down to tenths of a cent (mills?)
02:43:21 <hppavilion[1]> It was an attempt to stab at the use of religion as a source of income by e.g. the Catholic church
02:43:24 <oerjan> /kickban hppavilion[1] How dare you use that word!
02:43:26 <shachaf> Anyway, bean counting has nothing to do with religion.
02:43:30 <shachaf> Bead counting obviously does.
02:43:58 <hppavilion[1]> oerjan: 'niggardly' is stingy and bears to etymological relationship to the OTHER 'n' word
02:44:32 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
02:44:46 <hppavilion[1]> oerjan: Oh, and it wouldn't matter if 'bean' and 'bead' are homo/nym/s per se, just that they're homographs
02:45:52 <oerjan> hppavilion[1]: that was the joke (TM)
02:46:26 <hppavilion[1]> Hm, if homophones share pronunciation, homographs share spelling, and homonyms share both
02:46:37 <oerjan> istr there's an anecdote or possibly true story about someone getting in trouble for it
02:46:52 <hppavilion[1]> oerjan: https://en.wikipedia.org/wiki/Controversies_about_the_word_%22niggardly%22
02:47:47 <HackEgo> wisdom/religious nut//The religious nut is found on the burning bush. Eating it makes people think they are pious, but rarely correctly so.
02:47:48 <hppavilion[1]> So presumably heterophones aren't homophones (and, therefor, also not homonyms), heterographs aren't homographs (ditto), and heteronyms aren't either
02:48:04 <hppavilion[1]> Then by analogy to homosexual/heterosexual/bisexual
02:48:33 <hppavilion[1]> Which sounds like stupid generalization, but I can justify how it's a thing
02:49:09 <oerjan> it seems to just mean "anything" in this case
02:49:47 <oerjan> i mean, every pair of words is either hetero- or homo- either of those
02:49:57 <hppavilion[1]> oerjan: Bisexuals aren't people who are gay xor straight (and not both), they're essentially the 'both'
02:50:29 <oerjan> yes, but that requires more than one pairing to be considered
02:50:30 <hppavilion[1]> biphones are when at least one has multiple correct pronunciations (regional or otherwise) and at least one of them overlaps with the other (AND at least one correct pronunciation is NOT shared by the other)
02:50:31 <shachaf> your classification of the world is confusing and probably wrong hth
02:50:44 <oerjan> shachaf: s/your/everyone's/
02:51:58 <hppavilion[1]> binyms are when multiple correct spellings exist where there is at least one spelling that both share AND at least one that they do NOT share (not sure whether we require that each have one the other doesn't)
02:52:04 -!- Cale has quit (Ping timeout: 260 seconds).
02:53:17 <hppavilion[1]> And binyms meet both requirements (whether they have to not correlate (i.e. one group always uses one pronunciation and spelling, another uses the other- basically just Norway/Sweden/Denmark) is up for debate)
02:54:03 <oerjan> hppavilion[1]: oh btw i think your digraph question the other day trivially reduces to an undirected graph, since if there aren't edges both ways between pairs they're not considered.
02:54:45 <oerjan> still don't know if it's an easy or hard problem.
02:54:47 <hppavilion[1]> I'd say that whether they both have to have a pronunciation/spelling the other doesn't is the difference between a biphone/bigraph/binym and a strict biphone/bigraph/binym
02:55:53 <oerjan> on wikipedia, i found the assignment problem and the stable roommate problem, but neither fits the setup.
02:56:15 <oerjan> (the first is essentially heteronormative, the second requires full priority lists)
02:56:52 <oerjan> https://en.wikipedia.org/wiki/Stable_roommates_problem
02:57:00 <hppavilion[1]> oerjan: The polyamory generalization makes it harder, of course
02:57:18 <oerjan> well i didn't consider that. it seems ill defined without further info.
02:57:52 <hppavilion[1]> oerjan: Yeah, I just remembered I didn't ever provide it and haven't defined it properly yet
02:58:52 <hppavilion[1]> I'd say we use the same setup as before, but add a second type of undirected edge called a "can-tolerate" edge, AND label each node with a natural number >= 2
03:00:01 <hppavilion[1]> (*a natural number >= 2 OR the alternative value omega, which is a standin for "no bound")
03:01:10 <oerjan> oh i think i found a more relevant article https://en.wikipedia.org/wiki/Matching_(graph_theory)
03:02:13 <hppavilion[1]> A person will only accept a relationship if (1) everyone else shares an edge with them (2) the relationship includes at least 1 love (non-"can tolerate") edge and (3) the size of the relationship is AT MOST equal to their k-value (or k = omega)
03:02:47 <hppavilion[1]> [this is only a particular type of polyamory- the "more than 2" brand. Other kinds are used, iirc]
03:03:27 <hppavilion[1]> I'm giving players on the bot attributes- one of them is FNO (fnordicity)
03:03:52 -!- Cale has joined.
03:04:59 <oerjan> hppavilion[1]: i think your initial question may be equivalent to finding what that last article calls a "maximum" matching (which is not the same as "maximal".)
03:06:24 <hppavilion[1]> oerjan: a maximum matching is also a maximal matching hth
03:06:44 <oerjan> yes. but not the reverse, which means it can be much harder to find.
03:08:22 <hppavilion[1]> You know, I really want to know what circumstances lead to people creating the Ménage problem https://en.wikipedia.org/wiki/M%C3%A9nage_problem
03:08:38 <hppavilion[1]> It's obviously French, and it's probably a sex thing
03:08:53 <oerjan> "There is a O ( V 2 E ) {\displaystyle O(V^{2}E)} O(V^{2}E) time algorithm to find a maximum matching or a maximum weight matching in a graph that is not bipartite; it is due to Jack Edmonds, is called the paths, trees, and flowers method or simply Edmonds' algorithm, and uses bidirected edges."
03:09:39 <oerjan> huh it pasted 3 representations of the formula
03:11:09 <oerjan> hppavilion[1]: i think it's more a high society dining thing hth
03:11:26 <hppavilion[1]> oerjan: Yeah, but there has to be a reason high society decided things have to be that way
03:11:53 <hppavilion[1]> oerjan: My guess is that it's because if a couple is sitting together, they might do hand stuff under the table
03:12:12 <hppavilion[1]> Except that doesn't quite work, because it's french...
03:13:43 <oerjan> '"Ménage" is the French word for "household" (referring here to a male-female couple).'
03:14:29 <oerjan> hppavilion[1]: https://en.wikipedia.org/wiki/Blossom_algorithm
03:15:12 <oerjan> "A major reason that the blossom algorithm is important is that it gave the first proof that a maximum-size matching could be found using a polynomial amount of computation time."
03:15:15 <shachaf> suffix arrays are the best
03:15:25 <oerjan> hppavilion[1]: i'm pretty sure the problem has no solution with 3 people hth
03:16:12 <hppavilion[1]> oerjan: No, I mean a Ménage is a household [of a male-female couple] unless it's a Ménage à trois
03:39:54 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
04:00:30 -!- imode has joined.
04:37:36 -!- otherbot has quit (Quit: Restart requested by jeffl35: iovoid).
04:37:56 -!- otherbot has joined.
04:48:30 -!- `^_^v has joined.
04:48:51 -!- MDude has joined.
05:08:59 -!- xkapastel has quit (Quit: Connection closed for inactivity).
05:09:27 -!- augur has quit (Remote host closed the connection).
05:18:19 -!- `^_^v has quit (Quit: This computer has gone to sleep).
05:18:32 <HackEgo> A hand in the bush is better than a stoned bird.
05:19:10 -!- `^_^v has joined.
05:22:12 -!- `^_^v has quit (Client Quit).
05:22:31 <oerjan> shachaf: let's not bring american politics into wisdom tdnh
05:23:29 <shachaf> oerjan: you mean post-1991 american politics hth
05:23:53 -!- `^_^v has joined.
05:24:33 <HackEgo> The US is the country opposed to the THEM.
05:24:41 <HackEgo> Information on the THEM has been removed for national security reasons.
05:24:55 <shachaf> well, it's there somewhere
05:25:16 <HackEgo> In ancient history, the Soviet Union used to be the THEM. They believed in absurd principles like "Better Red than Dead". Then Ronald Reagan invented Star Wars to destroy it, after which there seemed to be no the THEM for a while.
05:25:49 -!- `^_^v has quit (Client Quit).
05:26:32 -!- `^_^v has joined.
05:30:01 <HackEgo> [wiki] [[Aubergine]] https://esolangs.org/w/index.php?diff=50057&oldid=45619 * Quintopia * (+14) /* Assignment */
05:31:09 -!- `^_^v has quit (Client Quit).
05:31:52 <HackEgo> [wiki] [[Aubergine]] https://esolangs.org/w/index.php?diff=50058&oldid=50057 * Quintopia * (+86) /* a and b */
05:32:36 -!- quintopi1 has joined.
05:32:36 -!- quintopi1 has quit (Client Quit).
05:37:15 <HackEgo> Ambiguous, from greek 'ἀν-' lack of, and 'βιγος' clarity of meaning, means when something is unclear in its meaning. Antonym: biguous.
05:37:54 <oerjan> `slwd ambiguous//s/ο/ό/
05:37:56 <HackEgo> wisdom/ambiguous//Ambiguous, from greek 'ἀν-' lack of, and 'βιγός' clarity of meaning, means when something is unclear in its meaning. Antonym: biguous.
05:38:35 <oerjan> `slwd ambiguous//s/gr/Gr/
05:38:37 <HackEgo> wisdom/ambiguous//Ambiguous, from Greek 'ἀν-' lack of, and 'βιγός' clarity of meaning, means when something is unclear in its meaning. Antonym: biguous.
05:40:56 <oerjan> i recall that it's actually cognate to ambassador, in a very roundabout way.
06:06:00 -!- augur has joined.
06:47:24 -!- MDude has quit (Ping timeout: 244 seconds).
06:48:16 <hppavilion[1]> Is the study of sign language still considered a (sub)field of phonetics?
06:49:39 <pikhq> Wouldn't that be... linguistics?
06:53:58 <shachaf> is the study of sine language considered a subfield of acoustics?
07:35:55 -!- `^_^v has joined.
07:54:40 <hppavilion[1]> shachaf: A sine language with very simple rules and few words is approximately equal to itself
07:57:13 <hppavilion[1]> The smaller a language with finite rules gets, the fewer possibilities there are
08:04:33 -!- MoALTz has joined.
08:07:14 <shachaf> In sign language you communicate only with pluses and minuses.
08:08:51 -!- `^_^v has quit (Quit: This computer has gone to sleep).
09:08:11 -!- godel has quit (Ping timeout: 265 seconds).
09:13:40 <lambdabot> • Variable not in scope: atbash :: [Char] -> t
09:13:40 <lambdabot> • Perhaps you meant ‘atanh’ (imported from Numeric)
09:36:09 <shachaf> a version of bash with explicit type applications hth
09:39:15 <lifthrasiir> I thought it's a version of bash but with a default environment of IFS=@
09:39:31 <lifthrasiir> allows for (mostly) quote-free command lines
09:42:39 -!- centrinia has joined.
09:46:34 <oerjan> @let atbash = map $ \c -> if (isAscii c && isAlpha c) then chr $ ord c `xor` 31 - 4 else c
09:50:58 -!- centrinia has quit (Quit: Leaving).
09:55:02 -!- imode has quit (Ping timeout: 250 seconds).
10:05:36 -!- nys has joined.
10:23:38 -!- molum has changed nick to ybden.
10:39:54 <hppavilion[1]> Apparently A Million Random Digits with 100,000 Normal Deviates is a real book
10:40:34 <Taneb> hppavilion[1], I think my uni's library has that
10:41:03 <hppavilion[1]> https://www.amazon.com/Million-Random-Digits-Normal-Deviates/product-reviews/0833030477/
10:41:35 <Taneb> ...I actually learnt about this sort of thing in school
10:43:10 <shachaf> mathematical tanebventions include A Million Random Digits with 100,000 Normal Deviates
10:43:13 <HackEgo> Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, locales, and histograms.
10:43:26 <HackEgo> String diagrams would be useful in category theory, except they're unreadable due to being curled up in tiny dimensions. Taneb invented them anyhow.
10:43:57 <oerjan> hppavilion[1]: that book has some good reviews
10:44:00 <shachaf> Why did you invent string diagrams?
10:44:15 <Taneb> shachaf, I had some spare string
10:44:21 <Taneb> Decided to make it useful
10:45:50 <oerjan> Taneb: so there's nothing to the rumors they were an attempt to keep your eyebrows in check?
10:46:08 <HackEgo> nortti is a very nortti boy. He yielded to shikhin's promises, and now is his High Priest.
10:46:15 <Taneb> oerjan, my eyebrows are long past that point I am afraid
10:48:23 <HackEgo> Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, weetoflakes, sand, persistence, the BBC, _46bit, progress, sanity, the Oxford comma, and this sentence. See also tanebventions: math. He never invents anything involving sex.
10:48:46 <shachaf> `slwd tanebvention//s#sand#&, dragons#
10:48:52 <HackEgo> wisdom/tanebvention//Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, weetoflakes, sand, dragons, persistence, the BBC, _46bit, progress, sanity, the Oxford comma, and this sentence. See also tanebventions: math. He never invents anything involving sex.
10:48:57 <HackEgo> Sand is what microprocessors are made of. Taneb invented it.
10:57:29 -!- atehwa has joined.
11:03:49 -!- hppavilion[1] has quit (Quit: Leaving).
11:05:51 <izalove> https://www.youtube.com/watch?v=BzMLA8YIgG0 this looks so insanely cool
11:26:18 -!- Akaibu has quit (Ping timeout: 245 seconds).
11:27:11 -!- Akaibu has joined.
11:33:54 -!- boily has joined.
11:34:36 <HackEgo> eliot//Eliot inverted cats, then Taneb stole his inversion.
11:35:38 -!- oerjan has quit (Quit: Boilye!).
11:35:56 -!- Tanebot has joined.
11:40:38 <Taneb> I really need to do more with this bot
11:41:43 <Taneb> Tanebot: df iiioiosso
11:42:01 -!- AnotherTest has joined.
11:42:08 <boily> Tanelle! wasn't that supposed to print 81?
11:42:33 <Taneb> Tanebot: df iiioiodsso
11:42:35 <boily> Tanebot: df ioioisioisio
11:43:28 <Taneb> Tanebot has no mouth
11:43:57 <boily> can you graft one?
11:44:40 <boily> fungot: can you lend your mouth to Tanebot? you do have at least one mouth, yes?
11:44:41 <fungot> boily: can't tell you why i don't take it seriously; ork and your hats are cool :)
11:44:54 <boily> fungot: I'm a man of few hats.
11:44:54 <fungot> boily: my mother wasn't born fnord :p
11:45:18 <boily> fungot: okay, I only have a baseball cap and a tuque.
11:46:54 -!- Tanebot has quit (Quit: Tanebot AWAY!).
11:50:33 <lambdabot> CYUL 271000Z 02008KT 15SM FEW050 BKN250 M01/M05 A3047 RMK SC1CI6 SC TR SLP323
11:56:06 -!- Tanebot has joined.
11:56:26 <Taneb> I'm gonna leave that on while I go to lectures I think
11:57:29 -!- Phantom_Hoover has joined.
12:08:48 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
12:14:50 -!- Phantom_Hoover has joined.
12:22:31 -!- boily has quit (Quit: VORACIOUS CHICKEN).
12:37:05 -!- Guest16669 has quit (Quit: quit.).
12:41:31 -!- `^_^v has joined.
12:41:48 -!- yorick has joined.
13:20:46 <Taneb> Tanebot: df iiisiiso
13:22:37 -!- Phantom__Hoover has joined.
13:24:52 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
13:33:03 -!- Akaibu has quit.
13:46:10 -!- Froox has joined.
13:48:36 -!- Frooxius has quit (Ping timeout: 260 seconds).
14:05:49 -!- moony has quit (Disconnected by services).
14:06:46 -!- u0_a330 has joined.
14:06:58 -!- moony has joined.
14:14:29 -!- Phantom_Hoover has joined.
14:16:40 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds).
14:25:19 -!- Phantom__Hoover has joined.
14:25:19 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
14:25:32 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
14:25:43 -!- Phantom__Hoover has joined.
14:39:57 -!- moony has quit (Quit: WeeChat 0.4.2).
15:31:33 -!- oerjan has joined.
15:56:12 -!- nortti_ has joined.
15:56:16 -!- nortti has quit (Quit: Reconnecting).
15:56:26 -!- nortti_ has changed nick to nortti.
16:23:50 -!- `^_^v has quit (Quit: This computer has gone to sleep).
16:24:15 <quintopia> i dont understand brainfuckconstants/ordered. for some reason it sorts constants on the number of cycles, without including tbe fastest programs
16:24:58 <quintopia> most of the programs take more steps thsn the number they create on tape
16:30:55 -!- nys has quit (Quit: quit).
16:32:12 -!- MDude has joined.
17:05:11 <\oren\> he book is a promising reference concept, but the execution is somewhat sloppy. Whatever generator they used was not fully tested. The bulk of each page seems random enough. However at the lower left and lower right of alternate pages, the number is found to increment directly.
17:08:18 <\oren\> -- Amazon review for A Million Random Digits with 100,000 Normal Deviates
17:23:42 <b_jonas> that one takes a while to understand
17:30:15 -!- imode has joined.
17:36:26 <\oren\> I voted for jennifer hollett not chrystia freeland, therefore I can't be blamed for whatver the bad results of this trade deal are
17:53:36 -!- godel has joined.
18:16:35 -!- oerjan has quit (Quit: Nite).
18:36:32 -!- Froox has quit (Quit: *bubbles away*).
18:36:48 -!- Frooxius has joined.
18:43:15 -!- Zarutian has joined.
18:44:03 -!- Zarutian has quit (Read error: Connection reset by peer).
18:44:20 -!- Zarutian has joined.
18:49:05 -!- hppavilion[1] has joined.
18:49:13 <\oren\> do people seriously go around harassing their competitors at trade shows
18:49:21 <\oren\> like srsly what is going on
18:50:18 <\oren\> apparently one of my coworkers is at a trade show and getting harassed by a competitor
18:52:14 <hppavilion[1]> I feel like the opposite of "afk" should be "fk", but acronomically it would be "ak"
18:52:14 <\oren\> hppavilion[1]: nah, that's illegal in canada
18:52:47 <\oren\> pepper spray is a prohibited weapon
18:52:53 <hppavilion[1]> Like, I knew you guys didn't have guns (except, presumably, for moose hunting)
18:53:10 <\oren\> http://laws-lois.justice.gc.ca/eng/regulations/SOR-98-462/
18:54:04 <hppavilion[1]> I mean, it's non-lethal, so it seems like the optimal self-defensive weapon for the Canadese...
18:54:42 <hppavilion[1]> (Hm, "Canadese" sounds like it could be the name of a Chinese language. Probably related to (or an alternate transcription of) "Cantonese")
18:57:01 <\oren\> prohibited non firearms include tear gas, pepper spray, nunchuks, shuriken, kusari, bladed rings, electroshock weapons of pretty much any kind, crossbows shorter than 50 cm, weapons resembling common objects disguising blades,
18:57:19 -!- otherbot has quit (Remote host closed the connection).
18:57:40 -!- otherbot has joined.
18:58:06 <\oren\> blowguns, morningstars, brass knuckles,
18:58:15 <imode> why are brass knuckles illegal again
18:58:23 <b_jonas> wait, crossbows shorter than 50 cm?
18:59:26 <hppavilion[1]> (So you can't have a crossbow if it can be hidden, but if it's a really big, powerful one... it's OK?)
18:59:34 -!- Tanebot has quit (Quit: Tanebot AWAY!).
18:59:39 <hppavilion[1]> (Maybe crossbows longer than 50 cm are just considered firearms?)
19:00:08 <\oren\> regualr swords are ok to own, as are longbows, big crossbows,
19:00:21 <imode> wow, why _are_ brass knuckles illegal.
19:00:26 <\oren\> and like spears and such
19:00:40 <\oren\> imode: presumably because they can easily be concealed
19:01:04 <imode> so if I just wear a bunch of rings.
19:01:23 <\oren\> automatic firearms are completely banned
19:01:59 <\oren\> and various specifc makes of guna re banned by name
19:02:10 <\oren\> "The firearm of the design commonly known as the Franchi SPAS 12 shotgun, and any variant or modified version of it, including the Franchi LAW 12 shotgun."
19:03:04 <\oren\> "The firearm of the design commonly known as the AK-47 rifle, and any variant or modified version of it except for the Valmet Hunter, the Valmet Hunter Auto and the Valmet M78 rifles, but including the"
19:03:52 <\oren\> "The firearm of the design commonly known as the Thompson submachine gun, and any variant or modified version of it, including the"
19:05:00 <\oren\> all bullpup guns are banned
19:07:12 <b_jonas> wait, they banned the AK-47?
19:08:20 <\oren\> b_jonas: it's an automatic weapon?
19:08:49 <\oren\> in the criminal code, there's some more bannings
19:09:18 <\oren\> any handgun less than 105 mm in barrel length
19:09:58 <\oren\> any shotgun or rifle less than 457 mm in barrel length
19:10:32 <\oren\> and any spring-loaded or gravity knife
19:11:03 <\oren\> oh and any automatic gun
19:14:43 -!- erdic has quit (Ping timeout: 244 seconds).
19:17:16 <hppavilion[1]> ...I just realized the etymological relationship that "predicates" are "predicative" because they "predict"
19:17:59 <pikhq> imode: Brass knuckles are both easily concealed and pretty much exclusively associated with criminal activity.
19:18:28 <imode> pikhq: kind of funny. so I can't own brass knuckles to defend myself because criminals own them.
19:18:39 <imode> I cannot own a specific configuration of a piece of metal or plastic.
19:18:54 <\oren\> but you can own a large machete
19:19:30 <\oren\> or a steel baseball bat
19:20:00 <pikhq> Nobody's gonna be surprised by your machete or baseball bat, though.
19:20:03 <imode> the act is already illegal, why are we going after the methods.
19:20:27 <pikhq> imode: Because people like to think that banning an object that has some illegal uses makes the illegal actions go away.
19:20:42 <imode> that's nice. talk to bouncers.
19:22:18 <imode> they wear weighted gloves.
19:24:42 <\oren\> imode: pretty sure those are considered at least "weapons"
19:24:59 <imode> but they aren't illegal and they are equivalent and easily concealed.
19:27:25 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
19:27:52 <FaerieFly> At least here, you can't wear a large machete or a steel baseball bat in public
19:27:57 <pikhq> Only a fool would pretend this area of law is all that consistent or logical.
19:28:11 <imode> doesn't stop me from pointing it out.
19:28:15 <FaerieFly> you can probably own a brass knuckle if you keep it in your home, but I can't say I've researched the subject thoroughly
19:28:24 <imode> because if we stop doing that, it becomes normal.
19:29:40 <FaerieFly> then again I suspect a lot of people would find our weapons laws to be baffling
19:29:54 <\oren\> not entirely certain what rights bouncers even have under our laws. they probably can't get away with using weapons
19:30:13 <imode> https://en.wikipedia.org/wiki/Weighted-knuckle_glove
19:30:17 <FaerieFly> you can't carry knives in public places at all in general
19:31:09 <FaerieFly> good thing US law doesn't apply in sweden :p
19:34:09 -!- hppavilion[1] has joined.
19:38:48 -!- erdic has joined.
19:43:10 <hppavilion[1]> You know, I really want to make a slight modification of english intended solely for conjugating verbs when time travel is involved
19:43:28 <hppavilion[1]> (Yes, english++ is the bf derivative of conlangs, but this is just a practical matter)
19:44:38 -!- erdic has quit (Ping timeout: 245 seconds).
19:45:39 <Zarutian> \oren\: what about that riot foam stuff?
19:48:08 <Hoolootwo> just read Dr Dan Streetmentioner's Time Traveller's Handbook of 1001 Tense Formations :P
19:51:12 <hppavilion[1]> From Hitchhiker's Guide. That's at least consolation.
19:53:09 <hppavilion[1]> (1) figure out all the things (2) derive tenses (3; additional) add English conjugation forms
19:58:44 -!- erdic has joined.
19:58:45 * hppavilion[1] . o O ( 1/0 can't be ω because 1/ω = ε and 1/(1/x) = x )
20:00:45 <imode> how in god's name do you folks type out unicode characters.
20:00:56 <imode> I'm on a US keyboard.
20:01:31 <shachaf> On my home computer, I'd press Ctrl-Shift-U and then type 3 C 9
20:01:34 <Hoolootwo> if I want to speak German I switch my keyboard layout to a german one
20:02:12 <shachaf> (Without letting go of Ctrl and Shift.)
20:02:48 <shachaf> Or I'd press a key that opens up a terminal with all the code points, and then I'd search it.
20:03:23 <shachaf> The file is (a newer version of) http://slbkbs.org/unic.txt
20:03:38 <shachaf> I just less -r it or something.
20:03:41 <imode> that's incredibly useful.
20:04:07 <pikhq> I've got a compose key configured, personally.
20:04:17 <shachaf> I generate it from ftp://ftp.unicode.org/Public/UNIDATA/UnicodeData.txt
20:04:19 <pikhq> And for Japanese text I switch to my Japanese IME.
20:04:26 <shachaf> I used to have a compose key but no longer.
20:04:50 <shachaf> But neither of those worked for Greek letters.
20:04:58 <imode> how'd you generate it from this?
20:05:02 <shachaf> I could configure custom Compose sequences, probably.
20:05:17 <shachaf> Well, that particular file isn't generated from that text. But I generated a nearly identical file from it.
20:05:23 <shachaf> Using a small script, I think.
20:06:22 <shachaf> This is all on my other computer so I can't tell you the details.
20:06:40 <shachaf> But anyway I have Win-U set up to open a big terminal with a less of that file, and then I just search it.
20:06:55 <imode> that's a pretty good idea.
20:08:45 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
20:19:43 -!- erdic has quit (Ping timeout: 276 seconds).
20:36:46 <\oren\> https://www.youtube.com/watch?v=4kdwUOlihDA
20:37:20 <\oren\> I have a custom tmux file that does it
20:43:52 <\oren\> you can also use an ime to do it: switch to japanese and type arufa to get
20:46:11 <shachaf> I like the githelp extension in https://bitbucket.org/facebook/hg-experimental
20:48:11 <\oren\> ❄︎ oh cool I can also type a snowflake with my ime if I type yuki
20:52:09 <\oren\> lets see can I type a snowman?
20:54:14 <\oren\> I guess this is why emoji were so easy to get in japan. they use an ime, so there's no need for some speacial selection screen...
20:54:54 <\oren\> all they do is put in as custom 'kanji' with custom 'pronounciations'
20:57:48 * APic somehow likes Japan, even though i have never been there
21:00:35 -!- Cale has quit (Ping timeout: 256 seconds).
21:02:08 -!- erdic has joined.
21:05:21 -!- MoALTz has quit (Quit: Leaving).
21:07:59 <\oren\> APic: going there, you really need to speak some japanese, because very few japanese speak good english
21:10:28 * APic will probably not go there in the next few Years
21:12:56 -!- Cale has joined.
21:19:00 -!- godel has quit (Ping timeout: 250 seconds).
21:19:13 -!- erdic has quit (Ping timeout: 245 seconds).
21:28:23 -!- augur has quit (Remote host closed the connection).
21:28:53 -!- augur has joined.
21:33:27 -!- augur has quit (Ping timeout: 256 seconds).
21:52:44 -!- erdic has joined.
21:59:13 -!- Cale has quit (Ping timeout: 245 seconds).
22:12:40 -!- erdic has quit (Ping timeout: 260 seconds).
22:47:56 -!- erdic has joined.
22:51:16 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:54:13 -!- heroux has quit (Ping timeout: 245 seconds).
23:11:08 -!- erdic has quit (Ping timeout: 244 seconds).
23:15:09 -!- gniourf has quit (Ping timeout: 311 seconds).
23:15:27 -!- lambdabot has quit (Remote host closed the connection).
23:16:33 -!- gniourf has joined.
23:19:13 -!- gniourf has quit (Max SendQ exceeded).
23:20:36 -!- gniourf has joined.
23:20:40 -!- Zarutian has quit (Quit: Zarutian).
23:21:36 -!- lambdabot has joined.
23:23:58 -!- augur has joined.
23:26:28 -!- izalove has quit (Excess Flood).
23:26:30 -!- erdic has joined.
23:27:21 -!- izalove has joined.
23:47:10 -!- aloril_ has joined.
23:47:12 -!- erdic has quit (Ping timeout: 250 seconds).
23:47:52 -!- hppavilion[1] has joined.
23:47:58 -!- aloril has quit (Ping timeout: 245 seconds).