Newest at the top
| 2025-03-21 19:45:22 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 268 seconds) |
| 2025-03-21 19:44:57 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-03-21 19:44:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-03-21 19:43:13 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-03-21 19:31:56 +0100 | Clint | golfclaps. |
| 2025-03-21 19:31:36 +0100 | alp | (~alp@2001:861:8ca0:4940:4f32:5e1f:632d:94e1) |
| 2025-03-21 19:30:13 +0100 | <EvanR> | This had made many people very angry and has been widely regarded as a bad move. |
| 2025-03-21 19:30:13 +0100 | <EvanR> | In the beginning the Universe was created. |
| 2025-03-21 19:29:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-21 19:28:56 +0100 | kh0d | (~kh0d@212.200.65.86) kh0d |
| 2025-03-21 19:25:31 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-03-21 19:24:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-21 19:22:54 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f6518434db087d421fc.dip0.t-ipconnect.de) acidjnk |
| 2025-03-21 19:22:01 +0100 | <dminuoso> | More importantly, why did they even name them computers and did they have the authority to do so? |
| 2025-03-21 19:20:59 +0100 | <haskellbridge> | <Bowuigi> Who's Liron and why did they create computers? |
| 2025-03-21 19:14:00 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 2025-03-21 19:12:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-21 19:08:46 +0100 | tromp | (~textual@2a02:a210:cba:8500:40b3:acb4:4579:83af) |
| 2025-03-21 19:03:14 +0100 | <EvanR> | seems like the kind of thing the wiki infrastructure would flag automatically |
| 2025-03-21 19:02:06 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-21 19:01:21 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2025-03-21 19:01:20 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-21 19:01:20 +0100 | <xeno11> | https://en.wikibooks.org/wiki/Haskell |
| 2025-03-21 19:00:34 +0100 | <xeno11> | LIRON WAS THE CREATOR OF COMPUTERS" and other changes might have been made. |
| 2025-03-21 19:00:33 +0100 | <xeno11> | To anyone that can help/edit wiki... haskell wikibook main page was edited. It seems "Haskell is pure" was changed to "JEWS ARE THE BEST |
| 2025-03-21 19:00:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-21 18:59:18 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-21 18:58:43 +0100 | <sim590> | :) |
| 2025-03-21 18:58:33 +0100 | <haskellbridge> | <Bowuigi> IEEE-754 floats are so weird |
| 2025-03-21 18:58:31 +0100 | <EvanR> | failed |
| 2025-03-21 18:57:07 +0100 | <sim590> | test |
| 2025-03-21 18:56:54 +0100 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) |
| 2025-03-21 18:56:29 +0100 | <EvanR> | except for NaN |
| 2025-03-21 18:56:23 +0100 | <sim590> | foo |
| 2025-03-21 18:56:10 +0100 | <EvanR> | though in these cases indeed x = x, which is what got me started on this |
| 2025-03-21 18:55:24 +0100 | <EvanR> | another example is treating zero and minus zero differently in floats. Another example is implementing rationals with two numbers, and mapping 1/2 and 2/4 to false and true respectively (assuming false and true are not equal) |
| 2025-03-21 18:53:53 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-21 18:53:37 +0100 | <haskellbridge> | <Bowuigi> Congruence is derivable in various type theories as well, even without identity types |
| 2025-03-21 18:53:04 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-21 18:52:34 +0100 | <haskellbridge> | <Bowuigi> Even then, it holds for PERs IIRC |
| 2025-03-21 18:52:23 +0100 | <haskellbridge> | <Bowuigi> It's only wrong from an undecidability/non-termination standpoint |
| 2025-03-21 18:48:38 +0100 | <EvanR> | (though now you might argue the f is not really a function after all, since it's observing a difference, which is the same point as above) |
| 2025-03-21 18:47:57 +0100 | <EvanR> | e.g. in a possible implementation of computable reals, you could have rational real which terminates and is easy to compute with, and another real which converges to the same rational, and causes the f to explode when applied to it |
| 2025-03-21 18:47:40 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-21 18:47:22 +0100 | euleritian | (~euleritia@dynamic-176-000-195-182.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-21 18:46:45 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:dd6a:fa62:e132:ec11) (Ping timeout: 265 seconds) |
| 2025-03-21 18:46:09 +0100 | <EvanR> | even though it's wrong! |
| 2025-03-21 18:45:54 +0100 | euleritian | (~euleritia@dynamic-176-000-195-182.176.0.pool.telefonica.de) |
| 2025-03-21 18:45:53 +0100 | <EvanR> | and is otherwise a pretty common rule to rely on |
| 2025-03-21 18:44:22 +0100 | <EvanR> | derived from the usual definition of functions in set theory |