00:13:11 <HackEgo> [wiki] [[TheSingularity]] N https://esolangs.org/w/index.php?oldid=52773 * HereToAnnoy * (+1336) Created page with "'''TheSingularity''' is an [[esoteric programming language]] created by [[User:HereToAnnoy]] that only gives the programmer one constant, called "TheSingularity", to work with..."
00:13:11 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:16:37 -!- oerjan has joined.
00:26:44 -!- joast has joined.
00:51:08 -!- augur has quit (Remote host closed the connection).
00:51:20 -!- Antoxyde has quit (*.net *.split).
00:51:20 -!- Gregor has quit (*.net *.split).
00:51:20 -!- Bowserinator has quit (*.net *.split).
00:51:20 -!- nchambers has quit (*.net *.split).
00:51:20 -!- gsora has quit (*.net *.split).
00:51:20 -!- Jafet has quit (*.net *.split).
00:51:21 -!- relrod has quit (*.net *.split).
00:51:21 -!- Lymia has quit (*.net *.split).
00:51:21 -!- Deewiant has quit (*.net *.split).
00:51:21 -!- newsham has quit (*.net *.split).
00:51:22 -!- mtve has quit (*.net *.split).
00:51:22 -!- FreeFull has quit (*.net *.split).
00:51:22 -!- heroux has quit (*.net *.split).
00:51:22 -!- quintopia has quit (*.net *.split).
00:51:22 -!- Cale has quit (*.net *.split).
00:51:22 -!- contrapumpkin has quit (*.net *.split).
00:51:23 -!- digitalcold has quit (*.net *.split).
00:51:23 -!- APic has quit (*.net *.split).
00:51:23 -!- trn has quit (*.net *.split).
00:51:23 -!- clog has quit (*.net *.split).
00:51:23 -!- xa0 has quit (*.net *.split).
00:51:24 -!- MrBusiness has quit (*.net *.split).
00:51:24 -!- zgrepc has quit (*.net *.split).
00:51:25 -!- iovoid has quit (*.net *.split).
00:51:25 -!- diginet has quit (*.net *.split).
00:51:26 -!- Melvar has quit (*.net *.split).
00:51:26 -!- ATMunn has quit (*.net *.split).
00:51:26 -!- lambdabot has quit (*.net *.split).
00:51:26 -!- vifino has quit (*.net *.split).
00:51:27 -!- olsner has quit (*.net *.split).
00:51:27 -!- puckipedia has quit (*.net *.split).
00:51:27 -!- BooK_ has quit (*.net *.split).
00:51:28 -!- Guest6666 has quit (*.net *.split).
00:51:48 -!- Lymia has joined.
00:52:02 -!- iovoid has joined.
00:52:52 -!- MrBusiness has joined.
00:53:19 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH).
00:54:36 -!- augur has joined.
00:55:14 -!- FreeFull has joined.
00:55:14 -!- heroux has joined.
00:55:14 -!- newsham has joined.
00:55:14 -!- mtve has joined.
00:55:14 -!- quintopia has joined.
00:55:14 -!- Cale has joined.
00:55:14 -!- contrapumpkin has joined.
00:55:14 -!- digitalcold has joined.
00:55:14 -!- APic has joined.
00:55:14 -!- clog has joined.
00:55:14 -!- xa0 has joined.
00:55:17 -!- copumpkin has quit (Ping timeout: 255 seconds).
00:55:48 -!- zgrepc has joined.
00:55:53 -!- APic has quit (Max SendQ exceeded).
00:56:11 -!- Antoxyde has joined.
00:56:11 -!- Gregor has joined.
00:56:11 -!- Bowserinator has joined.
00:56:11 -!- gsora has joined.
00:56:11 -!- Jafet has joined.
00:56:11 -!- relrod has joined.
00:56:12 -!- ineiros has quit (Ping timeout: 260 seconds).
00:56:14 -!- APic has joined.
00:56:19 -!- Deewiant has joined.
00:56:42 -!- Melvar has joined.
00:56:42 -!- ATMunn has joined.
00:56:42 -!- lambdabot has joined.
00:56:42 -!- vifino has joined.
00:56:42 -!- olsner has joined.
00:56:42 -!- puckipedia has joined.
00:56:42 -!- BooK_ has joined.
00:56:42 -!- Guest6666 has joined.
00:57:20 -!- Deewiant has quit (*.net *.split).
00:57:27 -!- newsham has quit (*.net *.split).
00:57:27 -!- mtve has quit (*.net *.split).
00:57:28 -!- FreeFull has quit (*.net *.split).
00:57:28 -!- heroux has quit (*.net *.split).
00:57:29 -!- quintopia has quit (*.net *.split).
00:57:29 -!- Cale has quit (*.net *.split).
00:57:29 -!- contrapumpkin has quit (*.net *.split).
00:57:30 -!- digitalcold has quit (*.net *.split).
00:57:31 -!- clog has quit (*.net *.split).
00:57:31 -!- xa0 has quit (*.net *.split).
00:58:35 -!- ineiros has joined.
00:59:07 -!- idris-bot has quit (Ping timeout: 260 seconds).
00:59:41 -!- FreeFull has joined.
00:59:41 -!- heroux has joined.
00:59:41 -!- newsham has joined.
00:59:41 -!- mtve has joined.
00:59:41 -!- quintopia has joined.
00:59:41 -!- Cale has joined.
00:59:41 -!- contrapumpkin has joined.
00:59:41 -!- digitalcold has joined.
00:59:41 -!- clog has joined.
00:59:41 -!- xa0 has joined.
01:02:00 -!- trn has joined.
01:03:35 -!- Deewiant has joined.
01:03:58 -!- iovoid has changed nick to Guest85801.
01:03:59 -!- augur has changed nick to Guest10346.
01:04:23 -!- nchambers has joined.
01:04:23 -!- diginet has joined.
01:10:23 -!- copumpkin has joined.
01:15:53 <oerjan> @tell rdococ Did anyone point you at https://hackage.haskell.org/package/Ganymede-0.0.0.5/src/vague%27s%20-%20amalthea.html yet?
01:24:34 -!- Guest85801 has quit (Changing host).
01:24:34 -!- Guest85801 has joined.
01:24:39 <oerjan> @tell rdococ (Warning, that's another "someone already had your idea" link.)
01:24:39 -!- Guest85801 has changed nick to iovoid.
01:24:41 <HackEgo> [wiki] [[TheSingularity]] https://esolangs.org/w/index.php?diff=52774&oldid=52773 * HereToAnnoy * (+3115) Finished up
01:28:56 -!- jaboja has quit (Ping timeout: 246 seconds).
01:41:27 -!- jaboja has joined.
02:00:23 -!- Antoxyde has quit (Quit: Leaving).
02:22:36 <HackEgo> [wiki] [[Special:Log/newusers]] create * Insert name here * New user account
02:27:07 <HackEgo> frenemy:Frenemy is the relationship between Kirby and king Dee Dee. \ grimmargorp:Þór, Grimmargorpurinn hefur sloppið! Ragnarök eru nálæg! \ peng:peng is a computer network administration software utility used to test the reachability of a destination host on an Internet Protocol (IP) network, and the destination host's ability to reach the
02:27:50 -!- doesthiswork has joined.
02:28:41 <HackEgo> 5318008:5318008 is a famous number because its reciprocal is 1.8804033389946 * 10^-7, which when upside down on a calculator spells L-vOI * ghGGBEEEOhOBB.I. \ alg. ii:Algae II, the successor class to Algae I. Discusses hydroponics and such. \ deep learning:Deep learning applies software engineering principles to AI. A deep learning network has nume
02:29:00 <HackEgo> 2/3:numerous layers and no one understands what any of them do. \ gamemanj:gamemanj is also the mad scientist I. N. Here. He will overthink everything, except whether overthinking is wrong. \ wumpus:Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral diagram where it's chased by bats. It has to avoid traps
02:32:12 -!- imode has joined.
02:40:08 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52775&oldid=52700 * Insert name here * (+231)
02:42:07 -!- MrBismuth has joined.
02:43:20 <HackEgo> [wiki] [[Fishing]] M https://esolangs.org/w/index.php?diff=52776&oldid=37569 * Insert name here * (-1) Corrected error in interpreter
02:44:53 -!- MrBusiness has quit (Ping timeout: 246 seconds).
02:52:22 <HackEgo> [wiki] [[Fishing]] https://esolangs.org/w/index.php?diff=52777&oldid=52776 * Insert name here * (+140) Documented "p" fish (which was previously present in the interpreter, but undocumented)
02:54:58 <HackEgo> [wiki] [[TheSingularity]] https://esolangs.org/w/index.php?diff=52778&oldid=52774 * HereToAnnoy * (-33)
03:01:33 -!- ATMunn has quit (Quit: See ya! o/).
03:11:39 -!- hppavilion[1] has joined.
03:14:32 <HackEgo> [wiki] [[TheSingularity]] M https://esolangs.org/w/index.php?diff=52779&oldid=52778 * HereToAnnoy * (+607)
03:19:05 <HackEgo> [wiki] [[TheSingularity]] M https://esolangs.org/w/index.php?diff=52780&oldid=52779 * HereToAnnoy * (+41)
03:20:51 <HackEgo> [wiki] [[User:HereToAnnoy]] M https://esolangs.org/w/index.php?diff=52781&oldid=52729 * HereToAnnoy * (+106)
03:24:25 <HackEgo> [wiki] [[Arrows]] M https://esolangs.org/w/index.php?diff=52782&oldid=52772 * HereToAnnoy * (+41)
03:32:01 <Jafet> oerjan: …is that an archive of an internet archive archive?
04:14:57 <\oren\> http://imgur.com/gallery/D7dva
04:15:33 -!- MDead has joined.
04:16:00 -!- MDude has quit (Ping timeout: 255 seconds).
04:16:07 -!- MDead has changed nick to MDude.
04:19:45 <\oren\> @tell wob_jonas http://imgur.com/gallery/D7dva
04:42:04 -!- oerjan has quit (Quit: Nite).
04:47:30 -!- MDude has quit (Ping timeout: 240 seconds).
04:53:33 -!- MDude has joined.
04:53:56 <HackEgo> [wiki] [[TheSingularity]] M https://esolangs.org/w/index.php?diff=52783&oldid=52780 * HereToAnnoy * (+37) /* Mathematical operations */
04:56:25 <HackEgo> [wiki] [[Language list]] M https://esolangs.org/w/index.php?diff=52784&oldid=52767 * HereToAnnoy * (+21) /* T - added language*/
05:13:13 -!- brandonson has quit (Ping timeout: 276 seconds).
05:14:18 -!- brandonson has joined.
05:43:13 -!- jaboja has quit (Ping timeout: 248 seconds).
06:00:42 -!- MDude has quit (Ping timeout: 260 seconds).
06:08:56 -!- Guest10346 has changed nick to augur.
06:09:20 -!- augur has quit (Quit: Leaving...).
06:09:36 -!- augur has joined.
06:20:16 -!- doesthiswork has quit (Quit: Leaving.).
06:34:59 -!- erkin has joined.
06:59:21 -!- FreeFull has quit.
07:10:13 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52785&oldid=52766 * Rdococ * (-30) Renamed the subroutines to functions, and fixed a minor error in the examples which mentioned continuations
07:15:20 <rdococ> An easy way to break Mindscrew: {}--
07:16:37 -!- Mr2001 has joined.
07:20:52 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52786&oldid=52785 * Rdococ * (+116) Added clarification for using + on a function when the SWAP register is empty.
07:22:27 -!- moony has quit (Ping timeout: 240 seconds).
07:24:17 <HackEgo> [wiki] [[User:Rdococ]] https://esolangs.org/w/index.php?diff=52787&oldid=52764 * Rdococ * (+61)
07:26:04 <HackEgo> [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52788&oldid=52787 * Rdococ * (+13)
07:40:37 -!- augur has quit (Remote host closed the connection).
07:41:15 -!- augur has joined.
07:41:33 <rdococ> Hmm. I was thinking about turning Mindscrew's "]" instruction into a NOP, making "[stuff]" an IF conditional as opposed to a WHILE loop. The reason being that Mindscrew has first-class functions, and you can wrap code in a recursive function to loop.
07:45:29 -!- augur has quit (Ping timeout: 240 seconds).
07:50:13 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52789&oldid=52786 * Rdococ * (-1912) Turned ']' into a NOP.
07:55:02 -!- augur has joined.
07:56:51 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52790&oldid=52789 * Rdococ * (+747) Modified some interpreter details, along with clarifying using '[' with a function, and some more clarification on the example.
07:58:50 <HackEgo> [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52791&oldid=52788 * Rdococ * (-50) Increased the Mindscrew self-evaluation, due in part to the semantic change in ']'. The irony here is that I rate my BF derivative the highest.
08:00:31 <HackEgo> [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52792&oldid=52791 * Rdococ * (+32) Removed Mindscrew's status as undoubtedly TC - although it probably is.
08:14:59 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52793&oldid=52790 * Rdococ * (+63)
08:24:30 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52794&oldid=52793 * Rdococ * (+250) Clarified printing functions.
08:27:54 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52795&oldid=52794 * Rdococ * (+50) Clarified "-"'s behavior upon attempting to decrement two functions in a row, w/o an increment in between, as opposed to decrementing a function and then a normal, integer cell value.
08:28:58 -!- imode has quit (Ping timeout: 246 seconds).
08:29:01 -!- augur has quit (Remote host closed the connection).
08:29:36 -!- augur has joined.
08:34:05 -!- augur has quit (Ping timeout: 240 seconds).
08:44:53 <rdococ> I'm waiting for feedback on Mindscrew which isn't "well, somebody already had this idea...".
08:53:19 -!- augur has joined.
08:57:30 -!- augur has quit (Ping timeout: 240 seconds).
09:14:08 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52796&oldid=52795 * Rdococ * (+343) Added information (well, mostly idle wondering) about the Turing-completeness of mindscrew. Also noted that TCO is optional.
09:16:52 <HackEgo> [wiki] [[List of quines]] https://esolangs.org/w/index.php?diff=52797&oldid=52270 * Malbranche * (+143) Malbolge Unshackled
09:17:24 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52798&oldid=52796 * Rdococ * (+197)
09:29:46 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52799&oldid=52798 * Rdococ * (+136) /* Cat */ Modified, to show off the parentheses' purpose better.
09:33:12 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52800&oldid=52799 * Rdococ * (+167) /* Instructions */ Added more documentation to the "()" instruction(s).
09:34:20 <HackEgo> [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52801&oldid=52800 * Rdococ * (-15) /* Computational Class */
09:36:47 <HackEgo> [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52802&oldid=52792 * Rdococ * (+189) Added educational guesses for the computational class of the at least half-decent esolangs.
09:37:53 <HackEgo> [wiki] [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=52803&oldid=52802 * Rdococ * (+5) /* Esolangs of mine that I consider decent, or are yet unevaluated */
09:39:36 <HackEgo> [wiki] [[QWOP]] https://esolangs.org/w/index.php?diff=52804&oldid=51333 * Rdococ * (+229) Added computational class section.
09:40:17 <HackEgo> [wiki] [[QWOP]] M https://esolangs.org/w/index.php?diff=52805&oldid=52804 * Rdococ * (+39)
09:40:35 <HackEgo> [wiki] [[QWOP]] M https://esolangs.org/w/index.php?diff=52806&oldid=52805 * Rdococ * (+12)
09:41:21 <rdococ> I find it rather ironic that my brainfuck derivative seems to be the best language I've created. I also find it rather depressing, but that's a different story.
09:41:40 -!- erkin has quit (Read error: Connection reset by peer).
09:49:54 -!- erkin has joined.
10:04:25 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52807&oldid=52801 * Rdococ * (+215) Added implementation guidelines, and a warning that the language may and probably will be modified and improved over time.
10:04:50 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH).
10:11:35 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52808&oldid=52807 * Rdococ * (-733) Removed the odd stuff from the () instruction. (Do you think () should be replaced with a single character? If so, which one? Maybe ;...)
10:22:05 -!- augur has joined.
10:26:10 -!- augur has quit (Ping timeout: 240 seconds).
11:00:08 -!- AnotherTest has joined.
11:02:52 <rdococ> Dammit, I took another look at pbrain and now I don't really like mindscrew anymore.
11:16:56 <HackEgo> [wiki] [[User:Rdococ]] https://esolangs.org/w/index.php?diff=52809&oldid=52803 * Rdococ * (-25) /* Esolangs of mine that I consider decent, or are yet unevaluated */ ...
11:20:27 -!- Antoxyde has joined.
11:23:09 <HackEgo> [wiki] [[List of ideas]] M https://esolangs.org/w/index.php?diff=52810&oldid=51835 * Rdococ * (-204) Removed my crappy idea from ages ago.
11:33:03 -!- boily has joined.
11:43:06 <rdococ> Hmm... Maybe a cellular automaton designed to simulate water flow?
11:56:21 -!- rodgort has quit (Quit: Leaving).
11:59:41 <rdococ> boily: What do you think about turning Abstract Syntax Trees into... well... non-trees?
12:00:07 <rdococ> E.g. nodes could be connected to other nodes from different parent branches.
12:01:00 <boily> that would imply non-determinism. depending on the path you take, the logic of your program could change.
12:02:15 <rdococ> I don't think non-determinism is strictly necessary for syntax non-trees...
12:05:18 <boily> Suppose you have a man eating chicken. Is it a man eating chicken or a man eating chicken?
12:06:41 <rdococ> I can't tell whether I'm being dumb, or whether you misinterpreted what I said (which would mainly be because I'm dumb).
12:07:35 <boily> I am known to misinterpret things. (Usually that gets me a corrective shachaf action...)
12:08:15 <boily> Is it a "man that eats chicken", or a "chicken that eats men". Depending on how you construct your tree, the meaning could change.
12:08:31 <boily> If you have multiple trees at the same time, which one is truth?
12:08:41 <rdococ> That went straight over my head.
12:08:50 <boily> Believe in the chicken :D
12:09:04 <rdococ> Anyway, I was talking about having nodes with multiple parents.
12:09:41 <rdococ> So you could have, say, a node which I'll represent with something like "[+[x, 2]]". That node could be used in two, rather than one, parent expressions at once.
12:11:56 -!- AnotherTest has quit (Ping timeout: 240 seconds).
12:11:58 <rdococ> Well, I was also considering a conceptual lang where programs written in it would be up to 100% preprocessing.
12:21:17 -!- rodgort has joined.
12:27:27 -!- boily has quit (Quit: POSSIBLE CHICKEN).
12:58:23 <rdococ> I'm sad that there's no esolang named Footshit yet.
13:08:06 -!- zseri has joined.
13:30:27 -!- augur has joined.
13:34:30 -!- augur has quit (Ping timeout: 240 seconds).
14:00:30 -!- doesthiswork has joined.
14:10:09 <HackEgo> [wiki] [[Malbolge Unshackled]] https://esolangs.org/w/index.php?diff=52811&oldid=51692 * Malbranche * (+67) /* External resources */ Quine
14:26:05 -!- EternalBedrock has joined.
14:26:35 -!- EternalBedrock has quit (Client Quit).
14:40:40 -!- `^_^v has joined.
14:48:36 -!- MDude has joined.
14:57:56 -!- ATMunn has joined.
15:00:00 -!- doesthiswork has quit (Quit: Leaving.).
15:15:40 -!- jaboja has joined.
15:26:54 <fizzie> "Out for delivery: Expected to deliver tomorrow. Your expected delivery date: is Today."
15:32:18 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
15:46:12 <rdococ> fizzie: How do you think an Abstract Syntax Tree would act if it wasn't restricted to a tree formation?
15:46:23 -!- augur has joined.
15:47:04 <rdococ> (As in, a node could have multiple parents - or it could even be its own parent!)
15:50:36 -!- augur has quit (Ping timeout: 240 seconds).
15:56:27 <int-e> fizzie: time zones?
15:57:06 <int-e> "The good die young, there will be no tomorrow!"
16:07:56 <HackEgo> [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52812&oldid=52808 * Rdococ * (+493) /* Instructions */ Re-added the "(intermediate)" system.
16:32:46 -!- moony has joined.
17:05:36 -!- MrBismuth has quit (Ping timeout: 240 seconds).
17:22:18 -!- sebbu2 has joined.
17:25:45 -!- sebbu has quit (Ping timeout: 255 seconds).
17:44:01 -!- FreeFull has joined.
17:47:22 -!- erkin has joined.
17:51:11 <rdococ> Concept: Functions with both lexical & dynamic scoping. When a variable is referenced, such an esolang would first determine if it exists in the function's lexical scope. If not, it checks the caller's scope.
18:02:18 -!- augur has joined.
18:06:35 -!- augur has quit (Ping timeout: 240 seconds).
18:09:18 <rdococ> At the moment, I'm working on a concept for a low-level esolang........except subroutines are executed CPS-style (well, more like instruction pointer passing style (IPPS?), but still).
18:10:18 -!- MrBismuth has joined.
18:20:48 -!- Phantom_Hoover has joined.
18:25:58 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
18:28:41 -!- jaboja has quit (Remote host closed the connection).
18:40:03 -!- imode has joined.
18:42:49 -!- jaboja has joined.
19:00:52 -!- AnotherTest has joined.
19:05:16 -!- imode has quit (Ping timeout: 240 seconds).
19:05:35 <HackEgo> [wiki] [[Talk:BytePusher]] https://esolangs.org/w/index.php?diff=52813&oldid=41624 * Xav737 * (+1015) /* Networking? */ new section
19:16:22 -!- idris-bot has joined.
19:19:55 -!- imode has joined.
19:27:58 -!- brandonson has quit (Ping timeout: 276 seconds).
19:29:25 -!- brandonson has joined.
19:36:28 -!- keemyb has quit (Ping timeout: 240 seconds).
19:42:09 <zzo38> I have thought of abstract syntax tree that is not nceessarily a tree, it could be for example a RDF graph. (I also try to think of how to make AST for Magic: the Gathering)
19:42:45 <shachaf> zzo38: What would be a good language for Magic: the Gathering cards?
19:46:43 <zzo38> I thought of stuff such as, reprsenting "counter target spell" as [:counter [:target :spell]] and some transformation are automatically done to know their thing, you can also have more complicated stuff such as [:counter [:target [:and :red, :spell]]] for example
19:47:59 <zzo38> Do you think this make some sense to you?
19:50:32 -!- tswett has joined.
19:51:16 <rdococ> Currently, I'm conceptualizing a lang in which you can use an instruction to set a variable's value to the next instruction, and then arithmetic to increase or decrease it to point to different instructions relatively.
19:51:25 <shachaf> zzo38: I want it to be a reasonably general-purpose programming, not one full of built-ins.
19:51:42 <tswett> I think I'm comfortable with mathematical realism again. But... only a certain watered-down version of it.
19:51:46 <shachaf> Do concepts like "red" and "counter" come from a standard library?
19:51:53 <tswett> Yeah, sets exist, functions exist, the real numbers exist, and so on.
19:52:38 <rdococ> Hmm... I think we're having a lot of different conversations at once. Correct me if I'm wrong, though.
19:52:38 <tswett> But the word "set" is underspecified. There are multiple different concepts which are all consistent with the expected behavior of "sets".
19:52:56 <tswett> I'm not having a conversation, I'm just saying stuff independently of what anyone else is saying.
19:53:06 <shachaf> That's what rdococ does too.
19:53:23 <rdococ> Sometimes it gets on shachaf's nerves, so I've tried to say more meaningful things.
19:53:29 <zzo38> shachaf: They probably will yes, although the syntax here is just general-purpose RDF syntax. They could be done for general-purpose, or more specific, or something in between, maybe.
19:54:01 <shachaf> really delicious fungus syntax?
19:54:17 <tswett> shachaf: do you wish I would stop too?
19:54:24 <zzo38> This is also allow you can implement the text editing effects, by AST alteration such as, "color words" such as :red and :blue and so on, will be the replacement.
19:54:40 <tswett> So the continuum hypothesis is both true and false, depending on which version of sets you're dealing with.
19:55:28 <rdococ> tswett: An esolang with sets, in which you can define the continuum hypothesis's truth value in each program.
19:56:32 -!- tswett_ has joined.
19:58:04 <imode> rdococ: look up Setl.
19:59:08 -!- tswett__ has joined.
19:59:31 -!- tswett has quit (Ping timeout: 246 seconds).
20:00:01 <zzo38> shachaf: "RDF" is actually short for "Resource Description Framework" (although you need not use everything else that they put with it such as all of the ontology stuff; I am considering only the graph model and syntax and not the other stuff)
20:01:56 -!- tswett_ has quit (Ping timeout: 240 seconds).
20:03:12 -!- tswett__ has quit (*.net *.split).
20:03:12 -!- idris-bot has quit (*.net *.split).
20:03:12 -!- AnotherTest has quit (*.net *.split).
20:03:12 -!- MrBismuth has quit (*.net *.split).
20:03:44 -!- AnotherTest has joined.
20:04:14 -!- MrBismuth has joined.
20:06:34 -!- Antoxyde has quit (Remote host closed the connection).
20:17:28 -!- augur has joined.
20:19:08 -!- imode has quit (Ping timeout: 240 seconds).
20:23:02 -!- Antoxyde has joined.
20:24:17 -!- hppavilion[1] has joined.
20:27:51 -!- imode has joined.
20:39:37 -!- moonythedwarf has joined.
20:40:01 -!- Antoxyde has quit (Remote host closed the connection).
20:40:36 -!- Antoxyde has joined.
20:40:48 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
20:41:53 -!- moony has quit (Ping timeout: 248 seconds).
20:59:28 -!- sleffy has joined.
21:26:10 <zzo38> Does any web browser programs include the "meta CSS"?
21:41:40 -!- zseri has quit (Quit: Page closed).
22:07:18 -!- Phantom_Hoover has joined.
22:16:58 -!- sleffy has quit (Ping timeout: 276 seconds).
22:29:33 <zzo38> Do you like this? http://zzo38computer.org/textfile/miscellaneous/web_browser
22:36:34 <quintopia> yes im onboard. i suspect every bit of it can be engineered with extensions
22:37:26 <shachaf> zzo38: I like it, though I don't agree with it.
22:37:30 <quintopia> for instance vimperator gives the keyboard control already, user interfaces of most browsers are already almost completely customizable
22:37:35 <shachaf> But I only read a little bit.
22:39:15 <quintopia> ive seen the "pictures only on demand" as one of the more extreme noscript features i think
22:44:52 -!- idris-bot has joined.
23:02:39 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:18:40 -!- aloril has quit (Ping timeout: 246 seconds).
23:18:50 -!- relrod has quit (Ping timeout: 240 seconds).
23:20:45 -!- aloril has joined.
23:25:57 -!- pikhq has quit (Ping timeout: 240 seconds).
23:32:03 -!- pikhq has joined.
23:35:17 -!- tswett has joined.
23:37:20 -!- AnotherTest has quit (Ping timeout: 255 seconds).
23:41:03 -!- moonythedwarf has quit (Ping timeout: 255 seconds).
23:42:20 -!- moony has joined.
23:43:33 -!- aloril_ has joined.
23:44:37 <tswett> I wonder how much of known mathematics has a known proof in Peano arithmetic.
23:44:38 -!- aloril has quit (Ping timeout: 248 seconds).
23:53:36 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:57:23 -!- GeekDude has changed nick to GibVent.