←2016-02-03 2016-02-04 2016-02-05→ ↑2016 ↑all
00:02:19 <boily> hellørjan.
00:10:03 -!- XorSwap has joined.
00:15:13 <boily> XorSwap: XellorSwap. who are you at now up?
00:15:50 <XorSwap> A lurker, mostly :D
00:40:04 -!- trn has quit (Quit: quit).
00:45:54 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
00:50:20 -!- trn has joined.
00:52:06 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
00:54:43 <zgrep> And how about at later down?
00:55:17 <int-e> Have you been taking grammar lessons from fungot?
00:55:17 <fungot> int-e: the idea for a lossless udp mass transfer protocol minimizing acks. thus no disturbance when walking in the fnord it covers a huge chunk of unlabeled assembly in a language until it converges
00:55:56 <int-e> f-NOOOOOH!!!!!-rd...
00:58:09 <shachaf> fungot
00:58:09 <fungot> shachaf: for example lambda is also a wide spectrum of beliefs regarding what the right answer. that's one of the patches
00:58:20 <shachaf> ^style
00:58:20 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
00:58:29 <shachaf> where's the calvin and hobbes style twh
00:59:27 <int-e> well, one would need transcripts... and perhaps worry about copyright
01:00:33 <shachaf> I imagine that a Markov chain is fair use.
01:01:25 <fizzie> int-e: I think that was actually just a fjord.
01:01:30 <int-e> But character names may be tricky. I dunno.
01:01:52 <fizzie> ^style fisher
01:01:52 <fungot> Selected style: fisher (Fisher corpus of transcribed telephone conversations)
01:01:54 <fizzie> I stole that.
01:02:12 <fizzie> In the sense that it costs money, and I'm not exactly sure what our license allows for.
01:02:38 <fizzie> I don't think I ever even found the license terms.
01:02:46 <shachaf> If I sent you a corpus, would you add it?
01:02:54 <fizzie> If someone asks, fungot's a research project.
01:02:54 <fungot> fizzie: ( ( laughter)) someone and they called yesterday and so i
01:02:58 -!- hppavilion[1] has joined.
01:03:14 <int-e> cliffhanger...
01:03:15 <hppavilion[1]> Ugh
01:03:15 <fizzie> Maybe. You can bump up the likelihood by doing all the work.
01:03:19 <shachaf> ^style irc
01:03:19 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
01:03:24 <shachaf> fungot: What are you researching?
01:03:24 <fungot> shachaf: ( read) `3))) but i can't recall what chicken does about that amaranth and they use ascii...
01:03:29 <hppavilion[1]> WHY will my computer not boot from USB
01:03:37 <shachaf> fizzie: What sort of work?
01:03:52 <fizzie> shachaf: https://github.com/fis/fungot/blob/master/varikn/readme.txt <- that sort of.
01:03:52 <fungot> fizzie: what about? :) fnord/ fnord/ web/ fnord/ fnord " java is slow if you're using a terminal app, though
01:03:58 <fizzie> (Also the instructions are not quite right.)
01:04:26 <hppavilion[1]> LinuxLive USB creator is /supposed/ to create a bootable USB stick, right?
01:04:27 <int-e> fungot: what do you think of deep learning?
01:04:27 <fungot> int-e: it was funny when the url fnord depends on the ' net
01:04:37 <int-e> good answer, I guess
01:04:56 <fizzie> The varikn link is broken, it lives in github and the version 1.0.2 is outdated; don't use the example -D and -E parameter, they're not good; maybe something else as well.
01:07:17 <fizzie> Here's a random guess: it's making an old-style bootable thing, and your computer is set to UEFI only. Or vice versa.
01:09:00 <shachaf> fizzie: That sounds like a mess.
01:09:36 <shachaf> fizzie: http://www.s-anand.net/comic.calvin.jsz
01:11:43 -!- tromp_ has joined.
01:11:59 <fizzie> I will try to motivate myself to have a look, but not today.
01:13:00 <shachaf> It's just a text file.
01:13:03 <int-e> needs some cleanup anyway... removing the dates, splitting into sentences...
01:13:31 <hppavilion[1]> shachaf: "just" a text file?
01:13:40 <hppavilion[1]> Text files can start wars
01:13:46 <hppavilion[1]> Overturn governments
01:13:53 <hppavilion[1]> And most importantly
01:13:57 <hppavilion[1]> CARRY ASCII PR0N
01:14:06 <hppavilion[1]> DO NOT SAY "just" A TEXT FILE
01:14:33 <int-e> hppavilion[1]: well, for all I know, you're just human
01:14:44 <hppavilion[1]> int-e: How wrong you are...
01:15:05 <hppavilion[1]> I'm clearly a dwarf and I'm digging a hole; diggy diggy hole.
01:16:22 -!- hppavilion[1] has quit (Read error: Connection reset by peer).
01:16:53 -!- XorSwap has quit (Ping timeout: 276 seconds).
01:16:56 <int-e> hah, must've hit a cable
01:26:36 -!- mauri has quit (Read error: Connection reset by peer).
01:27:04 -!- mauri has joined.
01:33:32 <oerjan> or maybe he fell down it
01:33:50 <oerjan> `? mauri
01:33:51 <HackEgo> mauri? ¯\(°​_o)/¯
01:33:55 <oerjan> wat
01:34:05 <oerjan> `` mv wisdom/mauri{s,}
01:34:09 <HackEgo> No output.
01:34:10 <oerjan> `? mauri
01:34:11 <HackEgo> maur is the correct spelling
01:34:15 <oerjan> there you go.
01:34:54 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:40:33 <mauri> mauri's the correct spelling hth
01:40:46 <mauri> (i literally forgot to type an s and rolled with it)
01:45:22 <fizzie> It's a Finnish first name.
01:46:04 <boily> I knew mauri's secretly Finnish.
01:47:06 <fizzie> 16005 Finns with that name currently.
01:47:16 <shachaf> fizzie: How can you tell?
01:47:27 <fizzie> Oh, no: just in total.
01:47:47 <mauri> a quick count, i presume
01:48:03 <shachaf> How many Finns are there with the name Shachaf?
01:49:23 <fizzie> That's funny: the surname search does distinguish between live, dead (and people who changed surnames), but the first name search just gives a total of living and died-with-that-name (since some year).
01:50:27 <fizzie> "Less than five", which it what it says when there are less than five. Otherwise it gives an exact count.
01:50:53 <shachaf> Ah, I found the website.
01:50:55 <fizzie> Less than five born between 1980-1999, zero in other years.
01:50:55 <mauri> that is good
01:51:05 <shachaf> There are more than five with my last name.
01:51:07 <mauri> is less than five more than zero?
01:51:16 <fizzie> Yes.
01:52:09 <oerjan> > (< 5) > 0
01:52:11 <lambdabot> No instance for (Ord a0) arising from a use of ‘<’
01:52:11 <lambdabot> The type variable ‘a0’ is ambiguous
01:52:11 <lambdabot> Note: there are several potential instances:
01:52:13 <oerjan> shocking
01:52:37 <fizzie> Still 10 currently with my surname.
01:52:52 <oerjan> :t (< 5) > 0
01:52:53 <lambdabot> No instance for (Ord a0) arising from a use of ‘<’
01:52:53 <lambdabot> The type variable ‘a0’ is ambiguous
01:52:53 <lambdabot> Note: there are several potential instances:
01:53:08 <boily> there's something wrong with that, but what.
01:53:14 <oerjan> :t (< (5::Int)) > 0
01:53:15 <lambdabot> No instance for (Ord (Int -> Bool))
01:53:15 <lambdabot> (maybe you haven't applied enough arguments to a function?)
01:53:15 <lambdabot> arising from a use of ‘>’
01:53:28 <mauri> > let x ==> y = not x || y in quickCheck (\x -> (x < 5) ==> (x > 0))
01:53:29 <lambdabot> Couldn't match expected type ‘Integer -> Bool’
01:53:29 <lambdabot> with actual type ‘QuickCheck-2.8.1:Test.QuickCheck.Random.QC...
01:53:29 <lambdabot> The lambda expression ‘\ x -> (x < 5) ==> (x > 0)’
01:53:35 <mauri> oooops
01:53:45 <fizzie> When in doubt, apply more arguments to a function.
01:54:41 <shachaf> @check (\x -> (x < 5) ==> (x > 0)) {- hth -}
01:54:43 <lambdabot> *** Failed! Falsifiable (after 1 test):
01:54:43 <lambdabot> 0
01:54:54 <mauri> *gasp*
01:54:58 <oerjan> @botsnack -- very efficient
01:54:58 <lambdabot> :)
01:55:15 <boily> when I meet a function I always apply an argument. functions love arguments.
01:56:15 -!- ORB has joined.
01:56:56 <boily> `relcome ORB
01:57:03 <ORB> rhank you
01:57:56 <HackEgo> No output.
01:59:24 -!- mihow has quit (Quit: mihow).
02:00:00 <boily> huh?
02:00:08 <boily> shachaf: did you un`relcome HackEgo?
02:00:32 <shachaf> noily
02:00:39 <boily> hmm...
02:00:48 * boily strokes his beard
02:00:48 <shachaf> HackEgo is just kind of broken right now.
02:00:51 <boily> oh.
02:00:53 <boily> beuh.
02:01:05 <ORB> `relcome
02:01:17 <HackEgo> Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
02:01:23 <boily> ah! here it is.
02:01:32 <ORB> `help
02:01:35 <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/
02:01:53 <ORB> neat
02:04:24 -!- boily has quit (Quit: LINGERING CHICKEN).
02:09:11 -!- mihow has joined.
02:13:15 -!- mihow has quit (Ping timeout: 240 seconds).
02:17:13 <fizzie> Huh.
02:17:54 <oerjan> hm?
02:18:12 <fizzie> I was wondering if that earlier `relcome got in the same sort of stuck mode, but it's also being very slow in accepting a SSH.
02:18:43 <fizzie> Oh, it did say "No output."
02:18:46 <fizzie> I missed that.
02:18:46 <oerjan> the other day it was stuck for 10 min though, this was only one or two
02:19:03 <fizzie> I thought it was still pending.
02:22:57 <fizzie> I also wonder where all its memory is. free -m says (on the -/+ buffers/cache line) 1808 used, 204 free, but there isn't really any processes with a RSS of many megs, with the exception of mysql (370M) and a few php-fpms (<100M total), plus one memcached (20M). That doesn't really sound like it should make up 1800M.
02:26:25 <fizzie> (And it's not tmpfs either.)
02:26:29 <fizzie> Oh well, must sleep.
02:29:59 -!- bb010g has joined.
02:59:49 -!- lleu has quit (Read error: Connection reset by peer).
03:29:13 -!- hppavilion[1] has joined.
03:43:48 <izabera> http://zem.fi/2014-04-05-opquiz i'm doing worse than random
03:43:52 <izabera> proud of myself
03:45:30 -!- mihow has joined.
03:51:58 <HackEgo> [wiki] [[HALT]] https://esolangs.org/w/index.php?diff=46355&oldid=44795 * * (-350)
03:57:08 -!- TodPunk has quit (Read error: Connection reset by peer).
03:59:24 <hppavilion[1]> izabera: Really? I have a 100%
04:00:22 <izabera> grats
04:07:45 -!- TodPunk has joined.
04:13:21 -!- vifino has quit (Ping timeout: 260 seconds).
04:13:32 -!- vifino has joined.
04:19:08 -!- sebbu has quit (Ping timeout: 260 seconds).
04:19:08 -!- idris-bot has quit (Ping timeout: 260 seconds).
04:31:46 -!- ORB has quit (Read error: Connection reset by peer).
04:36:26 -!- ORB has joined.
04:49:46 -!- ORB has changed nick to O0RB.
04:50:55 -!- O0RB has changed nick to ORB.
04:54:39 <MDude> /nick MDream
04:54:50 -!- MDude has changed nick to MDream.
05:02:02 -!- mauri has quit (Ping timeout: 256 seconds).
05:03:54 -!- mihow has quit (Quit: mihow).
05:08:16 -!- MDream has quit (Ping timeout: 256 seconds).
05:19:32 -!- ais523 has joined.
05:39:27 -!- tromp_ has quit (Remote host closed the connection).
06:00:11 -!- ORB has quit (Read error: No route to host).
06:01:18 -!- ORB has joined.
06:01:24 -!- ORB has quit (Client Quit).
06:04:42 -!- oerjan has quit (Quit: Nite).
06:15:38 -!- sebbu has joined.
06:32:42 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
06:36:52 -!- hppavilion[1] has joined.
06:37:06 <hppavilion[1]> I'm trying to get a proper linux system (Ubuntu, specifically) running on my laptop
06:37:32 <hppavilion[1]> No matter what I try, my computer won't even boot the USB stick
06:38:17 <Elronnd> you messed with the BIOS and all?
06:38:26 <Elronnd> you sure ubuntu is properly on the USB?
06:40:06 <hppavilion[1]> Elronnd: It's the second USB burner I've tried
06:40:09 -!- tromp_ has joined.
06:40:18 <hppavilion[1]> Elronnd: Is it supposed to have an actual filesystem? xD
06:40:35 <Elronnd> IIRC yes
06:40:50 <hppavilion[1]> Elronnd: I tried messing with the BIOS, but it doesn't seem to have any options. Just "Press any key to continue"
06:41:08 <ais523> hppavilion[1]: on some systems there's a separate key to override boot order
06:41:09 <hppavilion[1]> Elronnd: Please tell me that isn't something Microsoft did to block us from installing other OSes xD
06:41:15 <hppavilion[1]> ais523: Such as?
06:41:19 <ais523> different from the BIOS override key
06:41:20 <Elronnd> I don't believe there's such a thing
06:41:31 <ais523> on this laptop it's one of the lower F keys, F5 I think (not 100% sure on that)
06:41:34 <hppavilion[1]> Elronnd: OK, OK. Seems like that'd be possible, at the very least
06:41:43 <Elronnd> hppavilion[1]: try hitting f12 or f5 or f2 or f1 or esc on boot
06:41:53 <Elronnd> before the OS (MS-Windows, presumable) is loaded
06:41:57 <ais523> however it does say which key it is at the bottom of the screen while it's booting
06:41:59 <hppavilion[1]> Elronnd: esc enters the useless window
06:42:10 <Elronnd> hppavilion[1]: okay, so not that one
06:42:14 <hppavilion[1]> Elronnd: I don't know if f5 f2 or f1 did anything
06:42:16 <Elronnd> but try all of those f-keys
06:42:27 <Elronnd> On my computer, f2 and f12 both do stuff
06:42:31 <hppavilion[1]> Ah, google is my friend IIRC
06:42:36 <Elronnd> oh, yeah
06:42:39 <ais523> most laptops nowadays have their hard drive first in the boot order to reduce issues with malware on USB sticks
06:42:54 <Elronnd> look up how to enter bios setup with $yourcomputer
06:44:35 -!- tromp_ has quit (Ping timeout: 264 seconds).
06:45:29 <Elronnd> ais523: you have a server, why don't you run ZNC on it so you don't miss stuff when your internet is being spotty or you have to quit?
06:49:08 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
07:04:24 -!- MDude has joined.
07:09:40 <ais523> huh, someone's made a StackFlow derivative with highly compressed syntax (it can do a truth-machine in three bytes)
07:09:48 <ais523> interesting idea; it wasn't intended as a golfing language at all
07:11:03 * izabera read it as a stackoverflow derivative and was thinking about a compressed q&a site
07:11:25 <Elronnd> heh
07:16:45 -!- hppavilion[1] has joined.
07:17:59 <hppavilion[1]> Can we remove R.I.P. Marvin Minsky? The being-depressed-he's-dead time has expired
07:18:01 <hppavilion[1]> hth
07:18:28 <hppavilion[1]> I just restored session in firefox
07:18:42 <hppavilion[1]> One of the things I restored was the session restore from the previous session
07:19:16 <Elronnd> Sure
07:19:23 -!- Elronnd has set topic: The international hub for magic gathering and deployment. | Effi's finest fluffy waffles | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/ | 100% of cpus on the wall ♪.
07:20:00 -!- ais523 has quit.
07:24:20 -!- heroux has quit (Ping timeout: 250 seconds).
07:36:28 -!- heroux has joined.
07:47:06 -!- heroux has quit (Ping timeout: 240 seconds).
07:56:41 -!- variable has joined.
08:00:16 -!- heroux has joined.
08:07:20 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
08:22:59 -!- heroux has quit (Ping timeout: 250 seconds).
08:23:42 -!- heroux has joined.
08:40:13 -!- tromp_ has joined.
08:40:46 -!- heroux has quit (Ping timeout: 256 seconds).
08:44:33 -!- tromp_ has quit (Ping timeout: 240 seconds).
08:47:48 <HackEgo> [wiki] [[Talk:Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=46356&oldid=46338 * YoYoYonnY * (+90) /* Calculating the integer square root of x */
08:48:44 -!- bb010g has quit (Quit: Connection closed for inactivity).
08:53:51 -!- variable has quit (Quit: 1 found in /dev/zero).
08:54:24 -!- heroux has joined.
08:58:26 -!- heroux has quit (Ping timeout: 240 seconds).
08:59:33 -!- FreeFull has quit (Quit: BBL).
09:08:57 <fizzie> @tell hppavilion[1] Careful, each nested instance of the restore session page involves escaping some things, so the storage use grows exponentially. I knew someone who had those things 20 deep, and the json file it puts that stuff in was hundreds of megs.
09:08:57 <lambdabot> Consider it noted.
09:12:32 -!- LexiciScriptor has joined.
09:12:35 <fizzie> @tell hppavilion[1] "foo" -> "\"foo"\" -> "\"\\\"foo\"\\\" -> "\"\\\"\\\\\\\"foo\\\"\\\\\\\"" -> ...
09:12:35 <lambdabot> Consider it noted.
09:12:40 -!- J_Arcane has quit (Ping timeout: 252 seconds).
09:13:35 -!- vifino has quit (Ping timeout: 246 seconds).
09:14:30 -!- AnotherTest has joined.
09:28:23 -!- heroux has joined.
09:29:19 -!- Treio has joined.
09:34:34 <izabera> is it possible to entirely get rid of pathological regex cases?
09:34:54 <izabera> like replace a*a* with a*
09:35:17 <izabera> (a+a+)+ -> (a{2,})
09:35:21 <izabera> and so on
09:40:37 * izabera wants to learn more about this
09:40:59 -!- heroux has quit (Ping timeout: 264 seconds).
09:48:22 -!- heroux has joined.
10:40:21 -!- vodkode has quit (Ping timeout: 245 seconds).
10:40:38 -!- heroux has quit (Ping timeout: 250 seconds).
10:40:46 -!- heroux has joined.
10:41:55 -!- vodkode has joined.
11:01:17 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
11:19:34 -!- LexiciScriptor has joined.
11:33:34 -!- boily has joined.
11:41:59 -!- tromp_ has joined.
11:46:30 -!- tromp_ has quit (Ping timeout: 250 seconds).
11:48:06 -!- Treio has quit (Remote host closed the connection).
11:50:46 -!- Treio has joined.
12:02:40 -!- mauris has joined.
12:17:07 -!- mezkhalin has joined.
12:17:33 -!- mezkhalin has changed nick to stalem.
12:20:37 -!- boily has quit (Quit: MEDIUM CHICKEN).
12:28:34 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
13:04:15 -!- jaboja has joined.
13:34:07 -!- tromp_ has joined.
13:54:46 -!- tromp_ has quit (Remote host closed the connection).
14:19:26 -!- jaboja has quit (Ping timeout: 240 seconds).
14:20:08 -!- nycs has joined.
14:38:41 -!- jaboja has joined.
14:42:46 -!- XorSwap has joined.
14:55:18 -!- tromp_ has joined.
14:59:35 -!- tromp_ has quit (Ping timeout: 240 seconds).
15:06:17 -!- XorSwap has quit (Ping timeout: 276 seconds).
15:11:48 -!- MDude has quit (Read error: Connection reset by peer).
15:12:03 -!- vifino has joined.
15:17:48 -!- vifino has quit (Quit: Who turned this off?! D:<).
15:27:40 -!- J_Arcane has joined.
15:32:56 -!- vifino has joined.
15:37:43 -!- spiette has joined.
15:46:16 -!- XorSwap has joined.
15:51:59 <HackEgo> [wiki] [[AnnieFlow]] https://esolangs.org/w/index.php?diff=46357&oldid=46354 * FricativeMelon * (+25)
16:11:45 -!- ais523 has joined.
16:14:41 -!- LexiciScriptor has joined.
16:16:29 -!- J_Arcane has quit (Ping timeout: 276 seconds).
16:36:44 -!- oerjan has joined.
16:39:20 -!- Sgeo_ has joined.
16:40:44 -!- Sgeo has quit (Ping timeout: 252 seconds).
16:47:05 -!- Sgeo has joined.
16:48:59 -!- Sgeo_ has quit (Ping timeout: 276 seconds).
16:51:30 -!- Sgeo_ has joined.
16:52:30 -!- XorSwap has quit (Read error: Connection reset by peer).
16:53:01 -!- FreeFull has joined.
16:53:12 -!- Sgeo has quit (Ping timeout: 256 seconds).
16:56:58 -!- oerjan has quit (Quit: Later).
17:01:10 -!- newsham has joined.
17:07:49 -!- newsham has quit (Ping timeout: 252 seconds).
17:10:02 -!- newsham has joined.
17:10:23 -!- newsham has quit (Client Quit).
17:11:22 -!- newsham has joined.
17:26:00 -!- nycs has quit (Quit: This computer has gone to sleep).
17:28:24 -!- `^_^v has joined.
17:56:16 -!- tromp_ has joined.
18:07:38 -!- tromp_ has quit (Ping timeout: 252 seconds).
18:16:02 -!- hppavilion[1] has joined.
18:19:12 <hppavilion[1]> Hellu
18:19:19 <hppavilion[1]> @messages-lud
18:19:19 <lambdabot> fizzie said 9h 10m 21s ago: Careful, each nested instance of the restore session page involves escaping some things, so the storage use grows exponentially. I knew someone who had those things 20 deep, and the json file it puts that stuff in was hundreds of megs.
18:19:19 <lambdabot> fizzie said 9h 6m 43s ago: "foo" -> "\"foo"\" -> "\"\\\"foo\"\\\" -> "\"\\\"\\\\\\\"foo\\\"\\\\\\\"" -> ...
18:20:00 <hppavilion[1]> fizzie: Interesting. How can we exploit this knowledge?
18:20:11 <int-e> > fix show
18:20:13 <lambdabot> "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\...
18:21:07 <int-e> > iterate show "foo"
18:21:08 <lambdabot> ["foo","\"foo\"","\"\\\"foo\\\"\"","\"\\\"\\\\\\\"foo\\\\\\\"\\\"\"","\"\\\"...
18:24:09 <izabera> relevant http://xkcd.com/1638/
18:24:46 <hppavilion[1]> Yes
18:24:48 <hppavilion[1]> Of course
18:31:04 <ais523> clearly it needs a better escape format
18:31:57 <izabera> raw strings are the best thing ever
18:35:50 -!- mauris_ has joined.
18:40:08 -!- mauris has quit (Ping timeout: 276 seconds).
18:40:46 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
18:58:23 -!- hppavilion[1] has joined.
19:01:19 <ais523> izabera: how do you nest them?
19:01:37 <ais523> some raw string formats allow arbitrarily complex brackets around the outside to allow nesting, but IIRC most don't
19:01:41 <hppavilion[1]> izabera: Really? THE best thing ever? What about the holocaust
19:01:45 <hppavilion[1]> Wait, wrong comeback
19:02:07 <ais523> well, I definitely prefer raw strings to the holocaust
19:02:16 <hppavilion[1]> ais523: OK, good
19:02:18 <ais523> and I imagine almost everyone else does too
19:03:16 <hppavilion[1]> ais523: O rly? What about neo-nazis?
19:03:44 <ais523> that's what the "almost" is for
19:03:53 <hppavilion[1]> ais523: Oh right
19:03:54 <b_jonas> ais523: sure, raw strings in C++ or lua are delimited that way, but that's not really what makes the strings *raw*
19:03:57 <izabera> pretty sure that at least neo-nazi programmers still prefer raw strings to the holocaust
19:04:14 <b_jonas> what makes the strings raw is that all the bytes inside it in the source code are taken literally, even the crlf or lf sequences.
19:04:19 <b_jonas> no escapes
19:04:28 <ais523> b_jonas: well yes
19:04:35 <ais523> but this means you need to be very careful with how you terminate them
19:04:38 <ais523> as you can't escape the terminator
19:04:51 <ais523> I think Perl has "almost raw" strings where everything is taken literally except a backslash before the terminator
19:04:54 <b_jonas> yep
19:04:56 <b_jonas> ais523: and no
19:05:09 <ais523> `perl-e print q(abc)
19:05:09 <izabera> "you can't escape the terminator" said arnold in terminator 7
19:05:22 <hppavilion[1]> xD
19:05:23 <ais523> `echo test
19:05:29 <HackEgo> test
19:05:29 <HackEgo> abc
19:05:35 <ais523> `perl-e print q(ab\)c)
19:05:39 <HackEgo> ab)c
19:05:39 <b_jonas> ais523: perl string literals always convert crlf to lf if they're read from a file (but not if evalled from a string), it's only *DATA{IO} that allows perfectly raw stuff
19:05:42 <ais523> `perl-e print q(ab\c)
19:05:44 <HackEgo> ab\c
19:05:56 <ais523> b_jonas: that's a conversion on the file itself, though
19:05:58 <ais523> not on the literal
19:06:13 <b_jonas> ais523: and q-strings in perl also treat double-backslash as an escape by the way
19:06:20 <ais523> Perl source files aren't a sequence of bytes they're a sequence of characters
19:06:23 <ais523> `perl-e print q(ab\\c)
19:06:25 <HackEgo> ab\c
19:06:27 <ais523> ugh
19:06:31 <izabera> ew
19:06:32 <ais523> that defeats half the point :-)
19:06:45 <b_jonas> note that there's no escapes inside <<'foo' heredocs,
19:06:49 <b_jonas> but crlf is still converted
19:07:19 <ais523> b_jonas: no, the heredoc doesn't convert crlf
19:07:28 <b_jonas> maybe reading the source file does
19:07:30 <ais523> the /source file reader/ converts crlf before it's even parsed (also encoding, etc.)
19:07:30 <b_jonas> but that too is silly
19:07:34 <b_jonas> it shouldn't do that
19:07:44 <b_jonas> it's just silly
19:07:53 <ais523> Perl doesn't use bytes, it uses characters, and this is the right way to do things
19:08:21 <b_jonas> ais523: maybe, but it's inconvenient
19:08:31 <hppavilion[1]> `quote <ais523> "Perl... is the right way to do things"
19:08:32 <HackEgo> No output.
19:08:34 <b_jonas> why couldn't it convert the bytes to characters in the tokenizer EXCEPT in some tokens, like C++ does
19:08:46 <hppavilion[1]> Wait, no, that isn't how it works, is it
19:08:51 <ais523> it's inconvenient to have non-ASCII characters not work properly
19:09:07 <ais523> b_jonas: say the source file's encoded in an ASCII-incompatible encoding
19:09:16 <ais523> like, say, ACME::Bleach
19:09:31 <ais523> someone writes a raw string marker in that encoding
19:09:39 <ais523> should they really get a bunch of whitespace?
19:09:48 <b_jonas> ais523: yes, so if you ask it, the tokenizer should interpret the bytes in a character string literal or identifyier. but this shouldn't be done to the whole file indiscriminately.
19:14:39 <hppavilion[1]> Here's an idea
19:15:08 <hppavilion[1]> Make a series of virtual machines based on various cultures which made profound mathematical discovery
19:16:05 <hppavilion[1]> Basically, if that culture was around today, what would their computing look like?
19:17:04 <b_jonas> Oh, this reminds me. Of C compilers and other compilers to native code and assemblers, which ones have an easy directive to define a constant byte array whose values are taken as the raw bytes read from a file at compile time?
19:17:36 <hppavilion[1]> b_jonas: imho, EVERY compiled language should have compile-time functions
19:17:48 <b_jonas> There's various hacks to achieve something like that in C, but I wonder if some compiler or fancy new language has this built-in.
19:19:20 <hppavilion[1]> b_jonas: Does it count as a language feature technically? Sounds more like a macro
19:20:01 <hppavilion[1]> I suggest a syntax something like ct_readf#(filename), where # is a macro-denoting symbol
19:20:31 <hppavilion[1]> b_jonas: I do think #esoteric should organize and produce a full-scale compiler for a new language that is esoteric, but we don't /tell/ anyone it is
19:21:10 <hppavilion[1]> From what I know about ancient egypt, they like fractions
19:21:13 <b_jonas> The various hacks include: (a) formatting the bytes in decimal or hexadecimal so the C compiler can read it directly, (b) putting an array with a shorter recognizable pattern at the start (like char foo[99999]="mUMGoGXWVo+zcFg9") then finding it in the object file and replacing it, (c)
19:21:19 <hppavilion[1]> So my "Egypt Machine" will include fractions as a builtin
19:22:03 <b_jonas> creating a new section with just that array, either in assembly or with non-portable extensions, then using objcopy (of binutils) to replace the contents of that section.
19:23:08 <b_jonas> hppavilion[1]: people already suggest that certain languages are actually esoteric, or were inteded to be a joke originally.
19:23:24 <hppavilion[1]> b_jonas: Yes, exactly
19:25:22 <b_jonas> (including C, Haskell, all APL-likes, perl, C++)
19:26:52 <ais523> b_jonas: I've seen assemblers which will take raw bytes from an external file
19:26:58 <ais523> normally with some directive like "incbin"
19:27:15 <b_jonas> ais523: really? hmm, let me check the docs of http://yasm.tortall.net/
19:27:21 <b_jonas> and of gas of course
19:27:37 <b_jonas> wow indeed
19:27:55 <b_jonas> the GNU as docs says it has such a directive
19:27:58 <b_jonas> called .incbin
19:27:59 <b_jonas> great
19:28:05 <b_jonas> I didn't know this
19:28:08 <b_jonas> thanks
19:28:45 <b_jonas> yasm too: http://www.tortall.net/projects/yasm/manual/html/nasm-pseudop.html#nasm-pseudop-incbin
19:30:49 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
19:31:22 -!- hppavilion[1] has joined.
19:31:31 -!- Reece` has joined.
19:48:10 <b_jonas> I should really reinstally my machine
19:49:01 <b_jonas> the current install is so old and broken
19:49:10 <b_jonas> but I'm lazy to reinstall
19:49:19 <b_jonas> there's so many things I'd have to set up
19:49:39 <int-e> Well, personally I like the patina on old, sticky bits.
19:49:39 <b_jonas> still, I don't much have any choice
19:54:49 <hppavilion[1]> OK, I've got the egypt machine up and running
19:55:02 <b_jonas> int-e: sure, those bits aren't going anywhere
19:55:08 <b_jonas> it will still be bootable
19:55:24 <hppavilion[1]> It has 7 instructions, and (although not minimized properly), it is (intentionally) /not/ turing-complete
19:55:47 <b_jonas> unless, you know, I mess up big time, or there's a hardware failure and I only bother to restore the new install
19:56:50 <hppavilion[1]> The instructions (which are represented as fractions in the code) are clr, inc, dec, glide, land, glidenz, landnz, incden, and decden
19:57:07 <b_jonas> hppavilion[1]: um, how is that 7?
19:57:16 <hppavilion[1]> b_jonas: I added two in between
19:57:30 <hppavilion[1]> There are infinitely many registers in theory, of types "holy" (fractional) and "non-holy" (integers)
19:57:36 <hppavilion[1]> Because I realized fractions were pointless
19:57:47 <b_jonas> `perl -e @a = split /,\s*/ "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"; warn 0+@a, " instructions"
19:57:50 <b_jonas> (maybe I can't count)
19:57:51 <HackEgo> String found where operator expected at -e line 1, near "/,\s*/ "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"" \ (Missing operator before "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"?) \ syntax error at -e line 1, near "/,\s*/ "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"" \ Execution o
19:58:03 <b_jonas> `perl -e @a = split /,\s*/, "clr, inc, dec, glide, land, glidenz, landnz, incden, and decden"; warn 0+@a, " instructions"
19:58:06 <HackEgo> 9 instructions at -e line 1.
19:58:45 -!- ais523 has quit.
19:58:55 <hppavilion[1]> b_jonas: You write the instructions as a/b fractions, where a is the target register and b is the opcode (0..8)
20:01:59 -!- Phantom_Hoover has joined.
20:04:38 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
20:04:46 -!- tromp_ has joined.
20:04:54 -!- nycs has joined.
20:06:34 -!- `^_^v has quit (Ping timeout: 250 seconds).
20:08:13 -!- hppavilion[1] has joined.
20:09:25 -!- tromp_ has quit (Ping timeout: 260 seconds).
20:11:45 -!- Reece` has quit (Ping timeout: 245 seconds).
20:12:54 -!- Reece` has joined.
20:44:54 -!- deltab_ has joined.
20:45:06 <quintopia> is there a constant time method to compute remainder mod b using only elementary operations?
20:45:48 <b_jonas> quintopia: um, what are the inputs?
20:46:21 <quintopia> x and b
20:46:30 <quintopia> and any constants you need
20:46:48 -!- shikhin has changed nick to driyoyleujiy.
20:46:59 -!- driyoyleujiy has changed nick to shikhin.
20:47:47 -!- sebbu has quit (*.net *.split).
20:47:48 -!- deltab has quit (*.net *.split).
20:47:49 -!- Elronnd has quit (*.net *.split).
20:47:49 -!- fizzie has quit (*.net *.split).
20:48:42 <b_jonas> um, but what are they?
20:49:18 <quintopia> how does it matter?
20:49:41 -!- fizzie has joined.
20:51:49 -!- Elronnd has joined.
20:53:39 <quintopia> you may assume b is an integer greater than 1, and that x is a gaussian integer or half-integer or whatever else you like or need it to be
20:53:59 <quintopia> heck you may as well assume b=8
20:54:31 -!- Reece` has quit (Quit: Alsithyafturttararfunar.).
20:56:22 <b_jonas> quintopia: and what do you count as elementary operations then?
20:58:58 <quintopia> a^b, log_a(b) and complex conjugation and any number of compositions of these in any order
21:07:37 -!- idris-bot has joined.
21:14:41 -!- sebbu has joined.
21:15:52 <b_jonas> is addition allowed?
21:17:23 <hppavilion[1]> Using PLY
21:17:32 <hppavilion[1]> Specifically, ply.lex
21:17:37 <hppavilion[1]> To lex a programming language with keywords
21:18:03 <hppavilion[1]> How do I do keywords such that they don't collide with names?
21:19:01 <hppavilion[1]> So "fnwalrus" -> NAME "fnwalrus", "fn walrus" -> KW "fn", NAME "walrus"
21:25:42 -!- stalem has quit (Ping timeout: 252 seconds).
21:33:40 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
21:40:52 -!- augur has quit (Ping timeout: 248 seconds).
21:43:16 -!- madyach has joined.
21:45:00 -!- augur has joined.
22:02:59 -!- madyach has left ("Leaving").
22:04:50 -!- madyach has joined.
22:06:34 -!- b_jonas has quit (Ping timeout: 256 seconds).
22:07:54 -!- b_jonas has joined.
22:11:00 -!- mauris_ has changed nick to mauris.
22:18:18 -!- shikhin has changed nick to rms.
22:18:25 -!- rms has changed nick to shikhin.
22:18:45 -!- mihow has joined.
22:20:32 -!- oerjan has joined.
22:22:26 -!- jaboja has quit (Ping timeout: 276 seconds).
22:27:19 <fizzie> b_jonas: http://doc.rust-lang.org/std/macro.include_bytes!.html
22:27:51 <fizzie> (There's also std:include_str! which includes the contents of a UTF-8 file as a string.
22:28:13 <fizzie> )
22:29:14 <oerjan> stupid tooth filling fell out :(
22:29:47 <fizzie> (Other than that, I think I've only seen the same feature in assemblers, where it's positively commonplace.)
22:30:37 -!- J_Arcane has joined.
22:34:46 -!- nycs has quit (Quit: This computer has gone to sleep).
22:35:09 -!- jaboja has joined.
22:51:06 -!- mottled has joined.
22:52:57 -!- Snakke has joined.
22:54:46 <Snakke> hi all
22:56:27 -!- Snakke has left.
22:58:16 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:03:12 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
23:03:31 -!- mottled has left.
23:06:11 -!- deltab_ has changed nick to dletab.
23:06:19 -!- dletab has changed nick to deltab.
23:13:41 -!- Froo has joined.
23:16:46 -!- Froox has quit (Ping timeout: 250 seconds).
23:19:32 <quintopia> b_jonas: log_k(log_k((k^k^a)^(k^b)))=a+b
23:27:25 <oerjan> `cat bin/perl-e
23:27:30 <HackEgo> ​#!/bin/bash \ perl -e "$@"
23:27:43 <oerjan> funny thing, that command is entirely redundant
23:27:46 -!- erdic has quit (Ping timeout: 240 seconds).
23:28:02 <oerjan> `perl -e print "hi";
23:28:05 <HackEgo> hi
23:28:51 -!- erdic has joined.
23:36:18 -!- tromp_ has joined.
23:37:37 -!- hppavilion[1] has joined.
23:38:03 -!- Froo has quit (Quit: *bubbles away*).
23:38:21 -!- Frooxius has joined.
23:39:25 <hppavilion[1]> Here's an idea for a fun website
23:39:43 <hppavilion[1]> A sort of forum for math (not just a math forum; a bit more than that)
23:39:58 <hppavilion[1]> Which makes all these math jokes inside its basic structure
23:40:52 -!- tromp_ has quit (Ping timeout: 248 seconds).
23:41:20 <hppavilion[1]> And, in the process, drills into your skull /exactly/ how math works
23:42:01 <hppavilion[1]> For example, there are communities (Google+ calls them circles, other places call them groups, etc.)
23:42:14 <hppavilion[1]> If you are not a member of a community
23:42:30 <hppavilion[1]> As in, any given community, not that you are not a member of any communities at all
23:42:54 <hppavilion[1]> If you are not a member of community x, then you are a member of community Cx
23:42:58 <hppavilion[1]> Automaticall
23:43:00 <hppavilion[1]> y
23:45:52 <oerjan> after all this play, i still manage to get new little epiphanies about how tatham's loopy puzzle works
23:47:04 <oerjan> i just realized a deduction i use for triangles with a 2 in them also works in reverse
23:48:22 <oerjan> (if a vertex of the triangle has exactly one non-triangle edge, then that edge is in the loop iff the opposing edge of the triangle is - i just had the => part)
23:48:54 <oerjan> admittedly the => part works if there's more than one edge
23:54:31 <quintopia> loopy is fun
23:54:50 <quintopia> can you answer my question oerjan?
23:55:02 <oerjan> MAYBE
23:55:31 <oerjan> i seem to have been distracted by loopy from my logreading, so you'll have to repeat the question.
23:59:37 <oerjan> or you could just wait, i guess. still loopying...
←2016-02-03 2016-02-04 2016-02-05→ ↑2016 ↑all