Newest at the top
| 2025-05-07 23:19:18 +0200 | <tomsmeding> | sounds like complicated code, or not full time, indeed |
| 2025-05-07 23:19:11 +0200 | <hellwolf> | fairly slow, but I don't do it full time. |
| 2025-05-07 23:18:54 +0200 | <lambdabot> | 172.0 |
| 2025-05-07 23:18:53 +0200 | <tomsmeding> | > (3531 + 1629) / 30 |
| 2025-05-07 23:18:34 +0200 | <hellwolf> | " 3,531 additions and 1,629 deletions. " in last month |
| 2025-05-07 23:18:25 +0200 | <tomsmeding> | hm? |
| 2025-05-07 23:18:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-07 23:18:15 +0200 | <hellwolf> | I was checking github stats |
| 2025-05-07 23:18:08 +0200 | <hellwolf> | how to derive that stats just from one folder |
| 2025-05-07 23:17:49 +0200 | <tomsmeding> | those are big numbers, what timeframe is that :p |
| 2025-05-07 23:17:49 +0200 | <hellwolf> | (not all in haskell, though) |
| 2025-05-07 23:17:32 +0200 | <hellwolf> | 64,313 ++48,608 -- |
| 2025-05-07 23:16:24 +0200 | <tomsmeding> | on Tuesday I had +421 -53; today I'm fairly sure I had only like 5 lines in a test file |
| 2025-05-07 23:15:53 +0200 | <hellwolf> | I am still amazed of how mmuch 6000 LoC can do in Haskell. |
| 2025-05-07 23:15:20 +0200 | <tomsmeding> | that number has very high variance |
| 2025-05-07 23:15:14 +0200 | <tomsmeding> | :p |
| 2025-05-07 23:15:09 +0200 | <hellwolf> | tomsmeding: I didn't mean to be serious, it was my random throwing away response :p |
| 2025-05-07 23:14:53 +0200 | <hellwolf> | How many LoC of Haskell you write nowadays on average? |
| 2025-05-07 23:14:35 +0200 | hellwolf | feels exhausted writing Haskell for so many days. |
| 2025-05-07 23:14:34 +0200 | <tomsmeding> | hellwolf: well, it would seem to be the incorrect interpretation, because with it, "two finite automata" is equivalent to "a finite automaton", and your "two" sounded like it was _not_ one, but two. :P |
| 2025-05-07 23:13:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 23:11:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-07 23:10:49 +0200 | Frostillicus_1 | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-07 23:10:47 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-07 23:09:00 +0200 | <hellwolf> | interpreted |
| 2025-05-07 23:08:52 +0200 | <hellwolf> | you just interpret that. |
| 2025-05-07 23:08:36 +0200 | <tomsmeding> | the product of two finite automata is again a finite automata, so I'm not sure how to interpret that "two" :p |
| 2025-05-07 23:07:24 +0200 | <hellwolf> | /some |
| 2025-05-07 23:07:17 +0200 | <hellwolf> | according to some study |
| 2025-05-07 23:06:36 +0200 | <tomsmeding> | two finite automata? |
| 2025-05-07 23:05:30 +0200 | <hellwolf> | two |
| 2025-05-07 23:04:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84) |
| 2025-05-07 23:03:42 +0200 | Frostillicus_1 | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-07 23:03:18 +0200 | Frostillicus_1 | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-05-07 23:02:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-07 23:01:43 +0200 | <EvanR> | it can be recognized by a finite automaton? |
| 2025-05-07 22:59:56 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-07 22:58:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-07 22:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 22:57:26 +0200 | <hellwolf> | also, supposedly, Indonesian is the easiest grammar in the world. |
| 2025-05-07 22:56:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-07 22:56:03 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-07 22:48:17 +0200 | mastarija | (~mastarija@141-136-135-87.dsl.iskon.hr) (Quit: Client closed) |
| 2025-05-07 22:47:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-07 22:42:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 22:39:00 +0200 | mastarija | (~mastarija@141-136-135-87.dsl.iskon.hr) mastarija |
| 2025-05-07 22:32:28 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-07 22:31:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-07 22:30:39 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-07 22:26:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |