Logs: liberachat/#haskell
| 2025-12-02 18:17:30 | → | Googulator joins (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-02 18:18:37 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 2025-12-02 18:21:56 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-02 18:22:40 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-12-02 18:22:56 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-12-02 18:25:01 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-02 18:25:22 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-02 18:26:16 | → | wickedjargon joins (~user@207.194.126.29) |
| 2025-12-02 18:26:50 | × | wickedjargon quits (~user@207.194.126.29) (Remote host closed the connection) |
| 2025-12-02 18:27:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 18:27:54 | → | wickedjargon joins (~user@207.194.126.29) |
| 2025-12-02 18:31:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-02 18:42:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 18:44:46 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-02 18:49:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-02 18:50:31 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-02 18:58:06 | × | wickedjargon quits (~user@207.194.126.29) (Remote host closed the connection) |
| 2025-12-02 19:00:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 19:01:03 | × | tromp quits (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-02 19:03:58 | → | wickedjargon joins (~user@207.194.126.29) |
| 2025-12-02 19:05:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 19:10:38 | <monochrom> | It may not be economically viable for authors to write a "haskell for c people" book. |
| 2025-12-02 19:11:42 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-02 19:13:09 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-02 19:14:21 | → | califax joins (~califax@user/califx) |
| 2025-12-02 19:16:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 19:21:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-02 19:27:06 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-02 19:28:33 | → | califax joins (~califax@user/califx) |
| 2025-12-02 19:29:54 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-12-02 19:31:59 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-02 19:32:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-02 19:32:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 19:37:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 19:39:06 | → | tromp joins (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) |
| 2025-12-02 19:39:12 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-02 19:39:58 | → | califax joins (~califax@user/califx) |
| 2025-12-02 19:41:56 | <juri_> | as a C people... C people can be converted. ex-linux-kernel ex-apache now-fulltime-haskeller. there is life after understanding floating point in binary operations. |
| 2025-12-02 19:43:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-02 19:46:46 | <tomsmeding> | (my first serious programming language was C) |
| 2025-12-02 19:47:37 | <tomsmeding> | (but I guess I didn't get far enough in that to really count as a "C people") |
| 2025-12-02 19:48:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 19:48:25 | <tomsmeding> | having a solid understanding of how a processor works, and how compilers work for languages that are less distant from said processor's design (like C), is honestly a very good basis to start learning haskell from |
| 2025-12-02 19:48:58 | <tomsmeding> | you're less fazed by why some things are magically faster than others, because it's generally not magic at all |
| 2025-12-02 19:49:15 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-02 19:49:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-02 19:49:51 | <tomsmeding> | and it's rather evident how laziness, while useful for some design patterns, is not the basis of a high-performance algorithm |
| 2025-12-02 19:50:23 | tomsmeding | thinks of the cute pattern of doing dynamic programming with laziness, by letting the dynamic-programming array be self-referential |
| 2025-12-02 19:51:04 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-12-02 19:51:10 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-12-02 19:51:43 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-02 19:52:51 | <geekosaur> | I spent a couple decades writing C |
| 2025-12-02 19:52:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 19:53:43 | <Franciman> | geekosaur: how did you switch to haskell? |
| 2025-12-02 19:55:30 | × | wickedjargon quits (~user@207.194.126.29) (Remote host closed the connection) |
| 2025-12-02 19:57:30 | <geekosaur> | in a slightly roundabout way: I discovered SML/NJ while working at Carnegie Mellon, then Haskell shortly afterward, then Spencer Janssen asked about Haskell folks who knew enough X11 to make xmonad work right. And while all I;d really done of Haskell at that point was the "Gentle Introduction" (not a lot of other Haskell resources around those days) I know X11 pretty well |
| 2025-12-02 19:57:58 | <geekosaur> | So I learned practical Haskell by reading the xmonad code base while teaching Spencer how to do ICCCM right 🙂 |
| 2025-12-02 19:58:32 | <tomsmeding> | that kind of mutual teaching relationship is really cool |
| 2025-12-02 19:58:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) |
| 2025-12-02 19:59:00 | <geekosaur> | oh, also Don Stewart |
| 2025-12-02 19:59:08 | <geekosaur> | so I had a couple of good mentors |
| 2025-12-02 19:59:12 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-02 20:01:46 | <geekosaur> | (The ICCCM describes the client side of the specification, but at the time about the only documentation for the server/window manager side of it was the twm source code) |
| 2025-12-02 20:02:01 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-02 20:03:08 | trickard_ | is now known as trickard |
| 2025-12-02 20:04:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 20:08:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-02 20:10:03 | <EvanR> | tomsmeding, meanwhile speculative execution is like anti-laziness |
| 2025-12-02 20:10:18 | <EvanR> | execute everything, more than you thought you needed to |
| 2025-12-02 20:10:37 | <monochrom> | My point is more about the size of the 3rd-order-niche intersection of 3 niches: C, Haskell, being sufficiently incompetent such that normal Haskell books are not enough, it has to be "haskell for c programmers" spoonfeeding. |
| 2025-12-02 20:10:37 | <EvanR> | even if it's provably unnecessary |
| 2025-12-02 20:10:41 | × | Googulator quits (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 20:10:44 | → | Googulator95 joins (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-02 20:11:13 | <tomsmeding> | :D |
| 2025-12-02 20:12:50 | <Rembane> | That sounds like hard realtime systems |
| 2025-12-02 20:14:19 | <absentia> | > I know X11 pretty well |
| 2025-12-02 20:14:21 | <absentia> | holy shit... |
| 2025-12-02 20:14:22 | <lambdabot> | Data constructor not in scope: I :: t0 -> t1 -> t2 -> t3 -> tVariable not in... |
| 2025-12-02 20:14:29 | <absentia> | oops |
| 2025-12-02 20:16:58 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-12-02 20:17:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 20:22:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 20:30:20 | → | causal joins (~eric@50.46.156.145) |
| 2025-12-02 20:31:03 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-02 20:33:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 20:34:49 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-02 20:38:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-02 20:49:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 20:51:43 | × | wbooze quits (~wbooze@cgn-195-14-217-157.nc.de) (Ping timeout: 244 seconds) |
| 2025-12-02 20:51:54 | → | polykernel joins (~polykerne@user/polykernel) |
| 2025-12-02 20:53:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 20:55:11 | × | Miroboru quits (~myrvoll@84.215.250.50) (Quit: Lost terminal) |
| 2025-12-02 20:57:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 20:58:12 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2025-12-02 21:00:35 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 240 seconds) |
| 2025-12-02 21:00:35 | polykernel_ | is now known as polykernel |
| 2025-12-02 21:01:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 21:12:28 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2025-12-02 21:12:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 21:17:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
All times are in UTC.