Logs: liberachat/#haskell
| 2025-10-08 17:52:33 | <EvanR> | control F also works |
| 2025-10-08 17:52:35 | <__monty__> | Also makes me more upset about the impartial warnings by default though. |
| 2025-10-08 17:52:39 | <EvanR> | assuming you didn't space heads |
| 2025-10-08 17:52:41 | <EvanR> | spam |
| 2025-10-08 17:52:44 | <tomsmeding> | sm: "last, called at <interactive>:79:1 in interactive:Ghci17" |
| 2025-10-08 17:53:00 | <int-e> | tomsmeding: Once upon a time, I had an empty list. It didn't last. |
| 2025-10-08 17:53:06 | <tomsmeding> | (: |
| 2025-10-08 17:53:22 | <tomsmeding> | EvanR: it doesn't if you have multiple uses of the function |
| 2025-10-08 17:53:42 | <EvanR> | I guess 2 is spam enough |
| 2025-10-08 17:53:56 | <tomsmeding> | for debugging, yes |
| 2025-10-08 17:53:59 | <EvanR> | if you have 2 heads, reconsider your ways |
| 2025-10-08 17:54:15 | <tomsmeding> | chasing false trails in debugging is a demotivating waste of time :p |
| 2025-10-08 17:54:16 | <haskellbridge> | <sm> tomsmeding: that one was good yes |
| 2025-10-08 17:54:58 | <EvanR> | control F and witnessing the proof for every result found would also work |
| 2025-10-08 17:55:02 | <haskellbridge> | <sm> in a production codebase it's much less likely (because of needing an unbroken chain of HasCallStack I guess) |
| 2025-10-08 17:55:25 | <tomsmeding> | well that's what I was saying: it shows you where the naughty instance is, but not how the program got there |
| 2025-10-08 17:55:39 | <tomsmeding> | which is sometimes very unhelpful |
| 2025-10-08 17:55:51 | <tomsmeding> | (I speak from experience) |
| 2025-10-08 17:56:13 | <tomsmeding> | the new automatic profiling backtraces are nice, though |
| 2025-10-08 17:56:24 | <tomsmeding> | requies you to rebuild the world, but then you do get better backtraces |
| 2025-10-08 17:56:31 | <tomsmeding> | lexical ones, even |
| 2025-10-08 17:56:42 | <tomsmeding> | or wait is that true? |
| 2025-10-08 17:56:52 | <tomsmeding> | no they're probably not lexical, so I lied to bwe |
| 2025-10-08 17:56:54 | <tomsmeding> | anyhow |
| 2025-10-08 17:56:54 | <EvanR> | the backtrack workflow in other languages is so powerful that dynamic language programmers write 100s of partial functions per file |
| 2025-10-08 17:57:03 | <EvanR> | and don't care |
| 2025-10-08 17:57:12 | <__monty__> | int-e: That's poetry. |
| 2025-10-08 17:57:41 | <tomsmeding> | the output of a model checker (which is considered "formal methods") on a counter example is, guess what, a backtrace |
| 2025-10-08 17:57:47 | <tomsmeding> | *counterexample |
| 2025-10-08 17:58:34 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 17:59:17 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 17:59:30 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 17:59:40 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 18:00:28 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 18:00:39 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 18:01:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 18:03:10 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 18:03:25 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 18:03:33 | × | tromp quits (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Ping timeout: 244 seconds) |
| 2025-10-08 18:03:55 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 18:04:08 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 18:04:56 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2025-10-08 18:07:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 18:12:15 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-08 18:18:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 18:18:39 | × | Googulator48 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 18:18:44 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-08 18:18:56 | → | Googulator48 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 18:20:08 | × | totbwf quits (sid402332@id-402332.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-10-08 18:22:00 | → | totbwf joins (sid402332@id-402332.uxbridge.irccloud.com) |
| 2025-10-08 18:23:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 18:26:58 | → | shapr joins (~user@130.44.148.32) |
| 2025-10-08 18:32:46 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-10-08 18:33:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 18:35:25 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-10-08 18:35:26 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 18:36:59 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-10-08 18:38:08 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-08 18:38:32 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-08 18:38:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 18:42:54 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-10-08 18:49:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 18:52:14 | fgarcia | is now known as fgidim |
| 2025-10-08 18:53:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-08 18:57:38 | trickard_ | is now known as trickard |
| 2025-10-08 18:59:14 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-10-08 19:00:01 | × | caconym747879 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-08 19:00:39 | → | superstar64 joins (~superstar@2600:1700:57e0:e3c0::31) |
| 2025-10-08 19:00:42 | → | caconym747879 joins (~caconym@user/caconym) |
| 2025-10-08 19:04:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 19:04:35 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-10-08 19:04:55 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-10-08 19:05:13 | Googulator48 | is now known as Googulator |
| 2025-10-08 19:08:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-08 19:10:34 | → | Jackneill joins (~Jackneill@188-143-82-121.pool.digikabel.hu) |
| 2025-10-08 19:10:51 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-08 19:10:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 19:12:30 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-08 19:13:43 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-10-08 19:14:37 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2025-10-08 19:15:05 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-08 19:22:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 19:25:19 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 19:25:32 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 19:26:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-08 19:30:37 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-08 19:34:13 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-08 19:34:13 | ljdarj1 | is now known as ljdarj |
| 2025-10-08 19:37:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 19:42:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-08 19:44:43 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 19:44:54 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 19:49:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-08 19:54:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 19:56:51 | → | killy joins (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-10-08 20:00:35 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-08 20:01:03 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-08 20:02:30 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-08 20:04:07 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-10-08 20:04:35 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
All times are in UTC.