Logs: freenode/#haskell
| 2020-10-09 20:06:49 | <dwts> | dsal: I'll probably get the book you suggested |
| 2020-10-09 20:07:05 | × | coot quits (~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 2020-10-09 20:07:11 | <Cale> | The periods are literal pauses in speech |
| 2020-10-09 20:07:13 | <dwts> | looks promising |
| 2020-10-09 20:07:16 | <Cale> | haha |
| 2020-10-09 20:07:28 | <ski> | but then the periods were also used for conjunction, at the same time |
| 2020-10-09 20:07:44 | <Cale> | If you were speaking "P implies Q ... implies ... P implies R", people would know where you wanted the parens |
| 2020-10-09 20:07:50 | <dsal> | dwts: I've found the slow path the fastest way to get there. |
| 2020-10-09 20:07:55 | <dolio> | You can put them on any connective. |
| 2020-10-09 20:08:27 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-09 20:08:34 | <dwts> | dsal: what do you define as slow path here? |
| 2020-10-09 20:09:00 | → | rprije joins (~rprije@203.214.95.251) |
| 2020-10-09 20:09:19 | <dolio> | I was looking at Church's simple type theory recently, and one of his core things is 'A' which stands for ∨. |
| 2020-10-09 20:09:22 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-09 20:09:50 | <dsal> | dwts: That book starts with really basic fundamentals that kind of seem obvious, but walks you through layers in a fairly slow, but deliberate way, building on things until, instead of running around asking people to explain what a Monad is, you find yourself wanting a solution to a problem and realize that the name of that solution is Monad (or whatever part you're on). |
| 2020-10-09 20:10:01 | <ski> | Cale : some math teacher got a bit confused, at one point, when i used indentation rather than brackets, for indicating precedence |
| 2020-10-09 20:10:30 | <ski> | hm, for "Alternative" or something like that, dolio ? |
| 2020-10-09 20:10:37 | <dsal> | dwts: e.g., instead of just throwing cool magic things at you, it shows you how function application works. And then you build on that. By the time you get to magic, there's no magic left. |
| 2020-10-09 20:10:46 | <dolio> | I have no idea. I guess that makes more sense. |
| 2020-10-09 20:10:48 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1bbd) |
| 2020-10-09 20:10:57 | <dwts> | dsal: that sounds encouraging. No that I don't enjoy to other people more knowledgable than me, but the best way to learn is by reading/experimenting on your own |
| 2020-10-09 20:11:02 | <dsal> | dwts: vs. trying to take a concept you know and "translate" it to Haskell and then maybe stuff in an advanced concept. |
| 2020-10-09 20:11:15 | <Cale> | dolio: 'A' for "or"? |
| 2020-10-09 20:11:22 | <dsal> | To be fair, I did a lot of this in parallel with solving problems I had. |
| 2020-10-09 20:11:27 | <dwts> | yeah, that is very common (trying to translate from other langs) |
| 2020-10-09 20:11:35 | <dolio> | Cale: Yeah. Then p∧q = ¬(¬p∨¬q). |
| 2020-10-09 20:11:57 | <dwts> | dsal: it's hard to stay 100% on a book's exercises/examples |
| 2020-10-09 20:12:05 | <ski> | hm, Frege had conjunction, negation, universal, as primitives |
| 2020-10-09 20:12:05 | <dwts> | as you try new things, new ideas pop up usualy |
| 2020-10-09 20:12:07 | <dwts> | usually* |
| 2020-10-09 20:12:14 | <ski> | hmm |
| 2020-10-09 20:12:20 | <dsal> | Yeah, exercises are often too narrow to really understand what they're doing. |
| 2020-10-09 20:12:23 | <ski> | or was it implication, rather than conjunction ? |
| 2020-10-09 20:12:24 | <dwts> | so you want to try them while you learn that new language |
| 2020-10-09 20:12:49 | <dwts> | in any case, I need to go offline, long day tomorrow |
| 2020-10-09 20:12:55 | <dsal> | I really enjoy doing Advent of Code in Haskell. Lots of applied knowledge. |
| 2020-10-09 20:12:56 | <ski> | ah, it was implication |
| 2020-10-09 20:13:00 | <dwts> | thank you all for your help |
| 2020-10-09 20:13:02 | <dwts> | cheers |
| 2020-10-09 20:13:03 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-09 20:13:11 | <dwts> | dsal: note taken |
| 2020-10-09 20:13:11 | <no-n> | dsal, what book? |
| 2020-10-09 20:13:11 | <ski> | have fun, dwts ! |
| 2020-10-09 20:13:30 | <ski> | @where HPFFP |
| 2020-10-09 20:13:31 | <lambdabot> | "Haskell Programming: from first principles - Pure functional programming without fear or frustration" by Chistopher Allen (bitemyapp),Julie Moronuki at <http://haskellbook.com/>,#haskell-beginners |
| 2020-10-09 20:14:22 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-09 20:14:57 | <no-n> | oh, ok. that one is still on my reading list :p |
| 2020-10-09 20:15:36 | × | knupfer quits (~Thunderbi@i59F7FF25.versanet.de) (Quit: knupfer) |
| 2020-10-09 20:15:37 | → | knupfer1 joins (~Thunderbi@200116b82c4c7d00e0839dc4feebae4b.dip.versatel-1u1.de) |
| 2020-10-09 20:16:04 | <nshepperd> | dminuoso: i forget exactly how the person i saw using it had things laid out, but like this https://zlkj.in:8778/uploads/33f4737ce81a95c4/lisp.hs |
| 2020-10-09 20:16:07 | × | knupfer1 quits (~Thunderbi@200116b82c4c7d00e0839dc4feebae4b.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-09 20:16:15 | → | knupfer joins (~Thunderbi@200116b82c4c7d006558355e534b95a9.dip.versatel-1u1.de) |
| 2020-10-09 20:16:17 | × | knupfer quits (~Thunderbi@200116b82c4c7d006558355e534b95a9.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-09 20:16:26 | → | knupfer joins (~Thunderbi@200116b82c4c7d00cc4c311526e4b875.dip.versatel-1u1.de) |
| 2020-10-09 20:16:49 | <dminuoso> | Cunning. |
| 2020-10-09 20:17:17 | <ski> | nshepperd1 : reminds me of <https://srfi.schemers.org/srfi-49/srfi-49.html> |
| 2020-10-09 20:17:23 | × | avdb quits (~avdb@ip-62-235-188-165.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2020-10-09 20:17:25 | <dminuoso> | % :t (do 'c') |
| 2020-10-09 20:17:25 | <yahb> | dminuoso: Char |
| 2020-10-09 20:17:27 | <dminuoso> | Wow fancy. |
| 2020-10-09 20:17:32 | <nshepperd> | or like this https://zlkj.in:8778/uploads/9e74cf0ad48d0794/lisp.hs |
| 2020-10-09 20:17:33 | <dminuoso> | What does do even do. :< |
| 2020-10-09 20:17:37 | <ski> | GHC generalization |
| 2020-10-09 20:17:40 | <ski> | @undo do x |
| 2020-10-09 20:17:41 | <lambdabot> | x |
| 2020-10-09 20:17:44 | <nshepperd> | endless possibilities xD |
| 2020-10-09 20:17:51 | <shapr> | that's wild |
| 2020-10-09 20:18:11 | <dminuoso> | I think Ill just sneak some (do work) bits into my code |
| 2020-10-09 20:18:20 | <dminuoso> | Just to confuse future generations |
| 2020-10-09 20:18:40 | <dminuoso> | (do work) `and` fix error |
| 2020-10-09 20:18:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-09 20:18:56 | × | nyd quits (~lpy@unaffiliated/elysian) (Quit: nyd) |
| 2020-10-09 20:19:18 | → | cr0ssw1nd joins (~crosswind@adsl-174.176.58.193.tellas.gr) |
| 2020-10-09 20:21:07 | × | crossw1nd quits (~crosswind@188.73.195.239) (Ping timeout: 260 seconds) |
| 2020-10-09 20:22:54 | <ski> | > do let in [do () | let,do let {}; not otherwise,case () of] |
| 2020-10-09 20:22:56 | <lambdabot> | [] |
| 2020-10-09 20:23:40 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-10-09 20:23:56 | <nshepperd> | % do it |
| 2020-10-09 20:23:56 | <yahb> | nshepperd: 1 |
| 2020-10-09 20:24:46 | <Cheery> | I came from python2 to code haskell stuff, now to get a autosummarizer I'm still installing python3, tensorflow, torch, transformers, then have pipeline download gig-large models to summarize articles for me. |
| 2020-10-09 20:25:13 | → | elliott_ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-09 20:26:04 | <nshepperd> | i wish you luck in your impossible quest |
| 2020-10-09 20:26:53 | → | stevenxl joins (uid133530@gateway/web/irccloud.com/x-lycvhaiijjxatwhk) |
| 2020-10-09 20:27:37 | <dminuoso> | ski: that's not bad |
| 2020-10-09 20:28:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-09 20:28:52 | <Cheery> | I was going to make a python deprecation alliance, now I got to write a footnote "summarized with tensorflow&pals" |
| 2020-10-09 20:30:12 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2020-10-09 20:30:22 | × | motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Read error: Connection reset by peer) |
| 2020-10-09 20:30:28 | <bsima> | if I do random.getrandbits(128) in python, what is the equivalent in Haskell? |
| 2020-10-09 20:30:58 | hackage | uniqueness-periods-vector-properties 0.5.3.0 - Metrices for the maximum element for the uniqueness-periods-vector packages family. https://hackage.haskell.org/package/uniqueness-periods-vector-properties-0.5.3.0 (OleksandrZhabenko) |
| 2020-10-09 20:31:05 | × | snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-09 20:31:18 | → | _ashbreeze_ joins (~mark@72-161-51-13.dyn.centurytel.net) |
| 2020-10-09 20:32:26 | × | mmohammadi981266 quits (~mmohammad@5.238.185.98) (Quit: I quit (╯°□°）╯︵ ┻━┻) |
| 2020-10-09 20:32:31 | × | ashbreeze quits (~mark@72-161-253-2.dyn.centurytel.net) (Ping timeout: 258 seconds) |
| 2020-10-09 20:32:37 | <dminuoso> | bsima: You could use the hackage package `random` |
| 2020-10-09 20:32:54 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:744e:3fd6:7740:f62b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-09 20:33:00 | <dminuoso> | `genShortByteString 16 g` for a suitable RandomGen g |
| 2020-10-09 20:33:07 | <dminuoso> | Or maybe some other variants, depends a bit on your usecase |
| 2020-10-09 20:33:13 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-09 20:33:35 | <Cheery> | are there well-defined ways to seed it? |
All times are in UTC.