2025/05/07

Newest at the top

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 +0200merijn(~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 +0200hellwolffeels 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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 23:11:39 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-05-07 23:10:49 +0200Frostillicus_1(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-07 23:10:47 +0200j1n37-(~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 +0200tromp(~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84)
2025-05-07 23:03:42 +0200Frostillicus_1(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-07 23:03:18 +0200Frostillicus_1(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-05-07 23:02:54 +0200merijn(~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 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-07 22:58:40 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-07 22:57:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn