Newest at the top
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 |
2025-04-29 13:20:06 +0200 | <tomsmeding> | it doesn't, there are many things I will not do now |
2025-04-29 13:19:54 +0200 | <haskellbridge> | <Liamzee> (not now implies death) |
2025-04-29 13:19:46 +0200 | <haskellbridge> | <Liamzee> so i just want to abstract it so that people need less knowledge in order to slap together a basic Haskell web application |
2025-04-29 13:19:34 +0200 | <tomsmeding> | "not now" is an important one |
2025-04-29 13:19:26 +0200 | <shapr> | Hm, that does sound familiar |
2025-04-29 13:19:15 +0200 | <haskellbridge> | <Liamzee> time has no meaning for me, there is only the eternal now (and not now) |
2025-04-29 13:19:14 +0200 | <tomsmeding> | sounds like a fun way to learn these things |
2025-04-29 13:19:01 +0200 | <tomsmeding> | so it is |
2025-04-29 13:18:59 +0200 | <haskellbridge> | <Liamzee> I spent 2 weeks learning enough postgreSQL-simple, lucid, and twain to build half a login and authentication system |
2025-04-29 13:18:56 +0200 | <shapr> | It's a beautiful day for code! |
2025-04-29 13:18:51 +0200 | <shapr> | It's true, morning is a temporary thing |
2025-04-29 13:18:35 +0200 | <tomsmeding> | not morning any more here though :) |
2025-04-29 13:18:28 +0200 | <shapr> | Hello Liamzee! |
2025-04-29 13:18:26 +0200 | <shapr> | Hiya tomsmeding ! |
2025-04-29 13:18:20 +0200 | <tomsmeding> | shapr: hello! |
2025-04-29 13:18:19 +0200 | <shapr> | w00! |
2025-04-29 13:18:16 +0200 | <haskellbridge> | <Liamzee> GOOD MORNING SHAPR |