Logs: freenode/#haskell
| 2021-03-30 18:23:05 | <geekosaur> | documentation is probably a bad first choice usually, it'll be set up as a reference and will thereby show you things in an order usually not conducive to learning |
| 2021-03-30 18:23:28 | <geekosaur> | but having documentation around to support some other means of learning can be a plus |
| 2021-03-30 18:23:41 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-03-30 18:24:22 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-03-30 18:24:33 | <shapr> | abc__: I like to start IRC channels to learn a language |
| 2021-03-30 18:24:52 | <geekosaur> | :) |
| 2021-03-30 18:24:58 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-03-30 18:24:59 | <shapr> | abc__: that is, I choose the unlisted option of asking people questions |
| 2021-03-30 18:24:59 | <abc__> | It's my first time in a IRC channel :D |
| 2021-03-30 18:25:03 | <shapr> | o hi! |
| 2021-03-30 18:25:07 | <shapr> | abc__: what do you think? |
| 2021-03-30 18:25:16 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-03-30 18:25:44 | <abc__> | I think it's cool |
| 2021-03-30 18:25:50 | × | laudiacay quits (~laudiacay@tjctf/organizer/laudiacay) (Ping timeout: 260 seconds) |
| 2021-03-30 18:25:53 | <shapr> | yeah, good points and bad points to IRC |
| 2021-03-30 18:26:06 | <shapr> | if you join a quiet channel, you don't know if there's any activity |
| 2021-03-30 18:26:19 | → | Lycurgus joins (~niemand@98.4.120.166) |
| 2021-03-30 18:26:37 | <Lycurgus> | "fast count min sketch"? |
| 2021-03-30 18:26:44 | <shapr> | Lycurgus: you got one? |
| 2021-03-30 18:26:57 | <Lycurgus> | no, I'm asking what it is. |
| 2021-03-30 18:27:02 | <shapr> | I just found one that claims to be fast, but hasn't been updated in seven years |
| 2021-03-30 18:27:08 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-30 18:27:09 | <shapr> | Lycurgus: https://florian.github.io/count-min-sketch/ |
| 2021-03-30 18:27:13 | <Lycurgus> | ty |
| 2021-03-30 18:27:20 | <shapr> | I collect probabilistic data structures because I like them |
| 2021-03-30 18:27:37 | <shapr> | so bloom filters got me into counting bloom filters, and then count min sketch, and then cuckoo hash |
| 2021-03-30 18:27:49 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 268 seconds) |
| 2021-03-30 18:27:49 | <shapr> | but I still haven't dug into hyperloglog :-( |
| 2021-03-30 18:27:59 | <shapr> | abc__: how do you learn new languages? |
| 2021-03-30 18:28:08 | <shapr> | I like to chat with native speakers |
| 2021-03-30 18:28:24 | <shapr> | abc__: tudo bom! |
| 2021-03-30 18:28:25 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-30 18:28:27 | <abc__> | I learned python basics once from a book. I'm trying to learn some haskell and programming concepts now. I never made any programming tutorial |
| 2021-03-30 18:28:41 | <Lycurgus> | you'll prolly find that in the right journal(s), hs is asking a bit |
| 2021-03-30 18:28:41 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-03-30 18:28:42 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-03-30 18:28:44 | → | royal_screwup216 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-30 18:28:58 | <shapr> | Lycurgus: asking a bit? |
| 2021-03-30 18:29:14 | <shapr> | ich verstehe nicht |
| 2021-03-30 18:29:30 | <abc__> | tudo e voce? |
| 2021-03-30 18:29:34 | <shapr> | Lycurgus: https://en.wikipedia.org/wiki/Count%E2%80%93min_sketch |
| 2021-03-30 18:29:41 | <Lycurgus> | as opposed to just analysis of the algorithm, particular solutions not in any programming lang at all |
| 2021-03-30 18:29:41 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-03-30 18:29:49 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 276 seconds) |
| 2021-03-30 18:29:57 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-03-30 18:30:00 | <shapr> | abc__: bom! (I only know what I learned in Capoeira class!) |
| 2021-03-30 18:30:25 | <shapr> | Lycurgus: well, I found two count min sketch libraries in Haskell |
| 2021-03-30 18:30:32 | <shapr> | one is seven years old, one is a year old |
| 2021-03-30 18:30:38 | <shapr> | but the older one looks fast at first glance |
| 2021-03-30 18:30:48 | <shapr> | heavy use of {-# INLINE #-} and friends |
| 2021-03-30 18:30:56 | → | bitmagie joins (~Thunderbi@200116b806f90e000dc05e3ac2e4e54a.dip.versatel-1u1.de) |
| 2021-03-30 18:31:11 | × | kosmikus_ quits (~kosmikus@nullzig.kosmikus.org) (Changing host) |
| 2021-03-30 18:31:11 | → | kosmikus_ joins (~kosmikus@haskell/developer/kosmikus) |
| 2021-03-30 18:31:20 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-03-30 18:31:22 | kosmikus_ | is now known as kosmikus |
| 2021-03-30 18:31:24 | <abc__> | Wow, capoeira is nice. My region don't have that :( |
| 2021-03-30 18:31:24 | <shapr> | Gutentag kosmikus |
| 2021-03-30 18:31:42 | <shapr> | abc__: it's fun, you should try it! |
| 2021-03-30 18:31:50 | <kosmikus> | shapr: hi :) |
| 2021-03-30 18:31:51 | <shapr> | @where cis194 |
| 2021-03-30 18:31:51 | <lambdabot> | https://www.seas.upenn.edu/~cis194/spring13/lectures.html |
| 2021-03-30 18:31:57 | <shapr> | abc__: that's a good link, try that? |
| 2021-03-30 18:32:03 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-30 18:32:10 | <shapr> | kosmikus: think you'll have time for IOHCC? |
| 2021-03-30 18:32:26 | <shapr> | I'm recruiting entrants and judges! |
| 2021-03-30 18:33:06 | <abc__> | i've never heard about that course |
| 2021-03-30 18:33:20 | <shapr> | abc__: it's good! and free! |
| 2021-03-30 18:33:44 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-03-30 18:33:59 | <shapr> | abc__: you can also ask questions in here or in #haskell-beginners |
| 2021-03-30 18:34:46 | <abc__> | ok, thanks. i will see that course now |
| 2021-03-30 18:34:47 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-03-30 18:34:50 | <abc__> | ok |
| 2021-03-30 18:35:21 | <abc__> | haskell-br channel just have 2 people haha |
| 2021-03-30 18:35:58 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 2021-03-30 18:35:58 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-03-30 18:36:26 | × | Erutuon_ quits (~Erutuon@97-116-16-233.mpls.qwest.net) (Ping timeout: 240 seconds) |
| 2021-03-30 18:36:34 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-30 18:37:01 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-03-30 18:38:44 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-03-30 18:38:46 | × | mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-30 18:38:47 | → | Erutuon_ joins (~Erutuon@97-116-16-233.mpls.qwest.net) |
| 2021-03-30 18:38:50 | × | bitmagie quits (~Thunderbi@200116b806f90e000dc05e3ac2e4e54a.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-30 18:38:51 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Client Quit) |
| 2021-03-30 18:39:45 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-30 18:39:45 | × | royal_screwup216 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-30 18:39:55 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-03-30 18:40:04 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-30 18:40:13 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9549c1d5f2f7c60f6477.dip0.t-ipconnect.de) |
| 2021-03-30 18:41:20 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-03-30 18:43:14 | → | kritzefitz_ joins (~kritzefit@212.86.56.80) |
| 2021-03-30 18:43:41 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-03-30 18:44:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-03-30 18:44:52 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-03-30 18:45:28 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-30 18:46:02 | × | kritzefitz_ quits (~kritzefit@212.86.56.80) (Client Quit) |
| 2021-03-30 18:47:18 | × | __minoru__shirae quits (~shiraeesh@46.34.206.187) (Ping timeout: 240 seconds) |
| 2021-03-30 18:47:28 | → | __minoru__shirae joins (~shiraeesh@109.166.57.161) |
| 2021-03-30 18:48:44 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-03-30 18:49:13 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-30 18:50:09 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
All times are in UTC.