←2019-04-13 2019-04-14 2019-04-15→ ↑2019 ↑all
00:02:56 <fizzie> That's true. They're all pretty scow, but very specific. I don't guarantee what I did above did the right thing, though.
00:05:05 <fizzie> Also, sometimes you can kind of tell those Pokémon Go POIs have been crowdsourced: https://zem.fi/tmp/pgo.png
00:05:52 <oerjan> there are some cases where there are several scow revs in a row, so it makes sense to include all in a range even if some of them are specific (say if someone has been doing several bad commands in a row)
00:06:46 <oerjan> i think you'd need the revision numbers to see if that is the case.
00:08:00 <fizzie> `` while read r; do echo scow $r:; hg log -T '{rev} {desc}\n' -r "$r"; done < share/scowrevs | paste
00:08:13 <HackEso> https://hack.esolangs.org/tmp/paste/paste.4591
00:11:13 <oerjan> `url share/scowrevs
00:11:14 <HackEso> https://hack.esolangs.org/repo/file/tip/share/scowrevs
00:12:21 <oerjan> oh it is that short now. i recall it was way longer before we found out we could use ranges.
00:15:35 <oerjan> 3341 looks suspicious - it was never properly reverted, although shouldn't have much of an effect...
00:18:32 <oerjan> `? indexed monad
00:18:33 <HackEso> Indexed monads are just monads on an indexed category. \ Indexed monads are just categories enriched over the monoidal category of endofunctors.
00:19:16 <oerjan> `dowg indexed monad
00:19:18 <HackEso> 3151:2013-06-18 <shachäf> sed -i \'2s/$/./\' wisdom/indexed\\ monad \ 3150:2013-06-17 <shachäf> echo \'Indexed monads are just monads on an indexed category\' >> wisdom/\'indexed monad\' \ 3149:2013-06-17 <shachäf> mv \'indexed monad\' wisdom/
00:19:59 <oerjan> someone looking at that `dowg won't know why the lines were swapped :P
00:20:28 <oerjan> `dowg cello
00:20:29 <HackEso> 10976:2017-05-31 <oerjän> slwd cello//s,$,\x0f, \ 10798:2017-04-22 <oerjän> slwd cello//s,stu,stru, \ 3511:2013-08-28 <oerjän> tail -1 wisdom/cello > q; mv q wisdom/cello \ 2879:2013-05-07 <Jafët> echo \'The high level stucture of Cello projects is inspired by /Haskell/, while the syntax and semantics are inspired by /Python/ and /Obj-C/.\' | rainwords > wisdom/cello
00:20:53 <oerjan> i fixed that one in 3511
00:21:18 <oerjan> `dowg doodads
00:21:20 <HackEso> 3624:2013-09-03 <oerjän> rm wisdom/doodads \ 2418:2013-03-12 <ellioẗt> revert 2416 \ 2417:2013-03-12 <Sgëo> revert 2243 \ 2276:2013-02-27 <Gregör> ln -s doodad wisdom/doodads
00:22:07 <oerjan> `` grwp -l '^$'
00:22:09 <HackEso> nak \ output
00:23:57 <oerjan> `dowg gazpacho
00:23:59 <HackEso> 5694:2015-06-24 <shachäf> ` sed -i \'s/ / /\' wisdom/gazpacho # hth \ 1715:2013-01-24 <Gregör> revert 1713 \ 1714:2013-01-24 <oerjän> cd wisdom; mv ngevd ..; sed -i \'s/dahl/dal/g\' * ; mv ../ngevd . \ 1706:2013-01-24 <Jafët> rm wisdom/gazpacho && ln -s gaspacho wisdom/gazpacho \ 667:2012-08-21 <oerjän> run echo "You like Gazpacho and I like Gaspacho. Let's call the whole thing off!" >wisdom/gazpacho
00:24:29 <oerjan> `` hg cat -r 5693 wisdom/gazpacho
00:24:30 <HackEso> You like Gazpacho and I like Gaspacho. Let's call the whole thing off!
00:25:15 <oerjan> oh wait what happened with those were that they were symbolic links
00:25:27 <oerjan> *was
00:26:30 <oerjan> `? gazpacho
00:26:31 <HackEso> You like Gazpacho and I like Gaspacho. Let's call the whole thing off!
00:26:34 <oerjan> `? gaspacho
00:26:35 <HackEso> You like Gaspacho and I like Gazpacho. Let's call the whole thing off!
00:26:45 <oerjan> they're no longer equal anyway
00:27:11 <oerjan> `dowg piet
00:27:13 <HackEso> 9964:2016-12-15 <oerjän> slwd piet//s/..$/\x0f./ \ 9963:2016-12-15 <oerjän> slwd piet//s/$/\x0f/ \ 9957:2016-12-12 <shachäf> slwd piet//s#or#our# \ 5590:2015-06-16 <shachäf> ` tail -n1 wisdom/piet > /tmp/$$; mv /tmp/$$ wisdom/piet \ 2965:2013-05-28 <oerjän> echo "Piet is a really colorful programming language." | rainwords > wisdom/piet \ 2964:2013-05-28 <oerjän> echo "Piet is a really colorful programming language." | colorize > wisdom/piet
00:27:37 <oerjan> 5590 shachaf fixed that one
00:28:02 <oerjan> anyway...
00:29:09 <oerjan> `sled share/scowrevs//s,3341,3342,
00:29:11 <HackEso> share/scowrevs//121:122 \ 194:196 \ 770:771 \ 1000:1001 \ 1493:1497 \ 2112:2114 \ 3342:3343 \ 4530:4531 \ 5136:5137 \ 5642:5643 \ 5894:5897 \ 8669:8678 \ 9070:9071 \ 9074:9075
00:29:44 <oerjan> this is how we got two different lystrosaur* entries too
00:30:21 <oerjan> `` \? lystrosaur; \? lystrosaurus
00:30:23 <HackEso> The lystrosaurs were an ancient genus of evil reptiles who successfully took over the world in the early Triassic. \ Lystrosaurus is a genus of Late Permian and Early Triassic Period dicynodont therapsids, which ruled the world around 250 million years ago.
00:32:14 <oerjan> `grWp qdbformat
00:32:15 <HackEso> No output.
00:32:38 <oerjan> `? qdbformat
00:32:39 <HackEso> qdbformat? ¯\(°​_o)/¯
00:32:45 <oerjan> `? qdbfmt
00:32:46 <HackEso> qdbfmt? ¯\(°​_o)/¯
00:33:02 <oerjan> `? qdbrules
00:33:03 <HackEso> qdbrules? ¯\(°​_o)/¯
00:33:09 <oerjan> `? quoteformat
00:33:10 <HackEso> quoteformat is: <nick> message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two.
00:33:28 <oerjan> ok two of them were later deleted and the last one changed
00:36:45 <shachaf> oerjan: What's that tail business about?
00:37:21 <shachaf> I don't know what's going on there.
00:40:50 <oerjan> shachaf: rev 3341 swapped the lines in all wisdoms, which did very little for most of them, except accidentally turning some symlinks into files. the tail business fixed some of the remaining swaps.
00:41:48 <oerjan> 8669-8678 looks like me enforcing some spacing rules on wisdom, and then changing my mind...
00:42:34 -!- tromp has quit (Remote host closed the connection).
00:43:04 <oerjan> `` hg cat -r 5589 wisdom/piet
00:43:05 <HackEso> ​ \ Piet is a really colorful programming language.
00:44:38 <oerjan> oh well the rest looks reasonable.
00:48:28 <b_jonas> yeah, I have some edits too when I added newlines to various wisdoms
00:48:42 <b_jonas> mostly to ones that I created
00:48:50 <b_jonas> `? rules of wisdom
00:48:51 <HackEso> unless essential for the entry‘s humor, they should: be understandable without the lookup key, be single spaced and end in a newline with no space before that, and use proper capitalization and punctuation
00:48:52 <zzo38> Godel,Escher,Bach defines consistency of a system together with interpretation on page 94, that all theorems when interpreted are true statements. But on page 223 it says it is consistent if it does not have both x and ~x being theorems. OK, although that is the consistency of the system and interpretation together. I wanted to consider consistency of only the system itself, as the existence of well-formed nontheorems.
00:49:56 <zzo38> (A system that does not have any well-formed strings is therefore inconsistent according to my definition.) What do you think?
00:59:32 -!- Lord_of_Life_ has joined.
01:01:07 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
01:02:02 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
01:17:42 -!- tromp has joined.
01:22:09 -!- tromp has quit (Ping timeout: 252 seconds).
01:48:56 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:03:59 -!- user24 has quit (Quit: Leaving).
02:17:14 <Cale> zzo38: Note that consistency is something which doesn't care about interpretation
02:18:21 <Cale> zzo38: Whether any given sentence is a theorem is a property of the rules of the system itself
02:23:46 -!- Melvar has quit (Ping timeout: 250 seconds).
02:24:05 <oerjan> the wikipedia article on consistency briefly mentions that this is called "absolute consistency" or "Post consistency" (most of it only seems to consider classical logic, though.)
02:26:12 <Cale> ah I see
02:27:03 <Cale> I was confused. "as the existence of well-formed nontheorems" -> "as well as the existence of well-formed nontheorems"
02:36:10 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60996&oldid=60994 * A * (+167) Put my ideas (no pseoudcode yet)
02:37:49 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=60997&oldid=60993 * A * (+154) Reply
02:38:06 -!- Melvar has joined.
02:40:27 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60998&oldid=60996 * A * (+160) /* Subtracting a number */
02:44:21 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=60999&oldid=60998 * A * (-3) Fix style (I did it in a hurry)
02:45:46 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=61000&oldid=60997 * A * (-445) Blanked the page
02:46:33 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61001&oldid=60999 * A * (+0) /* Subtracting a number */
02:51:40 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=61002&oldid=60695 * A * (+681)
02:51:47 -!- dingwat has quit (Ping timeout: 240 seconds).
02:51:56 -!- ocharles has quit (Ping timeout: 268 seconds).
02:53:10 -!- glowcoil has quit (Ping timeout: 268 seconds).
02:53:14 -!- tromp has joined.
02:53:59 -!- ocharles has joined.
02:54:57 -!- dingwat has joined.
02:55:41 -!- glowcoil has joined.
02:56:09 <zzo38> Yes, my definition is "absolute consistency" or "Post consistency". I looked it up in Wikipedia now. (Simple consistency seems to be what they said about x and ~x are not both theorems, but that is only applicable to systems that have a negation operator, so it is not independent.)
02:57:41 -!- tromp has quit (Ping timeout: 252 seconds).
03:40:45 <zzo38> Is there any program like Heirloom-mailx but for netnews?
04:02:47 <oerjan> zzo38: linear logic has a negation operator, but i still think it doesn't satisfy x, ~x |- a or perhaps even !x, !(~x) |- a
04:03:34 <oerjan> it splits the false used for ~x = x -o _|_ from the false that implies everything 0 |- a
04:27:41 <zzo38> Yes, I know about linear logic, so OK.
04:29:47 -!- Melvar has quit (Ping timeout: 240 seconds).
04:43:51 -!- Melvar has joined.
05:02:27 -!- Melvar has quit (Ping timeout: 240 seconds).
05:03:24 -!- Melvar has joined.
05:06:39 -!- nfd has quit (Ping timeout: 264 seconds).
05:10:04 -!- Melvar has quit (Ping timeout: 268 seconds).
05:18:52 -!- nfd9001 has joined.
05:25:05 -!- Melvar has joined.
05:35:57 -!- Melvar` has joined.
05:36:03 -!- Melvar has quit (Ping timeout: 264 seconds).
05:38:05 -!- FreeFull has quit.
05:42:47 -!- nfd9001 has quit (Ping timeout: 240 seconds).
05:54:25 -!- nfd9001 has joined.
06:15:45 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61003&oldid=60491 * A * (-13) /* List of candidates */
06:19:34 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61004&oldid=61003 * A * (+2) /* List of candidates */
06:24:22 <zzo38> Why GCC doesn't seems to optimize x+strlen(x) so well?
06:54:26 -!- tromp has joined.
07:14:42 -!- fiktion has joined.
07:20:46 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61005&oldid=61001 * A * (+19) Specify
07:35:03 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61006&oldid=61005 * A * (+37) /* Subtracting a number */
08:04:27 -!- oerjan has quit (Quit: Nite).
08:16:02 -!- AnotherTest has joined.
08:30:53 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61007&oldid=61006 * A * (+163) Add current version
08:35:29 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61008&oldid=61007 * A * (-38) Too space-filling
08:39:28 <esowiki> [[Popular problem]] https://esolangs.org/w/index.php?diff=61009&oldid=57010 * A * (+131)
08:47:39 <esowiki> [[Popular problem]] https://esolangs.org/w/index.php?diff=61010&oldid=61009 * A * (+31)
08:48:51 <esowiki> [[Infinite loop]] https://esolangs.org/w/index.php?diff=61011&oldid=57341 * A * (-94)
08:50:00 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61012&oldid=61008 * A * (+73) Infinite loop implementation
09:05:59 -!- arseniiv has joined.
10:07:43 -!- vertrex has quit (Ping timeout: 264 seconds).
10:08:04 -!- vertrex has joined.
10:08:04 -!- vertrex has quit (Changing host).
10:08:04 -!- vertrex has joined.
10:13:28 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=61013&oldid=61000 * A * (+541) Undo revision 61000 by [[Special:Contributions/A|A]] ([[User talk:A|talk]])
10:18:42 -!- arseniiv has quit (Quit: gone completely :o).
10:28:04 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=61014&oldid=61013 * A * (-541) Blanked the page
11:03:48 -!- arseniiv has joined.
11:07:50 -!- lynn has quit (Quit: Connection closed for inactivity).
11:59:54 -!- Essadon has joined.
12:00:14 -!- Essadon has quit (Max SendQ exceeded).
12:02:56 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61015&oldid=61012 * A * (-109) /* Continuation on the above by User:Helen (Implementing arithematic operations) */
12:05:35 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61016&oldid=61015 * A * (-4)
12:13:23 <esowiki> [[Hash function]] https://esolangs.org/w/index.php?diff=61017&oldid=57299 * A * (+638) Not sufficient description.
12:17:38 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61018&oldid=61016 * A * (-22) No longer "limited to integers."
12:23:58 <esowiki> [[Glass]] https://esolangs.org/w/index.php?diff=61019&oldid=55849 * A * (-123) /* Hello, world! program */
12:27:05 -!- Melvar` has changed nick to Melvar.
12:33:43 -!- arquitecta has joined.
12:34:44 -!- arquitecta has left.
12:53:34 -!- FreeFull has joined.
12:58:43 -!- Lord_of_Life_ has joined.
13:01:41 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
13:01:44 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
13:04:47 -!- AnotherTest has quit (Ping timeout: 240 seconds).
13:05:08 -!- xkapastel has joined.
13:19:18 -!- tromp has quit (Remote host closed the connection).
13:55:20 -!- Phantom_Hoover has joined.
13:55:49 -!- tromp has joined.
13:59:50 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=61020&oldid=61002 * A * (+409)
13:59:58 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=61021&oldid=61020 * A * (+0)
14:00:07 -!- tromp has quit (Ping timeout: 240 seconds).
14:00:39 <esowiki> [[Esoteric programming language]] https://esolangs.org/w/index.php?diff=61022&oldid=59383 * A * (-168) /* Purpose */
14:01:48 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=61023&oldid=61021 * A * (-30)
14:33:34 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61024&oldid=61018 * A * (+80) /* Cat program */
14:36:42 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61025&oldid=61004 * A * (-10) No suggestion except for mine included the creator, so I will delete the creator.
14:39:32 <esowiki> [[APLWSI]] https://esolangs.org/w/index.php?diff=61026&oldid=58991 * A * (+79) Not the smallest valid program in *any* programming language.
14:40:31 <esowiki> [[APLWSI]] https://esolangs.org/w/index.php?diff=61027&oldid=61026 * A * (+0) /* Interpreter */
14:42:20 <esowiki> [[APLWSI]] https://esolangs.org/w/index.php?diff=61028&oldid=61027 * A * (-79)
14:48:18 -!- LKoen has joined.
14:58:10 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=61029&oldid=61023 * A * (-29) /* Trivial Turing-completeness proof of the COMMAND.COM prompt */
15:00:15 <esowiki> [[MiniMAX Turing-completeness proof]] M https://esolangs.org/w/index.php?diff=61030&oldid=37897 * A * (+0) Smallfuck does not have the @ command. Modify the compilation.
15:14:49 -!- xkapastel has quit (Quit: Connection closed for inactivity).
15:16:31 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=61031&oldid=61014 * Helen * (+674)
15:18:38 <esowiki> [[Bitch]] M https://esolangs.org/w/index.php?diff=61032&oldid=61024 * Helen * (+3041) Correctly added v4.12 details and implementation (messed up first time)
15:21:02 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61033&oldid=61032 * Helen * (-2918) /* Implementation */ Corrected implementation again and put correct line count
15:27:06 <esowiki> [[Bitch]] M https://esolangs.org/w/index.php?diff=61034&oldid=61033 * Helen * (-8) Added filetype information
15:39:55 <esowiki> [[Bitch]] M https://esolangs.org/w/index.php?diff=61035&oldid=61034 * Helen * (-276) /* Cat program */ The character and debug flags are not recognised on the wiki since they are not part of the specification of bitch but rather an extra in my implementation specifically
15:40:23 -!- xkapastel has joined.
15:40:59 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61036&oldid=61035 * Helen * (+125) /* Possible with adjustments */
15:42:07 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61037&oldid=61036 * Helen * (+22) /* Impossible */
15:44:26 -!- tromp has joined.
15:48:36 -!- tromp has quit (Ping timeout: 255 seconds).
15:52:41 -!- LKoen has quit (Remote host closed the connection).
15:54:07 -!- LKoen has joined.
16:03:33 <esowiki> [[Talk:Bitch]] N https://esolangs.org/w/index.php?oldid=61038 * Helen * (+5789) Moved proof attempt to talk page
16:03:45 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
16:06:48 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61039&oldid=61038 * Helen * (+258) /* Attempts at proving Turing-completeness */
16:07:41 <esowiki> [[Bitch]] https://esolangs.org/w/index.php?diff=61040&oldid=61037 * Helen * (-5422) /* Turing-completeness */
16:38:08 -!- tromp has joined.
16:42:39 -!- tromp has quit (Ping timeout: 264 seconds).
16:44:14 -!- LKoen has quit (Remote host closed the connection).
16:45:45 -!- LKoen_ has joined.
17:02:57 -!- LKoen_ has quit (Remote host closed the connection).
17:09:33 <esowiki> [[MiniMAX Turing-completeness proof]] https://esolangs.org/w/index.php?diff=61041&oldid=61030 * Ais523 * (+146) clarify
17:21:31 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61042&oldid=61039 * Helen * (+3414) /* User:Helen - Proving required operations */
17:28:33 <esowiki> [[Bitch]] M https://esolangs.org/w/index.php?diff=61043&oldid=61040 * Helen * (+4) Changed computational class to reflect current unknown status
17:34:30 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61044&oldid=61042 * Helen * (+123)
17:35:49 <esowiki> [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61045&oldid=61044 * Helen * (+6) Previous edit added a description to the talk page
17:37:16 -!- AnotherTest has joined.
17:45:10 <esowiki> [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61046&oldid=61045 * Helen * (+180) Started on a new proof attempt
17:57:19 -!- LKoen has joined.
17:58:22 -!- Phantom_Hoover has joined.
18:08:26 -!- tromp has joined.
18:12:41 -!- tromp has quit (Ping timeout: 252 seconds).
18:22:57 -!- AnotherTest has quit (Ping timeout: 252 seconds).
18:37:46 -!- tromp has joined.
19:02:55 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
19:18:41 -!- Phantom_Hoover has joined.
20:04:56 -!- LKoen has quit (Remote host closed the connection).
20:10:01 -!- LKoen has joined.
20:29:36 <b_jonas> `? modem
20:29:37 <HackEso> modem? ¯\(°​_o)/¯
20:32:14 -!- pikhq has quit (Ping timeout: 246 seconds).
20:36:26 -!- sebbu3 has joined.
20:40:13 -!- sebbu has quit (Ping timeout: 250 seconds).
20:45:58 <zzo38> Now I believe I implemented all of the NNTP stuff except posting articles. That is a bit more difficult because it has to parse the headers to figure out what to do with it.
20:50:45 -!- pikhq has joined.
20:51:11 -!- ski has quit (Ping timeout: 268 seconds).
20:52:29 <int-e> . o O ( I have this feeling that zzo38 is connecting through a time machine, from 20 years ago. )
20:53:02 <zzo38> int-e: I think that is difficult.
20:55:14 <int-e> Nah, it's very easy to imagine that. Trust me on that :)
20:56:34 <zzo38> To imagine, yes, but I mean it is difficult to connect through a time machine, from twenty years ago, especially if I will still reply to your message too.
20:59:10 -!- ski has joined.
21:03:21 <b_jonas> maybe I'm connecting through a time machine too, but only from ten years ago or so
21:04:46 <zzo38> (I am also referring to RFC 3977 in order to implement this program, and it isn't twenty years old.)
21:04:51 -!- pikhq has quit (Read error: Connection reset by peer).
21:05:18 -!- pikhq has joined.
21:09:08 <zzo38> (And it is using SQLite, which isn't twenty years old, either.)
21:14:49 -!- xkapastel has quit (Quit: Connection closed for inactivity).
21:59:38 -!- 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.”).
22:09:35 <b_jonas> `? peanuts
22:09:36 <HackEso> peanuts? ¯\(°​_o)/¯
22:11:54 <b_jonas> `? snakes
22:11:55 <HackEso> snakes? ¯\(°​_o)/¯
22:12:02 <b_jonas> `? bats
22:12:05 <HackEso> bats? ¯\(°​_o)/¯
22:14:49 <b_jonas> `? vermin
22:14:50 <HackEso> vermin? ¯\(°​_o)/¯
22:24:35 -!- arseniiv has quit (Ping timeout: 246 seconds).
22:26:59 <kmc> nyaa`
22:27:00 <kmc> ~
22:31:07 -!- moei has quit (Quit: Leaving...).
22:32:46 <b_jonas> `? cherry
22:32:47 <HackEso> cherry? ¯\(°​_o)/¯
22:37:17 <fizzie> `` wn fruit -treen | tr ',' '\n' | sed -e 's|^ *\(=> \)\?||;/^$/d' | sort | uniq | while read f; do if [[ -e "wisdom/$f" ]]; then echo $f; fi; done
22:37:18 <HackEso> ananas \ apple \ banana \ coffee \ lemon \ melon \ pineapple
22:38:32 <zzo38> Is there going to be version 7 of Internet?
22:39:31 <fizzie> There definitely won't be a version 7 of the IP protocol, because that number is taken.
22:39:34 <fizzie> https://www.iana.org/assignments/version-numbers/version-numbers.xhtml
22:41:54 <fizzie> (RFC6814 is quoted for version 7 because it obsoletes RFC1475, which defined it.)
22:43:18 <zzo38> O, that is also why there is no version 5, I suppose. So the next one would be version 10 (if it is ever made), I suppose?
22:43:55 <zzo38> (Once they reach 14 then maybe they have to add sub-version field, in case of any more versions after that)
22:47:39 <fizzie> 10 might be logical, if they feel the need to keep the initial 4-bit header field at all. I don't think it's very common to have packets where you know they're IP but don't know which version.
22:49:18 <fizzie> (For example, if they're Ethernet frames, the two-byte EtherType field is 0800h for IPv4 and 86DDh for IPv6.)
23:00:22 -!- danieljabailey has joined.
23:06:11 -!- oerjan has joined.
23:07:48 <fizzie> (I was thinking IP-over-ATM-AAL5 might have been using the version field for IPv6, but RFC2492 suggests LLC/SNAP framing is used, which again has a two-byte type field.)
23:08:22 <b_jonas> how about token ring in coax cable?
23:10:38 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:11:49 <oren> `unicode wowǃ
23:11:50 <HackEso> Sequence 'wow\xc7\x83' is not valid in charset 'ANSI_X3.4-1968'.
23:11:59 <oren> `unidecode wowǃ
23:12:00 <HackEso> ​[U+0077 LATIN SMALL LETTER W] [U+006F LATIN SMALL LETTER O] [U+0077 LATIN SMALL LETTER W] [U+01C3 LATIN LETTER RETROFLEX CLICK]
23:14:19 <zzo38> 0=Beginning of header line, 1=Header name, 2=Just read the colon of a header line, 3=Header value, 4=Line break after a header, 5=Beginning of body line, 6=Inside body line, 7=Just read a dot at beginning of body line, 8=Beginning of bad line, 9=Just read a dot at beginning of bad line, 10=Inside bad line. Do you think this can work for parsing a NNTP article while reading it?
23:15:17 <zzo38> (If I missed something, or if you think one thing I put is not needed, you can mention that please.)
23:16:10 <b_jonas> https://esolangs.org/wiki/Hash_function huh
23:16:19 <kmc> what is the physical layer for token ring over coax like?
23:16:28 <kmc> I have read about ethernet thicknet... man that stuff sounds inconvenient
23:16:39 <kmc> vampire taps!
23:21:40 <fizzie> I don't know about token ring on coax, but based on some random web-reading it looks like normally IPv4 would use 802.2 LLC/SNAP framing on all 802.2 networks, both standard token ring and "token bus".
23:23:57 <int-e> I remember thin ethernet. I don't want to imagine the thick kind :)
23:24:08 <fizzie> I remember thin as well.
23:24:45 <int-e> (No vampire taps though. Just T-connectors and terminators.)
23:25:17 <fizzie> The high school computer class was one loop of 10BASE2 with the cables crossing the corridors on the floor.
23:25:25 <fizzie> It wasn't super reliable, to be honest.
23:26:07 <fizzie> I mean, not just loose on the floor, they did have some sort of on-the-floor duct thing. But still.
23:26:40 <int-e> but since somebody mentioned token ring networks: https://dilbert.com/strip/1996-05-02
23:27:37 <fizzie> I think "the token fell out" is also in one of those excuse generators.
23:28:01 <b_jonas> yeah
23:28:51 <b_jonas> wait, is the Dilbert comic really that old, or is it just backdated?
23:28:59 <int-e> it's that old
23:29:15 <b_jonas> wow
23:29:39 <b_jonas> oh rightm is it older than UserFriendly?
23:29:48 <b_jonas> I think it is
23:30:09 <b_jonas> yeah
23:30:11 <b_jonas> crazy
23:30:30 <int-e> Almost certainly. And it was a "real" comic, not just an online one.
23:31:20 <int-e> April 1989 is the oldest one, apparently.
23:31:26 <b_jonas> whoa
23:31:28 <int-e> https://dilbert.com/strip/1989-04-16 to be precise
23:31:52 <int-e> I would be surprised if it was online at the time... though a BBS would be possible I suppose :)
23:32:59 <esowiki> [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61047&oldid=61025 * Oerjan * (+66) Undo removal of author and add it to the rest - nearly all featured languages have included it.
23:33:18 <int-e> Hmm, the early Dilberts are much better drawn than early Garfield strips.
23:35:09 <esowiki> [[Infinite loop]] M https://esolangs.org/w/index.php?diff=61048&oldid=61011 * Oerjan * (+6) bold title
23:36:19 <int-e> to boldly go where no man has ventured before...
23:41:43 -!- b_jonas has quit (Quit: leaving).
23:50:30 <esowiki> [[RarVM]] M https://esolangs.org/w/index.php?diff=61049&oldid=60984 * Void * (-65) /* See also */
23:54:55 * oerjan notes A is reverting some of eir old more dubious edits...
23:59:48 <esowiki> [[Hash function]] https://esolangs.org/w/index.php?diff=61050&oldid=61017 * Fizzie * (+34) /* C example */ Let's at least have the function depend on the contents of the string, not just the length...
←2019-04-13 2019-04-14 2019-04-15→ ↑2019 ↑all