Newest at the top
2025-05-07 23:24:06 +0200 | <tomsmeding> | ah :) |
2025-05-07 23:23:54 +0200 | <hellwolf> | I am the manager. I am trying to convince a crowd to use it, who may not be the right audience :p |
2025-05-07 23:23:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-05-07 23:23:02 +0200 | <tomsmeding> | managers to convince that what you're doing is useful? |
2025-05-07 23:22:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-05-07 23:22:16 +0200 | <hellwolf> | kinda. but I am preaching to anti-choir. if that's an expresison. |
2025-05-07 23:21:44 +0200 | <tomsmeding> | sounds like fun |
2025-05-07 23:21:37 +0200 | <hellwolf> | and end-to-end working demo, etc. |
2025-05-07 23:21:25 +0200 | <hellwolf> | with repl, show code generated, or diagrams generated. |
2025-05-07 23:21:09 +0200 | <hellwolf> | I am happy where it is. I need to now develop some live demo technique |
2025-05-07 23:20:46 +0200 | <tomsmeding> | that would be a judgement call |
2025-05-07 23:20:33 +0200 | <tomsmeding> | the more accurate way would be to count a _modified_ line as 1 instead of 2, but then you get into what counts as a modified line and not a deletion and an insertion |
2025-05-07 23:19:44 +0200 | <tomsmeding> | the +421 -53 was somewhat compliated, but also a bunch of blasting out lines |
2025-05-07 23:19:39 +0200 | <hellwolf> | ah, should use + |
2025-05-07 23:19:31 +0200 | <lambdabot> | 63.4 |
2025-05-07 23:19:29 +0200 | <hellwolf> | > (3531 - 1629) / 30 |
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) |