00:06:30 -!- oerjan has joined.
00:20:26 <oerjan> Taneb: can you prove that?
00:23:54 -!- mauris_ has joined.
00:27:23 -!- mauris has quit (Ping timeout: 260 seconds).
00:27:47 <boily> those ikea pepparkakor I'm munching on are good until August 2016. that's disturbingly far away.
00:33:16 -!- hppavilion[1] has joined.
00:35:13 <hppavilion[1]> 2) A programming language based on group/ring/field/whatever theory as applied to practical computers
00:44:20 <hppavilion[1]> I'm making a higher-level bit transformation rule language right now
00:57:17 <hppavilion[1]> There. That defines a long integer with + defined.
01:00:48 <hppavilion[1]> \oren\: I need attention for my hard* work. Are you present to do that?
01:04:10 * boily hides behinds his mapole
01:04:15 <Taneb> Can anyone identify this format? http://arin.ga/tggoy8
01:04:22 <Taneb> (from Crusader Kings 2 data files)
01:05:00 <hppavilion[1]> Taneb: Never seen it before. Could be custom, which would be stupid.
01:07:46 <boily> looks like it's custom. e.g. building modding: http://www.ckiiwiki.com/Building_modding
01:11:43 <Taneb> Awww, I was hoping it was a common format I wasn't familiar with
01:11:51 <Taneb> So there already existed a parser in Haskell
01:12:08 <boily> writing parsers aren't that hard. I loves me some attoparsec.
01:12:21 <boily> speaking of parsers, anybody here doing the Advent of Code?
01:13:13 <hppavilion[1]> boily: What do you think of my bit transformation rule language?
01:14:01 <boily> http://adventofcode.com/
01:15:07 <boily> something like an L-system with better flexibility.
01:16:01 <boily> do you think you could write a DSL in Haskell for that?
01:19:00 <boily> my interest is piqued.
01:20:11 <hppavilion[1]> I might be able to write a Haskell DSL, but I think it'd make more sense to make it in a low-level language
01:22:18 <hppavilion[1]> boily: The idea behind the language is that you have to roll your own data types; you have plenty of available things, but data types must be made from scratch operating on individual bits.
01:24:07 -!- andrew has joined.
01:29:09 -!- andrew has quit (Remote host closed the connection).
01:30:54 <hppavilion[1]> boily: I believe that I created it for a language I'm making called MarcoPolo so that I could apply group theory to it; however, it doesn't seem to have worked out
01:31:46 -!- andrew has joined.
01:47:47 -!- ^v^v has joined.
01:49:46 <HackEgo> haskell'/Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell'
01:49:47 <tswett> hppavilion[1]: that's an interesting idea, there. It's sort of like you're defining operators out of logic gates.
01:50:10 <HackEgo> pietbot/Pietbot is the only thing that can defeat fungot.
01:50:38 <boily> fungot: have you ever been defeated?
01:50:38 <fungot> boily: you pick the time that happens, right. but in a more platonic sense, and with a more specific social purpose.
01:51:10 <boily> fungot: do you know love?
01:51:17 <fungot> boily: in a good way though her life would be short. with no other choice. you will march right up. nice!
01:51:31 <boily> fungot: no, I have a girlfriend.
01:52:51 <tswett> `run wisdom pietbot | hexdump
01:52:52 <HackEgo> 0000000 6970 7465 6f62 2f74 6950 7465 6f62 2074 \ 0000010 7369 7420 6568 6f20 6c6e 2079 6874 6e69 \ 0000020 2067 6874 7461 6320 6e61 6420 6665 6165 \ 0000030 2074 7566 676e 746f 0a2e \ 000003a
01:56:38 <tswett> `run wisdom pietbot | od -t x1
01:56:39 <HackEgo> 0000000 70 69 65 74 62 6f 74 2f 50 69 65 74 62 6f 74 20 \ 0000020 69 73 20 74 68 65 20 6f 6e 6c 79 20 74 68 69 6e \ 0000040 67 20 74 68 61 74 20 63 61 6e 20 64 65 66 65 61 \ 0000060 74 20 66 75 6e 67 6f 74 2e 0a \ 0000072
01:57:54 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
02:06:10 -!- lollo64it has joined.
02:07:05 -!- Lorenzo64 has quit (Ping timeout: 246 seconds).
02:07:41 -!- mauris has joined.
02:10:31 -!- mauris_ has quit (Ping timeout: 260 seconds).
02:17:17 -!- hppavilion[1] has joined.
02:20:47 -!- andrew has quit (Ping timeout: 260 seconds).
02:21:14 -!- andrew has joined.
02:26:49 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
02:27:36 -!- hppavilion[1] has joined.
02:30:04 -!- jaboja has quit (Remote host closed the connection).
02:40:25 -!- boily has quit (Quit: TRIPHASED CHICKEN).
03:06:24 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
03:19:11 <oerjan> Installing update 49 of 174...
03:36:35 <zzo38> Blood doesn't seem very good for writing with; I have tried.
03:37:05 -!- hppavilion[1] has joined.
03:37:19 <zzo38> I don't get consistent colours.
03:45:24 <hppavilion[1]> I have decided on _| and |_ for FOLDR and FOLDL, respectively, in W'' (which I've renamed)
04:01:07 -!- ^v has quit (Ping timeout: 260 seconds).
04:08:18 -!- v^ has joined.
04:10:34 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
04:10:55 -!- ^v^v has quit (Ping timeout: 240 seconds).
04:11:16 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
04:22:17 -!- Frooxius has quit (Quit: *bubbles away*).
04:22:45 -!- Frooxius has joined.
04:31:42 -!- hppavilion[1] has joined.
04:33:08 -!- oerjan has quit (Quit: Nite).
04:41:51 <hppavilion[1]> Elronnd: Have any good ideas for a data model I should use?
05:11:49 <Elronnd> hppavilion[1]: make it a little bit like brainfuck
05:18:07 -!- Patashu has quit (Ping timeout: 260 seconds).
05:18:51 -!- Patashu has joined.
05:19:19 <Elronnd> oh, Patashu, I didn't know you hung around in #esoteric
05:36:10 <zzo38> What does powerlurk mean?
05:36:40 <hppavilion[1]> zzo38: Lurk with the wrath of a billion dying stars
05:37:20 -!- Walpurgisnacht has joined.
05:41:25 <zzo38> I don't know, probably many people are now dead
05:57:14 <zzo38> I program in C, and I put the left brace on the same line with whatever comes before it
05:57:49 <zzo38> Haskell allows you to omit the braces if you wish (if you do, then you can omit the semicolons too), although I use the braces with the similar style of C.
05:59:08 -!- Walpurgisnacht has quit (Quit: Seat of the Wretched, rend my flesh.).
06:05:01 <hppavilion[1]> zzo38: izabera: That's what makes sense; without it, it looks like you have an "if-then" line (or while, or whatever) followed by a code block, as opposed to an "if-then" and a body for it
06:08:36 <izabera> the actual question is: where do you put else?
06:09:19 <zzo38> I do it like } else {
06:09:50 <izabera> i think that looks silly and write else on a new line
06:10:18 <zzo38> That's OK, you can do it if you want to, but I prefer the same line because it is the part of the same "if" statement
06:11:15 <izabera> also very important is where to align }
06:11:16 <hppavilion[1]> I think else should go on the same line as the }, so it is mentally associated with the construct instead of looking like its own block, but it doesn't matter /nearly/ as much as where you start the code block, which is a thing that matters a lot and has significant impacts on the world.
06:11:30 <hppavilion[1]> Where you put else is really just a question of style in comparison
06:36:56 -!- MoALTz has quit (Ping timeout: 246 seconds).
07:06:23 <myname> also, else has to be on the same line as }
07:34:13 <izabera> random idiot with a machete in london stabbed people because syria
07:35:49 <izabera> what kind of attack is that
07:38:01 <izabera> he was tazed and arrested in like 10 minutes
07:54:00 -!- v^ has quit (Read error: Connection reset by peer).
07:54:19 <izabera> hppavilion[1]: yeah but only injured
07:54:36 <hppavilion[1]> izabera: Ah. Pretty lame attack, but some attacks have been lamer
07:55:01 <hppavilion[1]> (No one died except the attacker, and it was a suicide, so I can say it was "awesome")
07:59:00 -!- ^v has joined.
08:11:33 <Sgeo> https://github.com/ferno/base65536
08:11:57 <quintopia> @tell boily i was thinking of doing advent of code but decided I wouldnt be able to cuz vacation
08:11:58 <myname> v1 would make the else case even worse
08:15:35 <Sgeo> There's a use case for this.
08:23:54 <hppavilion[1]> Sgeo: Pfffft. Base 65536? Why not 1.84467440737096 * 10^19?
08:23:59 -!- Patashu has quit (Remote host closed the connection).
08:24:48 -!- Patashu has joined.
08:41:50 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
08:48:33 -!- MoALTz has joined.
09:53:59 -!- ^v has quit (Ping timeout: 246 seconds).
10:42:44 -!- impomatic_ has joined.
11:30:56 -!- Phantom_Hoover has joined.
12:05:14 -!- Patashu has quit (Ping timeout: 246 seconds).
12:19:45 -!- idris-bot has quit (Quit: Terminated).
12:21:53 -!- Melvar has quit (Quit: rebooting).
12:26:43 -!- Melvar has joined.
12:36:31 -!- idris-bot has joined.
12:57:15 <HackEgo> [wiki] [[Eternity]] N http://esolangs.org/w/index.php?oldid=45786 * Jabutosama * (+519) Created page with "Eternity is esolang made by [[user:Jabutosama]]. It is maybe one of the most useful languages in the world, but is has one problem which makes language not useful at all. Ete..."
12:59:45 <HackEgo> [wiki] [[Joke language list]] http://esolangs.org/w/index.php?diff=45787&oldid=45590 * Jabutosama * (+78) /* General languages */
13:00:46 <HackEgo> [wiki] [[Eternity]] M http://esolangs.org/w/index.php?diff=45788&oldid=45786 * Jabutosama * (+11)
13:15:36 -!- Lord_of_Life has joined.
13:41:18 -!- esowiki has joined.
13:41:22 -!- esowiki has joined.
13:41:23 -!- esowiki has joined.
13:42:12 -!- esowiki has joined.
13:42:16 -!- esowiki has joined.
13:42:17 -!- esowiki has joined.
13:43:29 -!- esowiki has joined.
13:43:30 -!- glogbot has joined.
13:43:33 -!- esowiki has joined.
13:43:33 -!- esowiki has joined.
13:43:41 -!- EgoBot has joined.
13:47:31 -!- Hoolootwo has joined.
13:53:02 -!- Nithogg has joined.
14:04:11 -!- lambdabot has joined.
14:07:24 -!- edwardk has quit (Ping timeout: 264 seconds).
14:08:36 -!- ocharles__ has quit (Ping timeout: 264 seconds).
14:08:53 -!- edwardk has joined.
14:09:02 -!- ocharles__ has joined.
14:11:12 -!- jaboja has joined.
14:16:28 -!- jaboja has quit (Read error: Connection reset by peer).
14:16:36 -!- boily has joined.
14:17:55 <lambdabot> quintopia said 6h 5m 57s ago: i was thinking of doing advent of code but decided I wouldnt be able to cuz vacation
14:18:12 -!- vjoba has joined.
14:18:25 <boily> @ask quintopia QUINTHELLOPIA! you are being vacationed?
14:22:29 -!- vjoba has quit (Remote host closed the connection).
14:31:23 -!- jaboja has joined.
14:40:07 -!- jaboja has quit (Remote host closed the connection).
14:44:30 <lambdabot> CYUL 061400Z 22013KT 12SM OVC013 03/01 A3044 RMK ST8 SLP309
14:48:12 <lambdabot> EGLL 061420Z AUTO 22012KT 9999 BKN007 OVC016 13/11 Q1017 TEMPO SCT007
14:53:10 <fizzie> Yesterday I prepared a "final" thesis draft, addressing comments from the preliminary examination round. I might eventually get that thesis done.
14:53:29 <fizzie> It was intended to be finished by the end of 2014.
14:57:34 -!- jaboja has joined.
15:05:00 -!- AnotherTest has joined.
15:08:34 -!- mroman has joined.
15:08:53 -!- oerjan has joined.
15:08:57 <mroman> fungot: How's the weather in funtown?
15:08:58 <fungot> mroman: are you in the medium. wv could type commands for the characters to follow. most of john's dad, who broke a huge wizard
15:09:23 <mroman> after all, soundwaves and other waves travel through me
15:11:55 <boily> mrelloman. feeling post-modernist today?
15:12:17 <boily> fizzie: it's a thesis. it leaks through space and time to occupy all available resources.
15:12:55 <mroman> I don't get that referenc.
15:13:06 <boily> I think there are Feynman diagrams to modelize theses.
15:13:28 <boily> thesises? plurals are complicated.
15:14:43 <boily> mroman: the medium is the message, and other disconstructions of the same kind.
15:14:56 <fizzie> boily: I was using the Harvard style for citations and the list of references, and our doctoral studies committee's "permission to publish" meeting feedback was that it's okay, but I need to change the list of references to use the Harvard style. I asked for more details, and got back "sorry, we don't have detailed instructions, but here's a stock description of the Harvard style from a random ...
15:14:56 <fizzie> ... Internet page of <another university>". The description matched the original draft.
15:15:01 <oerjan> hm there's that weird script error again tdnh
15:15:08 <fizzie> Due to a lack of better options, I switched to an "even more Harvard" bibtex style.
15:15:10 <oerjan> only once, like last time
15:15:28 <fizzie> My thesis instructor/supervisor could provide no further insight to the mind of the Committee, either.
15:16:15 <fizzie> Apparently they've got a particular Harvard style variant (that's not surprising -- every institution in the world does, seemingly), which is kept safely hidden from students, and their theses are then compared against that.
15:16:58 <fizzie> I assume this is because otherwise they might have to accept some works without requiring revisions.
15:17:04 <fizzie> And that would never do.
15:17:06 <oerjan> clearly it's a clairvoyance test
15:17:07 <mroman> I'm using scientology style.
15:17:10 <boily> the principle of Maximal Disagreement strikes again.
15:17:34 * boily has flashbacks of his time in University
15:18:08 <oerjan> to comply with the thesis requirements you need flashforwards hth
15:19:12 <fizzie> I've now switched it from natbib's "abbrvnat" to one of the styles in the 'harvard' package, which does put the publication year in a slightly different place in the actual bibliography. Perhaps that will be enough.
15:22:02 * oerjan spots Walpurgisnacht in the logs
15:22:28 <boily> quinthellopia! sorry, only about eight minutes left for me until I shower then mahjong in a faraway place.
15:23:00 <oerjan> maybe it is *DUN DUN DUN* ... oh.
15:23:27 <boily> 60~75 minutes by public transit. we play at a nice café in Verdun today.
15:24:16 <lambdabot> boily asked 1h 5m 50s ago: QUINTHELLOPIA! you are being vacationed?
15:24:23 <boily> Québec is between 2 and 3 hours, nothing to fret about.
15:24:48 <boily> (by car, and if the driver is Asian. damn that one time was fast...)
15:25:24 <boily> aerpland, flown by Tanea Airlines.
15:26:44 <boily> it's that xkcd tetris with the round bottom hth
15:28:15 <oerjan> is tjis a misspelling or an acronym twh
15:28:43 <boily> The Jeudi Is Sunday hth
15:29:04 <boily> which islands? small islands, medium islands, big islands, recursive islands?
15:30:49 <boily> bontopie jouintopiarnée!
15:31:14 -!- boily has quit (Quit: DUALISTIC CHICKEN).
15:33:28 -!- jaboja64 has joined.
15:35:17 -!- jaboja has quit (Disconnected by services).
15:35:29 -!- jaboja64 has changed nick to jaboja.
15:56:39 -!- jaboja has quit (Read error: Connection reset by peer).
15:56:53 <HackEgo> [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=45789&oldid=45571 * Jabutosama * (+118) /* Joke/Silly Ideas */ added comment and explanation
16:05:24 <mroman> would the media please stop glorifying people who travel to syria to fight ISIS.
16:05:30 -!- lollo64it has quit (Quit: Leaving).
16:12:13 -!- oerjan has quit (Quit: Later).
16:21:08 -!- jaboja has joined.
16:22:59 -!- Hoolootwo has quit (Ping timeout: 264 seconds).
16:25:41 -!- Hoolootwo has joined.
16:48:07 <lifthrasiir> http://cosmic.mearie.org/2015/11/font/live *phew*
16:48:46 <lifthrasiir> it took a lot to make the font available in ttf
16:49:08 <lifthrasiir> no hinting atm, but should be usable as a terminal font now (probably?)
16:49:27 <lifthrasiir> it still has some rough edges, including an inability to load from OS X (don't know why)
16:50:00 <izabera> lifthrasiir: http://i.imgur.com/YzYzUuN.png
16:50:42 <izabera> i don't know that but i see some fuzzy ones
16:51:20 <izabera> fwiw firefox on arch linux
17:14:17 -!- Welo has quit (Quit: Leaving).
17:42:56 * impomatic_ wants to make a bitmap font... I think I've found a utility to do it.
18:05:57 -!- mroman has quit (Quit: Lost terminal).
18:13:57 <zzo38> For a terminal font you should be able to use a bitmap font though?
19:00:08 <zzo38> As far as I can tell, if a Magic: the Gathering card just says "choose one" without listing any choices, then you cannot cast that spell (as there are no legal modes) unless it has entwine.
19:00:47 <zzo38> (If you pay the entwine cost then you can cast it, but it does nothing when it resolves.)
19:23:37 <impomatic_> I want to make a bitmap font I can use from Windows. I assume a
19:24:04 <impomatic_> .FON file is the best option. Which appears to be an executable file.
19:29:00 -!- ^v has joined.
19:49:20 -!- impomatic_ has quit (Ping timeout: 246 seconds).
19:50:18 -!- Guest-Pirc has joined.
19:50:52 -!- Guest-Pirc has left.
20:07:23 -!- Patashu has joined.
20:30:37 -!- Guest81266 has quit (Quit: Lost terminal).
20:30:49 <zzo38> My Magic: the Gathering puzzle.5 is much easier; you can try that one!
20:33:50 <b_jonas> What the, why does this hard disk or file system read so slowly now?
20:36:31 -!- Patashu has quit (Ping timeout: 260 seconds).
20:43:31 <zzo38> I don't know why? It is hardly any information to figure out
20:43:52 <b_jonas> ok wait, what size is a dvd these days? I keep forgetting. I know it's a bit over 4 GiB
20:45:40 <b_jonas> uh, yes, but what's the unit of that?
20:46:14 <b_jonas> sectors I guess, but what size is a sector on a data dvd
20:46:42 -!- hppavilion[1] has joined.
20:53:04 <b_jonas> I wonder if the problem is the disk, the disk driver and kernel, the file system, the file system driver, or just this whole system bitrotting away. Will see later.
21:11:37 <fizzie> I just replaced a disk that started generating smartd emails about a nonzero SMART "Offline_Uncorrectable" count.
21:12:06 <fizzie> It was acting pretty slow when rebuilding the RAID thing, but I assume you'd know if that were happening.
21:28:25 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45790&oldid=45783 * Luis Mendo * (-4) /* Compiler */
21:32:52 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45791&oldid=45790 * Luis Mendo * (+445) /* Specification */
21:35:07 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45792&oldid=45791 * Luis Mendo * (-1) /* Compiler */
21:35:26 <b_jonas> fizzie: well, I have already bought an extra hard disk I'm not using right now, because my first hard disk is suspicious to me. this second hard disk is slow, but I don't think it's faulty, I think it's just a file system thing.
21:37:39 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45793&oldid=45792 * Luis Mendo * (+0) /* Fibonacci sequence */
21:41:07 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45794&oldid=45793 * Luis Mendo * (-307) /* Fibonacci sequence */
21:41:42 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45795&oldid=45794 * Luis Mendo * (-3) /* Fibonacci sequence */
21:42:02 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45796&oldid=45795 * Luis Mendo * (+14) /* Fibonacci sequence */
21:42:59 -!- oerjan has joined.
21:43:05 -!- Sgeo_ has joined.
21:46:05 -!- Sgeo has quit (Ping timeout: 276 seconds).
22:05:30 <hppavilion[1]> By slowly developing a program designed for actual usage.
22:06:11 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:06:12 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45797&oldid=45796 * Luis Mendo * (-657) /* Specification */
22:06:24 -!- Lord_of_Life has quit (Excess Flood).
22:08:10 <hppavilion[1]> Also, I'm slowly developing a personal C++ utility library to make it feel more like Python for me
22:08:38 -!- aretecode has quit (Ping timeout: 246 seconds).
22:08:50 <hppavilion[1]> That is, print(string, end="\n", file=cout), input(prompt), readf(filename), etc.
22:12:36 -!- Lord_of_Life has joined.
22:15:38 -!- jaboja has quit (Ping timeout: 246 seconds).
22:35:13 <^v> hppavilion[1], the best way to learn C++ is in an actual company project xD
22:35:30 <^v> because the hardest part is usually collaboration
22:36:11 <^v> hppavilion[1], you can start from anywhere
22:36:59 <hppavilion[1]> I'm still stuck trying to read a file form a command-line argument and print its contents xD
22:40:12 <^v> wouldnt you be using std::ifstream
22:41:49 <hppavilion[1]> ^v: I am, but there are 12 million different types of strings as it turns out
22:43:18 <hppavilion[1]> Well I got it to read a file and print /something/
22:53:06 -!- jaboja has joined.
23:01:55 <hppavilion[1]> What is the simplest, most straightforward way to read a file's contents with a function of type `string readf(string fname)` in C++?
23:07:15 -!- atehwa has quit (Ping timeout: 260 seconds).
23:07:26 -!- MoALTz has quit (Ping timeout: 246 seconds).
23:07:42 -!- atehwa has joined.
23:16:48 <izabera> in c you can get the file size, then either read or mmap
23:17:04 <izabera> or you can loop character by character
23:18:26 <^v> hppavilion[1], making the function lol
23:28:41 <hppavilion[1]> ^v: Ugh, the file is completely mangled when output. Have any idea why that might be?
23:28:56 <^v> you arent reading it properly?
23:29:04 <^v> perhaps you are printing the pointer, lol
23:32:07 <Sgeo_> I don't know how to casual clothes.
23:32:27 <Sgeo_> "Hat (no visors–must cover top of head–must be packed in backpack)"
23:32:53 <Sgeo_> Hmm, by no visors, do they just mean nothing that's only eye covering (e.g. baseball caps are allowed)?
23:35:30 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
23:35:44 <hppavilion[1]> OK, I've got it working to the point of readfline. Now I'll define readf in terms of readfline
23:40:59 <^v> mmap is really fun though
23:42:18 <hppavilion[1]> OK, remembered I can give getline '\0' as a third argument and it'll read the whole file. Now my design is perfect! Yay!
23:51:02 <izabera> i'm completely ignorant but doesn't that read only up to \0 ?
23:55:02 <hppavilion[1]> I mean, as long as the file doesn't contain a \0 before the end, it works
23:58:02 <hppavilion[1]> Ugh, now I'm attempting to implement a doubly-linked list
23:59:14 -!- Sprocklem has joined.