Logs: liberachat/#haskell
| 2021-08-08 09:50:32 | × | mrianbloom quits (sid350277@id-350277.charlton.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-08 09:50:34 | → | canta joins (~canta@user/canta) |
| 2021-08-08 09:50:35 | × | L29Ah quits (~L29Ah@user/l29ah) (Ping timeout: 252 seconds) |
| 2021-08-08 09:50:46 | × | dsal quits (sid13060@id-13060.tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-08 09:50:54 | × | obviyus quits (sid415299@user/obviyus) (Ping timeout: 272 seconds) |
| 2021-08-08 09:50:54 | × | ephemient quits (uid407513@id-407513.tooting.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-08 09:50:57 | × | raoul quits (~raoul@95.179.203.88) (Ping timeout: 245 seconds) |
| 2021-08-08 09:51:02 | → | bjs joins (sid190364@user/bjs) |
| 2021-08-08 09:51:08 | × | tnks quits (sid412124@id-412124.brockwell.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-08 09:51:08 | × | rubin55_ quits (sid175221@id-175221.stonehaven.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-08 09:51:24 | → | kaychaks__ joins (sid236345@id-236345.brockwell.irccloud.com) |
| 2021-08-08 09:51:41 | × | hrdl quits (~hrdl@mail.hrdl.eu) (Ping timeout: 252 seconds) |
| 2021-08-08 09:52:05 | × | PotatoGim quits (sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-08 09:52:05 | × | idnar quits (sid12240@debian/mithrandi) (Ping timeout: 250 seconds) |
| 2021-08-08 09:52:09 | <sm> | don't neglect the GHC User Guide, and base's haddocks, also |
| 2021-08-08 09:52:10 | × | feepo quits (sid28508@id-28508.brockwell.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-08 09:52:10 | × | S11001001 quits (sid42510@id-42510.charlton.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-08 09:52:12 | × | opqdonut_ quits (opqdonut@pseudo.fixme.fi) (Ping timeout: 245 seconds) |
| 2021-08-08 09:52:14 | × | ziman quits (~ziman@user/ziman) (Ping timeout: 252 seconds) |
| 2021-08-08 09:52:14 | × | Katarushisu quits (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-08 09:52:19 | <euouae> | yeah base has nice haddocks |
| 2021-08-08 09:52:30 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 250 seconds) |
| 2021-08-08 09:52:36 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Ping timeout: 256 seconds) |
| 2021-08-08 09:52:48 | × | ProofTechnique quits (sid79547@id-79547.charlton.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-08 09:52:56 | <Drew[m]1> | Nor your build tool user guide! |
| 2021-08-08 09:52:59 | <sm> | the Prelude module, anyway |
| 2021-08-08 09:53:26 | × | jonrh quits (sid5185@id-5185.charlton.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-08 09:53:33 | <sm> | Drew: agreed |
| 2021-08-08 09:53:37 | → | mcglk joins (~mcglk@131.191.49.120) |
| 2021-08-08 09:53:44 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 256 seconds) |
| 2021-08-08 09:54:04 | × | iphy quits (sid67735@id-67735.tooting.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-08 09:54:23 | <sm> | someone should make a real up to date reading list |
| 2021-08-08 09:54:26 | <maerwald[m]> | just don't use `cabal --help`, lol |
| 2021-08-08 09:54:41 | <sm> | and then we'd see just how much crap there is to learn :) |
| 2021-08-08 09:54:42 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 245 seconds) |
| 2021-08-08 09:54:52 | × | enemeth79 quits (sid309041@id-309041.tooting.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-08 09:55:32 | × | cfebs quits (~cfebs@user/cfebs) (Ping timeout: 252 seconds) |
| 2021-08-08 09:55:38 | <__monty__> | Careful, that sounds like you're inviting mockery along the lines of "Wanted to learn Haskell, got linked this list of 1000+ papers." |
| 2021-08-08 09:56:15 | <sm> | well, awareness and admitting we have a problem is the first step :) |
| 2021-08-08 09:56:19 | phma_ | is now known as phma |
| 2021-08-08 09:56:42 | <maerwald[m]> | don't worry, dependent types and linear types are coming to the rescue to make Haskell easier to learn |
| 2021-08-08 09:56:45 | sm | is talking about essential reading in order of practicality, not unlimited research topics |
| 2021-08-08 09:57:16 | × | taktoa[c] quits (sid282096@tinside.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-08 09:57:44 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 252 seconds) |
| 2021-08-08 09:58:12 | <sm> | perhaps we could persuade Travis Cardwell to expand his books app ? to include other doc types, rating, and sorting ? |
| 2021-08-08 09:58:16 | × | bens quits (~bens@www.typius.com) (Ping timeout: 256 seconds) |
| 2021-08-08 09:58:39 | <sm> | I think he intends a dedicated site.. he's probably working on it |
| 2021-08-08 09:58:50 | × | Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2021-08-08 09:59:42 | × | forell quits (~forell@user/forell) (Ping timeout: 245 seconds) |
| 2021-08-08 10:00:32 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Ping timeout: 245 seconds) |
| 2021-08-08 10:00:33 | → | lightandlight joins (sid135476@id-135476.brockwell.irccloud.com) |
| 2021-08-08 10:00:41 | → | grfn joins (sid449115@id-449115.brockwell.irccloud.com) |
| 2021-08-08 10:00:41 | → | ProofTechnique joins (sid79547@id-79547.charlton.irccloud.com) |
| 2021-08-08 10:01:00 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 2021-08-08 10:01:05 | → | obviyus joins (sid415299@user/obviyus) |
| 2021-08-08 10:01:20 | → | jonrh joins (sid5185@id-5185.charlton.irccloud.com) |
| 2021-08-08 10:01:24 | → | tnks joins (sid412124@id-412124.brockwell.irccloud.com) |
| 2021-08-08 10:01:27 | → | enemeth79 joins (sid309041@id-309041.tooting.irccloud.com) |
| 2021-08-08 10:01:29 | → | idnar joins (sid12240@debian/mithrandi) |
| 2021-08-08 10:01:33 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 2021-08-08 10:01:38 | → | sa1 joins (sid7690@id-7690.charlton.irccloud.com) |
| 2021-08-08 10:01:42 | → | feepo joins (sid28508@id-28508.brockwell.irccloud.com) |
| 2021-08-08 10:01:46 | → | iphy joins (sid67735@id-67735.tooting.irccloud.com) |
| 2021-08-08 10:01:47 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 245 seconds) |
| 2021-08-08 10:01:53 | → | pe200012_ joins (~pe200012@218.107.49.28) |
| 2021-08-08 10:01:53 | → | S11001001 joins (sid42510@id-42510.charlton.irccloud.com) |
| 2021-08-08 10:01:54 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 2021-08-08 10:02:03 | → | PotatoGim joins (sid99505@id-99505.tooting.irccloud.com) |
| 2021-08-08 10:02:10 | → | integral joins (sid296274@user/integral) |
| 2021-08-08 10:02:14 | × | mikolaj quits (~mikon@duch.mimuw.edu.pl) (Ping timeout: 256 seconds) |
| 2021-08-08 10:02:27 | → | mikolaj joins (~mikon@duch.mimuw.edu.pl) |
| 2021-08-08 10:02:52 | → | ski joins (~ski@remote12.chalmers.se) |
| 2021-08-08 10:04:20 | → | rubin55_ joins (sid175221@id-175221.stonehaven.irccloud.com) |
| 2021-08-08 10:04:24 | → | opqdonut joins (opqdonut@pseudo.fixme.fi) |
| 2021-08-08 10:04:26 | → | emergence joins (~emergence@vm0.max-p.me) |
| 2021-08-08 10:04:38 | → | mrianbloom joins (sid350277@id-350277.charlton.irccloud.com) |
| 2021-08-08 10:04:42 | × | ptrcmd quits (~ptrcmd@user/ptrcmd) (Ping timeout: 245 seconds) |
| 2021-08-08 10:05:03 | → | ziman joins (~ziman@c25-5.condornet.sk) |
| 2021-08-08 10:05:07 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 245 seconds) |
| 2021-08-08 10:05:09 | → | gonz__ joins (sid304396@id-304396.tooting.irccloud.com) |
| 2021-08-08 10:05:11 | × | hgolden_ quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 258 seconds) |
| 2021-08-08 10:05:20 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 2021-08-08 10:05:20 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2021-08-08 10:05:20 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-08-08 10:05:32 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-08-08 10:05:45 | <euouae> | heh hedgehog sure is cool though |
| 2021-08-08 10:05:51 | → | tritlo joins (sid58727@user/tritlo) |
| 2021-08-08 10:05:55 | → | hrdl joins (~hrdl@mail.hrdl.eu) |
| 2021-08-08 10:05:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-08 10:06:01 | <euouae> | I wrote a faulty unit test and it caught it quickly and showed me a minimal example |
| 2021-08-08 10:06:06 | → | forell joins (~forell@user/forell) |
| 2021-08-08 10:06:11 | <euouae> | (faulty unit test meaning I wrote a property that doesn't actually hold) |
| 2021-08-08 10:06:14 | → | hook54321 joins (sid149355@user/hook54321) |
| 2021-08-08 10:06:21 | → | gmc joins (sid58314@id-58314.charlton.irccloud.com) |
| 2021-08-08 10:06:21 | → | dsal joins (sid13060@id-13060.tooting.irccloud.com) |
| 2021-08-08 10:06:25 | → | supersven joins (uid501114@id-501114.charlton.irccloud.com) |
| 2021-08-08 10:06:28 | <sm> | \o/ |
| 2021-08-08 10:06:32 | <tomsmeding> | that's the promise of property testing :) |
| 2021-08-08 10:06:47 | → | ephemient joins (uid407513@id-407513.tooting.irccloud.com) |
| 2021-08-08 10:07:03 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.