Newest at the top
| 2025-07-20 17:51:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 17:50:59 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-07-20 17:48:55 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-07-20 17:47:19 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-20 17:45:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 17:43:05 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-20 17:24:08 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 17:23:54 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 17:23:29 +0200 | <haskellbridge> | <soyr> lmaoo |
| 2025-07-20 17:23:08 +0200 | <haskellbridge> | <magic_rb> Anyway, we've concluded our little side quest, so room can return to normal, being offtopic while the offtopic room is ontopic, balanced as everything should be |
| 2025-07-20 17:22:31 +0200 | <tomsmeding> | yeah sure |
| 2025-07-20 17:22:20 +0200 | <haskellbridge> | <magic_rb> Its sunday anyway |
| 2025-07-20 17:22:17 +0200 | <haskellbridge> | <magic_rb> :P yeah i just needed a brief hijack as my bridge is still takimg a shit and nothing much seemed to be happening here |
| 2025-07-20 17:21:26 +0200 | <tomsmeding> | but mind that regardless of the current conversation, this _is_ still a general haskell room with ~500 people in it on the irc side :p |
| 2025-07-20 17:21:01 +0200 | <tomsmeding> | they may or may not be available from irc using a link hosted by the bridge service |
| 2025-07-20 17:20:57 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-20 17:20:51 +0200 | <haskellbridge> | <magic_rb> And yes, its bridged to IRC |
| 2025-07-20 17:20:42 +0200 | <haskellbridge> | <magic_rb> They dont i think? |
| 2025-07-20 17:20:21 +0200 | <haskellbridge> | <soyr> How do pictures work here? Because it's a bridge to irc right? |
| 2025-07-20 17:19:11 +0200 | <haskellbridge> | <soyr> A valid explanation |
| 2025-07-20 17:19:05 +0200 | <haskellbridge> | <magic_rb> In any case, i got other people to bother with feedback >:) |
| 2025-07-20 17:18:51 +0200 | <tomsmeding> | that might be one way that "holiday" and "I saw him at the office" could be simultaneously true |
| 2025-07-20 17:18:50 +0200 | <haskellbridge> | <magic_rb> Ah okay maybe, idk |
| 2025-07-20 17:18:29 +0200 | <tomsmeding> | people generally use that time to visit other universities etc |
| 2025-07-20 17:18:14 +0200 | <tomsmeding> | it counts as taking holiday hours but at a discount or something |
| 2025-07-20 17:18:11 +0200 | internatetional | (~nate@2404:c0:2120::1e03:aa46) internatetional |
| 2025-07-20 17:18:09 +0200 | <haskellbridge> | <soyr> my supervisor left for a term rewriting system conference this week.... |
| 2025-07-20 17:18:05 +0200 | <tomsmeding> | I don't know who he is and whether this makes sense timing-wise but academics sometimes do a sabbatical thing where they continue doing research but take a break from other responsibilities at the uni |
| 2025-07-20 17:17:16 +0200 | <haskellbridge> | <magic_rb> (Pretty sure he's not lurking here) |
| 2025-07-20 17:17:05 +0200 | <haskellbridge> | <magic_rb> Trying to get a break from smh, dont blame him ha |
| 2025-07-20 17:16:50 +0200 | <haskellbridge> | <magic_rb> Lol |
| 2025-07-20 17:16:49 +0200 | <haskellbridge> | <magic_rb> He was supposed to be away wtf |
| 2025-07-20 17:16:37 +0200 | <haskellbridge> | <soyr> magic_rb: Atze is at uni. I literally saw him friday |
| 2025-07-20 17:16:11 +0200 | <tomsmeding> | oh and the thing in 3.6.1 |
| 2025-07-20 17:16:06 +0200 | <haskellbridge> | <magic_rb> thanks for the read, ill check whether i dont have the same ordering problem later and fix if i do |
| 2025-07-20 17:15:44 +0200 | <haskellbridge> | <magic_rb> tomsmeding okay then ill incorporate those, i also sent it to robert, has yet to give feedback, (its the weekend after all), atze is on holidays right now so he's MIA |
| 2025-07-20 17:15:23 +0200 | <haskellbridge> | <soyr> I also am submitting late my thesis lmao |
| 2025-07-20 17:15:07 +0200 | <haskellbridge> | <soyr> lfggggg |
| 2025-07-20 17:14:58 +0200 | <haskellbridge> | <magic_rb> soyr yes i can send it to you too :D i see you reading |
| 2025-07-20 17:14:42 +0200 | <tomsmeding> | heh |
| 2025-07-20 17:14:38 +0200 | <tomsmeding> | I think the most important readability things are the structure comment at the start of section 3 and the order of presentation inside section 3 |
| 2025-07-20 17:14:37 +0200 | <haskellbridge> | <magic_rb> Yeah, always sucked at being punctual, both in time and grammar :D |
| 2025-07-20 17:14:08 +0200 | <tomsmeding> | there's a few punctuation things, some of which I highlighted, but those are little bumps more than any kind of actual problem |
| 2025-07-20 17:13:27 +0200 | <haskellbridge> | <magic_rb> But the whole thing is meant to be fun and lighthearted |
| 2025-07-20 17:13:14 +0200 | <haskellbridge> | <magic_rb> So im more concerned whether it reads well, does it? Ive looked over your comments beyond the intro and theyre good, so ill incorporate then |
| 2025-07-20 17:12:40 +0200 | <tomsmeding> | awesome |
| 2025-07-20 17:12:36 +0200 | <tomsmeding> | nice |
| 2025-07-20 17:12:34 +0200 | <tomsmeding> | lol |
| 2025-07-20 17:12:24 +0200 | <haskellbridge> | <magic_rb> The informal style i my thesis, has been agreed upon, the section with "i have to have a research question" was my supervisors idea. He is 100% on board with the weirdness, said himself i dont have to worry about it being a proper thesis |
| 2025-07-20 17:11:37 +0200 | <haskellbridge> | <magic_rb> tomsmeding briefly gonna hijack this room, easier over irc :P |