00:14:10 -!- moei has quit (Quit: Leaving...).
00:18:41 <esowiki> [[This=That 2.0]] https://esolangs.org/w/index.php?diff=56790&oldid=18204 * A * (+90) /* Programs */
00:24:11 <esowiki> [[This=That 2.0]] https://esolangs.org/w/index.php?diff=56791&oldid=56790 * A * (+72) Just forgot to say something...
00:24:53 <esowiki> [[This=That 2.0]] https://esolangs.org/w/index.php?diff=56792&oldid=56791 * A * (-21) :( Checking...
00:28:16 <esowiki> [[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 <esowiki> [[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 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56795&oldid=56794 * A * (+5)
00:56:42 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56796&oldid=56795 * A * (+46)
00:57:17 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56797&oldid=56796 * A * (+106)
00:58:46 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56798&oldid=56797 * A * (+7)
00:58:59 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56799&oldid=56798 * A * (+5)
00:59:09 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56800&oldid=56799 * A * (+2)
00:59:24 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56801&oldid=56800 * A * (+5)
00:59:32 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56802&oldid=56801 * A * (+2)
01:00:07 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56803&oldid=56802 * A * (+4)
01:00:36 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56804&oldid=56803 * A * (-13)
01:00:58 <esowiki> [[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 <esowiki> [[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 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56807&oldid=56806 * A * (-22)
01:17:53 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56808&oldid=56807 * A * (+20)
01:19:46 -!- moei has joined.
01:20:31 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56809&oldid=56808 * A * (+115) /* HI */
01:22:35 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56810&oldid=56809 * A * (+72) /* =Numbered list */
01:23:30 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56811&oldid=56810 * A * (+89)
01:24:19 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56812&oldid=56811 * A * (-168) /* Links(Only available in esolangs.org) */
01:28:58 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56813&oldid=56812 * A * (-72) /* Indent */
01:29:17 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56814&oldid=56813 * A * (-59) /* HI */
01:29:27 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56815&oldid=56814 * A * (-9) /* HI */
01:29:53 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56816&oldid=56815 * A * (+1) /* =Numbered list */
01:30:12 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56817&oldid=56816 * A * (-28) /* Headings(may mess up the page a bit) */
01:30:25 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56818&oldid=56817 * A * (+1) /* Formatting */
01:31:22 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56819&oldid=56805 * A * (+23) Redirected page to [[EsoScript]]
01:32:15 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56820&oldid=56818 * A * (-141) /* Formatting */
01:32:50 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56821&oldid=56820 * A * (+9) /* Heading */
01:33:02 <esowiki> [[EsoScript]] https://esolangs.org/w/index.php?diff=56822&oldid=56821 * A * (-9) /* Heading */
01:34:04 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56823&oldid=56819 * A * (-3) Redirected page to [[User:A]]
02:17:50 <esowiki> [[List of quines]] https://esolangs.org/w/index.php?diff=56824&oldid=56526 * A * (+115) /* Cheating Quines */
02:18:16 <esowiki> [[List of quines]] https://esolangs.org/w/index.php?diff=56825&oldid=56824 * A * (+2) /* Smurf */
02:27:35 <esowiki> [[Turing tarpit]] https://esolangs.org/w/index.php?diff=56826&oldid=56318 * A * (+68) /* Survey */
02:34:06 -!- imode has joined.
02:49:01 <esowiki> [[Turing tarpit]] https://esolangs.org/w/index.php?diff=56827&oldid=56826 * Oerjan * (-2) /* Survey */ Use proper name
02:51:24 <esowiki> [[Turing tarpit]] https://esolangs.org/w/index.php?diff=56828&oldid=56827 * Oerjan * (+54) /* Survey */ grm and only two symbols essential
02:57:54 <esowiki> [[]] 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 <esowiki> [[]] https://esolangs.org/w/index.php?diff=56830&oldid=56829 * A * (-4)
02:58:17 <esowiki> [[]] https://esolangs.org/w/index.php?diff=56831&oldid=56830 * A * (-27)
02:59:13 <esowiki> [[]] https://esolangs.org/w/index.php?diff=56832&oldid=56831 * A * (+69)
03:04:11 <esowiki> [[]] https://esolangs.org/w/index.php?diff=56833&oldid=56832 * A * (+284)
03:10:14 <esowiki> [[]] 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 <esowiki> [[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 <esowiki> [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56836&oldid=56835 * A * (-214)
03:19:01 <esowiki> [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56837&oldid=56836 * A * (-4)
03:22:13 <esowiki> [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56838&oldid=56837 * A * (-928)
03:22:26 <esowiki> [[Simple Smurf]] https://esolangs.org/w/index.php?diff=56839&oldid=56838 * A * (-255)
03:29:33 <esowiki> [[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:22 <mniip> I think I implemented pattern matching but there's now a bug :(
08:54:25 <mniip> somehow one of the closures gets corrupted
09:20:57 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56841&oldid=56823 * A * (+41)
09:21:22 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56842&oldid=56841 * A * (+28)
09:27:18 <esowiki> [[Home Row]] https://esolangs.org/w/index.php?diff=56843&oldid=32458 * A * (+132)
09:27:27 <esowiki> [[Home Row]] https://esolangs.org/w/index.php?diff=56844&oldid=56843 * A * (+0) /* COmputational Class */
09:30:01 <esowiki> [[Home Row]] https://esolangs.org/w/index.php?diff=56845&oldid=56844 * A * (+76) Last but not least, check that
09:30:40 <esowiki> [[Home Row]] https://esolangs.org/w/index.php?diff=56846&oldid=56845 * A * (-46)
09:31:19 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=56847&oldid=56842 * A * (+69)
09:33:47 <mniip> I think I found the cause
09:34:20 <Taneb> (I am genuinely interested but not very insightful)
09:37:16 <mniip> when executing a data constructor pattern match I forgot to focus on the fields of the closure I am scrutinizing
09:39:11 <mniip> sadly that alone didn't fix it
09:53:52 <mniip> I enter the scrutinee
09:54:18 <mniip> but my calling convention doesn't include the closure returning itself from its entry point
09:54:36 <mniip> and so I lost the value I was scrutinizing
09:56:38 <int-e> mniip: what formalism or language is it you're implementing, and what's your implementation language?
09:57:06 <mniip> a haskell compiler that outputs assembly
09:59:23 <int-e> push/enter, g-machine, mmm. Oh it's been a while.
10:01:04 <mniip> int-e, mind, I decided to implement it "without looking"
10:01:17 <mniip> i.e see how much stuff I can come up with without copyinh
10:03:04 -!- AnotherTest has quit (Ping timeout: 256 seconds).
10:05:13 <mniip> and thus I compiled a first hello world
10:05:32 <mniip> it looks like this http://tcpst.net/pk7v
10:05:35 <HackEso> ``ci`r`.!`.l`.a`.i`.v`.i`.r`.t`. `.t`.s`.e`.'`.c`. `.,`.a`.d`.b`.m`.a`.l`.n`.U`ci
10:07:51 <int-e> mniip: are those boxed ints?
10:08:36 -!- FreeFull_ has changed nick to FreeFull.
10:22:08 <mniip> at least it's easy to add primops!
10:22:10 <mniip> BINARY_FN(addInt)(struct Closure *a, struct Closure *b) { return make_int_closure(unpack_int_closure(a) + unpack_int_closure(b)); }
10:48:45 <mniip> *(clos->data) = value;
10:48:57 <mniip> should be *(size_t *)clos->data = value;
10:49:45 <int-e> (somehow irssi displays these as inverted I-s)
11:04:57 <mniip> boom, the list of prime numbers http://tcpst.net/lgbv
11:10:36 <mniip> my thing is even slightly better than GHC in some aspect!
11:10:40 <mniip> I can do this: http://tcpst.net/4a4g.png
11:11:35 -!- AnotherTest has joined.
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 <int-e> 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 <mniip> this isn't a call stack either mind
11:39:02 <mniip> foldr doesn't call takeWhile
11:39:12 <int-e> I wrote "control stack"? :P
11:40:22 <int-e> 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 <mniip> 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:07:02 -!- Lbry has left.
14:08:47 <wob_jonas> mniip: can you parse type annotations?
14:09:57 <mniip> there's no typechecker yet
14:10:09 <mniip> also there's lot of technical debt
14:10:35 <wob_jonas> so if you use incorrect types, your program might just do undefined behavior?
14:10:56 <mniip> it will usually complain
14:11:11 <mniip> "attempt to apply a constructor"
14:11:30 <mniip> but yeah it might segfualt
14:11:50 <mniip> if you pattern match a lambda against a datatype that has a non-nullary constructor at position zero
14:13:50 <wob_jonas> 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 <wob_jonas> Luckily it doesn't even use the built-in list type
14:41:12 <wob_jonas> The fac function really cheats by using the haskell prelude deeply.
14:42:44 <wob_jonas> 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 <wob_jonas> Still, it should be possible to write those if you know a bit of haskell
14:43:37 <wob_jonas> 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 <mniip> wob_jonas, to add classes I'd need a typechecker
15:15:23 <wob_jonas> mniip: I said you should remove classes and instances from that code
15:15:24 <mniip> to do inference and term elaboration
15:15:47 <wob_jonas> 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 <mniip> my compiler doesn't use any StateT
15:16:24 <wob_jonas> 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 <wob_jonas> but you don't need any of the instances or anything, or the BinInteger type
15:16:49 <mniip> product . enumFromTo 1
15:17:10 <mniip> I only like code that is pointless
15:18:32 <wob_jonas> 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 <mniip> yeah I've seen that page
15:18:56 <wob_jonas> ). it literally says "fac n = product [1..n]" which is the line I wanted to reuse
15:20:44 <mniip> 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 <Taneb> mniip: oh god, he got you writing them too
15:21:35 <wob_jonas> 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 <wob_jonas> then implement iterate and takeWhile from the prelude, and do whatever that enumFromTo method does but on unwrapped Bin stuff
15:22:39 <mniip> I have boxed integers
15:23:50 <Taneb> (I'm fond of my reasonable-looking-but-cubic-time badbuzz)
15:23:51 -!- neanias has joined.
15:23:55 <wob_jonas> mniip: but this is a nontrivial code that would test lazy function calls and constructors and pattern matching nicely
15:23:55 <wob_jonas> it does like a million calls until it finishes
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 <wob_jonas> 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 <mniip> I really should consider infix operators
15:28:35 <mniip> and equation parsing
15:29:05 <wob_jonas> mniip: you don't need infix operators to run my code
15:29:23 <wob_jonas> what do you mean by equation parsing? pattern matching in the function head?
15:29:42 <wob_jonas> do you have let expressions yet? where clauses?
15:29:59 <wob_jonas> you should probably start with let expressions
15:30:05 <mniip> I have abstractions that can work as nonrecursive lets
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 <int-e> 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 <esowiki> [[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 <esowiki> [[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.”).