00:04:35 -!- Marcela_Gandara has quit (Quit: Leaving.).
00:05:10 <picobit> wow, the TIS-100 is capable of flow-based programming... it has backpressure.
00:06:27 -!- iconmaster has quit (Ping timeout: 264 seconds).
00:07:13 -!- int-e has set topic: Surprise! | The international hub of esoteric programming language and kitten typesetting | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Chennai (not Madras).
00:10:55 <picobit> I/O operations block on their respective nodes until they have needed data.
00:18:52 <int-e> `unidecode Kohctpyktop
00:18:54 <HackEgo> [U+004B LATIN CAPITAL LETTER K] [U+006F LATIN SMALL LETTER O] [U+0068 LATIN SMALL LETTER H] [U+0063 LATIN SMALL LETTER C] [U+0074 LATIN SMALL LETTER T] [U+0070 LATIN SMALL LETTER P] [U+0079 LATIN SMALL LETTER Y] [U+006B LATIN SMALL LETTER K] [U+0074 LATIN SMALL LETTER T] [U+006F LATIN SMALL LETTER O] [U+0070 LATIN SMALL LETTER P]
00:20:28 -!- iconmaster has joined.
00:20:29 <int-e> I had not realized that КОНСТРУКТОР can be rendered using standard latin letters... but it's really spoiled in lower case.
00:21:25 <int-e> (context: http://www.zachtronics.com/kohctpyktop-engineer-of-the-people/ )
00:22:08 <int-e> compare: конструктор
00:23:49 <olsner> I like words that can be rendered like that, like PECTOPAH
00:24:43 <olsner> maybe you could use latin smallcaps?
00:28:48 <olsner> I had a random idea about making an esolang with an alphabet restricted to the overlap between cyrillic and latin, with e.g. H as an alias for Н
00:29:37 <int-e> (TIS-100 and Spacechem are games by the same company)
00:30:39 <oerjan> olsner: EXCEsomethingthatdoesn'tfitthescheme
00:33:06 <olsner> otoh, this is pretty annoying: https://www.modulargrid.net/img/modules/v6/1026.jpg (cyrillic-lookalike for "autobot", but with my rudimentary cyrillic skills, that's something like PUGOSOG)
00:36:00 <b_jonas> olsner: there exists something like that: car registration plates in Macedonia use the ten letters that appear in both the Macedonian alphabet (which is similar to the Serbian cyrillic alphabet) and the English alphabet (plus they use the ten digits).
00:36:50 <olsner> including e.g. H and P that look the same but have different sounds?
00:36:55 <HackEgo> zkstr is a common consonant cluster at the start of Russian words, see eg. http://www.math.bme.hu/~ambrus/pu/metro-typo-2
00:37:43 <b_jonas> olsner: for a reg plate, the important thing is that you can write it up or remember it to later report, not to pronounce it
00:40:54 <b_jonas> olsner: https://commons.wikimedia.org/wiki/Category:Old_license_plates_of_the_Republic_of_Macedonia should give a rough idea of how thus looks like in practice
00:42:48 <b_jonas> although that shows the letter G so I don't quite get how it works
00:43:10 <b_jonas> but other than G it does seem to match\
01:17:42 -!- tromp has joined.
01:22:37 -!- tromp has quit (Ping timeout: 260 seconds).
01:35:27 -!- jaboja has quit (Ping timeout: 260 seconds).
01:39:15 -!- hppavilion[1] has joined.
01:40:42 <hppavilion[1]> Better yet, there should be an alternative syntax that treats π as a sequence rather than a constant
01:41:54 <hppavilion[1]> π_n = r^n/volumeOfNSphereWithGivenRadius(n, r) (forall real r)
01:48:45 -!- jaboja has joined.
02:00:39 -!- centrinia has joined.
02:00:52 -!- Sgeo has joined.
02:10:26 <hppavilion[1]> Even in the most rigorous environments, in which subclasses never overload a method (or where methods have the same behavior with some added), they're increasing the stuff in the class, not decreasing it as a subset does
02:11:34 -!- Phantom_Hoover has quit (Remote host closed the connection).
02:12:07 <hppavilion[1]> Here's a little HackEgo command I think would be funny
02:12:44 <hppavilion[1]> It takes a number of files listing terms and spits out a buzzword-filled language description
02:13:24 <hppavilion[1]> (Along with the `language.define command, which defines buzzwords (though potentially involving more buzzwords that you need to define (inevitably forming infinite loops)))
02:14:05 <hppavilion[1]> I say "little HackEgo command", but it'd probably take hours of development to make it work
02:15:54 <hppavilion[1]> The images captions @ https://en.wikipedia.org/wiki/Duck_test are awesome
02:16:18 <picobit> hppavilion[1]: playing TIS-100.
02:16:29 <picobit> some of these scheduling problems are really fun.
02:16:44 <picobit> (btw, I'm not in ##programming anymore)
02:16:48 <hppavilion[1]> picobit: Though I got stuck on the one where I find the length of an array or something
02:17:13 <picobit> I passed that problem a few minutes ago.
02:17:25 <picobit> hold on, I'll screen the solution.
02:19:22 <picobit> hppavilion[1]: http://imgur.com/a/KxB88
02:19:41 <hppavilion[1]> picobit: I think I had to find sequence length AND something else
02:19:47 <picobit> hppavilion[1]: length and sum.
02:20:03 <hppavilion[1]> picobit: I couldn't figure it out because there weren't enough registers xD
02:20:15 <picobit> hppavilion[1]: I used a buffering technique present there.
02:20:30 <picobit> essentially you send the value twice, since we don't send until two nodes agree.
02:20:46 <picobit> it's expensive on cycles but it's the only way I thought of.
02:21:03 <picobit> this way you can use the previous node's accumulator to buffer for the comparison.
02:27:21 <hppavilion[1]> picobit: I'm designing an image format called AGIF (Advanced Giraffical Interchange Format)
02:28:14 <hppavilion[1]> picobit: It aims to be like GIF with some simplified event-driven scripting (e.g. eyes that follow the mouse)
02:29:15 <zzo38> I think SVG can also do but with vector graphics instead
02:29:49 <hppavilion[1]> zzo38: Though AGIF does support vector graphics (in the form of PNG), as well as raster graphics (in the form of JPG)
02:30:06 <zzo38> PNG is not even a vector graphics format though
02:30:18 <hppavilion[1]> zzo38: Really? I seem to remember it being vector...
02:32:12 <picobit> holy shit, we get to divide numbers in TIS-100?
02:32:49 <hppavilion[1]> zzo38: But that lossiness, when used to encode non-computronic images (e.g. a picture) leads to fucking amazing compressoin
02:33:13 <hppavilion[1]> zzo38: Which is worth it given that you can't even tell 90% of the time unless you are also looking at the original
02:33:26 <zzo38> Yes it can help to improve the compression so that it why it is used for photographs
02:34:19 <hppavilion[1]> zzo38: Computer graphics are supposed to use whatever vector format I choose, photographics are supposed to use JPG
02:35:03 <hppavilion[1]> zzo38: Well, strictly speaking, since you usually won't be using AGIF for anything but programmatic GIF, you shouldn't use it for photographs at all
02:35:12 <hppavilion[1]> zzo38: The same way nobody uses GIF for static images
02:35:31 <hppavilion[1]> zzo38: I can't find any generally-used binary vector formats. Weird.
02:35:55 -!- centrinia has quit (Quit: Leaving).
02:37:02 <zzo38> PNG is much better than GIF anyways. That is why GIF is no longer used for static images (in the past they used to do though, before PNG was invented)
02:38:55 <hppavilion[1]> It's not really meant for usage outside of AGIF anyway
02:40:24 <zzo38> That is part of it too yes, and there are other problems also with GIF. GIF only does paletted pictures, uses inferior compression, does not support alpha transparency, and is patented. Those are a few of its problems. Animated PNG is also possible although it isn't common, so GIF is still sometimes used for animations
02:45:17 <zzo38> There are a few different formats that are like binary JSON, including something I have designed some time ago, I will have to try to find it
02:45:31 <picobit> holy fuck I didn't know this game had an image console. now I have to write a raytracer.
02:50:44 <hppavilion[1]> zzo38: Do you know the name of the encoding that UTF-8 uses? Where the high bit being 1 means "include next byte"
02:51:07 <hppavilion[1]> picobit: You don't *have* to, you just *want to at the moment*
02:51:29 <hppavilion[1]> picobit: Also, use of actual formatting on IRC as opposed to Human Markup offends me.
02:52:59 <hppavilion[1]> Meh, I'll just call it "variable-width include-bit encoding"
02:53:27 <zzo38> hppavilion[1]: I just call the encoding UTF-8
02:53:37 <zzo38> Whether or not it is being used to encode Unicode text.
02:54:00 <pikhq> I think "the UTF-8 encoding algorithm" is probably the best unambiguous way of referring to it.
02:54:17 <deltab> protobuf calls it varint: https://developers.google.com/protocol-buffers/docs/encoding#varints
02:54:26 <zzo38> What is extensible JSON?
02:55:00 <pikhq> I don't think protobuf varints are the same as UTF-8.
02:55:28 <hppavilion[1]> zzo38: It's something I made up for the purposes of this discussion
02:55:37 <pikhq> UTF-8 has the number of leading 1s in the first byte indicate how many bytes remain in the encoding, after all...
02:55:41 <deltab> they're not: they're 'the high bit being 1 means "include next byte"'
02:56:08 <hppavilion[1]> pikhq: It's the first bit of each byte constitutes whether to include the next
02:56:23 <deltab> "Each byte in a varint, except the last byte, has the most significant bit (msb) set – this indicates that there are further bytes to come. The lower 7 bits of each byte are used to store the two's complement representation of the number in groups of 7 bits, least significant group first."
02:56:44 <zzo38> UTF-8 is different from VLQ
02:57:05 <zzo38> VLQ is used for the timing in MIDI files
02:57:39 <zzo38> It is base 128 numbers where the high bit of each byte indicates that another byte of the number follows and is big endian numbers
02:58:01 <zzo38> (There is also small endian VLQ used in some other file formats, and also signed VLQ is another variant.)
02:59:07 <zzo38> And then there is also my variant where specifying the first byte of the number as 0x80 results in a place value of 128 instead of 0
03:00:43 <zzo38> hppavilion[1]: I know you made up EJSON but it does not quite explain the details?
03:01:23 <zzo38> Then how do you know how to do it? You have to figure out
03:01:44 <hppavilion[1]> zzo38: But if you want specifics, it's "Anything that's like JSON, but has extra stuff mixed in defined by the specific EJSON-decoding algorithm"
03:02:08 <hppavilion[1]> zzo38: It's just a way to talk about things that are like JSON++
03:02:55 <zzo38> RDF is extensible though by adding whatever data types and data structures you want to put, although conversion can be done without needing specific parsers for such stuff
03:03:49 <deltab> there are some binary vector formats used in GIS, for example https://en.wikipedia.org/wiki/Shapefile
03:07:29 <zzo38> (You probably do not need RDF in this case, although I wouldn't know all details of what you are doing of course)
03:12:50 <deltab> the Draw file format: http://www.riscos.com/support/developers/prm/fileformats.html#31018
03:17:45 -!- centrinia has joined.
03:20:30 -!- MDude has quit (Quit: MDude).
03:35:36 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
03:43:54 -!- XorSwap has joined.
03:45:27 -!- iconmaster has quit (Ping timeout: 264 seconds).
03:46:52 -!- hppavilion[1] has joined.
03:47:17 <hppavilion[1]> zzo38: I don't need RDF because I'm going for a binary format
03:50:21 <zzo38> I think these situations are independent
04:02:24 <hppavilion[1]> Ugh, BOX DRAWINGS VERTICAL HEAVY AND RIGHT LIGHT doesn't have a right pokey thing in it
04:02:36 <hppavilion[1]> If only I could access the font creator to tell them.
04:02:45 <hppavilion[1]> \oren\: BOX DRAWINGS VERTICAL HEAVY AND RIGHT LIGHT looks wrong.
04:07:45 -!- Kaynato has joined.
04:08:46 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unrelcome: not found
04:08:59 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: colorize: not found
04:11:04 <hppavilion[1]> zzo38: Wait, does RDF have a binary output option?
04:17:02 -!- picobit has quit (Ping timeout: 260 seconds).
04:24:25 <zzo38> hppavilion[1]: There are different file formats to store RDF, so it is possible to use a binary format. It would also be possible to make a program that takes RDF data and output a binary file of some specific format based on such thing. However, as I have said you do not necessarily need RDF for what you are doing anyways
04:25:02 <hppavilion[1]> zzo38: I'm considering submitting these as ESOSC standarsd
04:35:17 <HackEgo> danddreclist 77: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex
04:36:15 -!- dingbat has joined.
04:50:22 -!- picobit has joined.
04:54:56 -!- MDude has joined.
04:56:56 -!- jaboja has quit (Ping timeout: 244 seconds).
05:18:17 <hppavilion[1]> Is it actually possible to put out a fire with gasoline?
05:18:54 <pikhq> With sufficient gasoline, probably.
05:18:56 <hppavilion[1]> It seems like with enough (like, a few kilolitres or so) poured on the water all at once, you would cut off the error and the gasoline wouldn't ignite
05:19:41 <pikhq> You can't really get a normal fire without oxygen.
05:20:22 <pikhq> That said, I strongly advise against trying to put out fires with fluorine.
05:23:02 <hppavilion[1]> (I consider α-expressions with s as their command to literally change history, rather than just correcting a mistake)
05:23:20 <pikhq> I also strongly advise against doing much of anything with fluorine or its compounds, really.
05:25:31 <deltab> do keep brushing your teeth, though
05:25:37 <hppavilion[1]> Don't trust a guy who would help you dispose of a body, he knows how to dispose of a body.
05:25:52 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: advice: not found
05:26:00 * pikhq squirts some krypton difluoride on his teeth
05:26:22 <hppavilion[1]> `advice should be similar to `wisdom, but it doesn't associate the information with words
05:26:28 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: advice: not found
05:26:55 <HackEgo> F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f | shuf -n1)"; echo -n "${F#wisdom/}/" | rnoooooodl; cat "$F" | rnoooooodl
05:27:41 <hppavilion[1]> pikhq: A *n?x that doesn't distinguish between files and folders...
05:28:10 <pikhq> Y'mean all of 'em?
05:28:18 <pikhq> Unix directories are literally files.
05:30:24 <deltab> hppavilion[1]: yeah, keep brushing, but take breaks of around 12 hours every couple of minutes
05:30:24 <hppavilion[1]> https://www.quora.com/Why-are-visual-basic-programmers-laughed-at-by-other-programmers/answer/Mark-Flory?srid=dS99 is awesome
05:30:59 <hppavilion[1]> pikhq: Yes, but they don't hold anything more than a pointer to the next file. Or something. I'm not very good at *n?x
05:31:35 <hppavilion[1]> pikhq: I'm talking one where /every/ file with a body is /also/ a directory with members, and vice versa
05:32:29 <hppavilion[1]> pikhq: And there would be tools like exj that turn a .json into a whole directory
05:32:54 <hppavilion[1]> (well, not a .json, because *n?x, but a file with the JSON mimetype)
05:33:22 <hppavilion[1]> pikhq: I have also considered an OOFS, but OO is bad and I should feel bad
05:39:07 <hppavilion[1]> IMO, for actual purposes OSes should have three types of applications- Applets, User Applications, and Admin Applications
05:39:55 <hppavilion[1]> Applets run in their own subsystem that follows the SILO model, user applications have access to all non-protected parts of the filesystem, and admin applications have full-system access
05:40:11 -!- earendel has joined.
05:40:48 <hppavilion[1]> All three of those also have their own Windows-like registry (because config files are getting old), and Admin applications can mess with registries of other applications (including the OS)
05:41:49 <hppavilion[1]> It's been suggested that we should use the mobile phone model where EVERYTHING follows the SILO model, but I quite like being able to open documents with both Notepad++ and other applications
05:41:53 -!- Kaynato has quit (Ping timeout: 244 seconds).
05:51:42 -!- centrinia has quit (Ping timeout: 244 seconds).
05:53:17 -!- oerjan has quit (Quit: Nite).
06:04:32 -!- tromp has joined.
06:08:13 -!- picobit has quit (Quit: leaving).
06:08:46 <zgrep> Hm... seeing as monads are like burritos...
06:08:54 <zgrep> ...Burritoid File System
06:11:20 <pikhq> Monads are like burritos?
06:11:37 <zzo38> That is what they say but it does not really make sense so much
06:11:48 <pikhq> I thought burritos were like monads.
06:12:13 <pikhq> This may explain my poor understanding of the burrito category.
06:21:06 <hppavilion[1]> zzo38: Do you understand Monads well enough to get what a Monadic filesystem would be like?
06:34:34 <pikhq> I just don't have any idea how monads could apply to a filesystem.
06:34:57 -!- XorSwap has quit (Quit: Leaving).
06:35:01 <pikhq> Except in that you could have a "filesystem monad" which would be a state monad with an unusual API.
06:38:53 * zgrep wishes somebody'd explain the generic rules behind what a monad is to zgrep, and give a few examples afterwards... or at least link to place that does so well
06:40:11 * zgrep wonders why the Stanford Encyclopedia of Philosophy has a page about Category Theory...
06:42:12 <zgrep> A lengthy one, too.
06:52:48 <hppavilion[1]> "OpenType is a registered trademark of Microsoft Corporation."
07:02:37 <hppavilion[1]> Is this understanding of how font formats work correct?:
07:03:01 -!- tromp has quit (Remote host closed the connection).
07:03:26 <hppavilion[1]> When a machine requests to render it, in a given size, the format evaluator converts the relevant glyphs to bitmap images of that size and passes them back to the machine
07:11:32 <deltab> I think more often the text renderer is part of a graphics library that writes the glyph bitmaps onto the output bitmap
07:14:48 <hppavilion[1]> http://carnage-melon.tom7.org/embed/dmca.html makes me happy
07:14:50 <deltab> sometimes it'll return the outlines as vector paths to the program, allowing it to resize and otherwise transform the shapes, or use them as clipping paths or extrude them into 3d
07:16:06 <deltab> the glyph bitmaps get cached because it's much faster to copy a block of pixels than to render vector shapes
07:18:32 <deltab> for vector output devices such as plotters, of course, the outlines stay as vectors
07:22:38 -!- nisstyre has quit (Changing host).
07:22:39 -!- nisstyre has joined.
07:23:14 <deltab> also, the text renderer can be used to get just the positions and sizes ('metrics') without any visual data; that's useful for the program to do layout (line splitting, etc.), mapping mouse click locations to characters, drawing selection boxes, etc.
07:26:22 <pikhq> hppavilion[1]: What you described is probably accurate for some older font renderers.
07:27:06 <pikhq> But a simplistic model like that doesn't work quite right with the more complicated features that the OpenType format provides, such as ligatures and variant selection...
07:27:30 <pikhq> (which are necessary for high quality typesetting of most languages, and vital for *legible* rendering of some languages.)
07:29:32 <pikhq> Some glyphs can have variants depending on context, or metadata.
07:30:24 <hppavilion[1]> pikhq: I do want to support that, but I now realize that the return-the-bitmap model won't work
07:31:05 <deltab> e.g. Arabic letters join to each other, owth differing shapes when they're initial, medial, final or isolated
07:31:08 <pikhq> The better solution, which is also a lot easier for end users to use, is to have the font renderer render *strings* into a bitmap image.
07:32:24 -!- ineiros has joined.
07:32:33 <pikhq> Not that I know of. Um, if you support antialiasing use an alpha channel and require end users to composite instead of rendering without an alpha channel?
07:33:16 <hppavilion[1]> pikhq: I will have to figure out how to return bitmap images AND AGIF
07:34:57 <hppavilion[1]> pikhq: Because animated emoji with simplistic scripting make me cry tears of joy.
07:35:52 <pikhq> Where AGIF is GIF with the almost universally supported animation extension?
07:37:07 <pikhq> Is there anything about it that's better than PNG? (well, APNG or MNG or some such)
07:37:15 <pikhq> (I would hope so, but hey. :))
07:37:55 <hppavilion[1]> pikhq: It's like GIF with simplistic scripting (e.g. googley eyes that follow the mouse). Horribly inefficient on slower processors, but fucking amazing when it's fast enough.
07:38:23 <hppavilion[1]> I feel a like it's a /bit/ outside of the image domain, but oh well.
07:38:53 <deltab> 'AGIF' is likely to be interpreted as 'animated GIF'
07:38:59 <hppavilion[1]> pikhq: I imagine it'll be the kind of thing that you could technically write a full-scale game in but that you never would because that's awefome
07:39:01 <pikhq> Though probably easy *enough* to get working on the web with some clever Javascript.
07:39:19 -!- lambda-11235 has quit (Quit: Bye).
07:39:37 <pikhq> Particularly if you manage to make it an actual extension of GIF.
07:39:59 <pikhq> Then why call it GIF? :P
07:40:20 <hppavilion[1]> pikhq: The idea, though, is a font format that also supports vector images in the AGIF format (which builds on BVIF (Binary Vector Image Format))
07:40:43 <hppavilion[1]> AGIF is actually, officially, Advanced Giraffical Interchange Format
07:50:16 -!- bb010g has quit (Ping timeout: 264 seconds).
07:50:51 -!- ineiros has quit (Ping timeout: 264 seconds).
07:51:34 -!- ineiros has joined.
07:58:47 -!- bb010g has joined.
08:03:32 -!- tromp has joined.
08:08:05 -!- tromp has quit (Ping timeout: 244 seconds).
08:49:39 <hppavilion[1]> I just realized that I've never seen a format for encoding charts
08:51:34 -!- yorick__ has joined.
08:51:34 -!- yorick__ has quit (Changing host).
08:51:34 -!- yorick__ has joined.
08:51:37 -!- FreeFull_ has joined.
08:55:33 -!- sewilton_ has joined.
08:56:43 -!- earendel has quit (*.net *.split).
08:56:45 -!- FreeFull has quit (*.net *.split).
08:56:45 -!- idris-bot has quit (*.net *.split).
08:56:45 -!- yorick has quit (*.net *.split).
08:56:45 -!- sewilton has quit (*.net *.split).
08:56:45 -!- Nithogg has quit (*.net *.split).
08:56:45 -!- zzo38 has quit (*.net *.split).
08:59:45 -!- sewilton_ has changed nick to sewilton.
09:03:13 -!- Nithogg has joined.
09:03:18 -!- augur_ has joined.
09:06:47 -!- atehwa_ has joined.
09:07:50 -!- Warrigal has joined.
09:08:54 -!- contrapumpkin has joined.
09:09:08 -!- jix_ has joined.
09:12:02 -!- FreeFull_ has quit (*.net *.split).
09:12:02 -!- yorick__ has quit (*.net *.split).
09:12:05 -!- me4 has quit (*.net *.split).
09:12:05 -!- copumpkin has quit (*.net *.split).
09:12:09 -!- jix has quit (*.net *.split).
09:12:13 -!- ski has quit (*.net *.split).
09:12:13 -!- augur has quit (*.net *.split).
09:12:13 -!- trn has quit (*.net *.split).
09:12:13 -!- tswett has quit (*.net *.split).
09:12:16 -!- atehwa has quit (*.net *.split).
09:12:16 -!- catern has quit (*.net *.split).
09:12:16 -!- Deewiant has quit (*.net *.split).
09:12:16 -!- nitrix has quit (*.net *.split).
09:12:16 -!- paul2520 has quit (*.net *.split).
09:12:16 -!- singingboyo has quit (*.net *.split).
09:12:16 -!- newsham has quit (*.net *.split).
09:13:17 -!- ski has joined.
09:15:19 -!- catern has joined.
09:16:17 -!- sewilton has quit (Ping timeout: 260 seconds).
09:16:22 -!- nitrix- has joined.
09:18:19 -!- Deewiant has joined.
09:18:23 -!- paul2520 has joined.
09:18:39 -!- paul2520 has quit (Changing host).
09:18:39 -!- paul2520 has joined.
09:22:33 -!- Lord_of_Life has quit (Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite!).
09:25:32 -!- sewilton has joined.
09:26:36 -!- trn has joined.
09:41:40 -!- ocharles_ has quit (Quit: Updating details, brb).
09:41:55 -!- Reece` has joined.
09:42:45 -!- ocharles_ has joined.
09:45:41 -!- Lord_of_Life has joined.
10:03:54 -!- yorick has joined.
10:05:30 -!- AnotherTest has joined.
10:05:31 -!- newsham has joined.
10:05:31 -!- singingboyo has joined.
10:15:11 -!- gamemanj has joined.
10:51:34 -!- FreeFull has joined.
11:01:46 -!- Phantom_Hoover has joined.
11:04:39 -!- gamemanj has quit (Ping timeout: 264 seconds).
11:04:51 -!- tromp has joined.
11:09:41 -!- tromp has quit (Ping timeout: 268 seconds).
11:22:36 -!- Froox has quit (Quit: *bubbles away*).
11:39:00 -!- Frooxius has joined.
11:44:47 -!- mroman has joined.
11:45:05 <mroman> http://codepad.org/lwL6oCq0 <- anybody an idea how I can translate that to Haskell
12:17:51 -!- fizzie has joined.
12:17:51 <lambdabot> [[("a",1),("b",3),("c",4)],[("a",1),("b",3),("c",5)],[("a",1),("b",3),("c",6...
12:19:23 <int-e> :t uncurry (map . (,))
12:25:23 -!- rdococ has joined.
12:26:21 <int-e> this can be done in Python as well, of course: import itertools \ def f(xss): \ list(itertools.product(*[[(a,x) for x in xs] for (a,xs) in xss]))
12:27:50 <int-e> (and the list() is a pessimation if you only want to iterate over the result)
12:42:27 -!- MDude has quit (Ping timeout: 244 seconds).
12:55:39 -!- p34k has joined.
13:05:31 <hppavilion[1]> Given a biinfinite tape of endless 0s, write a TM that will 1ify it
13:29:31 -!- boily has joined.
13:36:12 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
13:48:28 <int-e> I had forgotten just how inscrutable the KOHCTRYKTOP solutions look http://int-e.eu/~bf3/tmp/k8.png
13:54:20 <Taneb> That's impressively inscrutable
13:56:38 <int-e> (featuring a transistor delay based osciallator and a T flip-flop)
14:03:57 <Taneb> Something I find fun from time to time is to write intentionally bad fizz buzz programs; a friend of mine has a github repository collecting them
14:04:07 <Taneb> Here is my latest (in Rust): https://github.com/Taneb/BadBuzz/blob/master/Rust/Taneb.rs
14:09:35 <boily> how the fungot am I supposed to LaTeX that one...
14:09:35 <fungot> boily: calamari's array implementation does not allow you to reason about.
14:09:46 <boily> fungot: no, I do not reason about calamari hth
14:09:47 <fungot> boily: and it is orthogonal to the interpretation technique. system interrupts, on the other hand, if you express a procedure literal with the lambda
14:10:22 <boily> Taneb: Tanelle. that is bad, and you should feel great.
14:15:24 -!- iconmaster has joined.
14:36:12 <int-e> oh it blinks... what fun...
14:38:37 <int-e> boily: how about something like {\fboxsep0pt\colorbox{green}{\textcolor{red}{l}}\colorbox{red}{\textcolor{green}{o}}\colorbox{green}{\textcolor{green}{u}}\colorbox{red}{\textcolor{red}d}\colorbox{green}{\textcolor{red}l}\colorbox{red}{\textcolor{green}y}}}
14:39:24 <fizzie> I was just going to suggest colorbox.
14:40:10 <fizzie> Though there's a \hl command in \usepackage{soul} that could also work. (You'd need a lot of \hl{x}\sethlcolor{a}\hl{y}\sethlcolor{b}... but still.
14:40:32 <int-e> (not sure whether the green on green/red on red works for imitating blinking)
14:42:32 <int-e> oh and maybe sprinkle some \strut in there...
14:42:52 <fizzie> My colleagues had recorded me one of those audio greeting cards, but so that it has 15 different greetings all mixed together.
14:43:15 <int-e> \newcommand{\colorfulletter}[3]{{\fboxsep0pt\colorbox{#1}{\textcolor{#2}{\strut#3}}}
14:43:27 <b_jonas> Taneb: abusing destructors? I've done that once, in a somewhat bad obfu at http://www.perlmonks.com/?node_id=330784
14:44:09 * int-e isn't testing this btw
14:44:21 <b_jonas> no wait, that one doesn't abuse destructors
14:46:15 -!- cnydraz has changed nick to hydraz.
14:46:37 -!- jaboja has joined.
14:51:12 <int-e> mumble. "Encoding file `t5enc.def' not found."
14:52:23 <int-e> texlive-lang-other. thanks, debian.
14:52:41 <boily> int-e: are you... building the wisdom PDF?
14:53:03 * boily has a widening grin
15:04:10 <int-e> doesn't really work...
15:06:13 <boily> which part doesn't work?
15:06:24 <int-e> boily: anyway, try this: http://sprunge.us/IEGc
15:06:36 -!- tromp has joined.
15:06:39 <int-e> the vietnamese doesn't work
15:08:31 <boily> strange... it works perfectly well here.
15:08:39 <boily> missing package? bad moon alignment?
15:08:40 <int-e> (apparently the vietnam.ldf file is gone)
15:11:07 <boily> I have it here, it belongs to texlive-lang-other. reinstall the package?
15:11:18 <int-e> or renamed, hmm. /usr/share/texlive/texmf-dist/tex/generic/babel-vietnamese/vietnamese.ldf
15:11:27 <boily> texlive-lang-other: /usr/share/texlive/texmf-dist/tex/generic/babel-vietnamese/vietnam.ldf
15:11:44 <int-e> I'm on debian unstable (stretch)
15:15:10 <int-e> anyway... not going to solve this today... it's also missing the -cjk stuff and I'm not in the mood to download 100 MB right now.
15:15:58 <boily> tried you loudly thing. it's loud.
15:18:15 <fizzie> Oh, fun LaTeX thing: we've got a semi-official university beamer template thing, and when it's used with pdflatex from the right TeX distribution (including the one I have), it manages to make PDF files that Adobe Reader doesn't open. Just prints a cryptic error.
15:19:23 <fizzie> Other tools (evince, something called "PDF-xChange" or something like that that they fortunately had on the lecture hall Windows box) think the files are just fine.
15:20:47 <fizzie> Except when I told evince to print them two slides per page, most (but not all) 'i' and 'l' letters disappeared. But for slides per page was again fine.
15:20:56 <boily> I hate Adobe Reader's errors. "Something went wrong somewhere" "Yes, I can see that. What went wrong?" "..."
15:21:55 <fizzie> Yeah, it was something like that. Except the error message box repeated six times before it gave up.
15:25:32 -!- sebbu has quit (Ping timeout: 260 seconds).
15:27:05 <boily> at our office we have an obscure tool to explode PDFs and analyse their contents. no documentation, cryptic dictionary keys, weird numbers, but otherwise tremendously useful for debugging.
15:27:26 <boily> can't remember how it's called, and if it's still available on the interwebs.
15:30:12 -!- J_Arcane has quit (Ping timeout: 246 seconds).
15:33:15 -!- jaboja has quit (Ping timeout: 250 seconds).
15:48:11 -!- gremlins has joined.
15:50:02 -!- Reece` has quit (Ping timeout: 260 seconds).
15:58:01 -!- Reece` has joined.
15:58:47 -!- gremlins has quit (Ping timeout: 244 seconds).
16:11:58 <boily> b_jellonas. stop whom? what? why?
16:12:13 <fungot> int-e: especially the part about screen names made me think... thats a perfect explanation.
16:12:26 <int-e> wow, perfectly coherent
16:21:17 -!- rdococ_ has joined.
16:23:09 -!- fungot has quit (Ping timeout: 250 seconds).
16:24:01 -!- j-bot has quit (Ping timeout: 250 seconds).
16:27:38 -!- boily_ has joined.
16:29:13 -!- nortti has quit (Ping timeout: 250 seconds).
16:29:46 <boily_> the Gregorlogs are dead, and I am besides myself.
16:29:58 <boily_> b_jonas: did the what that had to be stopped stopped?
16:30:46 -!- boily has quit (*.net *.split).
16:30:46 -!- rdococ has quit (*.net *.split).
16:31:00 -!- boily_ has changed nick to boily.
16:31:34 -!- rdococ_ has changed nick to rdococ.
16:32:12 <b_jonas> boily: yes. it was some neighbor making noises. the nerve they have, hammering something when I'm home.
16:36:27 -!- nortti has joined.
16:43:20 -!- Reece` has quit (Read error: Connection reset by peer).
16:52:32 -!- mroman has quit (Quit: Page closed).
17:00:31 -!- oerjan has joined.
17:03:39 -!- boily has quit (Quit: SIMPLIFIED CHICKEN).
17:16:31 -!- Kaynato has joined.
17:21:26 -!- Frooxius has quit (Ping timeout: 244 seconds).
17:22:35 <oerjan> <int-e> > let f = sequence . map (uncurry (map . (,))) in f [("a",[1,2]),("b",[3]),("c",[4,5,6])]
17:22:52 -!- sebbu has joined.
17:23:35 <oerjan> > let f = sequence . map sequence in f [("a",[1,2]),("b",[3]),("c",[4,5,6])]
17:23:36 <lambdabot> [[("a",1),("b",3),("c",4)],[("a",1),("b",3),("c",5)],[("a",1),("b",3),("c",6...
17:24:03 <lambdabot> (Monad m, Traversable t) => t (m a) -> m (t a)
17:24:34 <oerjan> > let f = traverse sequence in f [("a",[1,2]),("b",[3]),("c",[4,5,6])]
17:24:36 <lambdabot> [[("a",1),("b",3),("c",4)],[("a",1),("b",3),("c",5)],[("a",1),("b",3),("c",6...
17:25:13 <int-e> brilliant, of course, but also appalling.
17:25:37 -!- fungot has joined.
17:25:48 <fizzie> That thing keeps dropping like a fly.
17:26:07 <fizzie> I guess that doesn't really work, since a single fly probably just drops once.
17:30:45 <int-e> that doesn't match my experience
17:35:53 <int-e> > traverse sequence (1,["12","34"])
17:35:54 <lambdabot> [(1,"13"),(1,"14"),(1,"23"),(1,"24")]
17:36:26 <oerjan> <int-e> (not sure whether the green on green/red on red works for imitating blinking) <-- that's what irssi does, anyway
17:36:53 <int-e> oerjan: I've seen it blink... I was talking about the LaTeX sinppet.
17:37:13 <int-e> or snippet, to use the conventional spelling
17:38:32 <fizzie> I see that thing as just red-on-green/green-on-red, with no blinking.
17:39:13 <int-e> It blinked in my local xterm (without screen or other intermediates)
17:50:55 -!- Reece` has joined.
17:51:14 -!- iconmaster_ has joined.
17:51:35 -!- tromp__ has joined.
17:52:36 -!- oerjan has quit (Quit: Later).
18:00:47 -!- tromp has quit (*.net *.split).
18:00:47 -!- iconmaster has quit (*.net *.split).
18:01:59 -!- boily has joined.
18:02:01 <boily> `wisdom middle worse
18:02:15 <HackEgo> middle worse/Mïðal VVőrszü vvoràði nyëlv spöket af magyar inva̋ðereknek leszármazottai Herefördshirben äppröxima̋tely 1250.
18:02:33 -!- boily has set topic: Pickle surprise! | The international hub of esoteric programming language and kitten typesetting | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Saguenay (not Chicoutimi).
18:10:59 -!- j-bot has joined.
18:11:20 <HackEgo> pelallansa uinamme ampansoittamme nuorillenne sillensa käyneimmilta vääni kylvyllyttömimilla vetoillani konaistisimpani rajunnistäsi juhlaavillensa etenhuavistintavikalle noutariaksi pellisuudeksi suukutsutui hurjoilla tunttisisi opistoamaalenne kompien
18:20:05 -!- Reece` has quit (Ping timeout: 250 seconds).
18:20:28 -!- Reece` has joined.
18:23:58 <boily> fizziello. any real words in there?
18:24:10 -!- earendel has joined.
18:26:32 <b_jonas> ``` words --finnish -o -5 50
18:26:34 <HackEgo> poikkealla omaaverit haisimaannoista kuulettisimpina helisemmaltaava lautumassa sinko kaudottamaalisesi pihaa ikäisemastavilläne laperäisi laajussani yksingokseni yhdelttavilta noudeksi kahvissäni ryhmiseli kärsioikkentä valtamissämme isyytymällä hiipeilla ajalta vaksessani jakaani oivoiteikiä
18:26:35 <b_jonas> ``` words --finnish -o 5 20
18:26:37 <HackEgo> lyhyeliturruttelemme kourikalisempänäniputkiksentuviksen paanisemmetoimiini oulumallesittelustuvin puhkumassansaarnaan pullaamallenne tyvääniloituaksellista heneväsitoillänsä terältänne lohinhahmaansaaniikaisimmastantauksen hyökallemiamme kroukseniläisellisemmista kuohuvenemaansarjallanne vallastaantamallemme hersinuuttaessämme avillesi
18:27:49 <boily> ``` words --magyar
18:31:03 <HackEgo> Unknown option: portugoose
18:31:25 -!- olsner has quit (Ping timeout: 250 seconds).
18:32:23 <boily> `le/rn portugoose/Peça ganso assado com natas.
18:32:43 <boily> ``` words --french 20
18:32:56 <HackEgo> procépri gba pater mos testalisbeck scanifleu carnarc corre porta aper hcrtnctiore ixxiiiique convene appetjent iderance excombunde agks setzvoueme brundale vera
18:33:48 <b_jonas> ``` words --french -o -5 40
18:33:51 <b_jonas> ``` words --french -o 5 30
18:34:01 <HackEgo> présquin lnspoleal rabrist muni osna loriaire repretripali tonagerha stepokiection prœces anneur pci abîmes sava éteria gren crusth demont feluze bûc mum lcl raur traciôn eométrill
18:34:10 <HackEgo> deonsnfftschen haversees ectrod bécismeslan aursquesseudo panailliert tiverleyssompie slablespongences stihârâtelgemenii guisiorigosl gerticiousessainteinte vesterristegourge achenteraient calcontivestiludc bononligerbus périctivimumclxxx reciaienseraine prixâtesquivo yivelgescechnigrampage sylvisdenô accincrees saitporalions embergottoriusci
18:34:50 <b_jonas> lnspoleal? you don't start words with lnsp in french. that's for Russian only.
18:35:13 <b_jonas> and the h in tonagerha looks suspicious
18:35:23 <b_jonas> as well as the one in crusth
18:35:44 <b_jonas> wait, deonsnfftschen? what's this, german?
18:35:53 <b_jonas> haversees? is that like hovercraft eels?
18:36:13 <b_jonas> aursquesseudo? that's more like spanish or something
18:36:26 <b_jonas> but some of those are quite believable
18:36:52 <b_jonas> péritivimum ... ok, but clxxx?
18:37:10 <boily> abîmes sounds legit.
18:37:19 <HackEgo> Unknown option: 3 \ Unknown option: 0
18:37:36 <HackEgo> yémandczeptes auchet partallet tussembos demal lubsta annoth anisca gourro mer dimèrs flagnc pléma tragcr verkdahsoir brieldt gares lavitch demann ciat hgporf prisère prée roles tracharag
18:37:56 <b_jonas> what's with all the h in that?
18:38:06 -!- hppavilion[1] has joined.
18:38:34 <b_jonas> ``` words --french 40 | perl -e's/\S*h\S*\s?//'
18:38:51 <b_jonas> ``` words --french 40 | perl -pe's/\S*h\S*\s?//g'
18:38:59 <HackEgo> avottini grontibus combeburner invenassc fruan trication daigerment tatism fupées altement egri lanissiones écrousculent gion tatinté averin foy cappréciat agcm solai
18:39:00 <b_jonas> "gares" is a real world I think
18:39:17 <b_jonas> ``` words --french 60 | perl -pe's/\S*h\S*\s?//g'
18:39:26 <HackEgo> rosia tupure oppagné aliabi morumnas fltas montat fortaskinno desare bouane sou cousso purprétarveio zaam porego parakl zoëne quent mus drnisland allongno willette rebi
18:39:32 <HackEgo> 0000000: 5075 6e73 2061 7265 2066 756e 2e20 4173 Puns are fun. As \ 0000010: 6b20 7368 6163 680f 6166 2061 626f 7574 k shach.af about \ 0000020: 2074 6865 6d2e 2042 7574 2062 6577 6172 them. But bewar \ 0000030: 6520 6f66 204d 7570 6872 7920 6164 6469 e of Muphry addi \ 0000040: 6e67 206d 6973 7370 656c 6c69 6e67 732e ng misspellings. \ 00000
18:39:34 <b_jonas> écrousculent? that's a nice one
18:39:54 <b_jonas> "sou" is real too, isn't it?
18:40:41 <boily> écrousculent: sounds nice. «ils écrousculent»... «ils s'écroulent en petits éboulis»?
18:41:00 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: this: not found
18:41:09 <boily> b_jonas: «sou» is real. it's an alternative to «cent», as in a currency's subdivision.
18:41:29 <HackEgo> /hackenv/bin/this: line 1: THIS.: command not found
18:43:56 -!- picobit has joined.
18:44:01 -!- olsner has joined.
18:46:57 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
18:47:42 <HackEgo> руцка рукту спиравован кузенца jia капы гожесть фрэдслужиласт лроилизгна наромбом одни папывайтийный иитова плескомылойно чапаившийся велаксимич цародя ушивается трахтиновые передпоср у
18:49:26 <HackEgo> кимистразви пукоду делённыхъ переказворосе лома атборд золомбовск выдов мецюйфусэвиа крепол происше возданномъ однейшую цманными прогрудя пионо билосьментрич жидковъ изнаниза гвкингст
18:49:30 <HackEgo> майтанглинго уральскимикрощи салъйшаяся кваистяхъ сверествами чудсгаетерпеневски прежесть несоцируемонцеллы прериласьев еобожную оппеременьшъ постриевыми разиными порважившись канн
18:54:00 -!- MDude has joined.
18:54:08 -!- gamemanj has joined.
19:02:17 <boily> `words --armenian 20
19:02:54 -!- gremlins2 has joined.
19:03:27 <boily> `le/rn_append funpuns/Gur havg bs onq chaarel vf anzrq nsgre uvz.
19:03:33 <HackEgo> Can't open wisdom/funpuns: No such file or directory. \ Learned 'funpuns': Gur havg bs onq chaarel vf anzrq nsgre uvz.
19:03:42 <boily> `rm wisdom/funpuns
19:03:46 <boily> `le/rn_append funpun/Gur havg bs onq chaarel vf anzrq nsgre uvz.
19:03:50 <HackEgo> Learned 'funpun': funpuns fceø fbz fryyrev naq pbfcynlf Arcrgn Yrvwba ba jrrxraqf. Ur ungrf oryy crccref jvgu n cnffvba. Gur havg bs onq chaarel vf anzrq nsgre uvz.
19:04:17 -!- Reece` has quit (Ping timeout: 250 seconds).
19:05:19 <shachaf> `` sed -i 's/onq/sha/' wisdom/funpun
19:05:46 <fizzie> boily: Real so far: nuorillenne sinko pihaa ajalta pullaamallenne (<- a bit debatable) terältänne.
19:07:25 <boily> shachaf: subtle :P
19:09:04 -!- mroman has joined.
19:09:27 -!- tromp__ has quit (Remote host closed the connection).
19:09:32 <mroman> https://github.com/FMNSSun/Ununoctium/tree/master/spec
19:12:57 <fizzie> Approximate translations, respectively: "for your young people", bazooka, a yard (as in, outdoor area adjacent to a house; partitive case), "from a time", something a bit difficult to translate or even parse, and "from your (plural you) edge (in the 'knife edge' sense)".
19:13:31 <boily> "nuorillenne" conflagrates "for your young people" in a single word?
19:16:10 -!- relrod has quit (Ping timeout: 276 seconds).
19:18:22 <fizzie> nuori -> youth, young adult. -lle -> allative case, usually "onto <something>" but also "for <someone>" if you're giving them something. -nne -> second-person plural possessive suffix, "your".
19:18:49 -!- relrod_ has joined.
19:18:49 -!- relrod_ has quit (Changing host).
19:18:49 -!- relrod_ has joined.
19:19:26 <b_jonas> wait what? how can the case ending precede the possessive marker?
19:19:44 <fizzie> Well, "nuori" is also just the adjective "young". But when used like a noun and without any particular context, I think the standard assumed one is a person.
19:21:24 <fizzie> It can't go the other way around, that would sound ridiculous and not right at all.
19:24:17 <boily> "pour vos jeunes personnes" just rolls off the tongue hth
19:24:18 <fizzie> A particle like -kin ("also", "too") would go after both of those. (nuorillennekin)
19:24:41 <boily> `` xxd wisdom/the meaning of life
19:24:45 <HackEgo> Usage: \ xxd [options] [infile [outfile]] \ or \ xxd -r [-s [-]offset] [-c cols] [-ps] [infile [outfile]] \ Options: \ -a toggle autoskip: A single '*' replaces nul-lines. Default off. \ -b binary digit dump (incompatible with -ps,-i,-r). Default hex. \ -c cols format <cols> octets per line. Defau
19:24:57 <boily> `` xxd wisdom/the\ meaning\ of\ life
19:24:58 <HackEgo> 0000000: 6563 686f 2031 3031 3831 0a echo 10181.
19:26:10 <fizzie> I used the word "kahvinjuojallekin" ("also for a drinker of coffee") as an example of how Finnish is agglutinative in my thesis.
19:27:08 <boily> it's also for a drinker of coffee.
19:27:23 <boily> `` culprits wisdom/things\ boily\ likes
19:27:27 <HackEgo> oerjan oerjan elliott oerjan oerjan
19:27:30 <fizzie> kahvi + -n + juoda + -ja + -lle + -kin.
19:29:41 <boily> kahvi: coffee; -n: a?; juoda: drink; -ja: -er; -lle: ???; -kin: also.
19:33:21 -!- zzo38 has joined.
19:37:02 <fizzie> boily: coffee + accusative case (essentially makes it an object instead of a subject) + to drink + -er + the same allative we already covered in "nuorillenne", again as "for" + also.
19:37:27 <fizzie> We don't really have an equivalent of the "a", I think.
19:38:31 <HackEgo> A is _not_ a village in Norway, unless you're the BBC and don't understand things on top of letters.
19:39:02 -!- hppavilion[1] has joined.
19:41:20 <b_jonas> fizzie yeah, in Finland it's called Åå instead because they have double letters
19:42:19 <b_jonas> oh, you mean an article? sure
19:43:24 <gamemanj> Other things the BBC doesn't understand: happy news.
19:43:41 <int-e> `culprits wisdom/the\ meaning\ of\ life
19:43:50 <int-e> `culprits wisdom/the meaning of life
19:45:01 -!- J_Arcane has joined.
19:45:14 <hppavilion[1]> int-e: Weird, I'm sure that used to mean something
19:45:44 <gamemanj> the meaning of life, the universe, and everything is 42.
19:45:54 <gamemanj> what's this "10181" stuff about?
19:46:03 <hppavilion[1]> gamemanj: I think that wisdom/the meaning of life is supposed to echo $RANDOM
19:46:05 -!- jaboja has joined.
19:46:20 <hppavilion[1]> gamemanj: But that in creating the script it got set to a static random number, rather than a dynamic one
19:46:43 <hppavilion[1]> gamemanj: So every time you request TMoL it would be different
19:47:49 <hppavilion[1]> gamemanj: It just so happened to be 42 at the moment that the analysis was performed, and no one thought to try again
19:52:59 <hppavilion[1]> gamemanj: In fact, the answer may not have been 42 at the time; the answer changes on a sub-planck-time scale, and as such they had different results from subcalculations
19:53:35 <hppavilion[1]> http://blog.regehr.org/archives/140 is the best clickbait ever
19:54:11 -!- contrapumpkin has changed nick to copumpkin.
19:56:30 <HackEgo> Zork is like York, except for the first letter. Uaneb invented it.
19:56:44 <boily> ↑ should I put Zork under the places chapter, or the tanebventions one?
19:56:47 <HackEgo> Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of five genders, and voluminous but calm eyebrows. (See also: tanebventions)
19:56:49 <HackEgo> Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, robots, progress, and this sentence. He never invents anything involving sex.
19:57:46 <HackEgo> Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good.
19:58:27 -!- MDude has quit (Ping timeout: 250 seconds).
19:59:44 <Taneb> I need to do some more ruminating on my gender identity at some point
19:59:48 <Taneb> But I can procrastinate that
20:00:37 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
20:01:14 <fizzie> An ungot is a particularly heavy ingot.
20:01:24 -!- Reece` has joined.
20:02:08 -!- gremlins2 has quit (Ping timeout: 244 seconds).
20:02:17 <b_jonas> `learn A stalactite is an upside-down stalagmite.
20:02:22 <HackEgo> Learned 'stalactite': A stalactite is an upside-down stalagmite.
20:02:28 <b_jonas> `learn A stalagmite is an upside-down stalctite.
20:02:32 <HackEgo> Learned 'stalagmite': A stalagmite is an upside-down stalctite.
20:03:30 <fizzie> How about those stalagtites and stalacmites then?
20:03:48 <zzo38> That would be the backward one.
20:03:59 <int-e> If you were to grind a stalacmite thoroughly, would you get a dustmite?
20:04:05 <b_jonas> `learn A stalagmyte is eight stalagmits
20:04:08 <HackEgo> Learned 'stalagmyte': A stalagmyte is eight stalagmits
20:04:24 <boily> ♪ DING ♪ round of updates done. the things, places, tanebventions and similar are covered. quotes are not up to date yet.
20:04:26 -!- rdococ has quit (Remote host closed the connection).
20:04:42 <boily> there are some painful entries to LaTeXify yet.
20:06:42 <int-e> b_jonas: wisdom.pdf
20:07:26 -!- centrinia has joined.
20:07:38 <boily> `relcome centrinia
20:07:40 <HackEgo> centrinia: 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.)
20:09:43 <HackEgo> PDF stands for Pretty Depressing Format.
20:09:56 -!- tromp has joined.
20:09:59 <boily> b_jonas: you can peruse the PDF in the /topic ↑
20:10:10 <boily> also, I believe you have commit access to the repo.
20:10:18 <b_jonas> `learn wisdom.pdf is https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf
20:10:20 <HackEgo> Learned 'wisdom.pdf': wisdom.pdf is https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf
20:13:34 <zzo38> boily: On this Linux computer the PDF does work on Firefox, so I can report an error: The "accounting" entry should not use the less than and greater than signs; it is supposed to be Dirac notation.
20:13:49 <HackEgo> The Cyberiad is not just a book. It's an M&S book.
20:13:58 <boily> zzo38: good point.
20:14:57 <HackEgo> In a paperless world, rock would never lose.
20:15:57 -!- tromp has quit (Ping timeout: 276 seconds).
20:16:12 <int-e> + % TODO all this other weirdness
20:16:58 <zzo38> Did you fix it yet?
20:17:09 <b_jonas> ``` sed -i 's/</⟨/g;s/>/⟩/g' wisdom/accounting && echo wisdom/accounting
20:18:02 <zzo38> I mean on the wisdom.pdf not on HackEgo
20:18:36 <HackEgo> CSV猫stands猫for猫Cat猫Separated猫Values
20:19:17 <Taneb> boily, would it be possible to make the pdf imitate the behaviour of `? Ngevd rather than quoting the actual file?
20:19:22 <HackEgo> zX*ÔXQ}üüú_tw䯺ïvé.ÿeÀî·Â
20:19:48 <boily> zzo38: I got slightly distracted by an asian acappela group doing a cover of "I'm a scatman! skee-da-dee-da-bop-bop ♪"
20:19:49 -!- Frooxius has joined.
20:19:59 <boily> Taneb: eeeeeeeeeeeeeh...
20:20:06 <HackEgo> âwý«¿ðãé'§Õ´Ô̶]Oxdºº½Âï¸úËa,íºé}ePÊâ:ÈéÐêaéñh¶ËC/oZ
]FϨóT°ÁnYU¢RYC¾â%öu zÿ.èønWaøw^þ/çÓ²×yI² «~.åyÇêMPDÙÀ%4ûß.É%zúà -ÉDúÁÌ.Ð~óß×6:¶´pyv4ó ÄFú6WaÁÎ?Éå0±'h°(ü'DÅ,öÍ-uùºÏ)»Ë²õp. \ É;BF'æ×ô_wAm«qê^!§§©r8ùkGlrí5¬.Ô»HÇVFvT1ÐÉwã½!´ô.ÿ+¤¦å·ø|ÎÞ(³B(ÆxQYÁZ¨Á$Å»ï
20:20:15 <boily> probably? LaTeX can do all kind of weird stuff already.
20:20:43 -!- mtve has quit (Ping timeout: 260 seconds).
20:21:25 <zzo38> b_jonas: If that is what you want to do it is fine but it is not really broken how I had it before since this is the IRC and not the typesetting paper.
20:21:47 <zzo38> boily: Make up a font consisting of random mess with METAFONT and then use that font for that entry.
20:22:05 <zzo38> (There is command in METAFONT to make up random numbers)
20:22:16 <int-e> lalala patches welcome lalala
20:23:05 <int-e> `culprits wisdom/schaf
20:24:30 -!- idris-bot has joined.
20:25:23 -!- fungot has quit (Ping timeout: 250 seconds).
20:26:41 -!- centrinia has quit (Ping timeout: 250 seconds).
20:29:43 <b_jonas> `slashlearn Ravnica: City of Guilds/Ravnica: City of Guilds is a city of guilds. “City of Guilds” is part of its name. The Wizards of the Coast Marketing Department: We Sell Anything thought players might not notice it was a City of Guilds unless they put the tagline into the name.
20:29:46 <HackEgo> Learned «ravnica: city of guilds»
20:29:50 <b_jonas> `slashlearn Ravnica/Ravnica: City of Guilds is a city of guilds. “City of Guilds” is part of its name. The Wizards of the Coast Marketing Department: We Sell Anything thought players might not notice it was a City of Guilds unless they put the tagline into the name.
20:30:09 -!- j-bot has quit (Ping timeout: 250 seconds).
20:30:45 -!- mtve has joined.
20:30:52 <HackEgo> The Cyberiad is not just a book. It's an M&S book.
20:32:09 -!- hppavilion[1] has joined.
20:32:13 <HackEgo> People go on diets to loose weight instead of gaining. It gives them a consistant diet.
20:33:19 -!- relrod_ has quit (*.net *.split).
20:33:29 -!- Reece` has quit (Quit: Alsithyafturttararfunar).
20:33:43 -!- boily has quit (Quit: SPECIALIST CHICKEN).
20:33:58 -!- relrod_ has joined.
20:34:01 -!- relrod_ has quit (Changing host).
20:34:01 -!- relrod_ has joined.
20:36:08 <int-e> Phantom_Hoover: what does M&S mean?
20:36:52 <Phantom_Hoover> they ran an ad campaign where the catchphrase was "it's not just a <thing>, it's an m&s <thing>"
20:37:17 <int-e> thanks, though I was hoping for something... deeper.
20:37:50 <b_jonas> `learn Wealhtheow is the barkeep in the tavern where the adventuring group of Beowulf meet at the start of the story.
20:37:54 <HackEgo> Learned 'wealhtheow': Wealhtheow is the barkeep in the tavern where the adventuring group of Beowulf meet at the start of the story.
20:38:15 -!- centrinia has joined.
20:38:41 <b_jonas> `learn Wealhtheow is the barkeep in the tavern where the adventuring party of Beowulf meet at the start of the story.
20:38:44 <HackEgo> Relearned 'wealhtheow': Wealhtheow is the barkeep in the tavern where the adventuring party of Beowulf meet at the start of the story.
20:40:40 -!- greenlock has joined.
20:42:17 <b_jonas> `learn Stibia is a spice that grows in your leg.
20:42:21 <HackEgo> Learned 'stibia': Stibia is a spice that grows in your leg.
20:42:56 <b_jonas> I'm looking at that pdf and I recognize a lot of entries I've added.
20:45:57 -!- MDude has joined.
20:46:44 <greenlock> Would I break the internet if I ran '`?' ?
20:47:20 <int-e> greenlock: there's only one way to find out
20:47:44 <HackEgo> The internet is for everything. However many thing can done even without internet too, often better without use of internet, but internet is good too.
20:48:07 -!- sebbu has quit (Ping timeout: 260 seconds).
20:48:28 <HackEgo> Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell'
20:48:50 <HackEgo> Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell'
20:49:47 <HackEgo> Thyme itself is only an abstract approximation of oregano.
20:50:16 <HackEgo> wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø?
20:50:37 <HackEgo> ¯\(°_o)/¯ soviet russia?
20:50:59 <HackEgo> HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in Mexico!
20:51:01 <b_jonas> `slashlearn soviet russia/In soviet russia, this wisdom entry reads you.
20:52:08 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
20:52:15 <HackEgo> In soviet russia, this wisdom entry reads you.
20:52:26 <b_jonas> int-e: that one is bad, feel free to substitute it with something better
20:52:37 <int-e> b_jonas: wondering about the "Relearned"
20:52:48 <HackEgo> We'll write about TVTropes here, we just have to finish these tabs first.
20:52:59 <b_jonas> int-e: ask the version control about it
20:53:31 <int-e> b_jonas: I did. Still wondering
20:53:33 <b_jonas> ``` hg log -p wisdom/soviet\ russia
20:53:39 <HackEgo> changeset: 7412:b98aae2264e3 \ tag: tip \ user: HackBot \ date: Sun Apr 17 19:51:03 2016 +0000 \ summary: <b_jonas> slashlearn soviet russia/In soviet russia, this wisdom entry reads you. \ \ diff -r 6bb2c6e93fa8 -r b98aae2264e3 wisdom/soviet russia \ --- a/wisdom/soviet russiaSun Apr 17 19:42:20 2016 +0000 \ +++ b/wis
20:54:04 <b_jonas> ``` hg log -p wisdom/soviet\ russia | tail -n +7
20:54:11 <HackEgo> diff -r 6bb2c6e93fa8 -r b98aae2264e3 wisdom/soviet russia \ --- a/wisdom/soviet russiaSun Apr 17 19:42:20 2016 +0000 \ +++ b/wisdom/soviet russiaSun Apr 17 19:51:03 2016 +0000 \ @@ -1,1 +1,1 @@ \ -¯\(°_o)/¯ soviet russia? \ +In soviet russia, this wisdom entry reads you. \ \ changeset: 7388:2853bce44bba \ user: HackBot \ date:
20:54:29 <int-e> b_jonas: note how the the ¯\(°_o)/¯ came first
20:54:45 <b_jonas> `revert wisdom/soviet russia
20:54:45 <HackEgo> hg: parse error at 14: invalid token
20:54:58 <HackEgo> In soviet russia, this wisdom entry reads you.
20:55:11 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
20:55:20 <HackEgo> ¯\(°_o)/¯ soviet russia?
20:59:03 <HackEgo> Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell'
20:59:32 -!- sebbu has joined.
21:04:45 -!- carado has quit (Quit: Leaving).
21:06:57 <zzo38> Is page 182 supposed to be blank?
21:07:10 <b_jonas> there should be something about classes and marx there
21:07:47 -!- centrinia has quit (Ping timeout: 250 seconds).
21:08:59 <HackEgo> Pike is an interpreted language that got sort of forgotten among the four big mainstream p-languages (perl, python, ruby, php).
21:09:04 <HackEgo> python = ProgrammingLanguage(attrs=[plattrs['WHITESPACE_SENSITIVE'], plattrs['INTERPRETED'], *plparadigms['IMPERATIVE', 'FUNCTIONAL']])
21:09:05 <HackEgo> Perl is the Perfect Emacs Rewriting Language
21:09:06 <HackEgo> php is the PigeonHole Principle
21:09:10 <HackEgo> Ruby is a programming language from Japan, that Eventually decided to support non-ascii characters.
21:09:40 <gamemanj> uh, from japan, eventually decided to support non-ascii characters? that's a little confusing...
21:09:46 -!- carado has joined.
21:09:50 <b_jonas> why did I capitalize Eventually?
21:10:05 <b_jonas> `learn Ruby is a programming language from Japan, that eventually decided to support non-ascii characters.
21:10:10 <HackEgo> Relearned 'ruby': Ruby is a programming language from Japan, that eventually decided to support non-ascii characters.
21:10:21 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?kitty: not found
21:10:52 <gamemanj> so apparently cats don't exist
21:11:06 -!- mroman has quit (Ping timeout: 250 seconds).
21:11:28 <HackEgo> Cats are cool, but should be illegal.
21:11:53 -!- greenlock has quit (Quit: Leaving).
21:13:09 <HackEgo> wisdom/ruby//Ruby is a programming language from Japan, that Eventually decided to support non-ascii characters.
21:14:21 <HackEgo> Politicians try to stay within the lie bracket: Not so many lies that voters cannot stand it, but not so few that they think you have nothing to give them.
21:15:10 <HackEgo> Lions are the catamorphisms of the animal world. They get eaten by poets in stone dens.
21:15:19 <HackEgo> A Lie algebra is what you get if you take the region infinitesimally close to the identity of a Lie group and blow it up to normal size.
21:16:17 <gamemanj> hmm, there's no entry for "truth"
21:16:48 <gamemanj> actually there's no entry for a lot of things
21:17:15 <b_jonas> `learn norm is the name of the functions in the Eigen and opencv libraries to compute the 2-norm of a vector, and the name of the function in C++ to compute the squared 2-norm of a complex number
21:17:23 <HackEgo> Learned 'norm': norm is the name of the functions in the Eigen and opencv libraries to compute the 2-norm of a vector, and the name of the function in C++ to compute the squared 2-norm of a complex number
21:17:32 <b_jonas> `learn norm is the most confusingly named function in C++
21:17:34 <HackEgo> Relearned 'norm': norm is the most confusingly named function in C++
21:18:53 <b_jonas> `? Magnus is the ghost the Trunchbull killed.
21:18:54 <HackEgo> Magnus is the ghost the Trunchbull killed.? ¯\(°_o)/¯
21:18:57 <b_jonas> `learn Magnus is the ghost the Trunchbull killed.
21:19:01 <HackEgo> Learned 'magnu': Magnus is the ghost the Trunchbull killed.
21:19:20 <gamemanj> it assumed "magnus" was a plural?
21:19:32 <b_jonas> gamemanj: yes, but it's fine, because
21:19:36 <HackEgo> Magnus is the ghost the Trunchbull killed.
21:19:40 <HackEgo> Royal Dahl is the king of Norway.
21:20:23 <HackEgo> kinder surprise? ¯\(°_o)/¯
21:20:35 <HackEgo> Computer is a language where numbers are strings of the characters '1' and '0'.
21:21:36 <gamemanj> that doesn't really say much of the language
21:21:45 <b_jonas> `slashlearn Kinder Surprise/Kinder Surprise is an addictive drug marketed for children so dangerous it's banned at the federal level.
21:22:49 <b_jonas> I still don't understand Mïdal VVőrszü entry. What's it trying to say?
21:25:05 <b_jonas> gamemanj: it has some funny character instead of d
21:25:38 <HackEgo> cat: "wisdom/Mï*al VVőrszü": No such file or directory
21:25:46 <HackEgo> cat: "wisdom/Mï*al*": No such file or directory
21:26:00 <HackEgo> cat: "wisdom/Mi*al*": No such file or directory
21:26:08 <HackEgo> cat: "wisdom/mi*al*": No such file or directory
21:26:48 <gamemanj> Oh, and trying to do an ls wisdom gives me... a bunch of nonsense.
21:28:24 <b_jonas> `learn Trantor is a planet covered entirely by a city. It is the capital of the Galactic Empire, and the home for the biggest library in it.
21:28:26 <HackEgo> Learned 'trantor': Trantor is a planet covered entirely by a city. It is the capital of the Galactic Empire, and the home for the biggest library in it.
21:28:34 <b_jonas> `learn Coruscant is a planet covered entirely by a city. It is the capital of the Galactic Empire, and the home for the biggest library in it.
21:28:36 <HackEgo> Learned 'coruscant': Coruscant is a planet covered entirely by a city. It is the capital of the Galactic Empire, and the home for the biggest library in it.
21:28:52 <b_jonas> `slashlearn Coruscant/Trantor is a planet covered entirely by a city. It is the capital of the Galactic Empire, and the home for the biggest library in it.
21:28:56 <b_jonas> `slashlearn Trantor/Coruscant is a planet covered entirely by a city. It is the capital of the Galactic Empire, and the home for the biggest library in it.
21:29:58 <HackEgo> The Moon is an unprovable celestial object that is not very retroreflectorey.
21:30:05 <b_jonas> isn't that supposed to be s/torey/tory/?
21:30:19 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: spell: not found
21:30:20 <gamemanj> who knows, could be intentional
21:32:02 -!- jaboja has quit (Ping timeout: 244 seconds).
21:35:18 <gamemanj> so long and yet it still doesn't have a complete catalogue of the world yet
21:36:47 <zzo38> That would be too difficult, although still we could add more files
21:37:57 <b_jonas> `learn o is a popular comedy adventure fantasy webcomic. It's about a group of adventurers, heroes or warriors (whatever you want to call them) called the Order of the Stick, as they go about their adventures with minimal competence or knowledge of what they are doing, and eventually sort of stumble into a plan by an undead sorcerer to conquer the world, essentially, and they're out to stop him and conquer their personal problems at the same time. Hopefu
21:37:59 <HackEgo> Learned 'o': o is a popular comedy adventure fantasy webcomic. It's about a group of adventurers, heroes or warriors (whatever you want to call them) called the Order of the Stick, as they go about their adventures with minimal competence or knowledge of what they are doing, and eventually sort of stumble into a plan by an undead sorcerer to conque
21:38:06 <HackEgo> o is a popular comedy adventure fantasy webcomic. It's about a group of adventurers, heroes or warriors (whatever you want to call them) called the Order of the Stick, as they go about their adventures with minimal competence or knowledge of what they are doing, and eventually sort of stumble into a plan by an undead sorcerer to conquer the world,
21:38:15 <gamemanj> I have an idea... set up a search engine within HackEgo to search Gopher servers for the key terms. (Why not the full web? HTML is difficult! And used way too much. And I'm deliberately appealing to zzo38.)
21:39:32 <HackEgo> Addition, subtraction and multiplication have a certain ring to them.
21:41:45 -!- Warrigal has changed nick to tswett.
21:41:58 <HackEgo> Russell's Teapot / Short and stout / Orbits near Mars / Or thereabout. / If you see it / Let us know / If you don't / What does that show?
21:48:13 <HackEgo> Chthonic lithping can be vethy dithturbing to lithten to.
21:49:32 <b_jonas> `learn slough /slaʊ/ or /sluː/ means a marsh; slough /slʌf/ means skin thrown off a reptile
21:49:35 <HackEgo> Learned 'slough': slough /slaʊ/ or /sluː/ means a marsh; slough /slʌf/ means skin thrown off a reptile
21:55:41 <HackEgo> "xkcq" is worth 8 more points than "xkcd" in Scrabble, or a whopping 30 more if both are played optimally on a triple word score. Nyahhh.
21:57:51 <b_jonas> `learn spice girls/The Spice Girls are Pog spice, Story spice, Sarah spice, Gender spice, and Baleen spice.
21:57:54 <HackEgo> Learned 'spice': spice girls/The Spice Girls are Pog spice, Story spice, Sarah spice, Gender spice, and Baleen spice.
21:58:34 <hppavilion[1]> b_jonas: What about THE CREATURE THAT FEASTS ON DREAMS spice?
22:00:58 -!- gamemanj has quit (Ping timeout: 244 seconds).
22:05:40 <hppavilion[1]> `le/rn blaeg/blaeg is a color that cannot exist under the current understanding of physics. It is used on the #esoteric flag, along with ultraviolet and whatever is convenient.
22:07:05 <hppavilion[1]> `le/rn_append blaeg/It is a nullary color, meaning that it can be mixed with itself to produce the primary colors.
22:07:10 <HackEgo> Learned 'blaeg': blaeg is a color that cannot exist under the current understanding of physics. It is used on the #esoteric flag, along with ultraviolet and whatever is convenient. It is a nullary color, meaning that it can be mixed with itself to produce the primary colors.
22:08:24 -!- Xe has quit (Ping timeout: 260 seconds).
22:10:16 <hppavilion[1]> b_jonas: Have you ever heard of some sort of Axiomatic Computer Science?
22:10:26 -!- tromp has joined.
22:14:38 -!- Xe has joined.
22:15:02 -!- tromp has quit (Ping timeout: 260 seconds).
22:18:41 <b_jonas> `slashlearn title/Titles J. K. Rowling had specifically denied on her webpage would be the titles of the sixth or seventh Harry Potter book are: Harry Potter and the{ Green Flame Torch, Mountain of Fantasy, Fortress of Shadows, Forest of Shadows, Graveyard of Memories, Pyramids of Furmat, Pillar of Storgé, Toenail of Icklibõgg}.
22:18:58 <HackEgo> Titles J. K. Rowling had specifically denied on her webpage would be the titles of the sixth or seventh Harry Potter book are: Harry Potter and the{ Green Flame Torch, Mountain of Fantasy, Fortress of Shadows, Forest of Shadows, Graveyard of Memories, Pyramids of Furmat, Pillar of Storgé, Toenail of Icklibõgg}.
22:32:41 -!- fizzie` has joined.
22:41:00 -!- picobit has quit (Quit: leaving).
22:41:07 -!- hppavilion[1] has quit (*.net *.split).
22:41:07 -!- Frooxius has quit (*.net *.split).
22:41:07 -!- fizzie has quit (*.net *.split).
22:41:07 -!- FreeFull has quit (*.net *.split).
22:41:39 <boily> I wake up from my afternoon nap, I check the wisdom repo, and b_jonas went apocalyptical on it.
22:41:39 <boily> I shouldn't sleep. it's dangerous.
22:42:49 <HackEgo> ~&al?\~&ar ~&aa^&~&afahPRPfafatPJPRY+ ~&farlthlriNCSPDPDrlCS2DlrTS2J,^|J/~& ~&rt!=+ ^= ~&s+ ~&H(-+.|=&lrr;,|=&lrl;,|=≪+-, ~&rgg&& ~&irtPFXlrjrXPS; ~&lrK2tkZ2g&& ~&llrSL2rDrlPrrPljXSPTSL)+-,
22:42:51 -!- p34k has quit.
22:42:56 <b_jonas> is that real ursala code? and what does it mean?
22:46:20 <boily> I believe it is real. there was that PDF manual for the language, but I think it disappeared.
22:46:35 <b_jonas> boily: in page 44, why are some entries duplicated?
22:46:50 <zzo38> Total list of my farbfeld programs now is: ffpng pngff ff-back ff-bright ff-channel ff-colorkey ff-composite ff-convolve ff-crop ff-enlarge ff-gradient ff-hjoin ff-info ff-matrix ff-padsynth ff-paeth ff-poster ff-printf ff-scanf ff-shrink ff-solar ff-turn ff-vjoin
22:47:21 <b_jonas> `learn GOD is GOD over djinn
22:47:24 <HackEgo> Learned 'god': GOD is GOD over djinn
22:47:46 <boily> b_jonas: I don't see any duplicates. my page 44 is `W'.
22:48:00 <b_jonas> boily: yes, and "webcarting" and "Water" are duplicated
22:49:09 <boily> look at that, they sure are.
22:49:41 <boily> abingadon → ah bien regarde donc → oh, well, would you look at that.
22:50:40 <b_jonas> `learn 323 is a quine in McCulloch's first machine
22:50:45 <HackEgo> Learned '323': 323 is a quine in McCulloch's first machine
22:52:31 <boily> but the correctivitations will come later. time to disappear in the Great Outside Void.
22:52:37 -!- boily has quit (Quit: ANOREXIC CHICKEN).
22:59:20 <HackEgo> submarine jousting? ¯\(°_o)/¯
23:02:02 <b_jonas> `learn Macedonia and Taiwan are two countries of which the United Nations denies the existance.
23:02:06 <HackEgo> Learned 'macedonia': Macedonia and Taiwan are two countries of which the United Nations denies the existance.
23:05:08 -!- oerjan has joined.
23:11:15 -!- tromp has joined.
23:15:40 -!- tromp has quit (Ping timeout: 250 seconds).
23:15:54 -!- relrod_ has changed nick to relrod.
23:19:08 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:21:13 <b_jonas> Man, some of these wisdom entries I add suck, so feel free to replace them with better ones.
23:22:52 <hppavilion[2]> b_jonas: Well, partially it's because you packed multiple facts into one entry
23:23:25 <Kaynato> Doesn't seem to be online.
23:23:40 <b_jonas> hppavilion[2]: um, isn't conflating multiple true facts in a wisdom entry to get one misleading thing actually a good recipe for wisdom?
23:24:05 <hppavilion[2]> b_jonas: But you talk about Macedonia AND taiwan in one article
23:24:44 <hppavilion[2]> Inspired by https://en.wikipedia.org/wiki/Islam_and_cats
23:25:22 <hppavilion[2]> They talk about combinations of generally-disparate topics rather than just one topic
23:25:37 <hppavilion[2]> https://en.wikipedia.org/wiki/Islam_and_cats is an intersection, but this idea is a union
23:27:05 <HackEgo> Macedonia and Taiwan are two countries of which the United Nations denies the existance.
23:27:25 <oerjan> `` mv wisdom/macedonia{, and taiwan}
23:27:26 <HackEgo> mv: target `taiwan}' is not a directory
23:27:39 <oerjan> `` mv wisdom/macedonia{," and taiwan"}
23:27:45 <HackEgo> 927) <fungot> Áis523ÎkËÇÏ52Í¿ÉnÐffjliated/ais523: ever tried reading while confused?
23:28:04 <b_jonas> oerjan: hey! that should be wisdom/macedonia and possibly wisdom/taiwan
23:29:03 <b_jonas> `learn Macedonia is a country of which the United Nations denies the existance, just like Taiwan is.
23:29:08 <HackEgo> Learned 'macedonia': Macedonia is a country of which the United Nations denies the existance, just like Taiwan is.
23:29:10 <b_jonas> `learn Taiwan is a country of which the United Nations denies the existance, just like Macedonia is.
23:29:14 <HackEgo> Learned 'taiwan': Taiwan is a country of which the United Nations denies the existance, just like Macedonia is.
23:30:05 <oerjan> `` sed -i 's/stance/stence/' wisdom/{macedonia,taiwan}
23:30:25 <b_jonas> oh yes... that's among those words I often get wrong
23:30:28 <oerjan> `rm wisdom/macedonia and taiwan
23:32:56 -!- hppavilion[2] has quit (Ping timeout: 244 seconds).
23:33:10 -!- hppavilion[2] has joined.
23:35:47 <oerjan> <b_jonas> wait what? how can the case ending precede the possessive marker? <-- heh that's one of the main differences i've noticed between finnish and hungarian
23:36:43 <oerjan> iirc another is that finnish declines adjectives like the noun, hungarian doesn't
23:37:07 <b_jonas> oerjan: Hungarian does too sometimes, namely when they are after the adjective (separated by a comma), but that's rare
23:37:19 <b_jonas> (and has some role difference)
23:38:00 <oerjan> and by "like" i also mean that it agrees with the following noun in case and number
23:38:15 <b_jonas> also (more importantly) when they're the predicate (in which case they don't get a case ending but can get a plural suffix), or when they stand alone as a noun phrase, not as an ephitet qualifying a noun phrase,
23:39:00 <oerjan> and you also drop plural endings on nouns when redundant
23:39:34 <b_jonas> oerjan: that's only when after a numeral. I don't think it happens at any other time.
23:40:23 <oerjan> oh and of course finnish doesn't have articles.
23:40:53 <nortti> < oerjan> iirc another is that finnish declines adjectives like the noun, hungarian doesn't ← iirc, this was a development in proto-finnic due to influence by baltic and germanic langs where they were inflected as well, while in proto-uralic and early-proto-finnic they didn't
23:41:20 <oerjan> nortti: right i vaguely recall something like that
23:42:16 * oerjan vaguely recalls that he used to vaguely recall all the time
23:42:49 <oerjan> i guess now all my recalls are vague so it's redundant hth
23:42:50 <b_jonas> nortti: heh, there's a recent entry related to that: http://www.madore.org/~david/weblog/d.2015-12-17.2343.html
23:43:59 <nortti> :/ I don't know french
23:45:15 <oerjan> i know just enough to start trying to read and then lose patience after half a minute.
23:54:58 <b_jonas> `learn nød is French for vertex
23:55:00 <HackEgo> Learned 'nød': nød is French for vertex
23:55:03 <oerjan> `? the meaning of life
23:57:38 <hppavilion[2]> Can we interpret prime numbers as atomic types and composite numbers as tuples?
23:58:04 <oerjan> hppavilion[2]: s/tuples/sets/
23:58:54 <hppavilion[2]> oerjan: Because a composite number is the product of some number of prime numbers