←2021-02-25 2021-02-26 2021-02-27→ ↑2021 ↑all
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 <esowiki> [[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 <fake_arseniiv> 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 <fake_arseniiv> 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 <fake_arseniiv> how could we design such G?
01:14:03 <fake_arseniiv> 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 <fake_arseniiv> 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 <fake_arseniiv> 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 <fizzie> 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 <fake_arseniiv> 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 <fake_arseniiv> okay if someone will know something about this please @tell arseniiv, I'm to sleep at last now. Bye!
01:34:00 <fake_arseniiv> at least the phone irc app connection is stable with the new router
01:38:27 <esowiki> [[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 <fake_arseniiv> 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 <esowiki> [[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 <nakilon> 04:34:00 <fake_arseniiv> at least the phone irc app connection is stable with the new router
09:17:01 <nakilon> I wonder what the app is
09:17:06 <nakilon> 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 <nakilon> I'm willing to make the same thing for pastebins: https://github.com/Nakilon/pcbr-demo/blob/master/imguralternatives.txt
11:33:53 <nakilon> this table results in https://i.imgur.com/FCtw55w.png
11:34:49 <nakilon> 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 <nakilon> arseniiv some has faked you and said he uses some mobile app for IRC -- what app does he use?
12:03:07 <arseniiv> 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 <nakilon> I used jmirc
12:04:58 <fizzie> Hah, is that https://github.com/juhovh/jmirc or something else with a matching name? ;)
12:06:06 <nakilon> idk about this repo but that was on my Sony Ericsson
12:06:38 <nakilon> I've searched for "screenshots" now and felt so nostalgic about these huge pixels
12:06:55 <arseniiv> when I used Sony Ericsson, I didn’t know about IRC :′(
12:07:05 <nakilon> ..(
12:07:18 <arseniiv> I used Jimm though
12:07:31 <nakilon> yeah, for ICQ
12:07:33 <fizzie> http://jmirc.sourceforge.net/screenshots.html then?
12:07:47 <arseniiv> and sometimes it didn’t want to log in hundred times in a row
12:07:57 <nakilon> fizzie yeah!
12:08:20 <fizzie> 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 <fizzie> And still sort of keep in touch with.
12:08:53 <nakilon> that's cool!
12:09:30 <nakilon> I'll tell people now that I chat sometimes with dude who spent time with jmirc author
12:09:41 <fizzie> 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 <nakilon> the GPRS was expensive, like few dollars per MB, so IRC was an awesome tool to communicate
12:13:05 <nakilon> 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 <fizzie> 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 <fizzie> If memory serves, with no proof of delivery (being UDP and all that), but you gotta stay optimistic about these things.
12:16:13 <arseniiv> nice
12:42:27 -!- craigo has joined.
12:58:03 <nakilon> btw, after installing this BNC and making its pinned tab in the main Chrome window I used IRC with monospace font
12:58:17 <nakilon> I don't remember exactly what was it, maybe Menlo
12:59:14 <nakilon> 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 <nakilon> 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 <nakilon> maybe I would program faster
13:25:18 <esowiki> [[User:Mario]] https://esolangs.org/w/index.php?diff=81017&oldid=81002 * Mario * (+14)
13:26:20 <esowiki> [[User:Mario]] M https://esolangs.org/w/index.php?diff=81018&oldid=81017 * Mario * (-7)
13:26:46 <esowiki> [[User:Mario]] https://esolangs.org/w/index.php?diff=81019&oldid=81018 * Mario * (+0)
13:27:05 <esowiki> [[User:Mario]] M https://esolangs.org/w/index.php?diff=81020&oldid=81019 * Mario * (-4)
13:27:29 <esowiki> [[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 <esowiki> [[Zahlen]] https://esolangs.org/w/index.php?diff=81022&oldid=81006 * Orby * (+77) /* Unary operators */
16:41:18 <esowiki> [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81023&oldid=80999 * Orby * (+1983)
16:41:36 <esowiki> [[User:Orby/Zahlen]] M https://esolangs.org/w/index.php?diff=81024&oldid=81023 * Orby * (+4) /* Z1 */
16:46:38 <esowiki> [[User:Mario]] https://esolangs.org/w/index.php?diff=81025&oldid=81021 * Mario * (+6)
16:48:12 <esowiki> [[User:Mario]] https://esolangs.org/w/index.php?diff=81026&oldid=81025 * Mario * (-8)
16:49:06 <esowiki> [[User talk:Mario]] https://esolangs.org/w/index.php?diff=81027&oldid=81009 * Mario * (-3) /* language requests */
16:59:29 <esowiki> [[User:Mario]] https://esolangs.org/w/index.php?diff=81028&oldid=81026 * Mario * (+139)
17:13:28 <esowiki> [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81029&oldid=81024 * Orby * (+21) /* Z1 */
17:17:41 <esowiki> [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81030&oldid=81029 * Orby * (+21) /* Z1 */
17:18:06 <esowiki> [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81031&oldid=81030 * Orby * (-1388) /* Z1 */
17:18:19 <esowiki> [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81032&oldid=81031 * Orby * (-62) /* Z1 */
17:39:49 <esowiki> [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81033&oldid=81032 * Orby * (-55) /* Z1 */
18:25:11 <esowiki> [[Zahlen]] https://esolangs.org/w/index.php?diff=81034&oldid=81022 * Orby * (+0) /* AND pattern */
18:27:51 -!- aloril has joined.
19:21:23 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Zahlen]] M https://esolangs.org/w/index.php?diff=81037&oldid=81036 * Orby * (-106) /* Subroutines */ Updating documentation to reflect reference code
19:39:39 <esowiki> [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81038&oldid=81035 * Orby * (-119) /* Z1 */
19:43:58 <esowiki> [[User:Orby/Zahlen]] https://esolangs.org/w/index.php?diff=81039&oldid=81038 * Orby * (-112) /* Z1 */
19:54:39 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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).
←2021-02-25 2021-02-26 2021-02-27→ ↑2021 ↑all