00:11:46 -!- tromp has quit (Remote host closed the connection). 00:12:19 -!- tromp has joined. 00:16:47 -!- tromp has quit (Ping timeout: 255 seconds). 00:25:13 -!- trout has joined. 00:28:14 -!- variable has quit (Ping timeout: 260 seconds). 00:28:15 -!- tromp has joined. 00:32:45 -!- tromp has quit (Ping timeout: 264 seconds). 00:50:00 -!- imode has quit (Ping timeout: 260 seconds). 00:57:18 -!- variable has joined. 00:59:34 -!- trout has quit (Ping timeout: 256 seconds). 01:17:41 -!- imode has joined. 01:21:16 -!- doesthiswork1 has joined. 01:21:16 -!- doesthiswork has quit (Read error: Connection reset by peer). 01:23:54 -!- oerjan has joined. 01:30:45 -!- trout has joined. 01:33:51 -!- variable has quit (Ping timeout: 240 seconds). 01:55:29 -!- imode has quit (Ping timeout: 260 seconds). 02:02:21 -!- variable has joined. 02:03:52 [[Special:Log/newusers]] create * Cjarvis * New user account 02:05:41 -!- trout has quit (Ping timeout: 255 seconds). 02:08:55 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=56434&oldid=56392 * Cjarvis * (+276) /* Introductions */ 02:15:36 -!- tromp has joined. 02:20:17 -!- tromp has quit (Ping timeout: 256 seconds). 02:25:24 -!- imode has joined. 02:33:40 -!- trout has joined. 02:37:41 -!- variable has quit (Ping timeout: 276 seconds). 02:46:35 -!- variable has joined. 02:49:00 -!- trout has quit (Ping timeout: 245 seconds). 02:53:07 is A related to asdf? <-- pretty much assuming it's the same person 02:54:29 but then why would one of them have asked the other one's permission to do something 02:54:32 checkmate 03:01:44 -!- variable has quit (Ping timeout: 276 seconds). 03:04:20 -!- variable has joined. 03:08:04 * oerjan swats shachaf -----### 03:08:26 why can't storing trees in memory be as simple as storing a string. ;~; 03:09:28 . o O ( maybe imode wants ghc's compact regions ) 03:09:55 imode: it can be if you just store complete trees hth 03:10:24 shachaf: well yeah but tree rewriting tyyypically doesn't deal with complete trees. 03:10:33 it'd be a massive space waster. 03:11:14 store all the data in one place and the shape in another place hth 03:11:15 plus the re-parenting of orphaned nodes and stuff upon rewrites. 03:11:27 -!- trout has joined. 03:11:33 well yeah but it'd... still require a fixed number of bits per node regardless of data. 03:11:56 Well, you can store the shape pretty efficiently with fancy rank-select dictionaries or something. 03:12:28 yeah, succinct trees. but that's for relatively sparse read-only data. dynamically updatable succinct trees are much harder than that. 03:12:33 Not so sure about mutation. 03:12:59 something I considered early on (about last year) was storing unique paths through an infinite complete binary tree. 03:13:10 as a list. 03:13:12 This reminds me of the other thing I was trying to figure out, which was about storing data in complete mostly-ordered trees. 03:13:29 (Rather than ordered mostly-complete trees like most balanced search trees.) 03:13:46 -!- function has joined. 03:13:54 I just don't get why people see trees/terms as more fundamental than strings in mathematics, I guess. 03:14:23 they're harder to work with, require bolting on binding and matching features onto whatever you to do to anything useful... 03:14:27 -!- variable has quit (Ping timeout: 240 seconds). 03:15:18 maybe it's because we've been dealing with expressions that take the form of trees for however long expressional/equational reasoning has been around. 03:16:27 -!- trout has quit (Ping timeout: 240 seconds). 03:18:41 -!- variable has joined. 03:22:09 -!- function has quit (Ping timeout: 248 seconds). 03:24:53 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56435&oldid=56432 * A * (+0) /* Really? A shorter one */ 03:48:53 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56436&oldid=56420 * Oerjan * (-167) That's nice, but unfortunately it doesn't terminate on 0. 04:03:36 -!- tromp has joined. 04:07:57 -!- tromp has quit (Ping timeout: 256 seconds). 04:25:16 imode: https://en.wikipedia.org/wiki/Prüfer_sequence ? 04:40:56 interesting. 04:42:44 myname: at a glance it doesn't seem like this'd permit easy modification. unless you can do traversal and modification solely based on the sequence alone 04:43:57 it looks like you'd be able to. it'd just be a little weird. 04:44:40 something I've also wondered is are there ways of compactly storing unlabeled trees? 04:49:34 the pure structure can be stored pretty compact 04:50:08 last year i had a code for that which basically just encodes branching to the left or right with bits 04:51:51 for trees where each node is either a leaf or has k children, you can store it with a 1 bit for going downwards and a 0 bit for going upwards again 04:52:14 oh, you don't even need k children for that 04:52:52 you may only receive an isomorphic tree through this, though 04:53:07 like, / is encoded as 10, but \ is as well 05:00:54 so you store a depth first traversal? 05:01:25 wait. isn't that just nested parens? 05:07:56 -!- imode has quit (Quit: WeeChat 2.1). 05:08:45 -!- imode has joined. 05:11:52 yeah 05:16:30 -!- imode1 has joined. 05:18:17 -!- imode has quit (Ping timeout: 265 seconds). 05:22:19 -!- imode1 has quit (Quit: WeeChat 2.1). 05:33:13 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56437&oldid=56435 * A * (+1263) /* Use the visualizer */ 05:33:54 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56438&oldid=56437 * A * (-27) /* Use the visualizer */ 05:51:19 -!- imode has joined. 05:51:53 -!- tromp has joined. 05:56:28 -!- tromp has quit (Ping timeout: 265 seconds). 06:31:50 -!- tromp has joined. 06:35:45 -!- XorSwap has quit (Ping timeout: 248 seconds). 06:41:25 -!- imode has quit (Ping timeout: 265 seconds). 06:49:15 [[Unless]] N https://esolangs.org/w/index.php?oldid=56439 * A * (+853) Created page with "Unless is a derivative of [[~ATH]]. ==Tutorial== ===The simplest possible Unless program=== T: ;All unnecessary things ===T=== This can be changed into anything. If it..." 06:56:53 [[--Unless]] N https://esolangs.org/w/index.php?oldid=56440 * A * (+854) Created page with "==Tutorial== ===The simplest possible Unless program=== That is a [[Null program]]. ===R=== Run something. (This can run anything) It usually runs a code. A tab or 4 spaces..." 06:57:14 wat. 06:57:49 [[--Unless]] https://esolangs.org/w/index.php?diff=56441&oldid=56440 * A * (+3) /* The simplest possible Unless program */ 06:58:52 [[--Unless]] https://esolangs.org/w/index.php?diff=56442&oldid=56441 * A * (-34) /* ; */ 07:01:04 [[--Unless]] https://esolangs.org/w/index.php?diff=56443&oldid=56442 * A * (+239) /* Objects */ 07:01:45 [[--Unless]] https://esolangs.org/w/index.php?diff=56444&oldid=56443 * A * (+2) /* Objects */ 07:06:26 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=56445&oldid=56039 * A * (+196) /* ~-~! */ 07:06:45 -!- doesthiswork1 has quit (Quit: Leaving.). 07:10:07 [[--Unless]] https://esolangs.org/w/index.php?diff=56446&oldid=56444 * A * (+250) /* Objects */ 07:11:41 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=56447&oldid=56445 * A * (+232) /* --Unless */ 07:18:49 [[--Unless]] https://esolangs.org/w/index.php?diff=56448&oldid=56446 * A * (+29) /* Tutorial */ 07:19:25 [[--Unless]] https://esolangs.org/w/index.php?diff=56449&oldid=56448 * A * (+35) /* Objects */ 07:20:01 [[--Unless]] https://esolangs.org/w/index.php?diff=56450&oldid=56449 * A * (+23) /* :something */ 07:41:23 -!- imode has joined. 08:07:11 -!- AnotherTest has joined. 08:33:49 -!- SopaXorzTaker has joined. 08:38:00 -!- oerjan has quit (Quit: leaving). 08:56:16 -!- imode has quit (Ping timeout: 268 seconds). 08:59:59 [[OOOOL]] N https://esolangs.org/w/index.php?oldid=56451 * A * (+436) Created page with "OOOOL is the acronym for "Object-Oriented Output Only Language". ==Tutorial== ===How to define a function=== To define a function, you make it like this: FUNC: (do someting)..." 09:00:30 [[OOOOL]] https://esolangs.org/w/index.php?diff=56452&oldid=56451 * A * (+9) /* How to output */ 10:31:23 -!- moony has quit (Quit: Bye!). 10:31:55 -!- Bowserinator has quit (Ping timeout: 245 seconds). 10:32:00 -!- moony has joined. 10:32:09 -!- Bowserinator has joined. 11:18:43 [[Special:Log/newusers]] create * Yhara * New user account 11:45:11 [[Brainfuck]] M https://esolangs.org/w/index.php?diff=56453&oldid=56359 * Ais523 * (-304) Reverted edits by [[Special:Contributions/A|A]] ([[User talk:A|talk]]) to last revision by [[User:Ais523|Ais523]] 11:45:50 [[Special:Log/delete]] revision * Ais523 * Ais523 changed visibility of 2 revisions on page [[Brainfuck]]: content hidden: Copyright violation: contains content copied from Stack Exchange (https://codegolf.stackexchange.com/a/163590) 13:00:31 -!- doesthiswork has joined. 13:17:24 -!- mehrdad has joined. 13:17:28 hi 13:17:40 is there a channel about esoterism/ 13:26:22 `welcome mehrdad 13:26:23 mehrdad: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 13:27:57 hi Taneb 13:28:40 Taneb: where do people talk about esotericm? 13:29:16 taneb why don't you come to the go club on sunday 13:29:26 devonshire arms at ~7pm 13:30:45 izabera: go the programming language, go the board game, or go the verb? 13:30:55 the board game 13:31:11 I can't play ;_; 13:31:16 lern2go 13:31:26 well you know, it's still a pub and they have beer 13:31:47 I don't drink ;_; 13:32:02 Third excuse: I'm going to be playing board games in London that afternoon and I don't know when I'll get back 13:32:11 Other than those three reasons, I'd love to 13:32:15 It's pretty easy for me to get to 13:32:44 it's on sunday evening every sunday 13:33:39 come to the old ticket office this evening? 13:33:42 like at 6pm? 13:33:53 i'll be there with a few friends from work 13:39:10 That's more doable 13:39:55 yayyy 13:53:29 Is the old ticket office small enough that you'll recognize the approximately six foot tall (183cm) person with messy brown hair and thick eyebrows walking in the door 13:58:09 not sure... 13:59:13 come in with a rubiks cube in your hand 13:59:51 too snowdeny or not enough rubiks cubes available? 13:59:57 It's manageable 14:07:23 -!- mrrmx has joined. 14:27:43 [[Nameless language]] https://esolangs.org/w/index.php?diff=56454&oldid=37337 * BMO * (+391) hello world example wasn't valid, added infobox & reference implementation 14:41:57 -!- mehrdad has quit (Ping timeout: 252 seconds). 14:48:35 -!- Bowserinator_ has joined. 14:48:36 -!- moony has quit (Ping timeout: 256 seconds). 14:48:39 -!- ATMunn_ has joined. 14:48:44 -!- Bowserinator has quit (Ping timeout: 256 seconds). 14:48:46 -!- ATMunn has quit (Ping timeout: 260 seconds). 14:48:47 -!- probablymoony has joined. 14:55:41 [[MediaWiki:Common.js]] N https://esolangs.org/w/index.php?oldid=56455 * Ais523 * (+203) the http:// URLs don't work well due to caching effects; if we visit the site in a sufficiently modern browser, do a JS redirect to https:// 15:03:05 -!- mrrmx has quit (Quit: Leaving). 15:03:34 -!- imode has joined. 15:12:38 so I retrofitted my interpreter to select the first applicable rule in the ruleset. 15:13:47 -!- ZM has joined. 15:14:31 ais523: thank you so much for that 15:17:58 -!- ATMunn_ has changed nick to ATMunn. 15:18:41 -!- ZM has quit (Quit: Page closed). 15:22:20 Hm 15:22:29 izabera: you're in UK? 15:22:46 yes in cambridge 15:22:57 Nifty 15:23:01 wbu? 15:23:36 Not presently, although have been in the UK fairly frequently the past.. half year or so 15:23:45 haven't been to Cambridge though 15:23:56 FireFly: you should, it's where I am 15:24:22 Or possibly that's a reason to avoid it 15:24:27 Hmm 15:24:37 You should attend freenode live in november :D 15:24:46 (though, in Bristol) 15:24:55 Bristol's annoying to get to :/ 15:25:10 easier than cambridge :p 15:25:17 I tried to go to the last one 15:25:34 Well, Cambridge is hard to get to unless you're in Cambridge, in which case it's hard to escape 15:25:34 EasyJet has a direct flight to Bristol nowadays 15:25:40 fair 15:26:01 Stansted Airport's like half an hour from Cambridge by train 15:26:14 I don't wanna ryanair :\ 15:26:19 That's fair 15:26:37 But yes, should visit Cambridge someday 15:26:59 I know enough people in the UK that I kinda want to make a tour de great britain.. 15:27:05 I hear there's a group that play Go every Sunday 15:27:10 well, by train 15:27:29 Is fizzie still in London? 15:29:15 My next UK visit will be in august/september, but.. wrong part of the country 15:29:32 (over by the border to wales basically, for EMFcamp) 15:30:31 A few of my friends are going to that 15:31:05 -!- sebbu has quit (Ping timeout: 276 seconds). 15:31:25 I went to 34c3 last year, hopefully EMF is just as fun, hehe 15:31:26 in london there are several go centers 15:31:56 or should i say centres 15:32:36 hehe 15:34:37 -!- sebbu has joined. 15:36:14 izabera: ona visit in the UK, or? 15:46:15 been living here since november 15:50:13 -!- probablymoony has changed nick to definitelymoony. 16:01:02 trying to find the shortest path between string rewriting and a usable programming language is difficult. 16:02:18 Maybe it'll go through Perl 16:02:35 it actually might go through SNOBOL. 16:12:38 izabera: ah cool! 16:13:03 you should also visit fnlive :p 16:26:25 -!- erkin has joined. 16:30:28 there has to be a shorter path than implementing RAM + a given instruction set. 17:20:48 I have written a tag system implementation in SQL; it is an easy Turing-complete system to implement using the recursive WITH clause in SQL. 17:21:22 WITH A(T) AS (SELECT '211' UNION ALL SELECT SUBSTR(T,3) || CASE SUBSTR(T,1,1) WHEN '1' THEN '3321H' WHEN '2' THEN '331' WHEN '3' THEN '33' END FROM A) SELECT T FROM A WHERE SUBSTR(T,1,1) = 'H' LIMIT 1; 17:22:20 -!- Phantom_Hoover has joined. 17:28:15 -!- mrrmx has joined. 17:45:40 building expressiveness from nothing is hard. 17:47:54 There's a bunch of people here who work in London and live in Cambridge and commute daily, it can't be that hard to get to. 17:48:26 -!- mniip has quit (Ping timeout: 624 seconds). 17:49:09 Of course this place is right next to King's Cross, which is pretty optimal for Cambridgeing to/from. 17:57:49 Whoa, I think this was the first HTTP 451 "Unavailable For Legal Reasons" error I've gotten. 17:57:58 "We recognize you are attempting to access this website from a country belonging to the European Economic Area (EEA) including the EU which enforces the General Data Protection Regulation (GDPR) and therefore access cannot be granted at this time." 17:58:23 I guess that's one way of being GDPR compliant. 18:17:21 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 18:20:49 What are the requirements for GDPR? 18:24:57 -!- mniip has joined. 18:45:03 what's more general than a hypergraph? 18:57:02 http://zzo38computer.org/fossil/heromesh.ui/raw/exec.c?name=61678b6bb7fd8f9a32756361b39a5d4211cbde81 Do the pfunlink() and pflink() and objalloc() functions look like OK to you? Do you have suggestions to improve it if it is wrong? 19:05:03 -!- SopaXorzTaker has quit (Remote host closed the connection). 19:49:35 -!- definitelymoony has changed nick to obviouslymoony. 19:50:29 [[User:DMC]] M https://esolangs.org/w/index.php?diff=56456&oldid=54862 * DMC * (+143) 19:50:50 [[User:DMC]] M https://esolangs.org/w/index.php?diff=56457&oldid=56456 * DMC * (+0) 20:21:56 * Taneb has now met izabera 20:22:25 \o/ 20:32:46 `smlist 470 http://www.supermegacomics.com/index.php?i=470 20:32:47 smlist 470 http://www.supermegacomics.com/index.php?i=470: shachaf monqy elliott mnoqy Cale 20:44:14 Didn't I list this one already? 20:55:23 -!- S_Gautam has joined. 21:05:39 -!- imode has quit (Quit: WeeChat 2.1). 21:08:46 -!- imode has joined. 21:20:19 -!- mrrmx has quit (Quit: Leaving). 21:35:01 -!- contrapumpkin has quit (Remote host closed the connection). 21:43:21 -!- XorSwap has joined. 21:44:52 -!- Phantom__Hoover has joined. 21:48:07 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 22:01:05 -!- imode has quit (Ping timeout: 248 seconds). 22:03:05 -!- AnotherTest has quit (Ping timeout: 240 seconds). 22:35:26 -!- mrrmx has joined. 22:38:22 [[Language list]] M https://esolangs.org/w/index.php?diff=56458&oldid=56162 * HereToAnnoy * (+20) U - Added User:Language 23:44:59 -!- S_Gautam has quit (Quit: Connection closed for inactivity).