00:14:10 -!- moei has quit (Quit: Leaving...). 00:18:41 [[This=That 2.0]] https://esolangs.org/w/index.php?diff=56790&oldid=18204 * A * (+90) /* Programs */ 00:24:11 [[This=That 2.0]] https://esolangs.org/w/index.php?diff=56791&oldid=56790 * A * (+72) Just forgot to say something... 00:24:53 [[This=That 2.0]] https://esolangs.org/w/index.php?diff=56792&oldid=56791 * A * (-21) :( Checking... 00:28:16 [[User:A]] N https://esolangs.org/w/index.php?oldid=56793 * A * (+149) Created page with "There is currently no text in this page. You can [[search for this page title]] in other pages, [[search the related logs]], or [[create this page]]." 00:51:59 -!- Lord_of_Life has quit (Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite!). 00:54:35 [[User:A]] https://esolangs.org/w/index.php?diff=56794&oldid=56793 * A * (-149) Blanked the page 00:55:40 -!- Lord_of_Life has joined. 00:56:08 [[User:A]] https://esolangs.org/w/index.php?diff=56795&oldid=56794 * A * (+5) 00:56:42 [[User:A]] https://esolangs.org/w/index.php?diff=56796&oldid=56795 * A * (+46) 00:57:17 [[User:A]] https://esolangs.org/w/index.php?diff=56797&oldid=56796 * A * (+106) 00:58:46 [[User:A]] https://esolangs.org/w/index.php?diff=56798&oldid=56797 * A * (+7) 00:58:59 [[User:A]] https://esolangs.org/w/index.php?diff=56799&oldid=56798 * A * (+5) 00:59:09 [[User:A]] https://esolangs.org/w/index.php?diff=56800&oldid=56799 * A * (+2) 00:59:24 [[User:A]] https://esolangs.org/w/index.php?diff=56801&oldid=56800 * A * (+5) 00:59:32 [[User:A]] https://esolangs.org/w/index.php?diff=56802&oldid=56801 * A * (+2) 01:00:07 [[User:A]] https://esolangs.org/w/index.php?diff=56803&oldid=56802 * A * (+4) 01:00:36 [[User:A]] https://esolangs.org/w/index.php?diff=56804&oldid=56803 * A * (-13) 01:00:58 [[User:A]] https://esolangs.org/w/index.php?diff=56805&oldid=56804 * A * (-169) Blanked the page 01:07:36 -!- imode has quit (Quit: WeeChat 2.2). 01:14:48 [[EsoScript]] N https://esolangs.org/w/index.php?oldid=56806 * A * (+461) Created page with "==Formatting== ''Italic text'' ''Italic test'' '''Bold text''' '''Bold text''' '''''Bold & italic text''''' '''''Bold & italic text''''' ==Links== ===Internal links=== U..." 01:17:15 [[EsoScript]] https://esolangs.org/w/index.php?diff=56807&oldid=56806 * A * (-22) 01:17:53 [[EsoScript]] https://esolangs.org/w/index.php?diff=56808&oldid=56807 * A * (+20) 01:19:46 -!- moei has joined. 01:20:31 [[EsoScript]] https://esolangs.org/w/index.php?diff=56809&oldid=56808 * A * (+115) /* HI */ 01:22:35 [[EsoScript]] https://esolangs.org/w/index.php?diff=56810&oldid=56809 * A * (+72) /* =Numbered list */ 01:23:30 [[EsoScript]] https://esolangs.org/w/index.php?diff=56811&oldid=56810 * A * (+89) 01:24:19 [[EsoScript]] https://esolangs.org/w/index.php?diff=56812&oldid=56811 * A * (-168) /* Links(Only available in esolangs.org) */ 01:28:58 [[EsoScript]] https://esolangs.org/w/index.php?diff=56813&oldid=56812 * A * (-72) /* Indent */ 01:29:17 [[EsoScript]] https://esolangs.org/w/index.php?diff=56814&oldid=56813 * A * (-59) /* HI */ 01:29:27 [[EsoScript]] https://esolangs.org/w/index.php?diff=56815&oldid=56814 * A * (-9) /* HI */ 01:29:53 [[EsoScript]] https://esolangs.org/w/index.php?diff=56816&oldid=56815 * A * (+1) /* =Numbered list */ 01:30:12 [[EsoScript]] https://esolangs.org/w/index.php?diff=56817&oldid=56816 * A * (-28) /* Headings(may mess up the page a bit) */ 01:30:25 [[EsoScript]] https://esolangs.org/w/index.php?diff=56818&oldid=56817 * A * (+1) /* Formatting */ 01:31:22 [[User:A]] https://esolangs.org/w/index.php?diff=56819&oldid=56805 * A * (+23) Redirected page to [[EsoScript]] 01:32:15 [[EsoScript]] https://esolangs.org/w/index.php?diff=56820&oldid=56818 * A * (-141) /* Formatting */ 01:32:50 [[EsoScript]] https://esolangs.org/w/index.php?diff=56821&oldid=56820 * A * (+9) /* Heading */ 01:33:02 [[EsoScript]] https://esolangs.org/w/index.php?diff=56822&oldid=56821 * A * (-9) /* Heading */ 01:34:04 [[User:A]] https://esolangs.org/w/index.php?diff=56823&oldid=56819 * A * (-3) Redirected page to [[User:A]] 02:17:50 [[List of quines]] https://esolangs.org/w/index.php?diff=56824&oldid=56526 * A * (+115) /* Cheating Quines */ 02:18:16 [[List of quines]] https://esolangs.org/w/index.php?diff=56825&oldid=56824 * A * (+2) /* Smurf */ 02:27:35 [[Turing tarpit]] https://esolangs.org/w/index.php?diff=56826&oldid=56318 * A * (+68) /* Survey */ 02:34:06 -!- imode has joined. 02:49:01 [[Turing tarpit]] https://esolangs.org/w/index.php?diff=56827&oldid=56826 * Oerjan * (-2) /* Survey */ Use proper name 02:51:24 [[Turing tarpit]] https://esolangs.org/w/index.php?diff=56828&oldid=56827 * Oerjan * (+54) /* Survey */ grm and only two symbols essential 02:57:54 [[]] N https://esolangs.org/w/index.php?oldid=56829 * A * (+135) Created page with "is a very funny esolang. [[Category:Languages]] [[Category:Language list]] [[Category:Joke language list]] [[Category:CJK]]" 02:58:05 [[]] https://esolangs.org/w/index.php?diff=56830&oldid=56829 * A * (-4) 02:58:17 [[]] https://esolangs.org/w/index.php?diff=56831&oldid=56830 * A * (-27) 02:59:13 [[]] https://esolangs.org/w/index.php?diff=56832&oldid=56831 * A * (+69) 03:04:11 [[]] https://esolangs.org/w/index.php?diff=56833&oldid=56832 * A * (+284) 03:10:14 [[]] https://esolangs.org/w/index.php?diff=56834&oldid=56833 * A * (+223) 03:10:58 -!- tromp has quit (Remote host closed the connection). 03:14:20 -!- oerjan has quit (Quit: Nite). 03:18:05 [[Simple Smurf]] N https://esolangs.org/w/index.php?oldid=56835 * A * (+2158) Created page with "If we limit the contents of Smurf strings to the same characters as the other instructions (which should have no effect on Turing-completeness) then it has three states (call..." 03:18:48 [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56836&oldid=56835 * A * (-214) 03:19:01 [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56837&oldid=56836 * A * (-4) 03:22:13 [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56838&oldid=56837 * A * (-928) 03:22:26 [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56839&oldid=56838 * A * (-255) 03:29:33 [[Sm]] N https://esolangs.org/w/index.php?oldid=56840 * A * (+1042) Created page with "Sm is an esolang based on [[Smu]], with comments removed. * () Push a string to the stack. The string is whatever is inside the parentheses, you can have nested parentheses bu..." 03:59:39 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 04:25:10 -!- XorSwap has quit (Ping timeout: 244 seconds). 05:10:13 -!- Fogity_ has joined. 05:10:37 -!- imode has quit (Quit: WeeChat 2.2). 05:10:43 -!- FreeFull_ has joined. 05:11:26 -!- shachaf_ has joined. 05:12:31 -!- imode has joined. 05:15:16 -!- \oren\_ has joined. 05:16:28 -!- xa0 has quit (*.net *.split). 05:16:31 -!- Hooloovo0 has quit (*.net *.split). 05:16:31 -!- \oren\ has quit (*.net *.split). 05:16:32 -!- zzo38 has quit (*.net *.split). 05:16:32 -!- FreeFull has quit (*.net *.split). 05:16:32 -!- shachaf has quit (*.net *.split). 05:16:32 -!- Fogity has quit (*.net *.split). 05:16:34 -!- lynn has quit (*.net *.split). 05:19:27 -!- Fogity_ has quit (Ping timeout: 240 seconds). 05:19:58 -!- shachaf_ has changed nick to shachaf. 05:24:16 -!- Fogity has joined. 05:27:48 -!- Hoolootwo has joined. 05:30:28 -!- S_Gautam has joined. 05:35:13 -!- xa0 has joined. 05:35:13 -!- lynn has joined. 05:35:34 -!- Hoolootwo has changed nick to Hooloovo0. 05:42:15 -!- tromp has joined. 05:46:59 -!- tromp has quit (Ping timeout: 260 seconds). 06:34:25 -!- imode has quit (Quit: WeeChat 2.2). 06:35:13 -!- imode has joined. 06:46:09 -!- fractal has joined. 07:28:48 -!- tromp has joined. 07:33:35 -!- tromp has quit (Ping timeout: 256 seconds). 07:53:03 -!- tromp has joined. 08:06:06 -!- xa0 has quit (Excess Flood). 08:06:54 -!- xa0 has joined. 08:21:22 -!- AnotherTest has joined. 08:25:11 -!- Phantom_Hoover has joined. 08:25:11 -!- Phantom_Hoover has quit (Changing host). 08:25:11 -!- Phantom_Hoover has joined. 08:31:08 -!- yaewa has joined. 08:32:31 -!- moei has quit (Ping timeout: 256 seconds). 08:33:23 -!- imode has quit (Ping timeout: 276 seconds). 08:52:11 hmm 08:52:22 I think I implemented pattern matching but there's now a bug :( 08:53:40 Oh no! 08:53:44 What sort of bug? 08:54:25 somehow one of the closures gets corrupted 09:20:57 [[User:A]] https://esolangs.org/w/index.php?diff=56841&oldid=56823 * A * (+41) 09:21:22 [[User:A]] https://esolangs.org/w/index.php?diff=56842&oldid=56841 * A * (+28) 09:27:18 [[Home Row]] https://esolangs.org/w/index.php?diff=56843&oldid=32458 * A * (+132) 09:27:27 [[Home Row]] https://esolangs.org/w/index.php?diff=56844&oldid=56843 * A * (+0) /* COmputational Class */ 09:30:01 [[Home Row]] https://esolangs.org/w/index.php?diff=56845&oldid=56844 * A * (+76) Last but not least, check that 09:30:40 [[Home Row]] https://esolangs.org/w/index.php?diff=56846&oldid=56845 * A * (-46) 09:31:19 [[User:A]] https://esolangs.org/w/index.php?diff=56847&oldid=56842 * A * (+69) 09:33:47 I think I found the cause 09:34:08 Oh? 09:34:20 (I am genuinely interested but not very insightful) 09:37:16 when executing a data constructor pattern match I forgot to focus on the fields of the closure I am scrutinizing 09:39:11 sadly that alone didn't fix it 09:42:40 r 09:53:33 ohhh 09:53:52 I enter the scrutinee 09:54:18 but my calling convention doesn't include the closure returning itself from its entry point 09:54:36 and so I lost the value I was scrutinizing 09:55:32 it works! 09:55:47 \o/ 09:56:38 mniip: what formalism or language is it you're implementing, and what's your implementation language? 09:56:50 CBN LC 09:57:06 a haskell compiler that outputs assembly 09:59:23 push/enter, g-machine, mmm. Oh it's been a while. 10:00:23 Which assembly? 10:01:04 int-e, mind, I decided to implement it "without looking" 10:01:17 i.e see how much stuff I can come up with without copyinh 10:03:04 -!- AnotherTest has quit (Ping timeout: 256 seconds). 10:04:04 Taneb, x86_64 10:04:24 :) 10:05:13 and thus I compiled a first hello world 10:05:32 it looks like this http://tcpst.net/pk7v 10:05:34 `? unlambda 10:05:35 ​``ci`r`.!`.l`.a`.i`.v`.i`.r`.t`. `.t`.s`.e`.'`.c`. `.,`.a`.d`.b`.m`.a`.l`.n`.U`ci 10:07:07 mniip: neat! 10:07:51 mniip: are those boxed ints? 10:07:54 yes 10:08:36 -!- FreeFull_ has changed nick to FreeFull. 10:22:08 at least it's easy to add primops! 10:22:10 BINARY_FN(addInt)(struct Closure *a, struct Closure *b) { return make_int_closure(unpack_int_closure(a) + unpack_int_closure(b)); } 10:48:37 oh boy 10:48:40 what a bug 10:48:45 *(clos->data) = value; 10:48:57 should be *(size_t *)clos->data = value; 10:49:19 nice tabs 10:49:45 (somehow irssi displays these as inverted I-s) 11:04:57 boom, the list of prime numbers http://tcpst.net/lgbv 11:09:45 Neat! 11:10:36 my thing is even slightly better than GHC in some aspect! 11:10:40 I can do this: http://tcpst.net/4a4g.png 11:11:35 -!- AnotherTest has joined. 11:11:49 Neat 11:13:40 -!- yaewa has quit (Quit: Leaving...). 11:21:52 -!- SopaXorzTaker has joined. 11:30:39 -!- Phantom_Hoover has quit (Remote host closed the connection). 11:38:23 mniip: yeah ghc a) messes up the stack and b) doesn't have an actual control stack because it does a CPS transform so all calls become tail calls. 11:38:53 this isn't a call stack either mind 11:39:02 foldr doesn't call takeWhile 11:39:12 I wrote "control stack"? :P 11:40:22 I expect it's still a call stack of sorts... but a dynamic one imposed by lazy evaluation rather than a static one (as written in the source code) 11:51:20 as if the GHC runtime doesn't have an analogue? 12:07:50 -!- moei has joined. 12:10:20 -!- XorSwap has joined. 12:22:29 -!- XorSwap has quit (Ping timeout: 260 seconds). 12:25:03 -!- XorSwap has joined. 12:42:25 -!- SopaXorzTaker has quit (Remote host closed the connection). 12:55:09 -!- XorSwap has quit (Ping timeout: 260 seconds). 13:08:22 -!- oerjan has joined. 13:11:39 -!- xa0 has quit (Ping timeout: 244 seconds). 13:17:37 -!- xa0 has joined. 14:02:07 -!- Lbry has joined. 14:03:34 -!- wob_jonas has joined. 14:03:44 mniip: congrats! 14:07:02 -!- Lbry has left. 14:08:47 mniip: can you parse type annotations? 14:09:53 no 14:09:57 there's no typechecker yet 14:10:09 also there's lot of technical debt 14:10:24 mniip: ah 14:10:35 so if you use incorrect types, your program might just do undefined behavior? 14:10:56 it will usually complain 14:11:11 "attempt to apply a constructor" 14:11:30 but yeah it might segfualt 14:11:50 if you pattern match a lambda against a datatype that has a non-nullary constructor at position zero 14:13:50 I was wondering if you could try to compile http://www.math.bme.hu/~ambrus/pu/Bin.hs with this. You'd not only have to remove type annotations, but also remove the instances, and replace the fac and the main functions to call the underlying non-generic functions instead of the methods 14:21:58 Luckily it doesn't even use the built-in list type 14:40:41 Yeah, that won't be trivial. 14:41:12 The fac function really cheats by using the haskell prelude deeply. 14:42:44 I'm calling product, which has to be changed to foldSomething mulBin; and I'm calling my own enumFromTo :: BinInteger -> BinInteger -> BinInteger method, which calls takeWhile and iterate. 14:43:06 Still, it should be possible to write those if you know a bit of haskell 14:43:37 and then the main function calls print, which you could change to (putStrLn . showBin) I think 14:50:18 -!- xa0 has quit (Excess Flood). 14:51:25 -!- xa0 has joined. 15:03:10 -!- oerjan has quit (Quit: Later). 15:15:01 wob_jonas, to add classes I'd need a typechecker 15:15:23 mniip: I said you should remove classes and instances from that code 15:15:24 to do inference and term elaboration 15:15:45 also funnily 15:15:47 they're not really needed, they're just an afterthought so that I can make the joke end with "fac n = product [1..n]" 15:15:50 my compiler doesn't use any StateT 15:16:24 which is a line from that Evolution of a Haskell Programmer joke, only it means a very different thing here because it uses a different type 15:16:41 but you don't need any of the instances or anything, or the BinInteger type 15:16:49 product . enumFromTo 1 15:17:10 I only like code that is pointless 15:18:32 mniip: yes, but look at the end of the joke in https://www.willamette.edu/~fruehr/haskell/evolution.html , above the explanations (search for "Tenured Professor" 15:18:43 yeah I've seen that page 15:18:56 ). it literally says "fac n = product [1..n]" which is the line I wanted to reuse 15:19:16 you don't need any of that 15:20:44 I am the proud author of https://github.com/AbstractBeliefs/BadBuzz/blob/master/Haskell/mniip.hs 15:20:59 -!- atslash has joined. 15:21:12 mniip: oh god, he got you writing them too 15:21:29 it was an one-off 15:21:35 just compute with the unwrapped Bin class, which isn't an instance of anything (I did it this way so as to not accidentally an instance functino), write product as whatever fold function it should be, calling mulBin 15:22:29 then implement iterate and takeWhile from the prelude, and do whatever that enumFromTo method does but on unwrapped Bin stuff 15:22:36 y tho 15:22:39 I have boxed integers 15:23:50 (I'm fond of my reasonable-looking-but-cubic-time badbuzz) 15:23:51 -!- neanias has joined. 15:23:55 mniip: but this is a nontrivial code that would test lazy function calls and constructors and pattern matching nicely 15:23:55 it does like a million calls until it finishes 15:23:55 probably more like ten million 15:24:00 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 15:26:05 -!- wob_jonas has joined. 15:26:07 no wait, it must be much less than that since it's not unary but binary. probably only a few thousand calls 15:28:29 I really should consider infix operators 15:28:35 and equation parsing 15:29:05 mniip: you don't need infix operators to run my code 15:29:23 what do you mean by equation parsing? pattern matching in the function head? 15:29:30 yes 15:29:34 f True = x 15:29:37 f False = y 15:29:42 do you have let expressions yet? where clauses? 15:29:47 neither 15:29:59 you should probably start with let expressions 15:30:05 I have abstractions that can work as nonrecursive lets 15:31:18 yeah 15:34:35 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 15:44:54 -!- AnotherTest has quit (Ping timeout: 260 seconds). 15:48:13 -!- XorSwap has joined. 15:52:47 -!- LKoen has joined. 15:56:53 ah, today's xkcd is online, and it's good 16:09:17 -!- tromp has quit (Remote host closed the connection). 16:12:18 -!- tromp has joined. 16:31:58 -!- imode has joined. 16:32:52 -!- puck has changed nick to pucc. 16:47:05 -!- lldd_ has joined. 16:55:53 -!- pucc has changed nick to puck. 17:01:12 -!- XorSwap has quit (Quit: the creeping crawling chaos will return.). 17:01:13 -!- tromp has quit (Remote host closed the connection). 17:35:52 -!- tromp has joined. 17:43:48 -!- Phantom_Hoover has joined. 17:54:11 -!- AnotherTest has joined. 18:01:23 -!- tromp has quit (Remote host closed the connection). 18:18:29 -!- tromp has joined. 18:23:39 [[Home Row]] https://esolangs.org/w/index.php?diff=56848&oldid=56846 * Ais523 * (-162) rv: this doesn't prove BF-equivalence because BF relies on the existence of nested loops for its TCness 18:30:43 -!- LKoen has quit (Remote host closed the connection). 18:34:43 -!- erkin has joined. 18:48:14 -!- SopaXorzTaker has joined. 19:26:55 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 19:29:03 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 19:35:06 -!- lldd_ has quit (Quit: Leaving). 19:50:42 -!- Phantom_Hoover has joined. 20:31:10 -!- LKoen has joined. 20:34:25 -!- SopaXorzTaker has quit (Ping timeout: 245 seconds). 20:35:35 -!- LKoen has quit (Ping timeout: 240 seconds). 20:44:28 -!- imode has quit (Quit: WeeChat 2.2). 21:23:59 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 21:25:14 -!- LKoen has joined. 21:47:45 -!- imode has joined. 22:04:23 -!- moei has quit (Read error: Connection reset by peer). 22:04:58 -!- moei has joined. 22:05:56 -!- shachaf_ has joined. 22:07:04 -!- shachaf has quit (Disconnected by services). 22:08:44 -!- shachaf_ has changed nick to shachaf. 22:11:54 [[RISBF]] https://esolangs.org/w/index.php?diff=56849&oldid=40838 * BMO * (+358) 22:22:41 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 22:26:41 -!- AnotherTest has quit (Ping timeout: 276 seconds). 22:57:42 -!- tromp has quit (Remote host closed the connection). 22:59:58 -!- rdococ has quit (Ping timeout: 256 seconds). 23:05:22 -!- moei has quit (Quit: Leaving...). 23:32:42 -!- oerjan has joined. 23:33:57 -!- imode has quit (Ping timeout: 240 seconds). 23:37:29 -!- rdococ has joined. 23:55:56 -!- 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.”).