Logs: freenode/#haskell
| 2021-03-18 16:12:57 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-18 16:13:02 | <merijn> | codygman`: I just realised why your code is broken! |
| 2021-03-18 16:13:03 | × | CoconutCrab quits (~Cua@unaffiliated/coconutcrab) (Ping timeout: 260 seconds) |
| 2021-03-18 16:13:07 | <average> | Lycurgus: you know. this is an interesting idea you propose, except it only partially maps to the problem |
| 2021-03-18 16:13:27 | × | dramforever quits (~dram@unaffiliated/dramforever) (Ping timeout: 265 seconds) |
| 2021-03-18 16:13:31 | <average> | Lycurgus: if only there was a systematic way to estimate.. |
| 2021-03-18 16:13:42 | <Lycurgus> | i assure there is |
| 2021-03-18 16:13:51 | <average> | Lycurgus: please elaborate, i am very curious |
| 2021-03-18 16:14:01 | <average> | Lycurgus: i can elaborate too from experience, with examples |
| 2021-03-18 16:14:05 | <Lycurgus> | and a copious literature with numerous branches |
| 2021-03-18 16:14:20 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-18 16:14:21 | × | frozenErebus quits (~frozenEre@94.128.81.163) (Ping timeout: 264 seconds) |
| 2021-03-18 16:14:34 | <Lycurgus> | one that doesn't get much play these days was popular before or during the so called AI winter |
| 2021-03-18 16:14:47 | <Lycurgus> | namely fuzzy math/sets/logic/etc |
| 2021-03-18 16:14:49 | <__minoru__shirae> | AI winter? |
| 2021-03-18 16:15:23 | hackage | haskoin-store 0.51.0 - Storage and index for Bitcoin and Bitcoin Cash https://hackage.haskell.org/package/haskoin-store-0.51.0 (jprupp) |
| 2021-03-18 16:15:34 | <Lycurgus> | I mentioned acton's text because it's pithy and accessible |
| 2021-03-18 16:15:43 | <Shiranai> | are there preset settings for the lsp formatter? Out of the box it is adding newlines to every type definition, e.g. `a -> b` becomes `a -> \n b` which imo looks horrible, is this what everyone uses? |
| 2021-03-18 16:15:57 | × | acidjnk_new quits (~acidjnk@p200300d0c72b959625b3d356e6f65619.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-18 16:16:14 | <merijn> | Shiranai: "no" |
| 2021-03-18 16:16:15 | <Lycurgus> | the topic of establishing good estimators is a well worked one in applied mathematics, statistics in particular |
| 2021-03-18 16:17:03 | <Lycurgus> | also if you are the one that was asking about symbolic math and complaining that hs/hackage just had interface packages |
| 2021-03-18 16:17:21 | <Lycurgus> | that's because hs is metamathematics oriented |
| 2021-03-18 16:17:33 | → | CoconutCrab joins (~Cua@unaffiliated/coconutcrab) |
| 2021-03-18 16:18:01 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-03-18 16:18:08 | <Lycurgus> | and mathematics in the sense of practical applied such as mathmematica does needs to be deferred to something actually doing practical mathematics |
| 2021-03-18 16:19:04 | <Lycurgus> | also actons text you can get a pdf off the web |
| 2021-03-18 16:19:13 | → | roconnor joins (~roconnor@host-45-58-230-226.dyn.295.ca) |
| 2021-03-18 16:19:38 | <Lycurgus> | it being a half century old may be a distraction |
| 2021-03-18 16:19:47 | × | CoconutCrab quits (~Cua@unaffiliated/coconutcrab) (Remote host closed the connection) |
| 2021-03-18 16:21:39 | → | Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-f429-7221-6ab1-0f3b.res6.spectrum.com) |
| 2021-03-18 16:23:10 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-ghtyiurdwpejnnhv) |
| 2021-03-18 16:24:56 | <__minoru__shirae> | and then there is a thing that you can choose any self-fulfilling prophecy |
| 2021-03-18 16:25:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-18 16:25:11 | <__minoru__shirae> | it doesn't matter which one you choose |
| 2021-03-18 16:25:43 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 3.0.1) |
| 2021-03-18 16:26:31 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2021-03-18 16:27:53 | hackage | haskeline 0.8.1.2 - A command-line interface for user input, written in Haskell. https://hackage.haskell.org/package/haskeline-0.8.1.2 (JudahJacobson) |
| 2021-03-18 16:28:06 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-18 16:28:11 | × | Lycurgus quits (~niemand@98.4.116.165) (Quit: Exeunt) |
| 2021-03-18 16:28:24 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-18 16:28:56 | → | frozenErebus joins (~frozenEre@94.128.81.163) |
| 2021-03-18 16:32:19 | <Shiranai> | merijin: what is everyone using then? How can I set that up? |
| 2021-03-18 16:32:55 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-18 16:33:21 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 246 seconds) |
| 2021-03-18 16:34:37 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-18 16:34:43 | × | Boomerang quits (~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0) (Ping timeout: 265 seconds) |
| 2021-03-18 16:38:14 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-18 16:38:33 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-18 16:38:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-18 16:39:23 | hackage | flatparse 0.1.1.1 - High-performance parsing from strict bytestrings https://hackage.haskell.org/package/flatparse-0.1.1.1 (AndrasKovacs) |
| 2021-03-18 16:40:01 | → | Boomerang joins (~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0) |
| 2021-03-18 16:42:04 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-18 16:42:40 | → | kritzefitz_ joins (~kritzefit@212.86.56.80) |
| 2021-03-18 16:42:44 | × | carlomagno quits (~cararell@148.87.23.7) (Ping timeout: 265 seconds) |
| 2021-03-18 16:42:54 | × | ixlun quits (~matthew@109.249.184.133) (Remote host closed the connection) |
| 2021-03-18 16:43:02 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 244 seconds) |
| 2021-03-18 16:43:31 | <pie_> | i feel like im studying haskell wrong or something |
| 2021-03-18 16:43:40 | → | carlomagno joins (~cararell@148.87.23.7) |
| 2021-03-18 16:43:52 | <pie_> | how do you end up with all these weird academic people giving youtube talks and writing articles that seem like they have a clue |
| 2021-03-18 16:43:58 | <pie_> | have i just not put enough time in? :P |
| 2021-03-18 16:44:17 | <pie_> | or do some people just pass the affinity barrier :p |
| 2021-03-18 16:44:50 | <pie_> | mostly unrelated, ive been really putting off learning any of this hype new AI stuff for years |
| 2021-03-18 16:44:53 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-ennflwnjlfvpdgyt) |
| 2021-03-18 16:45:00 | <tomsmeding> | Shiranai: there is no consensus, there are multiple formatters in use, and also people that don't use a formatter :p |
| 2021-03-18 16:45:02 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-18 16:45:05 | <pie_> | should I look at hasktorch or just stick to the python stuff? |
| 2021-03-18 16:46:37 | → | shad0w_ joins (a0ca254d@160.202.37.77) |
| 2021-03-18 16:46:53 | hackage | homotuple 0.2.0.0 - Homotuple, all whose elements are the same type https://hackage.haskell.org/package/homotuple-0.2.0.0 (kakkun61) |
| 2021-03-18 16:47:07 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-03-18 16:47:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-18 16:47:53 | hackage | persistent 2.11.0.4 - Type-safe, multi-backend data serialization. https://hackage.haskell.org/package/persistent-2.11.0.4 (parsonsmatt) |
| 2021-03-18 16:49:45 | × | specdrake quits (~anurag@203.192.236.225) (Ping timeout: 264 seconds) |
| 2021-03-18 16:51:00 | <koz_> | pie_: There are lots of perspectives on How to Haskell. |
| 2021-03-18 16:51:05 | <koz_> | It depends on what you wanna get done. |
| 2021-03-18 16:54:03 | × | asheshambasta quits (~user@ptr-e1lysav20kvw9mt8vlk.18120a2.ip6.access.telenet.be) (Ping timeout: 265 seconds) |
| 2021-03-18 16:55:01 | × | Boomerang quits (~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0) (Ping timeout: 265 seconds) |
| 2021-03-18 16:55:41 | → | specdrake joins (~anurag@203.192.236.225) |
| 2021-03-18 17:01:54 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-lvwisugjqkptqqrq) |
| 2021-03-18 17:03:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-18 17:06:04 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Remote host closed the connection) |
| 2021-03-18 17:06:43 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-03-18 17:07:12 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-18 17:07:13 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-18 17:08:02 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-18 17:10:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-18 17:13:11 | × | idhugo quits (~idhugo@80-62-116-180-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2021-03-18 17:14:19 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 2021-03-18 17:14:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-18 17:15:33 | → | redmp joins (~redmp@172.58.19.158) |
| 2021-03-18 17:15:53 | × | peanut_ quits (~peanut@2a02:8388:a101:2600:8bb2:874c:9ad6:7619) (Quit: Leaving) |
| 2021-03-18 17:16:23 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2021-03-18 17:16:38 | × | raichoo quits (~raichoo@dslb-084-062-113-170.084.062.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-03-18 17:19:12 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-18 17:19:14 | × | xff0x quits (~xff0x@2001:1a81:520b:5100:8fc8:83d7:6af3:caa3) (Ping timeout: 264 seconds) |
| 2021-03-18 17:19:46 | × | arianvp quits (~weechat@arianvp.me) (Quit: WeeChat 2.9) |
| 2021-03-18 17:20:04 | → | xff0x joins (~xff0x@2001:1a81:520b:5100:334b:8a6e:b179:1c97) |
| 2021-03-18 17:20:33 | → | arianvp joins (~weechat@arianvp.me) |
| 2021-03-18 17:22:47 | <monochrom> | https://ubikium.gitlab.io/portfolio/2021-03-13-wait-a-moment.html hahaha (from today's HWN) |
| 2021-03-18 17:24:00 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
All times are in UTC.