00:13:11 [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 @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:15:53 Consider it noted. 01:24:34 -!- Guest85801 has quit (Changing host). 01:24:34 -!- Guest85801 has joined. 01:24:39 @tell rdococ (Warning, that's another "someone already had your idea" link.) 01:24:39 Consider it noted. 01:24:39 -!- Guest85801 has changed nick to iovoid. 01:24:41 [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 [wiki] [[Special:Log/newusers]] create * Insert name here * New user account 02:26:56 `grwp i.n.h. 02:27:07 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:22 `grWp i\.n\.h\. 02:27:23 No output. 02:27:50 -!- doesthiswork has joined. 02:28:03 `grWp i[.]n[.]h[.] 02:28:04 No output. 02:28:21 `grWp i[.] n[.] h[.] 02:28:23 No output. 02:28:34 hum 02:28:40 `grwp I[.] 02:28:41 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:28:59 `2 grwp I[.] 02:29:00 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:29:14 there. 02:32:12 -!- imode has joined. 02:40:08 [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 [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 [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 [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 [wiki] [[TheSingularity]] M https://esolangs.org/w/index.php?diff=52779&oldid=52778 * HereToAnnoy * (+607) 03:19:05 [wiki] [[TheSingularity]] M https://esolangs.org/w/index.php?diff=52780&oldid=52779 * HereToAnnoy * (+41) 03:20:51 [wiki] [[User:HereToAnnoy]] M https://esolangs.org/w/index.php?diff=52781&oldid=52729 * HereToAnnoy * (+106) 03:24:25 [wiki] [[Arrows]] M https://esolangs.org/w/index.php?diff=52782&oldid=52772 * HereToAnnoy * (+41) 03:32:01 oerjan: …is that an archive of an internet archive archive? 03:36:46 um 03:40:21 seems so. 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:19:45 Consider it noted. 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 [wiki] [[TheSingularity]] M https://esolangs.org/w/index.php?diff=52783&oldid=52780 * HereToAnnoy * (+37) /* Mathematical operations */ 04:56:25 [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 [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 An easy way to break Mindscrew: {}-- 07:16:37 -!- Mr2001 has joined. 07:20:52 [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 [wiki] [[User:Rdococ]] https://esolangs.org/w/index.php?diff=52787&oldid=52764 * Rdococ * (+61) 07:26:04 [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 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 [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 [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 [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 [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 [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52793&oldid=52790 * Rdococ * (+63) 08:24:30 [wiki] [[Mindscrew]] https://esolangs.org/w/index.php?diff=52794&oldid=52793 * Rdococ * (+250) Clarified printing functions. 08:27:54 [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 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 [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 [wiki] [[List of quines]] https://esolangs.org/w/index.php?diff=52797&oldid=52270 * Malbranche * (+143) Malbolge Unshackled 09:17:24 [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52798&oldid=52796 * Rdococ * (+197) 09:29:46 [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 [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 [wiki] [[Mindscrew]] M https://esolangs.org/w/index.php?diff=52801&oldid=52800 * Rdococ * (-15) /* Computational Class */ 09:36:47 [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 [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 [wiki] [[QWOP]] https://esolangs.org/w/index.php?diff=52804&oldid=51333 * Rdococ * (+229) Added computational class section. 09:40:17 [wiki] [[QWOP]] M https://esolangs.org/w/index.php?diff=52805&oldid=52804 * Rdococ * (+39) 09:40:35 [wiki] [[QWOP]] M https://esolangs.org/w/index.php?diff=52806&oldid=52805 * Rdococ * (+12) 09:41:21 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 [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 [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:23:23 Hi againur. 10:26:10 -!- augur has quit (Ping timeout: 240 seconds). 11:00:08 -!- AnotherTest has joined. 11:02:52 Dammit, I took another look at pbrain and now I don't really like mindscrew anymore. 11:16:56 [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 [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:39:05 hi boily... 11:39:23 rdochelloc! 11:43:06 Hmm... Maybe a cellular automaton designed to simulate water flow? 11:56:21 -!- rodgort has quit (Quit: Leaving). 11:59:41 boily: What do you think about turning Abstract Syntax Trees into... well... non-trees? 12:00:07 E.g. nodes could be connected to other nodes from different parent branches. 12:01:00 that would imply non-determinism. depending on the path you take, the logic of your program could change. 12:02:15 I don't think non-determinism is strictly necessary for syntax non-trees... 12:05:18 Suppose you have a man eating chicken. Is it a man eating chicken or a man eating chicken? 12:06:09 Eh? 12:06:41 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 I am known to misinterpret things. (Usually that gets me a corrective shachaf action...) 12:08:15 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:29 Ohhhhh. 12:08:31 If you have multiple trees at the same time, which one is truth? 12:08:41 That went straight over my head. 12:08:50 Believe in the chicken :D 12:09:04 Anyway, I was talking about having nodes with multiple parents. 12:09:41 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 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 I'm sad that there's no esolang named Footshit yet. 13:08:06 -!- zseri has joined. 13:18:11 hi 13:18:27 Hiszeri. 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 [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 "Out for delivery: Expected to deliver tomorrow. Your expected delivery date: is Today." 15:26:57 TIME COMPRESSION 15:32:18 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 15:46:12 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 (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 fizzie: time zones? 15:56:58 * int-e hums. 15:57:06 "The good die young, there will be no tomorrow!" 16:07:56 [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 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 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 [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 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 zzo38: What would be a good language for Magic: the Gathering cards? 19:46:43 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 Do you think this make some sense to you? 19:50:32 -!- tswett has joined. 19:51:16 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 zzo38: I want it to be a reasonably general-purpose programming, not one full of built-ins. 19:51:42 I think I'm comfortable with mathematical realism again. But... only a certain watered-down version of it. 19:51:46 Do concepts like "red" and "counter" come from a standard library? 19:51:53 Yeah, sets exist, functions exist, the real numbers exist, and so on. 19:52:38 Hmm... I think we're having a lot of different conversations at once. Correct me if I'm wrong, though. 19:52:38 But the word "set" is underspecified. There are multiple different concepts which are all consistent with the expected behavior of "sets". 19:52:56 I'm not having a conversation, I'm just saying stuff independently of what anyone else is saying. 19:53:06 Ah, I do that a lot. 19:53:06 That's what rdococ does too. 19:53:23 I wish rdococ would stop. 19:53:23 Sometimes it gets on shachaf's nerves, so I've tried to say more meaningful things. 19:53:29 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 really delicious fungus syntax? 19:54:17 shachaf: do you wish I would stop too? 19:54:24 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 So the continuum hypothesis is both true and false, depending on which version of sets you're dealing with. 19:55:28 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 rdococ: look up Setl. 19:59:08 -!- tswett__ has joined. 19:59:31 -!- tswett has quit (Ping timeout: 246 seconds). 20:00:01 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 Does any web browser programs include the "meta CSS"? 21:41:39 What is that? 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 Do you like this? http://zzo38computer.org/textfile/miscellaneous/web_browser 22:36:34 yes im onboard. i suspect every bit of it can be engineered with extensions 22:37:26 zzo38: I like it, though I don't agree with it. 22:37:30 for instance vimperator gives the keyboard control already, user interfaces of most browsers are already almost completely customizable 22:37:35 But I only read a little bit. 22:39:15 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 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.