Newest at the top
| 2025-04-29 14:09:22 +0200 | <tomsmeding> | math on irc is slightly impractical because only text, no formatting |
| 2025-04-29 14:08:35 +0200 | <tomsmeding> | you _might_ try ##dependent or #agda, but no guarantees -- I lurked in ##dependent for a bit because people invited me there and all I got was politics, so I left again |
| 2025-04-29 14:08:07 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:f526:bfbc:714e:5dfd) |
| 2025-04-29 14:07:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-04-29 14:06:29 +0200 | yin | (~yin@user/zero) zero |
| 2025-04-29 14:05:36 +0200 | <shapr> | Is there a good IRC channel where I can ask about denotational semantics? |
| 2025-04-29 14:02:28 +0200 | internatetional | (~nate@2404:c0:2020::118:9ffb) (Ping timeout: 276 seconds) |
| 2025-04-29 13:58:26 +0200 | internatetional_ | (~nate@2001:448a:20a3:c2e5:5b6:e1f9:afcb:86c5) internatetional |
| 2025-04-29 13:55:29 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern |
| 2025-04-29 13:54:38 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-29 13:54:38 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-29 13:54:38 +0200 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-29 13:54:15 +0200 | <haskellbridge> | <Liamzee> some people use kitten emojis as substitutes for the >>= operator. Reducing bind traversals improves performance, so killing 🐱 operators is fine. |
| 2025-04-29 13:53:54 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2025-04-29 13:52:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-29 13:52:43 +0200 | internatetional | (~nate@2404:c0:2020::118:9ffb) internatetional |
| 2025-04-29 13:52:40 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-29 13:46:48 +0200 | <tomsmeding> | phew |
| 2025-04-29 13:46:38 +0200 | <shapr> | they're virtual kittens, it's okay |
| 2025-04-29 13:46:29 +0200 | <tomsmeding> | I'm currently using a list as an ad-hoc data structure |
| 2025-04-29 13:46:14 +0200 | <lambdabot> | jonrafkind says: every time you use a list as an ad-hoc datastructure, a kitten dies |
| 2025-04-29 13:46:14 +0200 | <shapr> | @quote |
| 2025-04-29 13:46:07 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-29 13:39:29 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 2025-04-29 13:32:34 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 276 seconds) |
| 2025-04-29 13:28:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-29 13:27:49 +0200 | akegalj | (~akegalj@144-188.dsl.iskon.hr) |
| 2025-04-29 13:27:17 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-29 13:26:45 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-29 13:25:30 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2025-04-29 13:24:47 +0200 | statusbot12 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-04-29 13:24:27 +0200 | jacopovalanzano | (~jacopoval@86.24.252.106) (Client Quit) |
| 2025-04-29 13:24:01 +0200 | jacopovalanzano | (~jacopoval@86.24.252.106) |
| 2025-04-29 13:22:39 +0200 | <tomsmeding> | debugging the simplifier of my toy language, it does incorrect simplifications sometimes |
| 2025-04-29 13:21:57 +0200 | <tomsmeding> | hacking on chad right now, actually! |
| 2025-04-29 13:21:48 +0200 | <haskellbridge> | <Liamzee> i do this too often :( |
| 2025-04-29 13:21:47 +0200 | <shapr> | CHAD looks like fun |
| 2025-04-29 13:21:41 +0200 | <haskellbridge> | <Liamzee> consequently we live in an eternal now, at any time we are alive, we constantly experience the now as privileged toward the past |
| 2025-04-29 13:21:35 +0200 | <tomsmeding> | (Liamzee saying "not going to do X" before proceeding to do X) |
| 2025-04-29 13:21:12 +0200 | <haskellbridge> | <Liamzee> we have direct experiential knowledge of what happens now, but what happened before is only something we know from memory |
| 2025-04-29 13:21:06 +0200 | <tomsmeding> | yep |
| 2025-04-29 13:21:03 +0200 | tomsmeding | has no clue about philosophy |
| 2025-04-29 13:21:01 +0200 | <shapr> | Ah, Utrecht? |
| 2025-04-29 13:20:54 +0200 | <haskellbridge> | <Liamzee> that is to say, our certainty of "now" is greater than our certainty of the past or the future |
| 2025-04-29 13:20:43 +0200 | <tomsmeding> | at least, my contract runs out in <1 year :p |
| 2025-04-29 13:20:39 +0200 | <shapr> | w00t! |
| 2025-04-29 13:20:38 +0200 | <haskellbridge> | <Liamzee> welp, not going to get into a complicated philosophy discussion |
| 2025-04-29 13:20:33 +0200 | <tomsmeding> | <1 year to phd graduation, if everything goes according to plan |
| 2025-04-29 13:20:23 +0200 | <shapr> | are you on the path towards graduation? |
| 2025-04-29 13:20:14 +0200 | <tomsmeding> | such as graduate |