Logs: liberachat/#haskell
| 2025-10-09 17:40:38 | <[exa]> | tomsmeding: you can't do the paperclip thesis? (you submit papers and write a <50pp commentary on the story behind) |
| 2025-10-09 17:40:54 | <shapr> | maybe my Dutch will improve next year, it's my hope to end up in that country. |
| 2025-10-09 17:41:08 | <tomsmeding> | [exa]: it was an option, but neiter me nor my supervisors preferred that |
| 2025-10-09 17:41:21 | <tomsmeding> | if this was to be an actual consistent book there'd be a whole lot more to be done |
| 2025-10-09 17:41:41 | <tomsmeding> | as it is there's some content duplication between two papers, some stuff that doesn't really belong, etc. |
| 2025-10-09 17:41:46 | <tomsmeding> | it's _mostly_ consistent |
| 2025-10-09 17:41:48 | <[exa]> | like, this is insane amount of work |
| 2025-10-09 17:42:04 | <tomsmeding> | ch. 3, 4 and 6 are copy-pasta from already-written publications though |
| 2025-10-09 17:42:11 | <[exa]> | you might want to make a self-standing book out of that |
| 2025-10-09 17:42:12 | <tomsmeding> | ch. 1, 2, 5, 8 are new |
| 2025-10-09 17:42:25 | <tomsmeding> | shapr: ooh what are you going to do here |
| 2025-10-09 17:42:49 | <shapr> | escape the USA, mostly |
| 2025-10-09 17:42:59 | <shapr> | continue being self employed, maybe join a hackerspace? |
| 2025-10-09 17:43:02 | <tomsmeding> | oh, to people here wanting to learn about automatic differentiation: I recommend section 2.2 in my background |
| 2025-10-09 17:43:17 | <tomsmeding> | I wrote it as an intro to AD for functional programmers, and I have one good review already |
| 2025-10-09 17:43:24 | <shapr> | that sounds exciting |
| 2025-10-09 17:43:37 | <tomsmeding> | shapr: that makes sense |
| 2025-10-09 17:44:04 | <tomsmeding> | I'm looking for postdocs and it's possible that I'll be leaving the country, but we'll see that after I submit :p |
| 2025-10-09 17:44:12 | <tomsmeding> | in any case, let me know if you do end up here |
| 2025-10-09 17:44:22 | <tomsmeding> | it's not a very big country |
| 2025-10-09 17:44:48 | <tomsmeding> | [exa]: re self-standing book: what I wrote above lol |
| 2025-10-09 17:45:06 | <tomsmeding> | I'm not sure I want to spend the effort to make this an actual consistent book |
| 2025-10-09 17:45:15 | <tomsmeding> | enough time went into those papers and the rest already |
| 2025-10-09 17:45:25 | <[exa]> | ah okay :D |
| 2025-10-09 17:45:34 | <shapr> | put up the source and solicit improvements? or just go on to the next publication? |
| 2025-10-09 17:46:06 | <tomsmeding> | the latter in case I continue in academia, neither if I end up outside academia, I guess? |
| 2025-10-09 17:46:20 | <tomsmeding> | would you like the source to be up? |
| 2025-10-09 17:46:50 | × | Googulator63 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 17:46:53 | <tomsmeding> | all the code is public; do people really want a bunch of LaTeX too? |
| 2025-10-09 17:46:57 | <shapr> | hm, I dunno if I'll have time to put up any fixes |
| 2025-10-09 17:46:57 | → | Googulator39 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 17:47:12 | <shapr> | I'm a big fan of LaTeX, but that's me |
| 2025-10-09 17:47:40 | <tomsmeding> | I guess you can look at my beautiful Ti kZ code then |
| 2025-10-09 17:47:44 | <shapr> | yay! |
| 2025-10-09 17:47:50 | <shapr> | I haven't learned TikZ yet |
| 2025-10-09 17:48:16 | <tomsmeding> | Fig. 2.4 on page 13 actually uses a loop inside Ti kZ |
| 2025-10-09 17:49:46 | <shapr> | re the unset comment from earlier, I have to do that to get today's date in my invoices in NixOS |
| 2025-10-09 17:50:19 | <tomsmeding> | oh _right_ nix |
| 2025-10-09 17:50:23 | <tomsmeding> | I don't use nix |
| 2025-10-09 17:50:28 | <shapr> | fair enough |
| 2025-10-09 17:50:32 | <tomsmeding> | but yeah makes sense |
| 2025-10-09 17:51:13 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2025-10-09 17:51:38 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2025-10-09 17:53:57 | <shapr> | I'm guessing EVM is not ethereum virtual machine? |
| 2025-10-09 17:54:14 | <tomsmeding> | lol no |
| 2025-10-09 17:54:17 | <tomsmeding> | Environment Vector Monad |
| 2025-10-09 17:54:26 | <shapr> | Oh, I got my brain eaten by monoidal hashing last week |
| 2025-10-09 17:54:27 | <tomsmeding> | it's an accumulation state monad |
| 2025-10-09 17:54:32 | <shapr> | ah thanks |
| 2025-10-09 17:55:19 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-09 17:55:31 | <tomsmeding> | oh you were looking at the ToC I guess |
| 2025-10-09 17:55:57 | <shapr> | and I jumped to the EVM code, didn't look like ethereum |
| 2025-10-09 17:56:11 | <shapr> | It's so nice to be able to click the table of contents and jump to that location |
| 2025-10-09 17:56:12 | <tomsmeding> | I expect it didn't, no |
| 2025-10-09 17:56:15 | <tomsmeding> | yes |
| 2025-10-09 17:58:37 | <tomsmeding> | the little TODOs in the margin are also kind of cute |
| 2025-10-09 17:58:51 | <shapr> | yeah, got several smiles from them |
| 2025-10-09 17:59:00 | <tomsmeding> | I switched to that halfway through the process or so, the nice thing is that they don't influence the layout of the text |
| 2025-10-09 17:59:18 | <tomsmeding> | shapr: which ones made you smile? |
| 2025-10-09 17:59:53 | <tomsmeding> | the boo part is that those margin notes (\marginpar) don't work in footnotes |
| 2025-10-09 18:00:10 | <tomsmeding> | spawning a float from inside a float-like thing is apparently too floaty for TeX |
| 2025-10-09 18:00:20 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-09 18:00:40 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-09 18:03:54 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-09 18:06:15 | <shapr> | tomsmeding: "whatever fash CHAD ends up achieving" was the first smile |
| 2025-10-09 18:06:29 | <tomsmeding> | heh |
| 2025-10-09 18:06:39 | <tomsmeding> | that's in-progress work that may or may not partially end up in this thing |
| 2025-10-09 18:06:51 | → | cyphase joins (~cyphase@user/cyphase) |
| 2025-10-09 18:07:05 | <tomsmeding> | more fun TeX shenanigans: the "line numbers" in the big display math on page 215 |
| 2025-10-09 18:08:20 | × | cyphase quits (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2025-10-09 18:11:34 | → | cyphase joins (~cyphase@user/cyphase) |
| 2025-10-09 18:13:04 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 18:13:18 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 18:13:26 | → | ft joins (~ft@p4fc2a207.dip0.t-ipconnect.de) |
| 2025-10-09 18:21:00 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 18:29:04 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-09 18:41:13 | × | dyno quits (dyno@user/dyno) (Ping timeout: 244 seconds) |
| 2025-10-09 18:49:37 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-10-09 18:49:53 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-09 18:54:51 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 18:55:05 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 19:00:01 | × | caconym747879 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-09 19:00:42 | → | caconym747879 joins (~caconym@user/caconym) |
| 2025-10-09 19:01:23 | → | karenw joins (~karenw@user/karenw) |
| 2025-10-09 19:05:00 | → | hseg_ joins (~hseg_@2.54.27.19) |
| 2025-10-09 19:09:38 | → | williu5 joins (~williu5@user/williu5) |
| 2025-10-09 19:09:53 | × | hseg_ quits (~hseg_@2.54.27.19) (Read error: Connection reset by peer) |
| 2025-10-09 19:10:11 | → | hseg_ joins (~hseg_@46.120.21.40) |
| 2025-10-09 19:12:54 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-10-09 19:17:38 | × | Googulator39 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 19:17:53 | → | Googulator39 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 19:18:20 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-10-09 19:19:13 | × | hseg_ quits (~hseg_@46.120.21.40) (Read error: Connection reset by peer) |
| 2025-10-09 19:19:34 | → | karenw joins (~karenw@user/karenw) |
| 2025-10-09 19:19:35 | → | hseg_ joins (~hseg_@46.120.21.40) |
| 2025-10-09 19:19:55 | × | hseg_ quits (~hseg_@46.120.21.40) (Read error: Connection reset by peer) |
| 2025-10-09 19:20:23 | → | hseg_ joins (~hseg_@46.120.21.40) |
| 2025-10-09 19:24:27 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2025-10-09 19:24:41 | <Anarchos> | how can i install ghc-7.10.3 on a recent ubuntu ? |
| 2025-10-09 19:26:01 | × | Googulator39 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
All times are in UTC.