00:31:22 <shachaf> fizzie: A bit surprising that it was published.
00:33:06 <fizzie> I found that a bit surprising too. But it's there in the public YouTube. And I've not heard of any sort of crackdown, and it's been a week.
00:33:28 -!- ArthurStrong has quit (Quit: leaving).
00:34:36 <shachaf> But whenn are they going to make the 5TB video public?
00:36:40 <rain1> do you woik at google?
00:45:33 -!- rain1 has quit (Quit: WeeChat 3.0).
00:47:46 -!- tromp has joined.
00:51:45 -!- tromp has quit (Ping timeout: 240 seconds).
00:52:09 -!- arseniiv has quit (Ping timeout: 264 seconds).
01:51:42 -!- tromp has joined.
01:53:13 -!- tromp has quit (Read error: Connection reset by peer).
01:53:42 -!- tromp has joined.
01:54:41 -!- tromp has quit (Read error: Connection reset by peer).
01:55:11 -!- tromp has joined.
01:59:25 -!- tromp has quit (Ping timeout: 240 seconds).
02:49:38 -!- tromp has joined.
02:54:09 -!- tromp has quit (Ping timeout: 256 seconds).
03:43:45 -!- tromp has joined.
03:48:02 -!- tromp has quit (Ping timeout: 256 seconds).
03:49:34 <esowiki> [[User:Salpynx]] https://esolangs.org/w/index.php?diff=80569&oldid=70776 * Salpynx * (+758) Some thoughts on Encoding vs. Computation
03:57:44 -!- adu_ has joined.
04:05:08 -!- adu_ has changed nick to adu.
04:24:10 -!- jr has joined.
04:30:26 -!- clog has quit (Ping timeout: 272 seconds).
04:30:59 -!- jr has quit (Quit: Connection closed).
04:37:52 -!- tromp has joined.
04:42:55 -!- tromp has quit (Ping timeout: 276 seconds).
04:43:49 -!- jr has joined.
04:43:52 <jr> Anyone have a proof that this is Turing-complete? https://esolangs.org/wiki/Ultimate_bf_instruction_minimalization!
04:44:20 <jr> In particular, I'm interested in the instruction set <>+? where ? denotes skipping the next instruction.
04:45:02 <jr> Don't care about I/O for now.
04:49:54 -!- jr has quit (Quit: Connection closed).
05:09:48 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
05:11:05 <Sgeo> "Closures are self-contained blocks of functionality that can be passed around and used in your code. Closures in Swift are similar to blocks in C and Objective-C and to lambdas in other programming languages."
05:11:24 <Sgeo> Had to look up C blocks... it's a Apple specific extension to C.
05:12:18 <adu> I had to add those to my C parser
05:12:37 <adu> because stdio.h has them on mac
05:24:44 <HackEso> Sgeolang used to change frequently, but eventually it rusted in place.
05:25:38 -!- Arcorann_ has joined.
05:26:35 -!- sprock has quit (Ping timeout: 256 seconds).
05:28:08 -!- Lord_of_Life has quit (Ping timeout: 276 seconds).
05:28:35 -!- Lord_of_Life has joined.
05:29:04 -!- Arcorann has quit (Ping timeout: 276 seconds).
05:29:04 -!- b_jonas has quit (Ping timeout: 276 seconds).
05:29:23 -!- b_jonas has joined.
05:31:57 -!- tromp has joined.
05:32:49 <Sgeo> https://www.encyclopedia.com/environment/encyclopedias-almanacs-transcripts-and-maps/celtic-religion-overview
05:32:56 <Sgeo> " For example, several of the feinnidi were born of mothers in animal form, and the Fian's great hounds, Bran and Sgeolang, had a human mother."
05:33:59 <Sgeo> I... think it's usually supposed to be Sceolang?
05:34:35 <Sgeo> "BRAN (2) One of the sons of Tuireann also bore this name, born to her when she had been turned into a wolfhound by her husband's envious mistress. Both Bran and his brother Sgeolang/Sceolang were born in this form and became the faithful hounds of Fionn mac Cumhaill (cf)"
05:34:39 <Sgeo> https://hubpages.com/education/LIFE-ON-THE-FRINGE-11-Boann-two-Brans-Brigid-and-Supporting-Cast
05:36:16 -!- tromp has quit (Ping timeout: 240 seconds).
05:55:19 <Sgeo> I feel weird about Swift documentation being on apple.com
06:06:07 -!- kritixilithos has joined.
06:10:32 -!- jr has joined.
06:11:07 -!- jr has quit (Client Quit).
06:26:16 -!- tromp has joined.
06:30:25 -!- tromp has quit (Ping timeout: 240 seconds).
06:57:15 -!- kritixilithos has quit (Ping timeout: 268 seconds).
06:58:23 <esowiki> [[Special:Log/newusers]] create * GrapeApple * New user account
07:03:15 -!- adu has quit (Quit: adu).
07:04:38 -!- tromp has joined.
07:08:51 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=80570&oldid=80557 * GrapeApple * (+133) /* Introductions */
07:19:07 <esowiki> [[User:GrapeApple]] N https://esolangs.org/w/index.php?oldid=80571 * GrapeApple * (+12) Created page with "Hello World!"
07:19:16 <esowiki> [[Special:Log/newusers]] create * SansTheComic * New user account
07:19:30 <esowiki> [[Special:Log/newusers]] create * AviFS * New user account
07:20:50 -!- kritixilithos has joined.
07:22:47 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=80572&oldid=80570 * SansTheComic * (+112) /* Introductions */
07:28:20 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=80573&oldid=80572 * AviFS * (+214) Added AviFS
07:28:34 <esowiki> [[Cabra]] https://esolangs.org/w/index.php?diff=80574&oldid=14157 * AviFS * (+29825) Copy/pasted documentation from author's reference implementation: https://github.com/catseye/Cabra/blob/master/doc/cabra.html
07:48:37 <esowiki> [[Cabra]] M https://esolangs.org/w/index.php?diff=80575&oldid=80574 * AviFS * (-27) Fixed link
07:58:24 <esowiki> [[IDK]] N https://esolangs.org/w/index.php?oldid=80576 * GrapeApple * (+25) Created page with "<h1>work in progress</h1>"
08:19:11 -!- df1111 has joined.
08:33:58 -!- diverger has joined.
08:39:36 -!- imode has quit (Ping timeout: 265 seconds).
09:08:45 <esowiki> [[Talk:HTPL]] N https://esolangs.org/w/index.php?oldid=80577 * ThisIsTheFoxe * (+105) Created page with "This is the talk page for [[HTPL]]. Feel free to add your comments, feedback or whatever you think of it."
09:15:09 <esowiki> [[HTPL]] https://esolangs.org/w/index.php?diff=80578&oldid=79454 * ThisIsTheFoxe * (+78) /* Syntax */ clarified switch
09:15:58 <esowiki> [[HTPL]] M https://esolangs.org/w/index.php?diff=80579&oldid=80578 * ThisIsTheFoxe * (+3) /* Syntax */
09:17:07 <esowiki> [[HTPL]] M https://esolangs.org/w/index.php?diff=80580&oldid=80579 * ThisIsTheFoxe * (+52) /* Syntax */
09:28:47 -!- rain1 has joined.
09:30:00 -!- craigo has quit (Ping timeout: 272 seconds).
09:51:40 -!- diverger has quit (K-Lined).
09:52:44 -!- Sgeo has quit (Read error: Connection reset by peer).
09:53:12 -!- Guest2897 has joined.
10:03:29 -!- kritixilithos has quit (Ping timeout: 268 seconds).
10:07:52 -!- Guest2897 has quit (Quit: Guest2897).
10:20:03 <esowiki> [[Talk:HTPL]] https://esolangs.org/w/index.php?diff=80581&oldid=80577 * ThisIsTheFoxe * (+723) /* Infallibility? */ new section
10:21:34 -!- admino has changed nick to zeroed.
10:29:12 -!- Lord_of_Life_ has joined.
10:29:53 <esowiki> [[User:ThisIsTheFoxe]] https://esolangs.org/w/index.php?diff=80582&oldid=78093 * ThisIsTheFoxe * (+0) /* HTPL / HTPF */
10:31:56 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
10:32:05 <esowiki> [[User:ThisIsTheFoxe]] https://esolangs.org/w/index.php?diff=80583&oldid=80582 * ThisIsTheFoxe * (-72) /* About Me */
10:32:07 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:24:10 -!- arseniiv has joined.
11:24:43 -!- kritixilithos has joined.
12:06:37 -!- LKoen has joined.
12:14:33 -!- kritixilithos has quit (Quit: quit).
12:51:04 -!- arseniiv_ has joined.
12:53:16 -!- naivesheep has quit (Ping timeout: 276 seconds).
12:53:16 -!- Bowserinator has quit (Ping timeout: 276 seconds).
12:54:06 -!- Bowserinator has joined.
12:54:19 -!- arseniiv has quit (Ping timeout: 276 seconds).
12:55:04 -!- adu has joined.
13:40:47 -!- tromp has quit (Remote host closed the connection).
13:48:07 <esowiki> [[IDK]] https://esolangs.org/w/index.php?diff=80584&oldid=80576 * SansTheComic * (+93)
13:49:41 -!- kritixilithos has joined.
14:02:37 <esowiki> [[Cabra]] M https://esolangs.org/w/index.php?diff=80585&oldid=80575 * PythonshellDebugwindow * (-4182) Use wikitext (hope I didn't break anything)
14:11:18 -!- tromp has joined.
14:11:24 -!- Arcorann_ has quit (Ping timeout: 246 seconds).
14:20:25 -!- adu has quit (Quit: adu).
14:27:48 <esowiki> [[Parse this sic]] https://esolangs.org/w/index.php?diff=80586&oldid=80534 * Digital Hunter * (-3) /* Fibonacci numbers */ Silly bug!
14:51:15 -!- kritixilithos has quit (Quit: quit).
15:02:58 -!- ubq323 has joined.
15:05:18 <fizzie> Heh, this system has states "INVALID" and "NONINVALID".
15:16:07 <fizzie> No, just a random local government website.
15:28:23 -!- adu has joined.
15:29:06 <esowiki> [[HTPL]] M https://esolangs.org/w/index.php?diff=80587&oldid=80580 * PythonshellDebugwindow * (+19) /* Hello World */ Fix; link
15:36:17 -!- MDude has joined.
15:42:27 -!- ais523 has joined.
15:42:40 <ais523> ooh, I think I just found a gcc bug
15:43:21 <ais523> gcc compiles "a - (b * b)" (where a and b are doubles) to a fused multiply-add instruction with -O3 -fno-fast-math -ffloat-store -mavx -mfma
15:44:39 <ais523> which produces a result that's more accurate than the C standard and compiler settings allow (it's supposed to round after the multiplication)
15:44:55 <ais523> actually I should be using -fexcess-precision=standard, not -ffloat-store, but it comes to the same thing either way
15:45:42 <myname> wait, the c standard doesn't define shit about mostly anything but it has an upper bound on how precise computational results have to be?
15:46:11 <ais523> C99 was aimed at scientific computing so it has a lot of information about floating-point rounding
15:47:44 <ais523> same thing happens with #pragma STDC FP_CONTRACT 0 specified explicitly
15:48:12 <LKoen> freaking compilers being zealously precise
15:48:55 <ais523> I think the problem happens because excess precision is something that compiler-writers don't think about much because their internal representations don't distinguish between excess-precision and standard-precision floats
15:49:02 <ais523> hmm, let me try this on clang
15:49:47 <ais523> ooh, clang seems to respect the pragma, at least
15:50:09 <LKoen> can you imagine if your friend runs an errand for you and you have to pay them back and they say it's 46.56 euros and they insist you pay them back precisely
15:50:34 <LKoen> rather than just taking your 50 euro note, they insist on manipulating copper pieces
15:50:36 <ais523> yep, if I #pragma STDC FP_CONTRACT OFF or #pragma STDC FP_CONTRACT ON it changes clang's output appropriately
15:50:46 <LKoen> clang is pretty good at the warning game
15:50:59 <LKoen> I'm sure it could warn you if it accidentally was too precise
15:51:04 <ais523> but gcc doesn't respond to the pragma
15:51:21 <LKoen> being afraid of too much precision doesn't sound very pragmatic
15:51:24 <ais523> really the problem is that C doesn't have any way to say "excess precision is OK in this small subset of an expression"
15:51:41 <ais523> all you can do is say that it's OK everywhere, or nowhere, within a given statement
15:53:44 <ais523> floating point math would be so much easier to do sensibly if your language explicitly marked must-round and may-round locations within an expression
15:54:24 <ais523> anyway, this all came out of an investigation I'm doing into how languages and compilers handle expressions that have obvious meanings but have issues with the range of the data type you're using
15:54:43 <ais523> for example, how do you take the average of two size_t values in C (rounding towards 0)?
15:58:29 <ais523> the best I can do is (x >> 1) + (y >> 1) + (x & y & 1), which a) is really unintuitive, b) isn't optimised correctly by the compilers I tested
15:58:54 <ais523> (you'd want it to optimise into mov, add, rcr, ret, but compilers can't figure that out)
15:59:44 <ais523> and I'm pretty sure the reason that the compilers get this wrong is that a) C doesn't give any way to specify that you want a 65-bit intermediate value in an expression), b) the compilers' intermediate representation doesn't allow for 65-bit arithmetic either
16:00:14 <ais523> even though c) almost every processor I've seen has some convenient way to handle the extra bit when you need it
16:13:49 <fizzie> I wonder if you could express that in terms of GCC's __builtin_uaddll_overflow or whatnot to get a more reasonable assembly output. Maybe not.
16:14:16 <fizzie> (It'd give you a name for the outgoing carry bit, at least.)
16:15:41 <ais523> you can definitely express it but I'm not sure whether the compiler finds the optimization
16:15:54 -!- adu has quit (Quit: adu).
16:20:39 -!- craigo has joined.
16:20:42 <ais523> with that, gcc reads the carry flag, but doesn't manage to optimize out the if statement
16:21:09 <ais523> oddly, it produces different asm when I OR with 0x8000000000000000, and when I add 0x8000000000000000
16:22:30 <ais523> clang, meanwhile, produces the same code in both cases, but it's kind-of horrible
16:23:06 <ais523> it manages to avoid the jump, but it does so using a cmov, and it does the addition twice (once to calculate the bottom 64 bits using lea, and a separate time to calculate the carry using add)
16:27:15 <ais523> gcc's code with | looks like it would be pretty efficient if branch-predicted correctly (but not as good as an rcr)
16:37:06 -!- tromp has quit (Remote host closed the connection).
16:37:50 -!- tromp has joined.
16:39:24 <fizzie> I once wrote some code for a TI DSP (coursework back in university), it was natively 16-bit but it had two accumulator registers both 40 bits wide. TI had a C compiler for it, but I don't remember at all how it could cope with that. Maybe there was a special custom 40-bit type; the standard types were all normal (16-bit char, short and int; 32-bit long).
16:39:59 <fizzie> Maybe the idea was just that you'd use their handwritten assembly building blocks, and C just for wiring things up.
16:40:33 <ais523> I once used a "C" compiler that targeted microcontrollers, which had very weird string behaviour
16:41:05 <ais523> I think that if you called a function with a string literal as argument, it replaced that with a number of repeated calls to the function, giving it one new character each time
16:41:43 <ais523> also, the licensing was somewhat muddled, it attempted to be software-enforced shareware, but was gcc-derived
16:42:38 <ais523> so I could just look at the source to see where the license check was, then (legally) patch it out
16:44:37 <APic> GPL Violations suck
16:45:13 <ais523> it wasn't a GPL violation, just an attempt to trick people who didn't know better into paying for GPL executables
16:51:21 -!- ais523 has quit (Quit: quit).
17:05:37 -!- adu has joined.
17:15:45 -!- LKoen has changed nick to ElkOwen.
17:23:23 -!- adu has quit (Quit: adu).
18:17:40 -!- ubq323 has quit (Ping timeout: 265 seconds).
18:37:01 -!- ElkOwen has quit (Remote host closed the connection).
18:37:37 -!- tromp has quit (Remote host closed the connection).
18:38:21 -!- tromp has joined.
18:48:22 -!- Sgeo has joined.
18:49:27 -!- ElkOwen has joined.
19:13:16 -!- delta23 has joined.
19:14:26 -!- ubq323 has joined.
19:14:33 -!- imode has joined.
19:19:29 -!- tromp has quit (Remote host closed the connection).
19:34:22 -!- Sgeo has quit (Read error: Connection reset by peer).
19:37:23 -!- Sgeo has joined.
19:47:26 -!- tromp has joined.
19:50:24 -!- Sgeo has quit (Read error: Connection reset by peer).
19:52:55 -!- Sgeo has joined.
19:54:07 -!- iovoid has quit (Quit: iovoid has quit!).
19:55:59 -!- adu has joined.
19:56:23 -!- iovoid has joined.
19:57:41 -!- sprock has joined.
19:58:25 -!- ubq323 has quit (Ping timeout: 240 seconds).
19:59:28 -!- Bowserinator has quit (Remote host closed the connection).
19:59:40 -!- iovoid has quit (Client Quit).
20:02:39 -!- Bowserinator has joined.
20:06:35 -!- adu has quit (Quit: adu).
20:07:15 -!- adu has joined.
20:09:27 -!- iovoid has joined.
20:11:57 -!- tromp has quit (Remote host closed the connection).
20:15:20 -!- tromp has joined.
20:25:04 -!- iovoid has quit (Quit: iovoid has quit!).
20:31:47 -!- tromp has quit (Remote host closed the connection).
20:46:00 -!- tromp has joined.
20:46:47 -!- iovoid has joined.
20:52:01 -!- adu has quit (Quit: adu).
21:02:12 -!- tromp has quit (Remote host closed the connection).
21:15:10 -!- tromp has joined.
21:31:10 -!- tromp has quit (Remote host closed the connection).
21:35:04 -!- Hooloovo0 has quit (Ping timeout: 256 seconds).
21:58:52 -!- tromp has joined.
21:59:10 -!- ubq323 has joined.
21:59:22 -!- NotApplicable has joined.
22:00:05 -!- Hooloovo0 has joined.
22:12:24 -!- NotApplicable has quit (Ping timeout: 240 seconds).
22:21:25 -!- tromp has quit (Remote host closed the connection).
22:24:09 <esowiki> [[Photon (Quintopia)]] N https://esolangs.org/w/index.php?oldid=80588 * Quintopia * (+10650) Created page
22:32:52 -!- MDude has quit (Ping timeout: 256 seconds).
22:33:10 <esowiki> [[Photon]] https://esolangs.org/w/index.php?diff=80589&oldid=69394 * Quintopia * (+86) link
22:35:12 -!- tromp has joined.
22:54:18 -!- arseniiv_ has quit (Ping timeout: 246 seconds).
23:08:02 <esowiki> [[Talk:Photon (Quintopia)]] N https://esolangs.org/w/index.php?oldid=80590 * IFcoltransG * (+420) Added note about redactions
23:08:19 -!- ElkOwen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
23:32:33 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=80591&oldid=80549 * Quintopia * (+25) /* P */
23:35:48 -!- Arcorann_ has joined.
23:45:02 -!- tromp has quit (Remote host closed the connection).