Logs: liberachat/#haskell
| 2026-04-23 15:37:39 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-23 16:02:25 | <humasect> | continuation style passing ..? |
| 2026-04-23 16:03:48 | <comerijn> | humasect: Communicating Sequential Processes |
| 2026-04-23 16:03:54 | <humasect> | ooh, k |
| 2026-04-23 16:04:22 | <comerijn> | https://en.wikipedia.org/wiki/Communicating_sequential_processes |
| 2026-04-23 16:09:20 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-04-23 16:14:48 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-23 16:24:48 | gAy_Dragon | is now known as Ay_Dragong |
| 2026-04-23 16:31:27 | × | acarrico quits (~acarrico@2606:1440:605:2500:8a8c:d9b8:d955:c630) (Ping timeout: 246 seconds) |
| 2026-04-23 16:33:20 | × | m quits (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-23 16:35:54 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:c1ac:b3ea:4d5f:1cb) |
| 2026-04-23 16:35:54 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:c1ac:b3ea:4d5f:1cb) (Changing host) |
| 2026-04-23 16:35:54 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-23 16:37:02 | × | kuribas quits (~user@2a02:1808:51:6776:c5ce:b7ef:828f:40c5) (Quit: /qui) |
| 2026-04-23 16:37:53 | Ay_Dragong | is now known as gAy_Dragon |
| 2026-04-23 16:40:52 | × | bggd__ quits (~bgg@2a01:e0a:fd5:f510:a8fb:b82b:2a5:62ab) (Remote host closed the connection) |
| 2026-04-23 16:44:22 | → | acarrico joins (~acarrico@2606:1440:605:2500:d46:9e23:1112:52ce) |
| 2026-04-23 16:53:34 | → | m joins (~travltux@user/travltux) |
| 2026-04-23 17:01:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 17:06:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 17:09:31 | → | Pixi` joins (~Pixi@user/pixi) |
| 2026-04-23 17:12:07 | × | tusko quits (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-23 17:12:24 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2026-04-23 17:17:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 17:18:40 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 17:19:50 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-23 17:21:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 17:22:17 | → | ft joins (~ft@p508db287.dip0.t-ipconnect.de) |
| 2026-04-23 17:30:17 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 17:30:18 | → | ephapticpulse joins (~user@user/ephapticpulse) |
| 2026-04-23 17:30:22 | → | tusko_ joins (~uwu@user/tusko) |
| 2026-04-23 17:30:39 | → | gf31 joins (~gf3@user/gf3) |
| 2026-04-23 17:33:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 17:35:07 | × | tnt1 quits (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-04-23 17:39:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 17:42:10 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2026-04-23 17:43:16 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-04-23 17:47:04 | × | gf31 quits (~gf3@user/gf3) (Quit: bye bye bye) |
| 2026-04-23 17:47:32 | → | gf31 joins (~gf3@user/gf3) |
| 2026-04-23 17:51:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 17:55:09 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-23 17:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 17:56:35 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds) |
| 2026-04-23 17:58:07 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-04-23 18:03:26 | <gentauro> | CSP from Tony Hoare |
| 2026-04-23 18:03:31 | <gentauro> | oh the uni memories :) |
| 2026-04-23 18:03:56 | gentauro | writing a CSP lib in OCaml for Andrzej Filinski |
| 2026-04-23 18:04:03 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-04-23 18:05:31 | × | tusko_ quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 18:06:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 18:08:42 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-04-23 18:09:23 | → | Comstar joins (~Comstar@user/Comstar) |
| 2026-04-23 18:10:25 | <gentauro> | comerijn: I still have a copy of Filinskis «“CSP theory” track» if interested |
| 2026-04-23 18:11:22 | × | accountant quits (~accountan@2600:1702:5b61:8b40:955:b655:442f:e301) (Quit: Client closed) |
| 2026-04-23 18:11:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 18:14:26 | <gentauro> | Oh, the fun times when CPH Uni had a system for studens called … «Remember: HW1 due just before the lecture. (Electronically via ISIS: must be logged in to see submit button!)». Then when requesting "clearence" and authorities: "Ehhh, when we Google you, it states something about ISIS" xD |
| 2026-04-23 18:17:33 | <monochrom> | A couple of Egypt cuisine restaurants called Isis had to change their name for that. |
| 2026-04-23 18:18:33 | <gentauro> | :( |
| 2026-04-23 18:19:01 | <EvanR> | obama would speak of ISIL instead |
| 2026-04-23 18:19:05 | <EvanR> | thanks obama |
| 2026-04-23 18:20:11 | <Comstar> | Daesh |
| 2026-04-23 18:20:21 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-23 18:21:30 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-23 18:21:32 | gentauro | 2009-q1_csp-theory-track.zip -> https://hushfile.it/9fff5be8df2f4#B7U1Bi_qtVCOc4UHQWtrYT-ler61JKZIohFM81Yd (the HushFile service is provided by one of the Co-Founders of BornHack.dk) |
| 2026-04-23 18:22:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 18:27:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 18:29:05 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-23 18:30:08 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-23 18:32:55 | × | Googulator72 quits (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 18:33:22 | → | Googulator72 joins (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-23 18:38:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 18:41:35 | <sshine> | monochrom, one ice cream company as well. |
| 2026-04-23 18:43:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 18:45:02 | <dminuoso> | [exa]: Honeslty Id say its still a poor excuse. If every fourth function in the base library is a shotgun, who are we to judge C... |
| 2026-04-23 18:46:19 | <EvanR> | correct, C is great |
| 2026-04-23 18:46:59 | × | Googulator72 quits (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 18:47:12 | → | Googulator72 joins (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-23 18:47:32 | <dminuoso> | The alphabet would feel incomplete without it. |
| 2026-04-23 18:49:09 | <monochrom> | C is a grenade. :) |
| 2026-04-23 18:49:39 | <gentauro> | monochrom: aren't you thinking about Keith and C++? |
| 2026-04-23 18:49:51 | <monochrom> | petard |
| 2026-04-23 18:50:05 | <dminuoso> | To be fair, even grenades can be useful tools if you're a soldier. |
| 2026-04-23 18:50:32 | <geekosaur> | the difference between C and Haskell's `base` here is that most of the footguns have `WARNING` pragmas now; that's not even possible with many of C's footguns |
| 2026-04-23 18:50:33 | <dminuoso> | Not sure how that analogy translates to the programming language, but hey... |
| 2026-04-23 18:51:19 | <geekosaur> | `unsafeCoerce` and even `accursedUnutterablePerformIO` are safe when used correctly |
| 2026-04-23 18:52:10 | <gentauro> | monochrom: petard? Like this -> https://www.youtube.com/watch?v=mEqwPK-X418&t=22s (00:22 ish) |
| 2026-04-23 18:52:17 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-23 18:52:31 | <geekosaur> | the main problem being that many Haskell programmers, and all newcomers, don't know how to use them correctly. and the latter trips even experts if they're not up on how IO really works under the covers (see the long list of bug reports in the comment preceding its definition) |
| 2026-04-23 18:52:58 | <dminuoso> | geekosaur: Sure, which is why accursedUnutterablePerformIO is neither tought in beginner resources nor made available in Prelude. ;-) |
| 2026-04-23 18:53:25 | <geekosaur> | but people keep ptrying to use it in `bytestring` without knowing what it really means |
| 2026-04-23 18:53:27 | <dminuoso> | Which reminds me, IEEE 754 exceptions should be a thing. |
| 2026-04-23 18:53:44 | <geekosaur> | which is why there's an ever-growing list of GHC "bug" reports associated with it |
| 2026-04-23 18:53:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 18:53:57 | <dminuoso> | geekosaur: Fun story, for aliasing mutable buffers unsafePerformIO is enough! |
| 2026-04-23 18:54:01 | <dminuoso> | I've done it. |
| 2026-04-23 18:54:18 | <monochrom> | :) |
| 2026-04-23 18:56:47 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-23 18:58:26 | <EvanR> | by deleting head and tail from prelude, you'd force reasonable people to rewrite their correct code for the sake of ideology |
| 2026-04-23 18:58:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 19:00:47 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
All times are in UTC.