Newest at the top
| 2025-03-24 22:12:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-24 22:12:00 +0100 | <tomsmeding> | Athas: 7x slower than baseline is indeed slow, but if it's 'ad' that achieves that, I'd call that a win |
| 2025-03-24 22:12:00 +0100 | <sprout> | EvanR: but how would you keep track? |
| 2025-03-24 22:11:53 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 22:11:46 +0100 | <sprout> | EvanR: assuming that you're only interested in popping what you once pushed |
| 2025-03-24 22:11:39 +0100 | <EvanR> | I'll ignore the empty stack for now |
| 2025-03-24 22:11:33 +0100 | <Athas> | tomsmeding: yes, 'ad'. And maybe more like 7x. |
| 2025-03-24 22:11:24 +0100 | <sprout> | EvanR: I don't think you need the infinite stack |
| 2025-03-24 22:11:24 +0100 | <Rembane> | 5x slower than C++ is very fast imho |
| 2025-03-24 22:11:19 +0100 | <tomsmeding> | Athas: only 5x? And that's with 'ad'? |
| 2025-03-24 22:10:35 +0100 | <EvanR> | because looking bad might indicate something is actually bad and needs improvement |
| 2025-03-24 22:10:09 +0100 | <Athas> | Although on the largest workloads it's only about 5x slower than C++. |
| 2025-03-24 22:10:05 +0100 | <EvanR> | unless it's haskell |
| 2025-03-24 22:09:51 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84f984511b1aacfb73.dip0.t-ipconnect.de) acidjnk |
| 2025-03-24 22:09:45 +0100 | <Athas> | tomsmeding: yes, people get mad when you make a language look bad. |
| 2025-03-24 22:09:16 +0100 | <mauke> | can't be worse than whitespace |
| 2025-03-24 22:08:50 +0100 | <tomsmeding> | Athas: why? Because it's slow and makes haskell look bad? |
| 2025-03-24 22:07:53 +0100 | <tomsmeding> | EvanR: so yes, this should pin it down apart from pop-on-empty-stack and stack initialisation |
| 2025-03-24 22:07:26 +0100 | <tomsmeding> | EvanR: I think if you have a certain starting stack and particular sequence of pushes and pops, then you can successively cancel each pop against a push until either you're popping more than you pushed (and the spec doesn't let us conclude what happens if you pop from the starting stack), or you have some pushes left which don't generate observable info |
| 2025-03-24 22:06:59 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 260 seconds) |
| 2025-03-24 22:06:14 +0100 | <EvanR> | I guess you need something to start with, dirac :: a -> Stack a, an infinite stack of a which never runs out, where a could be used as a sentinel that you reached the bottom |
| 2025-03-24 22:06:12 +0100 | <Athas> | tomsmeding: this might make me unpopular with the Haskell community: https://github.com/gradbench/gradbench/blob/cmpad/tools/haskell/src/GradBench/DetByMinor.hs |
| 2025-03-24 22:05:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 22:04:51 +0100 | mmhat | (~mmh@2a00:1f:9784:c001:ee08:6bff:fe09:5315) (Client Quit) |
| 2025-03-24 22:04:45 +0100 | mmhat | (~mmh@2a00:1f:9784:c001:ee08:6bff:fe09:5315) mmhat |
| 2025-03-24 22:04:23 +0100 | <EvanR> | is that enough to constraint the behavior of the data type to what we normally think of as stack-like |
| 2025-03-24 22:04:06 +0100 | <EvanR> | say an interface to a stack container has two operations push :: a -> Stack a -> Stack a, and pop :: Stack a -> (a, Stack a). And there's a law, pop (push x xs) = (x, xs) |
| 2025-03-24 22:01:45 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Client Quit) |
| 2025-03-24 22:00:37 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 22:00:31 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-24 21:59:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-24 21:55:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-24 21:55:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 21:53:53 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 21:52:02 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 21:51:44 +0100 | jespada | (~jespada@2800:a4:22bd:1300:6874:df1d:56c8:ac1f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-24 21:50:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 21:50:00 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-24 21:45:42 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-03-24 21:44:17 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 21:37:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-24 21:35:54 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-03-24 21:33:55 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-03-24 21:31:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-24 21:27:45 +0100 | alp | (~alp@2001:861:8ca0:4940:92ce:4d9a:3c9b:8560) (Ping timeout: 246 seconds) |
| 2025-03-24 21:22:45 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84e5bb842294cfb41d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-03-24 21:22:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-03-24 21:20:06 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-03-24 21:20:01 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-24 21:14:54 +0100 | alp | (~alp@2001:861:8ca0:4940:92ce:4d9a:3c9b:8560) |