00:10:46 -!- tromp has joined. 00:29:37 -!- oerjan has joined. 00:50:37 -!- erkin has quit (Remote host closed the connection). 00:52:10 -!- pimlu has joined. 01:27:27 -!- sebbu has quit (Read error: Connection reset by peer). 01:27:57 -!- sebbu has joined. 01:39:54 -!- shikhin has quit (Ping timeout: 252 seconds). 01:40:41 -!- shikhin has joined. 01:45:36 So ALGOL 68 had only const values, which could be pointers to stack-allocated refs to allow for local variables. That seems pretty nice compared to the complexity of lvalues in C. 01:45:40 But they had automatic coercion between "ref t" and "t", which seems less nice. On the other hand dereferences everywhere also don't seem great. Is there any language that does something like that better? 02:12:20 [[Talk:Technologic]] https://esolangs.org/w/index.php?diff=57676&oldid=57668 * JWinslow23 * (+195) 02:13:36 -!- pimlu has quit (Ping timeout: 272 seconds). 02:15:50 b_jonas and ais523 are the folks who would knkow about that, I guess 02:17:21 -!- pimlu has joined. 02:28:55 -!- HeyCitizen_15 has joined. 02:29:01 -!- HeyCitizen_15 has quit (Remote host closed the connection). 02:31:54 -!- spooky_d23 has joined. 02:36:44 -!- spooky_d23 has quit (Remote host closed the connection). 02:38:02 -!- pimlu has quit (Ping timeout: 244 seconds). 02:45:02 I can't believe this works... welding a cross in Infinifactory: https://int-e.eu/~bf3/tmp/if-cross.gif 02:46:22 I haven't infinifactoried so I don't know what's surprising there. 02:47:12 the fact that the timing worked out 02:47:41 Also I found this by trial and error with not too much hope of getting it to work. 02:48:58 I started today; the occasion was that it's on sale at gog.com 02:58:48 -!- Sgeo_ has quit (Read error: Connection reset by peer). 02:59:15 -!- Sgeo_ has joined. 03:00:07 -!- clog has quit (Ping timeout: 252 seconds). 03:13:36 -!- Melvar has quit (Ping timeout: 252 seconds). 03:27:01 -!- Melvar has joined. 03:30:01 -!- shikhin has quit (Changing host). 03:30:01 -!- shikhin has joined. 03:41:36 -!- xkapastel has quit (Quit: Connection closed for inactivity). 03:41:37 Sgeo_: no olist 03:41:41 heartbroken :'( 03:48:14 -!- pimlu has joined. 03:54:56 -!- XorSwap has quit (Ping timeout: 272 seconds). 04:06:04 -!- moei has quit (Ping timeout: 240 seconds). 04:32:47 -!- pimlu has quit (Ping timeout: 240 seconds). 04:34:50 -!- pimlu has joined. 05:11:34 -!- clog has joined. 05:20:09 -!- nictuku11 has joined. 05:20:45 -!- nictuku11 has quit (Remote host closed the connection). 05:21:33 -!- Darac21 has joined. 05:26:28 -!- Darac21 has quit (Ping timeout: 244 seconds). 06:04:42 -!- pimlu has quit (Ping timeout: 244 seconds). 06:34:09 -!- MDude has quit (Ping timeout: 252 seconds). 06:46:21 -!- MDude has joined. 06:48:58 -!- pimlu has joined. 07:02:07 -!- S_Gautam has joined. 07:03:02 -!- tromp has quit (Remote host closed the connection). 07:03:18 -!- tromp has joined. 07:22:00 -!- pimlu has quit (Ping timeout: 252 seconds). 07:37:57 -!- shikhin has quit (Ping timeout: 252 seconds). 07:39:19 -!- shikhin has joined. 07:47:04 -!- AnotherTest has joined. 07:56:09 -!- AnotherTest has quit (Ping timeout: 250 seconds). 08:15:31 -!- oerjan has quit (Quit: Nite). 08:18:04 -!- wob_jonas has joined. 08:21:27 shachaf: no, I only know as much about that algol stuff as I heard here 08:22:11 -!- AnotherTest has joined. 08:23:11 -!- genka22 has joined. 08:26:02 -!- genka22 has quit (Remote host closed the connection). 08:33:44 [[Talk:Unparseable]] https://esolangs.org/w/index.php?diff=57677&oldid=23502 * Orisphera * (+1012) /* I don't understand something. */ new section 09:00:27 -!- MDude has quit (Ping timeout: 240 seconds). 09:12:45 -!- Tesseraction_t has joined. 09:13:41 -!- SopaXorzTaker has joined. 09:18:16 -!- Tesseraction_t has quit (Remote host closed the connection). 09:42:27 -!- SopaXorzTaker has quit (Ping timeout: 240 seconds). 10:01:46 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 10:06:39 -!- SopaXorzTaker has joined. 10:08:24 shachaf: of course the downside of those games for me is that they trigger the "just one more level 10:08:44 " effect, while at the same time allowing one to tweak solutions for a single level forever. 10:09:29 I played until 5am in the morning... 10:11:05 ...and I'm thankful for flexible office hours :) 10:23:02 -!- Mezzmer7 has joined. 10:25:50 -!- Mezzmer7 has quit (Remote host closed the connection). 10:28:34 -!- weyland|yutani6 has joined. 10:29:02 -!- weyland|yutani6 has quit (Remote host closed the connection). 10:41:35 -!- nosomebodies has joined. 11:31:20 In case anyone has the same problem: to restore contacts to phone memory from a VCS file on the Nokia 150 phone, the menu entry only shows up if the VCS file is already on the SD card in the right filename, and the right filename is "/backup.dat", unlike the previous model Nokia 216, on which it was "/Backup/backup.dat". 12:16:17 -!- SopaXorzTaker has quit (Remote host closed the connection). 12:17:59 -!- SopaXorzTaker has joined. 12:20:27 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 12:27:50 -!- tromp has quit (Remote host closed the connection). 12:28:26 -!- tromp has joined. 12:29:06 -!- tromp has quit (Remote host closed the connection). 12:29:20 -!- tromp has joined. 12:34:14 -!- arseniiv has joined. 12:57:25 -!- wob_jonas has joined. 13:06:34 -!- tensorpudding24 has joined. 13:07:14 -!- tensorpudding24 has quit (Remote host closed the connection). 13:20:48 -!- sleepnap has joined. 14:14:48 -!- nosomebodies has quit (Quit: Page closed). 14:45:51 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 14:51:22 -!- nyarlu16 has joined. 14:56:08 -!- nyarlu16 has quit (Remote host closed the connection). 14:57:50 [[Talk:Functional()]] N https://esolangs.org/w/index.php?oldid=57678 * Orisphera * (+338) /* Is my example correct? */ new section 15:06:20 [[Talk:Functional()]] M https://esolangs.org/w/index.php?diff=57679&oldid=57678 * Orisphera * (+91) Added something that I didn't add first. 15:11:02 -!- bradcomp has joined. 15:24:43 -!- MDude has joined. 15:30:40 -!- xkapastel has joined. 15:41:53 [[Special:Log/newusers]] create * Pelirodri * New user account 15:47:18 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=57680&oldid=57658 * Pelirodri * (+194) 15:47:59 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=57681&oldid=57680 * Pelirodri * (+1) /* Introductions */ 16:01:43 -!- arseniiv has quit (Read error: Connection reset by peer). 16:01:51 -!- arseniiv has joined. 16:10:13 -!- Cale_ has joined. 16:10:23 -!- Cale_ has quit (Remote host closed the connection). 16:22:05 [[La We]] N https://esolangs.org/w/index.php?oldid=57682 * Pelirodri * (+2206) Created page with "'''La We''' is an [[esoteric programming language]] created by [[Rodrigo Pelissier]] in 2018. It is inspired by [[COW]] and [[Brainfuck]]. It consists of 16 commands, each r..." 16:23:19 [[Language list]] https://esolangs.org/w/index.php?diff=57683&oldid=57666 * Pelirodri * (+13) 16:25:10 -!- arseniiv_ has joined. 16:26:57 -!- arseniiv has quit (Ping timeout: 252 seconds). 16:27:58 -!- AnotherTest has quit (Ping timeout: 245 seconds). 16:38:13 -!- arseniiv has joined. 16:38:36 -!- arseniiv has quit (Read error: Connection reset by peer). 16:38:46 -!- arseniiv_ has quit (Read error: Connection reset by peer). 16:39:16 -!- arseniiv has joined. 16:42:08 [[La We]] https://esolangs.org/w/index.php?diff=57684&oldid=57682 * Pelirodri * (+701) 16:42:39 [[User:Pelirodri]] N https://esolangs.org/w/index.php?oldid=57685 * Pelirodri * (+23) Created page with "Creator of [[La We]]." 16:43:29 [[User:Pelirodri]] https://esolangs.org/w/index.php?diff=57686&oldid=57685 * Pelirodri * (+59) 16:47:37 -!- lordvadr has joined. 16:50:00 [[La We]] https://esolangs.org/w/index.php?diff=57687&oldid=57684 * Pelirodri * (+26) 16:51:44 -!- lordvadr has quit (Killed (Unit193 (Spam is not permitted on freenode.))). 16:52:05 [[La We]] https://esolangs.org/w/index.php?diff=57688&oldid=57687 * Pelirodri * (+15) 16:52:14 [[La We]] https://esolangs.org/w/index.php?diff=57689&oldid=57688 * Pelirodri * (+1) 16:55:21 -!- onefst250r13 has joined. 17:00:28 -!- onefst250r13 has quit (Ping timeout: 245 seconds). 17:09:51 [[La We]] https://esolangs.org/w/index.php?diff=57690&oldid=57689 * Pelirodri * (-1) /* Sample code */ 17:28:44 -!- shikhin has quit (Changing host). 17:28:44 -!- shikhin has joined. 17:37:48 -!- arseniiv_ has joined. 17:38:34 -!- arseniiv has quit (Ping timeout: 240 seconds). 17:39:46 -!- AnotherTest has joined. 17:47:46 -!- MDude has quit (Ping timeout: 272 seconds). 17:51:42 -!- Phantom_Hoover has joined. 17:51:42 -!- Phantom_Hoover has quit (Changing host). 17:51:42 -!- Phantom_Hoover has joined. 18:05:44 -!- arseniiv has joined. 18:05:44 -!- arseniiv_ has quit (Read error: Connection reset by peer). 18:21:00 -!- MDude has joined. 18:21:05 -!- arseniiv has quit (Read error: Connection reset by peer). 18:22:12 -!- arseniiv has joined. 18:25:21 [[Special:Log/newusers]] create * TheLastBanana * New user account 18:31:54 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=57691&oldid=57681 * TheLastBanana * (+156) 18:32:07 [[Churro]] https://esolangs.org/w/index.php?diff=57692&oldid=49671 * TheLastBanana * (-65) Homepage no longer exists, so I've removed it. All of its contents can be found on GitHub anyway. 18:33:34 -!- MDude has quit (Ping timeout: 240 seconds). 18:36:46 -!- MDude has joined. 18:45:14 -!- MDude has quit (Ping timeout: 244 seconds). 19:30:49 -!- arseniiv_ has joined. 19:30:49 -!- arseniiv has quit (Read error: Connection reset by peer). 19:43:47 Taneb: count me in as no on the milk hth 19:44:06 i don't do that kind of poll 19:44:08 -!- SopaXorzTaker has quit (Remote host closed the connection). 19:45:08 shachaf: acknowledged 19:58:34 -!- technick28 has joined. 19:58:43 -!- technick28 has quit (Remote host closed the connection). 20:11:20 -!- moei has joined. 21:04:50 -!- wob_jonas has joined. 21:07:00 -!- moei has quit (Quit: Leaving...). 21:07:02 -!- arseniiv has joined. 21:10:13 -!- arseniiv_ has quit (Ping timeout: 246 seconds). 21:20:52 zzo38: I have a crazy esoteric idea that I might have to expand on and write an article later. UTF-f32 encoding. Encode each Unicode/UCS code point in IEEE floating point format, then store that as bytes as big endian or little endian. 21:21:18 -!- AnotherTest has quit (Ping timeout: 252 seconds). 21:22:15 So there are two variants of this, UTF-f32-be and UTF-f32-le. They're very similar to the traditional UTF-32-be and UTF-32-le, but the fun part is that if I calculate right in my head (I'll have to check this and write down the proof later), there's less need for an endianness marker than in UTF-32, because every string is unambiguous between UTF-f 21:22:15 32-be and UTF-f32-le. 21:24:32 The only strings that are valid in both are ones made of only NUL characters, and those have the same encoding and meaning in the two (and also in UTF-32). It seems that the other characters (codes 0x00000001 to 0x0010FFFD inclusive) just so happen to have no encodings clashing between UTF-f32-be and UTF-f32-le. 21:29:20 There are some genuine clashes between UTF-f32-be to UTF-32-le, and between UTF-f32-le to UTF-32-be, and I'll have to check what other potential and frequent clashes there are with various other formats. 21:30:17 -!- sleepnap has left. 21:32:40 store unicode characters only in NaNs - since those are not numbers they are clearly characters 21:33:36 `' 21:33:37 846) it's weird hanging around people for whom the northernmost point in the world is nottingham 21:35:49 and you could call it UT-F32 - the placement of the dash clearly distinguishes it from UTF-32 21:37:44 olsner: how exactly would you choose the NaNs? It matters how, because for example the UTF-16-le and UTF-32-le byte order marks are valid NaNs in float32 big-endian. 21:38:48 (technically the UTF-16-le byte order mark has to be followed by any one more code point to be a valid NaN.) 21:40:51 surely you'd put them in 64-bit nans 21:41:29 Phantom_Hoover: that would waste space, and also has the same problem as above. 21:42:14 I can list a lot of potential advantages to UTF-f32 as to how easy it is to handle, although they're all esoteric arguments, I wouldn't recommend the format in the real world.. 21:46:27 how about UT-F16 though? then for example you can see the approximate unicode block of the characters and tell the sender you don't speak chinese without actually having to decode the exact chinese 21:49:14 olsner: that's possible, but it would waste more than two bits per 16-bit word, so I don't understand why it's better than just using UTF-16. 21:49:40 UTF-16 needs 4 bytes for things outside the BMP, UT-F16 uses 16 bits for everything 21:50:30 for UT-F16 it's a shame that the unicode code points aren't using the negative numbers and all the fractions between 0 and 1 though 21:51:15 olsner: it always uses the same 16 bits (0x7FFF) for anything outside BMP. In UTF-16, for a pre-UCS-32 implementation, you could use the replacement character 0xFFFD for anything outside the BMP, which would take the same place. 21:52:22 As an added bonus, the replacement character has the same encoding in UTF-f16 as any non-BMP code point. 21:53:06 oops, didn't notice the max value for F16 was so low 21:55:23 Well, it's not that bad of course. Usually only gods, outsiders, the spirits of dead people, and very powerful wizards venture outside the base material plane, so those characters don't matter much. 21:56:02 maybe what we should be thinking about is how to make surrogate float pairs to extend F16 precision when needed 21:56:55 I don't see in first place why you think this could be better than UTF-16. 21:58:47 oh, better? I was going for worse 22:06:44 Ah. 22:07:41 Sorry. I generally want to go for esoteric stuff when I have at least some esoteric arguments on how the esoteric stuff is better in some respect than the normal stuff. 22:09:15 <\oren\> I once designed a "character encoding" which encodes the exact shape of the character as a 16x16 bitmap 22:09:20 Esoteric arguments can include stuff like "the program is more golfy this way" or "the language is simple so the interpreter for the language is more golfy this way", but lots of other things. 22:09:39 <\oren\> so every character is 256 bits 22:10:41 <\oren\> plus 8 bits for width and other info 22:10:55 \oren\: does that you use some sort of canonical values (or set of values) for each supported character from a reasonably usable text, so that the characters can be decoded reasonably easily? 22:11:27 Obviously it needn't cover "all characters", because no character encoding ever does. 22:11:37 Just some character set usable for some purpose. 22:11:41 <\oren\> yeah exactly 22:12:29 <\oren\> the idea was to make it at least round-trip compatible with all legacy character encodings 22:12:35 I see. Do you have a description or something of this somewhere? 22:12:51 <\oren\> hmm, iirc I do 22:12:55 "all legacy character encodings"? seriousliy? that's never possible 22:13:13 there are tons of those, many barely documented 22:13:52 I mean, there are large iconv databases of them and a translation to/from unicode strings, but still. 22:14:02 <\oren\> well because it encodes the shape of the character, all you need is a font which defines the "encoding" 22:15:22 <\oren\> it's a series of 16 "columns", each of which is 16 bits tall, making a 16x16 bitmap, plus a 4 bit width and a 4 bit offset 22:15:50 <\oren\> thus the whole character is 264 bits 22:17:02 sure, but "all legacy character encodings" covers like four centuries of semaphore or flag signs, about two centuries of electric telegraphy, and over seventy years of digital computers. 22:17:22 nobody has complete documentation of "all legacy character encodings" 22:17:26 <\oren\> ah yeah I was only thinking of digital 22:17:41 even only digital is probably impossible 22:17:47 there's inadequate documentation 22:18:28 though technically almost all character encodings in semaphore, flag signals, electric telegraphy, and electronic computers count as "digital" 22:18:54 <\oren\> hmmmm 22:18:55 as opposed to carving letters, handwriting, and printing press 22:19:32 you could still say "only ones used with electronic machines" if you wish of course 22:20:21 but then, with modern computers, there'll be people representing various old stuff like semaphore signs on a computer, so it's a bit hard 22:21:10 <\oren\> ok. it is compatible with any encoding that has a font in b/w 12 pt (or less), with no duplicate symbols 22:21:40 like, there's the amateur radio people who use a computer to encode or decode morse signals in some radio formats that were already possible in the same format with very simple electronic circuits 22:22:46 that's better, although "no duplicate symbols" is a bit hard to satisfy with larger modern character sets. very often there are two whitespace characters with the same graphics. 22:23:16 <\oren\> the idea being that it can be used to represent for example original invented alphabets with no need for any "private use area" 22:23:30 mind you, \oren\'s font covers a useful large set of characters with supposedly no dupe glyphs 22:24:06 \oren\: ok, that sounds reasonable 22:24:44 though of course the representation you suppose isn't the only possible one for that 22:25:27 one could, say, give a font or more in some existing font format and a formatted text using that font, and embed it to a PDF 22:25:50 but yes, that sounds reasonable 22:26:11 certainly seems a more useful idea than the 16-bit floating point 22:26:37 oh right, you're \oren\. so that's your font. 22:26:44 I'm tired. 22:27:02 two people with nick starting with o. it's confusing. 22:28:40 <\oren\> I guess in practice, there are other ways to embed bitmaps, for example you could do with src being a base64 encoded targa 22:30:18 \oren\: yeah, I use an IMG element (not with a data: URL but whatever) as a way to represent my email address on my homepage. Mind you, I got laxer about that because now it's effectively public and lots of places have it in clear text. 22:31:12 <\oren\> hmmm... what is the smallest overhead uncompressed image format 22:32:06 PPM? 22:34:21 <\oren\> hmm suppose it's a 16x16 b/w image. 22:34:39 \oren\: that would depend on what exactly you mean by "uncompressed", and what kind of images you want to represent, especially what range and resolution of colors and alpha in pixels. 22:34:51 <\oren\> "P4\n16 16\n" is a header of 11 bytes 22:34:59 <\oren\> which beat targa 22:35:08 if you want "lowest overhead" then you might skirt the boundaries of "uncompressed" 22:35:23 by packing bits from different things into a byte and stuff like that. 22:35:31 you know, FAT12, but it can get worse. 22:36:36 (the cluster allocation next cluster link array in FAT12 specifically. it has 12 bit cluster numbers permuted to bytes in some rather strange order.) 22:37:28 (optimized for machines of that time.) 22:39:08 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:39:45 (basically an array of little-endian 12 bit numbers packed into a byte sequence, so nothing ends up aligned to 2-power boundaries) 22:49:54 -!- Trou19 has joined. 22:52:24 -!- Trou19 has quit (Killed (Unit193 (Spam is not permitted on freenode.))). 22:56:14 -!- Muligan2 has joined. 23:00:36 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 23:01:01 -!- Muligan2 has quit (Remote host closed the connection). 23:04:57 -!- tromp has quit (Remote host closed the connection). 23:05:35 -!- tromp has joined. 23:39:13 -!- bradcomp has quit (Ping timeout: 244 seconds). 23:49:13 -!- danieljabailey has quit (Ping timeout: 245 seconds). 23:55:40 -!- danieljabailey has joined.