Logs: liberachat/#haskell
| 2026-02-19 21:02:34 | → | darkling joins (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2026-02-19 21:08:01 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 2026-02-19 21:08:15 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-19 21:08:21 | <EvanR> | at least pi not being disturbed by the identity function |
| 2026-02-19 21:12:36 | <tomsmeding> | > sinh (asinh pi) == pi |
| 2026-02-19 21:12:38 | <lambdabot> | True |
| 2026-02-19 21:12:44 | tomsmeding | . o O ( not bad ) |
| 2026-02-19 21:13:24 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-02-19 21:13:25 | <tomsmeding> | > sin pi == 0 |
| 2026-02-19 21:13:27 | <lambdabot> | False |
| 2026-02-19 21:13:56 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-02-19 21:14:02 | <humasect> | sin pi - cos pi |
| 2026-02-19 21:14:32 | <tomsmeding> | > sin pi - cos pi == 1 |
| 2026-02-19 21:14:34 | <lambdabot> | False |
| 2026-02-19 21:14:48 | <c_wraith> | > let basicallyEquals x y = compare (abs x) 1 == compare (abs y) 1 in sin pi `basicallyEquals` 0 |
| 2026-02-19 21:14:49 | <lambdabot> | True |
| 2026-02-19 21:15:08 | <humasect> | epsilon |
| 2026-02-19 21:15:25 | <tomsmeding> | > (-3) `basicallyEquals` 2 |
| 2026-02-19 21:15:26 | <lambdabot> | Variable not in scope: basicallyEquals :: t0 -> t1 -> t |
| 2026-02-19 21:15:42 | <tomsmeding> | > let basicallyEquals x y = compare (abs x) 1 == compare (abs y) 1 in (-3) `basicallyEquals` 2 |
| 2026-02-19 21:15:43 | <lambdabot> | True |
| 2026-02-19 21:15:54 | <humasect> | ah yea |
| 2026-02-19 21:16:47 | <c_wraith> | all big numbers, even negative ones, are basically the same. |
| 2026-02-19 21:17:30 | <humasect> | yessir. imagine the 'floating' point =) base-10 |
| 2026-02-19 21:20:27 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2026-02-19 21:20:33 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2026-02-19 21:26:33 | → | pavonia joins (~user@user/siracusa) |
| 2026-02-19 21:29:18 | <EvanR> | someone's guide to best ways to abuse floats xD |
| 2026-02-19 21:30:04 | <EvanR> | numeric stability is for wimps |
| 2026-02-19 21:32:10 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-02-19 21:33:36 | × | shachaf quits (~shachaf@user/shachaf) (Server closed connection) |
| 2026-02-19 21:34:00 | <humasect> | eh just unbox my float arrays we good |
| 2026-02-19 21:37:55 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-19 21:39:06 | × | nckx quits (~nckx@libera/staff/owl/nckx) (Server closed connection) |
| 2026-02-19 21:41:29 | → | shachaf joins (~shachaf@user/shachaf) |
| 2026-02-19 21:43:37 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-02-19 21:46:40 | <monochrom> | Every number rounds to zero if you round enough. >:) |
| 2026-02-19 21:47:24 | <monochrom> | https://www.vex.net/~trebla/humour/tautologies.html #7 :) |
| 2026-02-19 21:49:11 | → | sixfourtwelve joins (~ethanmorg@static.82.129.225.46.clients.your-server.de) |
| 2026-02-19 21:49:11 | × | sixfourtwelve quits (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Client Quit) |
| 2026-02-19 21:52:39 | <EvanR> | is that like saying every number is closer to zero than infinity |
| 2026-02-19 21:52:57 | → | karenw joins (~karenw@user/karenw) |
| 2026-02-19 21:53:00 | × | karenw quits (~karenw@user/karenw) (Client Quit) |
| 2026-02-19 21:53:20 | → | karenw joins (~karenw@user/karenw) |
| 2026-02-19 21:54:16 | × | jocke-l quits (jocke-l@a.x0.is) (Server closed connection) |
| 2026-02-19 21:54:40 | → | jocke-l joins (jocke-l@a.x0.is) |
| 2026-02-19 21:56:10 | <EvanR> | number 8 kind of sounds like candide |
| 2026-02-19 21:58:34 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-02-19 22:02:13 | → | karenw joins (~karenw@user/karenw) |
| 2026-02-19 22:04:47 | <n0w0n> | > [1,2..] ++ [1,2..] == [1] ++ [2,3..] ++ [1] ++ [2,3..] |
| 2026-02-19 22:04:55 | <lambdabot> | *Exception: <<timeout>> |
| 2026-02-19 22:05:03 | <n0w0n> | damn |
| 2026-02-19 22:05:14 | → | tromp joins (~textual@2001:1c00:3487:1b00:1062:f065:ea0:d4c6) |
| 2026-02-19 22:06:03 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-19 22:06:24 | <EvanR> | we'll it's "not false" |
| 2026-02-19 22:07:01 | <haskellbridge> | <ijouw> I would argue that no matter what you put in the second [1,2..] it is equal since it never will be computed |
| 2026-02-19 22:07:24 | <EvanR> | which version of equal is this, the rhetorically equal? |
| 2026-02-19 22:07:44 | <n0w0n> | neither, it's not lazy enough to be consistent with LEM |
| 2026-02-19 22:07:57 | <haskellbridge> | <ijouw> The equal for any finite prefix |
| 2026-02-19 22:08:07 | <EvanR> | consistent with the double negation translation of classical logic |
| 2026-02-19 22:08:30 | <n0w0n> | not if ya try to evaluate an infinite list first |
| 2026-02-19 22:08:52 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 22:09:17 | <EvanR> | it's as lazy as possible, and the answer is bottom in the official league approved semantics |
| 2026-02-19 22:09:47 | <EvanR> | if you want another kind of equality than "result of some algorithmic test" you gotta specify |
| 2026-02-19 22:09:47 | <n0w0n> | those are poopoo semantics that refuse to exist |
| 2026-02-19 22:09:57 | <n0w0n> | formally |
| 2026-02-19 22:10:04 | <EvanR> | eh? |
| 2026-02-19 22:10:11 | <n0w0n> | aside from sanity etsts in GHC Core |
| 2026-02-19 22:10:17 | <EvanR> | what kind of existence, rhetorical existence? |
| 2026-02-19 22:10:33 | <EvanR> | vibes based existence |
| 2026-02-19 22:10:36 | <n0w0n> | as in Haskell has no formal semantics |
| 2026-02-19 22:10:44 | <EvanR> | since when |
| 2026-02-19 22:10:45 | <n0w0n> | technically |
| 2026-02-19 22:11:06 | <n0w0n> | since GHC 1.0? |
| 2026-02-19 22:11:11 | <EvanR> | what did you do with our semantics? |
| 2026-02-19 22:11:22 | <n0w0n> | They tasted nice |
| 2026-02-19 22:11:36 | <EvanR> | *creates another one the same as before* |
| 2026-02-19 22:12:06 | <n0w0n> | *burp* |
| 2026-02-19 22:12:10 | <n0w0n> | yummy |
| 2026-02-19 22:30:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2026-02-19 22:33:05 | → | weary-traveler joins (~user@user/user363627) |
| 2026-02-19 22:34:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2026-02-19 22:34:44 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-19 22:35:46 | × | antti_ quits (~antti@82-181-183-83.bb.dnainternet.fi) (Server closed connection) |
| 2026-02-19 22:36:01 | → | antti_ joins (~antti@82-181-183-83.bb.dnainternet.fi) |
| 2026-02-19 22:46:21 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-19 22:47:43 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-19 22:51:02 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-19 22:56:30 | → | weary-traveler joins (~user@user/user363627) |
| 2026-02-19 23:00:20 | → | res0nat0r0844909 joins (~Fletch@falcon.whatbox.ca) |
| 2026-02-19 23:00:26 | × | dispater quits (~dispater@user/brprice) (Server closed connection) |
| 2026-02-19 23:00:45 | → | dispater joins (~dispater@user/brprice) |
| 2026-02-19 23:01:06 | × | srk quits (~sorki@user/srk) (Server closed connection) |
| 2026-02-19 23:02:26 | → | srk joins (~sorki@user/srk) |
| 2026-02-19 23:06:56 | × | Athas quits (athas@sigkill.dk) (Server closed connection) |
| 2026-02-19 23:07:06 | × | yaroot quits (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Server closed connection) |
| 2026-02-19 23:07:08 | → | Athas joins (athas@2a01:7c8:aaac:1cf:dbda:ce6c:4026:1830) |
| 2026-02-19 23:07:20 | → | yaroot joins (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
| 2026-02-19 23:08:38 | → | sixfourtwelve joins (~ethanmorg@static.82.129.225.46.clients.your-server.de) |
| 2026-02-19 23:12:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:1062:f065:ea0:d4c6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
All times are in UTC.