Logs: liberachat/#haskell
| 2026-03-11 07:44:57 | <opqdonut> | yes, agreed |
| 2026-03-11 07:46:48 | <Axman6> | It's basically how we taught things in the NICTA/Data61/System F FP course - here's a type, here's a function which uses that typew, implement the function that matches that type (hint there is 1/2/infinite ways to do that). Here's another type, here's a function's type: implement the function with that type... Hey, their types look really similar, can we do something with that? |
| 2026-03-11 07:46:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-11 07:49:24 | × | Digit quits (~user@user/digit) (Ping timeout: 256 seconds) |
| 2026-03-11 07:49:34 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-11 07:49:37 | → | oskarw joins (~user@user/oskarw) |
| 2026-03-11 07:51:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-11 07:53:38 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-03-11 07:53:56 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2026-03-11 07:54:43 | <ski> | mesaoptimizer : do note that most "monad tutorials" out there are bad (unhelpful, hinders comprehension) |
| 2026-03-11 07:55:19 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 2026-03-11 07:55:20 | <[exa]> | +1000 ^ |
| 2026-03-11 07:55:41 | <[exa]> | who said that thing with "abstract complex are elucidated by throwing examples at them" |
| 2026-03-11 07:59:39 | × | humasect quits (~humasect@184.151.37.182) (Quit: Leaving...) |
| 2026-03-11 08:02:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-11 08:03:55 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-03-11 08:07:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-11 08:09:13 | <probie> | A monad is like a burrito, if you're a weirdo who uses smaller burritos as a filling for bigger burritos |
| 2026-03-11 08:13:45 | → | humasect joins (~humasect@184.151.37.182) |
| 2026-03-11 08:14:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-11 08:16:42 | <[exa]> | burrito filling that spawns more burritos....y u m m y |
| 2026-03-11 08:16:47 | <Rembane> | Gotta have all the burritos |
| 2026-03-11 08:16:51 | <Rembane> | Infinite breakfast |
| 2026-03-11 08:18:16 | <[exa]> | I find this useful analogy under-used at meetups |
| 2026-03-11 08:18:27 | <[exa]> | people still do pizza and similar hard-to-wrap nonsense |
| 2026-03-11 08:19:14 | <[exa]> | impure |
| 2026-03-11 08:19:23 | <Rembane> | Hard agree |
| 2026-03-11 08:19:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-11 08:21:06 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-03-11 08:21:39 | Digitteknohippie | is now known as Digit |
| 2026-03-11 08:24:04 | <oskarw> | probie: You forgot that you burritos are wraped on space and are send back to you on Earth |
| 2026-03-11 08:24:16 | <oskarw> | *that your |
| 2026-03-11 08:26:24 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-11 08:26:39 | → | tusko joins (~uwu@user/tusko) |
| 2026-03-11 08:33:03 | × | humasect quits (~humasect@184.151.37.182) (Quit: Leaving...) |
| 2026-03-11 08:34:39 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-03-11 08:38:58 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-11 08:39:11 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2026-03-11 08:39:22 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-03-11 08:44:04 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-03-11 08:46:31 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-11 08:46:40 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-03-11 08:59:09 | → | acidjnk_new joins (~acidjnk@p200300d6e700e547e046c4ed9eed220a.dip0.t-ipconnect.de) |
| 2026-03-11 09:07:30 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-03-11 09:13:32 | → | lol__ joins (~lol@2603:3016:1e01:b980:b5f8:9e30:8739:5bae) |
| 2026-03-11 09:17:06 | × | lol_ quits (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 248 seconds) |
| 2026-03-11 09:17:38 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 248 seconds) |
| 2026-03-11 09:18:04 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:b5f8:9e30:8739:5bae) |
| 2026-03-11 09:22:22 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-11 09:23:33 | → | vpan joins (~vpan@212.117.1.172) |
| 2026-03-11 09:23:52 | vpan | is now known as Guest4862 |
| 2026-03-11 09:24:08 | Guest4862 | is now known as vpan |
| 2026-03-11 09:24:48 | → | anpad joins (~pandeyan@user/anpad) |
| 2026-03-11 09:32:06 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-03-11 09:32:44 | → | danza joins (~danza@user/danza) |
| 2026-03-11 09:43:15 | → | dhil joins (~dhil@5.151.29.140) |
| 2026-03-11 09:52:15 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-03-11 09:53:07 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-11 09:55:06 | → | comerijn joins (~merijn@77.242.116.146) |
| 2026-03-11 09:58:34 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-03-11 10:30:47 | <gentauro> | oskarw: speaking of space, how do you handle (securely) space gamma rays that bit-flips memory |
| 2026-03-11 10:31:02 | <gentauro> | you suddently have invalid state in Haskell which normally doesn't allow for invalid states |
| 2026-03-11 10:36:53 | <oskarw> | gentauro: Haskell programs are protected by math gods, otherwise it would be impossible for _true_ pure functions |
| 2026-03-11 10:37:50 | <comerijn> | gentauro: You buy ECC memory and stop thinking about it |
| 2026-03-11 10:38:17 | <comerijn> | Assuming you can get a new mortgage to afford said memory |
| 2026-03-11 10:38:21 | comerijn | is now known as merijn |
| 2026-03-11 10:49:36 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 264 seconds) |
| 2026-03-11 10:50:41 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e503f643e9bea9c15385.dip0.t-ipconnect.de) |
| 2026-03-11 10:53:43 | <mesaoptimizer> | Haskell doesn't have a defined operational semantics, but does it have a well-defined denotational semantics? |
| 2026-03-11 10:54:04 | × | acidjnk_new quits (~acidjnk@p200300d6e700e547e046c4ed9eed220a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2026-03-11 11:01:50 | × | fun-safe-math quits (~fun-safe-@97.115.234.213) () |
| 2026-03-11 11:02:51 | <gentauro> | comonad: even ECC mem can be impacted |
| 2026-03-11 11:03:49 | <mesaoptimizer> | seems like https://ircbrowse.net/ is dead? |
| 2026-03-11 11:03:59 | → | fun-safe-math joins (~fun-safe-@97.115.234.213) |
| 2026-03-11 11:04:05 | gentauro | thx abailly for -> https://abailly.github.io/posts/a-modern-haskell-env.html (just copy/pasta and it worked. Now I get `red` if any error <3) |
| 2026-03-11 11:04:52 | <mesaoptimizer> | oh there's a new logs link in the topic, never mind |
| 2026-03-11 11:08:15 | × | Digit quits (~user@user/digit) (Ping timeout: 268 seconds) |
| 2026-03-11 11:08:17 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-11 11:11:59 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-03-11 11:12:30 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-03-11 11:16:54 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2026-03-11 11:18:22 | → | danz19215 joins (~danza@user/danza) |
| 2026-03-11 11:20:44 | × | danza quits (~danza@user/danza) (Ping timeout: 265 seconds) |
| 2026-03-11 11:22:03 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-11 11:27:34 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2026-03-11 11:29:54 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-11 11:35:48 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-03-11 11:38:55 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-03-11 11:43:41 | → | oskarw joins (~user@user/oskarw) |
| 2026-03-11 11:48:49 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2026-03-11 11:49:51 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-03-11 11:49:51 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-03-11 11:50:05 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-03-11 11:50:51 | → | yin joins (~zero@user/zero) |
| 2026-03-11 11:59:33 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-11 12:01:43 | × | danz19215 quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-11 12:04:25 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-03-11 12:29:32 | Digitteknohippie | is now known as Digit |
| 2026-03-11 12:33:00 | × | adamCS quits (~adamCS@70.19.85.77) (Remote host closed the connection) |
| 2026-03-11 12:34:41 | × | FANTOM quits (~fantom@90.251.214.54) (Ping timeout: 265 seconds) |
All times are in UTC.