Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
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.