Logs: liberachat/#haskell
| 2026-01-27 20:20:51 | <lambdabot> | [3,5,3,1] |
| 2026-01-27 20:25:27 | <monochrom> | Yeah what int-e said. In that example, the root has 3 children, map leavesByDepth (those 3 chidlren) = [[1], [1,3,3,1], [1,2]]. So you want to turn that into [1+1+1, 3+2, 3, 1]. |
| 2026-01-27 20:25:41 | <dutchie> | ah transpose |
| 2026-01-27 20:25:54 | <dutchie> | of course! |
| 2026-01-27 20:26:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 20:27:22 | <dutchie> | thank you |
| 2026-01-27 20:30:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-27 20:31:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-27 20:35:01 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-01-27 20:41:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 20:44:03 | → | pavonia joins (~user@user/siracusa) |
| 2026-01-27 20:45:56 | ← | f-a parts (ff2a@joined.irc.for-some.fun) () |
| 2026-01-27 20:46:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-27 20:48:39 | → | newgan joins (~halloy132@2601:8d:8700:2b30::722e) |
| 2026-01-27 20:52:12 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-01-27 20:53:58 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-27 20:54:54 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-27 20:57:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 20:59:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-27 21:02:00 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-01-27 21:02:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-27 21:13:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 21:17:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) |
| 2026-01-27 21:17:31 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-27 21:19:10 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 21:19:12 | → | Zemy joins (~Zemy@2600:100c:b01a:eb8d:2cd3:a2ff:fe4b:6248) |
| 2026-01-27 21:19:23 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 21:20:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-27 21:22:00 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 245 seconds) |
| 2026-01-27 21:30:04 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-01-27 21:31:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 21:36:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-27 21:36:31 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-27 21:47:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 21:50:52 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-01-27 21:51:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-27 21:53:03 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-27 21:55:04 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-01-27 21:59:16 | → | Zemy_ joins (~Zemy@76.184.46.188) |
| 2026-01-27 22:02:01 | × | Zemy quits (~Zemy@2600:100c:b01a:eb8d:2cd3:a2ff:fe4b:6248) (Ping timeout: 255 seconds) |
| 2026-01-27 22:02:09 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 22:02:23 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 22:02:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 22:07:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-27 22:08:32 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-27 22:09:56 | → | weary-traveler joins (~user@user/user363627) |
| 2026-01-27 22:10:38 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-27 22:12:17 | → | Zemy joins (~Zemy@2600:100c:b01a:eb8d:ec2f:74ff:fe56:502f) |
| 2026-01-27 22:13:19 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-01-27 22:13:46 | × | Zemy quits (~Zemy@2600:100c:b01a:eb8d:ec2f:74ff:fe56:502f) (Read error: Connection reset by peer) |
| 2026-01-27 22:13:58 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 22:14:01 | × | Zemy_ quits (~Zemy@76.184.46.188) (Ping timeout: 246 seconds) |
| 2026-01-27 22:14:02 | → | Zemy joins (~Zemy@2600:100c:b01a:eb8d:5864:14ff:fe90:18ab) |
| 2026-01-27 22:15:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:b844:e6e5:f5dd:7cc5) (Quit: xff0x) |
| 2026-01-27 22:15:35 | × | shr\ke quits (~shrike@user/shrke:31298) (Read error: Connection reset by peer) |
| 2026-01-27 22:15:43 | → | shr\ke joins (~shrike@user/paxhumana) |
| 2026-01-27 22:15:43 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 2026-01-27 22:15:43 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 2026-01-27 22:15:55 | → | Zemy_ joins (~Zemy@mobile-107-80-206-52.mycingular.net) |
| 2026-01-27 22:16:02 | × | Moyst quits (~moyst@user/moyst) (Ping timeout: 265 seconds) |
| 2026-01-27 22:16:58 | → | xff0x joins (~xff0x@ai083101.d.east.v6connect.net) |
| 2026-01-27 22:17:25 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-27 22:18:05 | → | Moyst joins (~moyst@user/moyst) |
| 2026-01-27 22:18:29 | × | Zemy quits (~Zemy@2600:100c:b01a:eb8d:5864:14ff:fe90:18ab) (Ping timeout: 260 seconds) |
| 2026-01-27 22:18:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 22:19:02 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-27 22:22:30 | × | shr\ke quits (~shrike@user/shrke:31298) (Read error: Connection reset by peer) |
| 2026-01-27 22:22:49 | → | Zemy joins (~Zemy@2600:100c:b01a:eb8d:b479:45ff:fed4:92fe) |
| 2026-01-27 22:24:03 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-27 22:24:29 | → | shr\ke joins (~shrike@user/paxhumana) |
| 2026-01-27 22:24:29 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 2026-01-27 22:24:29 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 2026-01-27 22:25:13 | × | Zemy_ quits (~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 264 seconds) |
| 2026-01-27 22:26:14 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-27 22:27:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-27 22:29:34 | × | Zemy quits (~Zemy@2600:100c:b01a:eb8d:b479:45ff:fed4:92fe) (Ping timeout: 260 seconds) |
| 2026-01-27 22:31:49 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-27 22:33:32 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-27 22:38:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 22:43:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-27 22:44:56 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 240 seconds) |
| 2026-01-27 22:45:00 | → | Guest41 joins (~Guest41@137.83.217.79) |
| 2026-01-27 22:45:07 | <Guest41> | hello! |
| 2026-01-27 22:45:50 | <Guest41> | Does anyone else find haskell hard to learn using chatgpt, I can get working code of cute snippets and programs but I feel like if OpenAI went bankrupt I would be useless lol, or would take forever to type down |
| 2026-01-27 22:46:06 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-01-27 22:46:42 | <ski> | how about learning from a textbook ? |
| 2026-01-27 22:47:18 | <ski> | or, perhaps, a course, like |
| 2026-01-27 22:47:22 | <ski> | @where CIS194 |
| 2026-01-27 22:47:22 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
| 2026-01-27 22:47:31 | <Guest41> | I have this one : Introduction to Computation: Haskell, Logic and Automata |
| 2026-01-27 22:47:43 | <Guest41> | but maybe I should go along it with the course as well :-) |
| 2026-01-27 22:47:47 | ski | wouldn't learn anything using an LLM chatbot |
| 2026-01-27 22:48:36 | <tomsmeding> | (you don't know yet which of its output is useful and which is not) |
| 2026-01-27 22:48:48 | <ski> | when you're learning something, you don't want to deal with the risk of hallucinations |
| 2026-01-27 22:49:19 | <ski> | when you know more about an area, you can (more) tell what is nonsense, and what isn't |
| 2026-01-27 22:49:28 | <ski> | when you're just learning, you can't |
| 2026-01-27 22:49:30 | <Guest41> | been programming for a long long while in C,C++,python,verilog,etc. so I can "kind of" tell when it's lying |
| 2026-01-27 22:49:52 | <Guest41> | but you're right I can't just google all the output and hope to double check everything, the small hallucination risk sucks there |
| 2026-01-27 22:49:55 | → | mange joins (~mange@user/mange) |
| 2026-01-27 22:50:48 | <Guest41> | Huh actually <https://www.inf.ed.ac.uk/teaching/courses/inf1/fp/> is the course for the textbook I do have, hooray! |
All times are in UTC.