2025/07/20

Newest at the top

2025-07-20 18:35:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 18:32:07 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-07-20 18:31:42 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 18:28:53 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-07-20 18:27:29 +0200internatetional_(~nate@2001:448a:20a3:c2e5:5090:665f:aa5a:b470) (Quit: CoreIRC for Android - www.coreirc.com)
2025-07-20 18:27:04 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-20 18:19:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 18:16:24 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-20 18:15:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-20 18:15:03 +0200internatetional(~nate@2404:c0:2120::1e03:aa46) (Ping timeout: 276 seconds)
2025-07-20 18:14:06 +0200p3n(~p3n@217.198.124.246) p3n
2025-07-20 18:11:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 18:11:34 +0200internatetional_(~nate@2001:448a:20a3:c2e5:5090:665f:aa5a:b470) internatetional
2025-07-20 18:03:06 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-07-20 18:02:05 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in)
2025-07-20 17:55:42 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-20 17:52:34 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-07-20 17:51:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 17:50:59 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
2025-07-20 17:48:55 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2025-07-20 17:47:19 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
2025-07-20 17:45:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 17:43:05 +0200Square2(~Square@user/square) Square
2025-07-20 17:24:08 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 17:23:54 +0200trickard(~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 +0200weary-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 +0200internatetional(~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