00:51:44 -!- Melvar has quit (Ping timeout: 240 seconds). 00:51:44 -!- esowiki has quit (Ping timeout: 240 seconds). 00:53:26 -!- esowiki has joined. 00:59:37 [[Befunge]] https://esolangs.org/w/index.php?diff=81014&oldid=80964 * Quintopia * (-30) /* Befunge-93 Self-Interpreter */ 01:01:58 -!- fake_arseniiv has joined. 01:08:41 suppose we have a function (a snail moving strategy for a simulation) F and a function G which takes a seed, a few settings and this F, does simulation and returns an interesting result G(F, args) 01:10:44 now, we want for the author of F to be able to prove they ran a genuine G on it, without us having to run G ourselves 01:11:16 how could we design such G? 01:14:03 also there are two subproblems: either we aren't interested which F is, specifically, or we want to check that F is indeed what G was applied to, but the F's author may want to disclose just some hash of F 01:16:26 is this at all tractable? My original goal is just to write snail brains with some friends, write a simulator and test snails' coin-picking prowess. But cryptographic perfectionism 01:21:23 I mean, we'd want to be sure no one tampered with the simulation code, which we'd share between ourselves, run just our Fs and then cheaply check others' results are genuine 01:23:04 Sounds hard, but I will never cease to be amazed about what counterintuitive things turn out to be possible after all. 01:28:47 -!- Melvar has joined. 01:30:36 I presume one would need to thread some computations with F's hash through G's simulation steps in a way which is non-detachable from that, somehow, so a genuine G will behave differently from any other fake G' such that even if G(F, args) = G'(F, args) for some args, eventually they'll disagree as many times as we like (presuming args inhabit an infinite type) 01:33:00 okay if someone will know something about this please @tell arseniiv, I'm to sleep at last now. Bye! 01:34:00 at least the phone irc app connection is stable with the new router 01:38:27 [[Main Page]] M https://esolangs.org/w/index.php?diff=81015&oldid=81007 * PythonshellDebugwindow * (-3) Undo revision 81007 by [[Special:Contributions/Mario|Mario]] ([[User talk:Mario|talk]]) 01:38:38 fizzie: also I'd add cryptography amazes me with some results, like the first time I learned about dividing and recombining the secret. Amazing that often ideas are very simple 01:39:12 -!- fake_arseniiv has quit (Quit: Bye). 02:25:44 -!- delta23 has quit (Quit: Leaving). 02:32:50 -!- ArthurStrong has quit (Ping timeout: 272 seconds). 02:37:50 -!- Lord_of_Life_ has joined. 02:39:37 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 02:39:37 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 03:44:01 -!- zzo38 has quit (Ping timeout: 260 seconds). 03:47:23 -!- zzo38 has joined. 04:49:25 -!- ArthurStrong has joined. 05:22:46 -!- craigo has quit (Ping timeout: 276 seconds). 05:37:17 -!- sprock has quit (Ping timeout: 265 seconds). 06:00:55 -!- ArthurStrong has quit (Quit: leaving). 06:27:34 [[Meadow]] https://esolangs.org/w/index.php?diff=81016&oldid=81000 * Hakerh400 * (+1466) Add details 08:01:00 -!- Arcorann has joined. 08:29:18 -!- Arcorann_ has joined. 08:29:33 -!- Arcorann has quit (Ping timeout: 246 seconds). 08:35:51 -!- Arcorann has joined. 08:37:34 -!- Arcorann_ has quit (Ping timeout: 265 seconds). 08:40:03 -!- Arcorann_ has joined. 08:41:40 -!- Arcorann has quit (Ping timeout: 276 seconds). 09:04:43 -!- Sgeo has quit (Read error: Connection reset by peer). 09:07:33 -!- Remavas has joined. 09:09:24 -!- hendursa1 has joined. 09:11:16 -!- hendursaga has quit (Ping timeout: 268 seconds). 09:12:13 -!- Remavas has quit (Client Quit). 09:16:47 04:34:00 at least the phone irc app connection is stable with the new router 09:17:01 I wonder what the app is 09:17:06 but he left 09:22:19 -!- galactic has joined. 09:23:09 -!- galactic__ has quit (Ping timeout: 256 seconds). 09:28:50 -!- iovoid has quit (Ping timeout: 264 seconds). 09:29:23 -!- iovoid has joined. 09:31:42 -!- Arcorann_ has quit (Ping timeout: 265 seconds). 09:59:36 -!- grumble has quit (Quit: K-Lined). 10:02:26 -!- Arcorann has joined. 10:03:41 -!- grumble has joined. 10:07:37 -!- imode1 has quit (Ping timeout: 260 seconds). 10:12:40 -!- Arcorann has quit (Ping timeout: 276 seconds). 11:33:22 I'm willing to make the same thing for pastebins: https://github.com/Nakilon/pcbr-demo/blob/master/imguralternatives.txt 11:33:53 this table results in https://i.imgur.com/FCtw55w.png 11:34:49 I've added few rows and columns today; it's tedious; I tried to make the same about pastebins ~10 years ago but didn't finish 11:51:04 -!- arseniiv has joined. 12:01:42 arseniiv some has faked you and said he uses some mobile app for IRC -- what app does he use? 12:03:07 nakilon: yep that was me! It was something named AndChat, I downloaded it from google play long ago and now it seems it’s not there anymore. It suits my old phone nicely though 12:04:23 I used jmirc 12:04:58 Hah, is that https://github.com/juhovh/jmirc or something else with a matching name? ;) 12:06:06 idk about this repo but that was on my Sony Ericsson 12:06:38 I've searched for "screenshots" now and felt so nostalgic about these huge pixels 12:06:55 when I used Sony Ericsson, I didn’t know about IRC :′( 12:07:05 ..( 12:07:18 I used Jimm though 12:07:31 yeah, for ICQ 12:07:33 http://jmirc.sourceforge.net/screenshots.html then? 12:07:47 and sometimes it didn’t want to log in hundred times in a row 12:07:57 fizzie yeah! 12:08:20 That's so random, the author of that thing is in my top 3 of people I spent most time with back in university. 12:08:27 And still sort of keep in touch with. 12:08:53 that's cool! 12:09:30 I'll tell people now that I chat sometimes with dude who spent time with jmirc author 12:09:41 I never used his client, though, because I already had written my own J2ME one for the no-idea-what-phone-it-was, Siemens M50 or something. 12:10:36 the GPRS was expensive, like few dollars per MB, so IRC was an awesome tool to communicate 12:13:05 I didn't make IRC clients but there was some Telnet J2ME client and our ADSL provided external IP (and Dyndns in the router, you know) so I made a little server on my desktop so when I was in town I could quickly check if someone has sent me something in ICQ reading log files from the QIP 12:14:52 The operator I had at the time had some roaming pricing quirks which meant <50k (minimum charge) GPRS data was cheaper than 1 SMS (at least in some countries), so for holiday trips I had this J2ME app that sent a message in a single UDP packet (with a hardcoded IP), and a corresponding server that emailed it to family, so we could send some basic unidirectional updates cheaper. 12:15:26 If memory serves, with no proof of delivery (being UDP and all that), but you gotta stay optimistic about these things. 12:16:13 nice 12:42:27 -!- craigo has joined. 12:58:03 btw, after installing this BNC and making its pinned tab in the main Chrome window I used IRC with monospace font 12:58:17 I don't remember exactly what was it, maybe Menlo 12:59:14 but I've noticed that I read and comprehend chat worse than I do with forums, articles, so I changed it to Tahoma and it really became easier 13:00:00 I suppose I could use some Tahoma for programming too if the computer was smart enough to fix my typos caused by keming 13:00:19 maybe I would program faster 13:25:18 [[User:Mario]] https://esolangs.org/w/index.php?diff=81017&oldid=81002 * Mario * (+14) 13:26:20 [[User:Mario]] M https://esolangs.org/w/index.php?diff=81018&oldid=81017 * Mario * (-7) 13:26:46 [[User:Mario]] https://esolangs.org/w/index.php?diff=81019&oldid=81018 * Mario * (+0) 13:27:05 [[User:Mario]] M https://esolangs.org/w/index.php?diff=81020&oldid=81019 * Mario * (-4) 13:27:29 [[User:Mario]] https://esolangs.org/w/index.php?diff=81021&oldid=81020 * Mario * (+0) 13:57:46 -!- hendursa1 has quit (Quit: hendursa1). 13:58:15 -!- Sgeo has joined. 13:58:19 -!- hendursaga has joined. 15:03:36 -!- imode1 has joined. 15:49:55 -!- sprock has joined. 16:38:58 [[Zahlen]] https://esolangs.org/w/index.php?diff=81022&oldid=81006 * Orby * (+77) /* Unary operators */ 16:41:18 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81023&oldid=80999 * Orby * (+1983) 16:41:36 [[User:Orby/Zahlen]] M https://esolangs.org/w/index.php?diff=81024&oldid=81023 * Orby * (+4) /* Z1 */ 16:46:38 [[User:Mario]] https://esolangs.org/w/index.php?diff=81025&oldid=81021 * Mario * (+6) 16:48:12 [[User:Mario]] https://esolangs.org/w/index.php?diff=81026&oldid=81025 * Mario * (-8) 16:49:06 [[User talk:Mario]] https://esolangs.org/w/index.php?diff=81027&oldid=81009 * Mario * (-3) /* language requests */ 16:59:29 [[User:Mario]] https://esolangs.org/w/index.php?diff=81028&oldid=81026 * Mario * (+139) 17:13:28 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81029&oldid=81024 * Orby * (+21) /* Z1 */ 17:17:41 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81030&oldid=81029 * Orby * (+21) /* Z1 */ 17:18:06 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81031&oldid=81030 * Orby * (-1388) /* Z1 */ 17:18:19 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81032&oldid=81031 * Orby * (-62) /* Z1 */ 17:39:49 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81033&oldid=81032 * Orby * (-55) /* Z1 */ 18:25:11 [[Zahlen]] https://esolangs.org/w/index.php?diff=81034&oldid=81022 * Orby * (+0) /* AND pattern */ 18:27:51 -!- aloril has joined. 19:21:23 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81035&oldid=81033 * Orby * (-108) /* Z1 */ 19:33:11 -!- ArthurStrong has joined. 19:37:05 [[Zahlen]] https://esolangs.org/w/index.php?diff=81036&oldid=81034 * Orby * (-55) /* Miscellaneous operators */ Replace while and end ops with jz op 19:38:34 [[Zahlen]] M https://esolangs.org/w/index.php?diff=81037&oldid=81036 * Orby * (-106) /* Subroutines */ Updating documentation to reflect reference code 19:39:39 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81038&oldid=81035 * Orby * (-119) /* Z1 */ 19:43:58 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81039&oldid=81038 * Orby * (-112) /* Z1 */ 19:54:39 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81040&oldid=81039 * Orby * (-62) /* TODO */ 20:01:45 -!- copumpkin has quit (Quit: Hmmm). 20:22:17 -!- copumpkin has joined. 20:23:47 -!- Hooloovo0 has joined. 20:34:13 -!- scoofy has joined. 20:51:57 [[G*]] M https://esolangs.org/w/index.php?diff=81041&oldid=49928 * Expliked * (+12) updated dead link 21:18:09 -!- Ria has joined. 21:36:57 [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81042&oldid=81040 * Orby * (+1599) /* Z1 */ 21:41:49 -!- Ria has left ("Closing Window"). 22:20:23 -!- dingwat has joined. 22:36:38 -!- iovoid has quit (Ping timeout: 264 seconds). 22:38:41 -!- iovoid has joined. 22:58:27 -!- delta23 has joined. 23:00:36 -!- tromp has quit (Remote host closed the connection). 23:34:08 -!- tromp has joined. 23:38:57 -!- tromp has quit (Ping timeout: 264 seconds).