Newest at the top
| 2024-11-20 04:48:30 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-20 04:47:48 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-20 04:43:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-20 04:41:57 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-11-20 04:36:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-20 04:23:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-20 04:15:45 +0100 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
| 2024-11-20 04:14:00 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-20 04:13:59 +0100 | <edwardk> | hellwolf: re the export list, you can of course skip using an explicit export list. the least amount of code is no code at all there. |
| 2024-11-20 04:02:05 +0100 | <Axman6> | any python devs know of a python equivalent to insertWith max k v dict? |
| 2024-11-20 03:36:41 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-20 03:35:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-11-20 03:30:18 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 272 seconds) |
| 2024-11-20 03:23:22 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-20 03:17:12 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-20 03:13:18 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-20 03:09:12 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 252 seconds) |
| 2024-11-20 03:08:59 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-20 03:03:04 +0100 | Alleria_ | (~Alleria@user/alleria) (Ping timeout: 272 seconds) |
| 2024-11-20 02:59:18 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-20 02:55:24 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-11-20 02:55:12 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-11-20 02:44:09 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 252 seconds) |
| 2024-11-20 02:42:03 +0100 | Alleria_ | (~Alleria@user/alleria) Alleria |
| 2024-11-20 02:39:04 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-20 02:31:21 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 02:30:36 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-11-20 02:23:50 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-20 02:17:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-20 02:16:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-11-20 02:05:07 +0100 | <Axman6> | I love it, I wish we'd use it at work, VHDL is such a horrific language |
| 2024-11-20 02:03:44 +0100 | <hellwolf> | Axman6: yes I should checkout clash, heard a lot about it... |
| 2024-11-20 02:03:29 +0100 | <hellwolf> | Yea, I wonder if there is better way of doing that 'True 'False thing :) I guess the domain I am dealing with spared me with non octal trite... |
| 2024-11-20 02:02:17 +0100 | <Axman6> | hellwolf: you might also want to look at how Clash does numbers |
| 2024-11-20 02:00:06 +0100 | <Axman6> | the DSPs we have do 18x25 bit multiplications (IIRC) |
| 2024-11-20 01:59:57 +0100 | <geekosaur> | …everything old is new again |
| 2024-11-20 01:59:41 +0100 | <Axman6> | FPGAs |
| 2024-11-20 01:59:25 +0100 | <geekosaur> | pdp7? 😛 |
| 2024-11-20 01:58:44 +0100 | <Axman6> | hellwolf: why limit it to multiples of 8? We use a lot of 18 bit ints at work =) |
| 2024-11-20 01:58:00 +0100 | <Axman6> | if s then 'True else 'False made me sad but then realised it's not id |
| 2024-11-20 01:53:52 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 2024-11-20 01:53:30 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-11-20 01:45:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-20 01:43:54 +0100 | <hellwolf> | Thanks for teaching me this today. |
| 2024-11-20 01:43:44 +0100 | <hellwolf> | This is amazing |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | `TH.appT` (TH.litT (TH.numTyLit n))) |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | `TH.appT` (TH.promotedT (if s then 'True else 'False)) |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | TH.tySynD name [] ((TH.conT ''INTx) |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | name <- TH.newName ((if s then "I" else "U") ++ show (n * 8)) |
| 2024-11-20 01:43:41 +0100 | <hellwolf> | forM [ (s, n) | s <- [True, False], n <- [1..32] ] $ \(s, n) -> do |