Logs: freenode/#haskell
| 2021-03-04 05:16:46 | <Axman6> | iShouldn't'veDoneThat = error |
| 2021-03-04 05:17:00 | <koz_> | Axman6: I use it for naming constructors for error types all the time. |
| 2021-03-04 05:17:18 | <boxscape> | @quote Church.isn't |
| 2021-03-04 05:17:18 | <lambdabot> | No quotes match. Are you on drugs? |
| 2021-03-04 05:17:23 | <qih> | Oh no, no Stack for ARM-based Linux 8-( |
| 2021-03-04 05:17:26 | <koz_> | data FuckyWucky = Didn'tValidateProperly | Couldn'tRunThings | ... |
| 2021-03-04 05:17:34 | <Axman6> | data Error = UhWtf'IOError | UhWtf'DBError | ... |
| 2021-03-04 05:17:44 | <boxscape> | @quote Church.is.not |
| 2021-03-04 05:17:44 | <lambdabot> | procyon says: emk: You might get a wider audience with "Church is not just for Hoare's" |
| 2021-03-04 05:17:48 | <koz_> | That one! |
| 2021-03-04 05:17:54 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-04 05:17:55 | <qih> | Ah well, I'll just RTFM etc. |
| 2021-03-04 05:18:04 | <Axman6> | ok that's much better than mine. Need to use data FukkyWukky more often |
| 2021-03-04 05:18:08 | <qih> | Haha nice quote |
| 2021-03-04 05:18:12 | <koz_> | boxscape: Do you know the context of that quote? |
| 2021-03-04 05:18:34 | <boxscape> | no clue, I stumbled across it a couple days ago when exploring @quote Church though |
| 2021-03-04 05:18:46 | <koz_> | LOL |
| 2021-03-04 05:18:58 | <koz_> | I really wanna know the series of circumstances that prompted this. |
| 2021-03-04 05:19:05 | <koz_> | (the quote, not your exploring) |
| 2021-03-04 05:19:30 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-04 05:19:33 | <koz_> | Axman6: I would be much more clever in Real Job's codebase naming. |
| 2021-03-04 05:19:35 | <boxscape> | well, there are logs for #haskell, you just need to come up with a convenient way to grep them ;) |
| 2021-03-04 05:19:47 | <qih> | I like the Haskell/Turtle syntax much better than Bash. |
| 2021-03-04 05:19:50 | <koz_> | Except that I suspect my colleagues don't share my rather specific taste in humour. |
| 2021-03-04 05:19:59 | <Axman6> | qih: and there's types! |
| 2021-03-04 05:20:15 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-04 05:20:22 | <qih> | Available in scripting? gedthefugouttahere! |
| 2021-03-04 05:20:47 | <Axman6> | Technically, bash has type |
| 2021-03-04 05:20:52 | <qih> | koz_: Frack'em if they can't take a joke. |
| 2021-03-04 05:21:03 | <Axman6> | I guess string and arrays of string are different types |
| 2021-03-04 05:21:09 | <qih> | True. |
| 2021-03-04 05:21:31 | <koz_> | qih: I don't think they have much shale oil inside. |
| 2021-03-04 05:21:43 | <qih> | Bash/ZSH etc are fine, even awesome *but* it is hard work sometimes to do clever things, well. |
| 2021-03-04 05:22:20 | <qih> | Snicker, I see what ya did there. Just didn't know if f**k would be OK here. Some channels are a little *tightly* wound. |
| 2021-03-04 05:22:24 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-03-04 05:22:30 | <koz_> | qih: Generally speaking discouraged here. |
| 2021-03-04 05:22:37 | <qih> | K noted. |
| 2021-03-04 05:23:11 | <koz_> | The closest to humour I managed in work codebases was naming a JSON schematization library 'medea'. |
| 2021-03-04 05:23:17 | <koz_> | And like... _one_ person got that joke. |
| 2021-03-04 05:23:21 | <koz_> | s/joke/reference/ |
| 2021-03-04 05:23:23 | <qih> | boxscape: Trawling #IRC for tech gems is hard. |
| 2021-03-04 05:23:39 | <qih> | koz_: Hahaha |
| 2021-03-04 05:24:13 | <qih> | boxscape: Edit => Trawling #IRC logs for tech gems is hard. |
| 2021-03-04 05:24:30 | <boxscape> | hm |
| 2021-03-04 05:24:33 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-04 05:25:10 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 276 seconds) |
| 2021-03-04 05:25:35 | <boxscape> | actually I'm not even sure if there's continuous publicly available logs before 2018, although I'm sure they exist somewhere (though possibly not publicly available) |
| 2021-03-04 05:26:14 | <boxscape> | oh never mind the linked logs go back to at least 2013 if you go to the old/ directory |
| 2021-03-04 05:26:34 | <Axman6> | I probably have them somewhere... |
| 2021-03-04 05:26:55 | <Axman6> | not sure about my irssi logs |
| 2021-03-04 05:27:19 | <qih> | Right, enjoy. That'll be some awesome awk|sed|cut|bash funnery |
| 2021-03-04 05:27:40 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:2015:9fa2:bf0b:7f16) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-04 05:28:11 | <boxscape> | just need to `grep -rn 'Church is not just for Hoare'` |
| 2021-03-04 05:28:34 | <koz_> | Alonzo Church has given us endless pun-fodder. |
| 2021-03-04 05:29:14 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-04 05:29:34 | <qih> | boxscape: Well there is always that then ... |
| 2021-03-04 05:30:49 | <heck-to-the-gnom> | Anyone up for solving my mess of XMonad type mismatching? https://p.bsd-unix.net/view/6ff2b32f |
| 2021-03-04 05:30:49 | <edwardk> | The first time I heard about Hoare triples it took me more time than I'd like to admit to disambiguate the sentence. |
| 2021-03-04 05:31:03 | <Axman6> | ;) |
| 2021-03-04 05:31:26 | <Axman6> | Want some help with that post-condition big boy? |
| 2021-03-04 05:31:32 | <heck-to-the-gnom> | I'm trying to sort filter for floating & non-floating windows in xmonad when modifying the stack directly |
| 2021-03-04 05:31:56 | <edwardk> | Sorry, your precondition seems a little too weak. |
| 2021-03-04 05:32:09 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-04 05:33:08 | <koz_> | edwardk: Rofl. |
| 2021-03-04 05:33:27 | <koz_> | Is this an appropriate venue and time to make a certain stripe of joke? :P |
| 2021-03-04 05:33:27 | <heck-to-the-gnom> | OK, well I'm logging off for today, but I'm using matrix, so everything's logged. Feel free to work on that, (if anyone wants to help anyway, my Haskell skills are extremely sub-par). |
| 2021-03-04 05:33:30 | <Axman6> | How I prove you wrong for $300 |
| 2021-03-04 05:33:40 | <Axman6> | about* |
| 2021-03-04 05:34:52 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-04 05:35:15 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-04 05:36:27 | <boxscape> | if you give me a command I'll make sure your post-condition is satisfied ;) |
| 2021-03-04 05:37:09 | <Axman6> | Ooo, are you also into Big Data SQL Management? |
| 2021-03-04 05:38:05 | koz_ | points at the term 'Hoare triples' and giggles like a dork. |
| 2021-03-04 05:40:14 | <edwardk> | koz_: probably not. only mentioned it because of the off-color Church/Hoare line right before brought it to mind. |
| 2021-03-04 05:40:19 | <koz_> | edwardk: Fair. |
| 2021-03-04 05:41:03 | × | slack1256 quits (~slack1256@45.4.2.52) (Ping timeout: 256 seconds) |
| 2021-03-04 05:43:02 | <qih> | SHall I assume that Haskell has hooks for WXWidgets or is there a native, lightweight GUI lib? |
| 2021-03-04 05:43:16 | <koz_> | qih: I _believe_ the best bindings are for GTK. |
| 2021-03-04 05:43:24 | <qih> | K ta. |
| 2021-03-04 05:43:26 | <koz_> | However, that comes with all the caveats of GTK. |
| 2021-03-04 05:43:37 | <Axman6> | there is, but I don't know many people who've used it. there's another even more lightweight one whose name I can't remember.. fltk)? |
| 2021-03-04 05:43:37 | <koz_> | And also the added caveats that I've never used them. |
| 2021-03-04 05:43:47 | <koz_> | Axman6: Yeah, deech's thing. |
| 2021-03-04 05:44:16 | <qih> | FLTK, ta. Checking. |
| 2021-03-04 05:45:26 | <Axman6> | I love that on duckduckgo, searching for "haskell fltk" comes up a photo of deech as the first result |
| 2021-03-04 05:45:28 | <qih> | https://github.com/deech/fltkhs <= interesting |
| 2021-03-04 05:45:33 | <koz_> | How does one pronounce 'FLTK'? Eff-Ell-Tee-Kay? |
| 2021-03-04 05:45:39 | <Axman6> | yeah |
| 2021-03-04 05:45:46 | <qih> | Fancy that ... |
| 2021-03-04 05:45:52 | <koz_> | You never know. |
| 2021-03-04 05:45:56 | <qih> | Indeed. |
| 2021-03-04 05:46:03 | <koz_> | Half the time, you get libraries named fhutagjpor that are pronounced 'Orange'. |
| 2021-03-04 05:46:22 | <boxscape> | it's pronounced fulltick according to wiki |
| 2021-03-04 05:46:28 | <koz_> | boxscape: TIL. |
| 2021-03-04 05:46:55 | <qih> | Using Firefox-ESR on Riv3, the browser must be detecting mobile device-like headers, so the google page and search are rendered in that appalling Mobile format, bleh <= thought I'd whine. |
| 2021-03-04 05:46:55 | <koz_> | So thus there must exist the pessimist version MTTK. |
| 2021-03-04 05:47:04 | <boxscape> | hah |
| 2021-03-04 05:47:08 | <qih> | boxscape: Fulltick, nice |
| 2021-03-04 05:48:10 | <koz_> | And the centrist HFTK? |
| 2021-03-04 05:48:37 | <qih> | https://github.com/deech/fltkhs/blob/master/images/tree-complex-windows.png That is nowhere as ugly as I feared, not bad at all. |
All times are in UTC.