Newest at the top
| 2024-05-21 19:33:42 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
| 2024-05-21 19:32:47 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-21 19:32:18 +0200 | <EvanR> | or lack of success |
| 2024-05-21 19:32:06 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-05-21 19:31:30 +0200 | <EvanR> | looking at core output can give clues to the success of optimizing |
| 2024-05-21 19:27:39 +0200 | <EvanR> | the translation of haskell into core language is where the magic happens |
| 2024-05-21 19:27:09 +0200 | <EvanR> | the core language has a simplified version of pattern matching which can be implemented like the switch statement in C |
| 2024-05-21 19:26:54 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-21 19:26:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-21 19:23:38 +0200 | <d34df00d> | kuribas: I'm curious then how one might compare some common haskell constructs (think even pattern matching) to what happens in other, more imperative languages. |
| 2024-05-21 19:20:41 +0200 | danse-nr3 | (~danse-nr3@151.43.113.96) |
| 2024-05-21 19:20:35 +0200 | FragByte | (~christian@user/fragbyte) |
| 2024-05-21 19:20:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-21 19:20:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-21 19:19:46 +0200 | euleritian | (~euleritia@dynamic-176-006-196-082.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-21 19:18:39 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-05-21 19:18:15 +0200 | Guest62 | (~Guest54@1.240.117.251) (Quit: Client closed) |
| 2024-05-21 19:17:10 +0200 | <EvanR> | too real |
| 2024-05-21 19:15:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-21 19:12:55 +0200 | euleritian | (~euleritia@dynamic-176-006-196-082.176.6.pool.telefonica.de) |
| 2024-05-21 19:12:53 +0200 | dtman34 | (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2024-05-21 19:12:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-21 19:12:15 +0200 | <Rembane> | Proof by flex! |
| 2024-05-21 19:11:37 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-21 19:11:29 +0200 | <systemfault> | I bench press more so I'm right? |
| 2024-05-21 19:10:09 +0200 | <ncf> | proof by intimidation |
| 2024-05-21 19:09:39 +0200 | <mauke> | I use an old technique called "proof by assertion" |
| 2024-05-21 19:09:25 +0200 | <EvanR> | argument of correctness, ethos pathos logos |
| 2024-05-21 19:08:01 +0200 | <ncf> | that's the statement not the proof |
| 2024-05-21 19:07:04 +0200 | <EvanR> | classically valid |
| 2024-05-21 19:06:42 +0200 | mei | (~mei@user/mei) |
| 2024-05-21 19:05:31 +0200 | <mauke> | 'willHalt x' will never return True for any action x that doesn't halt |
| 2024-05-21 19:05:21 +0200 | <mauke> | proof of correctness: 'willHalt x' will return True for all actions x that halt |
| 2024-05-21 19:05:06 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds) |
| 2024-05-21 19:04:16 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-21 19:04:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-21 19:02:04 +0200 | <lambdabot> | IO Bool |
| 2024-05-21 19:02:02 +0200 | <EvanR> | :t fix willHalt |
| 2024-05-21 19:01:57 +0200 | danse-nr3 | (~danse-nr3@151.43.113.96) (Ping timeout: 255 seconds) |
| 2024-05-21 19:00:23 +0200 | <c_wraith> | now.. willHaltUnsafely a = True <$ unsafeInterleaveIO a |
| 2024-05-21 18:59:37 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-21 18:58:30 +0200 | <lambdabot> | <IO Bool> |
| 2024-05-21 18:58:29 +0200 | <mauke> | > willHalt (pure ()) |
| 2024-05-21 18:58:18 +0200 | <lambdabot> | Defined. |
| 2024-05-21 18:58:17 +0200 | <mauke> | @let willHalt :: IO a -> IO Bool; willHalt = (True <$) |
| 2024-05-21 18:56:07 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.2.1) |
| 2024-05-21 18:54:45 +0200 | <lxsameer> | thank you |
| 2024-05-21 18:54:34 +0200 | yin | (~yin@user/zero) (Quit: Lost terminal) |
| 2024-05-21 18:54:11 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:8905:bde4:99bc:a84f) (Remote host closed the connection) |
| 2024-05-21 18:52:59 +0200 | Guest62 | (~Guest54@1.240.117.251) |