00:07:25 <salpynx> Thanks HackEso! You just helped me troubleshoot a work-related problem involving UTF-8 encoded Tamil and binary MARC (1960s binary format for library) records. Sharing because that's pretty esoteric, and surprising since joining #esoteric was more for procrastination than getting things done.
00:07:44 <HackEso> [U+0BB5 TAMIL LETTER VA] [U+0BBF TAMIL VOWEL SIGN I]
00:08:29 -!- zzo38 has joined.
00:10:16 <zzo38> I cleaned the computer; that seemed to to reduce the CPU temperature by 7 kelvin, although the motherboard temperature and graphics temperature seem to be the same as before. The room temperature seems to have increased, although that might be due to something else. (The room temperature as measured by a red temperature)
00:10:22 <salpynx> FTR, no Unicode was incorrectly encoded, I needed confirmation I was locating utf8 byte strings within a binary format correctly. The problem was not because of Unicode :)
00:16:55 <salpynx> Room-temperature computing is a worthwhile goal. Definitely harder for some computers.
00:23:16 <zzo38> Is it expected that the mother board temperature should match the room temperature?
00:30:28 <esowiki> [[The Past]] https://esolangs.org/w/index.php?diff=76129&oldid=71820 * Caenbe * (+432) Added implementaion
00:33:02 <esowiki> [[Talk:The Past]] https://esolangs.org/w/index.php?diff=76130&oldid=76075 * Caenbe * (-84) Done.
00:44:18 <salpynx> ... I was facetiously referencing room-temperature quantum computing efforts, but I guess motherboard temperature can't be _exactly_ room temp. If so it'd be just computing brownian motion, and no work will be getting done.
00:45:16 <zzo38> The motherboard temperature is only slightly higher than the room temperature; the CPU temperature is higher than that.
00:49:15 <salpynx> oh, I thought you loosely meant processor when you said 'motherboard'
00:53:08 <salpynx> https://en.wikipedia.org/wiki/Landauer%27s_principle
01:20:28 <salpynx> ?run 1.380649e-23 * 7 * log 2
01:21:30 <salpynx> I believe that's the number of Joules per bit erasure you have (theoretically?) saved by reducing your CPU by 7 Kelvin
01:21:58 <salpynx> ... wow I am procrastinating now.
01:25:49 <esowiki> [[MAWP]] M https://esolangs.org/w/index.php?diff=76131&oldid=76125 * Caenbe * (+1) Fixed grammatical number
01:31:10 -!- MDude has joined.
01:42:46 -!- imode has joined.
01:43:02 -!- Caenbe has joined.
01:44:44 -!- Caenbe has quit (Remote host closed the connection).
02:08:12 -!- Phantom__Hoover has joined.
02:14:12 -!- Phantom__Hoover has quit (Ping timeout: 256 seconds).
02:24:24 <esowiki> [[Talk:Minsky Swap]] N https://esolangs.org/w/index.php?oldid=76132 * Caenbe * (+271) Created talk page with idea for TC proof
02:34:17 <esowiki> [[Talk:Minsky Swap]] https://esolangs.org/w/index.php?diff=76133&oldid=76132 * Caenbe * (-271) That was hasty. It might actually be non-TC.
02:37:43 -!- xelxebar has quit (Ping timeout: 240 seconds).
02:37:58 -!- xelxebar has joined.
02:42:00 -!- adu has joined.
02:42:52 <esowiki> [[Minsky Swap]] https://esolangs.org/w/index.php?diff=76134&oldid=74592 * Caenbe * (+331) Added non-TCness proof
02:44:53 <esowiki> [[Talk:Tree]] N https://esolangs.org/w/index.php?oldid=76135 * Eric-D-Culver * (+258) Created page with "The second example code does not do what you say it does. When the insect is reached, the stack will have AAAB, where A and B are the two inputted characters. --~~~~"
02:53:44 <esowiki> [[Minsky Swap]] https://esolangs.org/w/index.php?diff=76136&oldid=76134 * Caenbe * (-331) Undo revision 76134 by [[Special:Contributions/Caenbe|Caenbe]] ([[User talk:Caenbe|talk]]) (Not finite. Sorry. I'm stopping myself now.)
02:53:47 -!- ski has quit (Killed (Sigyn (Stay safe off irc))).
03:08:26 -!- ski has joined.
03:49:15 <esowiki> [[Esolangs]] https://esolangs.org/w/index.php?diff=76137&oldid=76115 * RocketRace * (+64) /* Clarify escapes */
03:50:16 <esowiki> [[Esolangs]] M https://esolangs.org/w/index.php?diff=76138&oldid=76137 * RocketRace * (-20) /* Examples */
03:55:31 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
04:08:41 -!- adu has quit (Quit: adu).
05:24:58 -!- craigo has joined.
05:38:54 -!- aloril has quit (Ping timeout: 260 seconds).
05:38:54 -!- shig_ has quit (Ping timeout: 260 seconds).
05:39:05 -!- shig has joined.
05:40:34 -!- aloril has joined.
06:00:29 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=76139&oldid=75687 * Eric-D-Culver * (+1) /* Outputs "3" */ output character is .
06:01:12 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=76140&oldid=76139 * Eric-D-Culver * (+0) /* Counter from 0 to 4 */ output character is .
06:38:02 -!- imode has quit (Ping timeout: 246 seconds).
06:44:38 <int-e> I'm finding https://pwmarcz.pl/kaboom/ so addictive.
06:55:18 -!- salpynx has quit (Remote host closed the connection).
06:55:22 <shachaf> Finally a reasonable game of mine's weeper.
06:58:38 <int-e> it's a devious one... rather than getting frustrated at the game for making you guess you get the chance of getting frustrated at yourself for missing forced conclusions (of various degrees of obviousness)
06:59:31 <int-e> Oh and if you find the presets boring, you can increase the board size.
07:00:06 <int-e> (The link isn't new, I believe I found this game via this channel a few years back.)
07:00:34 <int-e> But maybe it was somewhere else. We definitely discussed it here.
07:04:45 -!- clog has quit (Ping timeout: 256 seconds).
07:05:34 <int-e> One slightly unfortunate feature is that when you're left with a 50/50 choice that can provably never go away you still have to progress on the rest of the board until you're forced to guess there as well before you are allowed to hazard a guess.
07:12:54 -!- LKoen has joined.
07:13:35 <int-e> The ultra-violence mode is pretty cute too... not the hardest, but pretty different from ordinary minesweeper because easily half of the moves are of the forced guess type.
07:14:12 <int-e> which at least in my case leads to very non-random looking boards in the end.
07:15:30 <int-e> https://int-e.eu/~bf3/tmp/uv.png ... I wonder how much strategy this reveals :)
07:16:45 <shachaf> Oh, that's interesting, you can infer things about how people played from a completed board?
07:17:12 <shachaf> Also look at how GPT-3 has mastered category theory: https://gist.github.com/ekmett/11a0e1f49b73a2feab287373ddaf68cd
07:18:48 <shachaf> Hmm, the nonlocality of this is kind of bizarre.
07:19:04 <int-e> shachaf: maybe if you have more than one sample... https://int-e.eu/~bf3/tmp/uv2.png
07:19:22 <shachaf> I mean, if I reach an isolated corner that needs guessing, I shouldn't guess immediately (which would be the time-saving strategy in regular Minesweeper), I should save it until I have to guess. Right?
07:19:41 <int-e> you'll see that there are many more straight lines than there should be... and that's because of a preference in how I'm guessing.
07:20:29 <shachaf> That makes sense, I was doing that too.
07:28:31 <rain1> i shouldn't read this
07:28:38 <rain1> i find the yoneda lemma hard enough already
07:28:52 <rain1> i don't want to get misled by some AI generated version is slightly wrong..
07:29:10 <rain1> that ending was 100
07:35:05 <int-e> shachaf: I suspect that Kaboom can seriously mess with somebody who's actually good (i.e. fast) at regular minesweeper.
07:35:43 -!- LKoen 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.”).
08:09:17 -!- hendursa1 has joined.
08:09:40 -!- RocketRace has joined.
08:10:51 -!- RocketRace has quit (Remote host closed the connection).
08:11:03 -!- hendursaga has quit (Ping timeout: 240 seconds).
08:20:00 -!- spruit11 has quit (Quit: Lost terminal).
08:26:48 -!- Sgeo has quit (Read error: Connection reset by peer).
08:27:57 <b_jonas> oh, "reduce the CPU temperature by 7 kelvin", not "to 7 kelvin"
08:28:50 <b_jonas> "motherboard temperature can't be _exactly_ room temp" => it could be if you turned the chasis into a fridge so it's cooler than room temperature around the motherboard
08:30:09 -!- Phantom__Hoover has joined.
08:30:17 -!- spruit11 has joined.
08:52:07 -!- b_jonas has quit (Quit: Lost terminal).
09:01:33 -!- clog has joined.
09:05:27 <int-e> how do you define "motherboard temperature" ;)
09:05:51 <int-e> Some weighted average maybe? Ironically you probably care most about the (literal) hotspots.
09:11:17 <shachaf> Hmm, rr has ptrace emulation, that's pretty fancy.
09:11:33 <shachaf> I mean that it uses ptrace but it can trace a program that also uses ptrace on the same process by proxying the ptrace calls.
09:12:18 <shachaf> It's a program that records program execution and then lets you replay it in a debugger.
09:12:48 <shachaf> Mostly by remembering the state of memory etc. and the results of every system call, so it can fake responses to those system calls.
09:12:59 -!- joast has quit (Ping timeout: 240 seconds).
09:13:03 <shachaf> And also nondeterministic instructions, in various ways? Some of them aren't completely clear to me.
09:13:13 <int-e> why rr, "record run"?
09:13:28 <shachaf> record replay? I don't know.
09:14:49 -!- kspalaiologos has joined.
09:15:59 <shachaf> Maybe I should write a debugger. How hard can it be?
09:22:04 <int-e> easy (or, at least, fun) to get started, impossible to finish
09:33:23 -!- hendursa1 has quit (Ping timeout: 240 seconds).
09:37:26 <int-e> That may be too optimistic though, there's quite a bit to do before you can even do *something* beyond tracing syscalls (which is *relatively* easy)... lots of poking around in the subject's memory, lots of platformspecific things right from the start.
09:38:14 <shachaf> Yes, you would need to get DWARF data to do most things people want from debuggers.
09:39:37 <shachaf> Or PDB or something, I guess. They're all complicated.
09:45:49 -!- heroux has quit (Ping timeout: 264 seconds).
10:07:07 -!- heroux has joined.
10:09:18 -!- hendursa1 has joined.
10:13:02 -!- heroux has quit (Ping timeout: 256 seconds).
10:13:52 -!- heroux has joined.
10:22:32 -!- kspalaiologos has quit (Read error: Connection reset by peer).
10:22:53 -!- kspalaiologos has joined.
10:34:23 -!- hendursa1 has quit (Ping timeout: 240 seconds).
10:36:09 -!- hendursa1 has joined.
10:41:46 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds).
10:42:35 -!- heroux has quit (Ping timeout: 240 seconds).
10:46:46 -!- Phantom__Hoover has joined.
10:49:08 -!- t20kdc has joined.
10:49:52 <esowiki> [[256]] https://esolangs.org/w/index.php?diff=76141&oldid=76123 * Duckologist * (+389) Add infobox
10:50:00 -!- adu has joined.
10:57:23 <esowiki> [[User:Duckologist]] N https://esolangs.org/w/index.php?oldid=76142 * Duckologist * (+509) Create my own user page
11:00:16 -!- Lord_of_Life_ has joined.
11:00:49 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
11:03:09 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:03:34 <esowiki> [[Subreal]] N https://esolangs.org/w/index.php?oldid=76143 * RocketRace * (+5120) Create the incomplete page.
11:53:10 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds).
11:57:33 -!- Phantom__Hoover has joined.
12:30:54 -!- pikhq_ has joined.
12:35:15 -!- TheLie has joined.
12:38:45 -!- pikhq has quit (*.net *.split).
12:38:47 -!- pikhq_ has changed nick to pikhq.
12:40:34 -!- tswett[m] has quit (Remote host closed the connection).
12:40:42 -!- wmww has quit (Read error: Connection reset by peer).
12:49:37 -!- wmww has joined.
12:52:27 -!- fedorafa_ has joined.
12:55:36 -!- fedorafa_ has left ("Textual IRC Client: www.textualapp.com").
13:00:51 -!- TheLie has quit (Remote host closed the connection).
13:09:00 -!- hendursa1 has quit (Quit: hendursa1).
13:09:19 -!- hendursaga has joined.
13:19:12 -!- heroux has joined.
13:21:03 -!- tswett[m] has joined.
13:24:27 -!- Sgeo has joined.
13:27:56 -!- wib_jonas has joined.
13:28:30 <wib_jonas> arseniiv: I think the inverse of succ is usually called pred, as in predecessor and succsesor, as opposed to prec for preceding and succeeding
13:30:39 <wib_jonas> reference: https://downloads.haskell.org/~ghc/7.6.3/docs/html/libraries/base-4.6.0.1/Prelude.html#v:pred
13:32:29 <Taneb> Hmm, Girl Genius still hasn't updated. I'm getting worried for the Foglios
13:40:49 <int-e> https://girlgenius.fandom.com/wiki/Forum:2020-07-20_(Monday) (with links to facebook (didn't click) and reddit)
13:45:37 <Taneb> That's... net good news, I think
13:46:15 <esowiki> [[Subreal]] M https://esolangs.org/w/index.php?diff=76144&oldid=76143 * RocketRace * (+14) /* Stack operations */
13:51:51 <int-e> Taneb: huh, I missed the bite mark in Friday's GG (panel 2)... the poisoning may be mutual ;)
14:00:29 <rain1> i wish I was reading this comic but i feel like im 10 years behind
14:04:44 -!- hendursaga has quit (Remote host closed the connection).
14:05:23 <int-e> rain1: it's easy, start at http://www.girlgeniusonline.com/comic.php?date=20021104 and click on the image until you run out ;)
14:05:41 -!- hendursaga has joined.
14:18:52 <esowiki> [[LogStack]] M https://esolangs.org/w/index.php?diff=76145&oldid=70830 * Silver * (+32) forgot to mention prefix required to translate to brainfuck
14:20:03 -!- kspalaiologos has quit (Read error: Connection reset by peer).
14:20:23 -!- kspalaiologos has joined.
14:35:51 -!- MDude has joined.
14:56:17 -!- kritixilithos has joined.
14:58:33 -!- arseniiv_imposto has joined.
15:04:08 -!- arseniiv_imposto has quit (Quit: Quit).
15:04:23 -!- arseniiv_impostr has joined.
15:06:35 <arseniiv_impostr> I forgot what beautiful software I used from my other phone the other day and now I write from some beta
15:12:17 -!- arseniiv_impostr has quit (Quit: Quit).
15:26:58 -!- Arcorann has quit (Read error: Connection reset by peer).
15:36:50 -!- arseniiv_impostr has joined.
15:37:07 -!- arseniiv_impostr has quit (Client Quit).
15:37:47 -!- LKoen has joined.
15:47:57 -!- wib_jonas has quit (Quit: Connection closed).
15:50:43 -!- adu has quit (Quit: adu).
15:54:39 -!- adu has joined.
16:10:24 -!- adu has quit (Quit: adu).
16:25:04 <esowiki> [[User:ZippyMagician]] https://esolangs.org/w/index.php?diff=76146&oldid=75438 * ZippyMagician * (+16)
16:25:19 <esowiki> [[User:ZippyMagician]] M https://esolangs.org/w/index.php?diff=76147&oldid=76146 * ZippyMagician * (-2) Whoops
16:26:02 <esowiki> [[User:ZippyMagician/Ideas]] https://esolangs.org/w/index.php?diff=76148&oldid=75600 * ZippyMagician * (+2) /* Cat Program */
16:37:53 -!- adu has joined.
16:48:12 -!- kspalaiologos2 has joined.
16:50:07 -!- kspalaiologos has quit (Ping timeout: 256 seconds).
16:51:40 -!- Frater_EST has joined.
17:00:55 -!- imode has joined.
17:12:12 -!- b_jonas has joined.
17:29:50 -!- adu has quit (Quit: adu).
17:34:45 -!- adu has joined.
18:07:29 -!- Sgeo has quit (Read error: Connection reset by peer).
18:09:49 -!- Sgeo has joined.
18:21:07 -!- Soni has quit (Ping timeout: 240 seconds).
18:31:43 -!- kritixilithos has quit (Ping timeout: 240 seconds).
18:43:27 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
18:43:57 -!- S_Gautam has joined.
18:46:19 -!- kritixilithos has joined.
18:47:03 -!- xelxebar has quit (Ping timeout: 240 seconds).
18:47:12 -!- LKoen has quit (Remote host closed the connection).
18:48:10 -!- xelxebar has joined.
19:11:45 -!- Soni has joined.
19:15:40 -!- xelxebar has quit (Remote host closed the connection).
19:15:56 -!- xelxebar has joined.
19:25:43 -!- kritixilithos has quit (Quit: quit).
19:37:40 -!- adu has quit (Quit: adu).
19:39:13 -!- kspalaiologos2 has quit (Quit: Leaving).
19:44:14 -!- adu has joined.
19:46:01 -!- Soni has quit (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.).
19:47:32 -!- Soni has joined.
19:59:55 -!- adu has quit (Quit: adu).
20:02:52 -!- adu has joined.
20:03:44 -!- tromp has quit (Remote host closed the connection).
20:27:22 -!- adu has quit (Quit: adu).
20:35:39 -!- tromp has joined.
20:43:10 -!- tromp has quit (Ping timeout: 244 seconds).
20:48:01 -!- tromp has joined.
21:23:34 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
21:31:02 -!- TheLie has joined.
22:00:27 -!- adu has joined.
22:02:21 -!- adu has quit (Client Quit).
22:15:19 <esowiki> [[Talk:Clunk]] N https://esolangs.org/w/index.php?oldid=76149 * Eric-D-Culver * (+177) Clunk is Turing complete
22:45:52 -!- tromp has quit (Remote host closed the connection).
22:48:05 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
22:57:14 -!- Arcorann has joined.
22:57:23 -!- salpynx has joined.
22:58:15 -!- Arcorann has quit (Remote host closed the connection).
22:58:41 -!- Arcorann has joined.
22:58:51 -!- Lord_of_Life_ has joined.
22:59:30 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
23:00:11 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
23:05:11 -!- TheLie has quit (Remote host closed the connection).
23:06:38 -!- LKoen has joined.
23:23:19 -!- tromp has joined.
23:28:31 -!- tromp has quit (Ping timeout: 272 seconds).
23:49:04 -!- LKoen 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.”).