Logs: liberachat/#haskell
| 2021-08-21 11:51:30 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 11:51:55 | × | AndrewYu quits (~andrew@user/andrewyu) (Quit: Leaving) |
| 2021-08-21 11:57:21 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Ping timeout: 248 seconds) |
| 2021-08-21 11:58:28 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 250 seconds) |
| 2021-08-21 11:59:51 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-21 12:14:56 | × | p0lyph3m quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Read error: Connection reset by peer) |
| 2021-08-21 12:15:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-21 12:26:55 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-21 12:33:01 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:7c9d:d6d2:278b:44a9) |
| 2021-08-21 12:33:41 | AlexNoo_ | is now known as AlexNoo |
| 2021-08-21 12:37:17 | × | dipankar quits (~dipankar@50.35.187.85) (Quit: Connection closed) |
| 2021-08-21 12:37:21 | × | severen quits (~severen@202.36.179.72) (Ping timeout: 248 seconds) |
| 2021-08-21 12:38:01 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-21 12:38:05 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-21 12:39:50 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-21 12:41:56 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-21 12:45:16 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-21 12:45:40 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-21 12:47:07 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-21 12:47:12 | chris | is now known as Guest9404 |
| 2021-08-21 12:48:02 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-21 12:48:44 | → | leitz joins (~LeamHall@cpe-173-172-58-72.tx.res.rr.com) |
| 2021-08-21 12:49:39 | <leitz> | Sorry to bother, but is there a general "Functional Programming" IRC channel? I'm just learning, but not using a regular FP language. |
| 2021-08-21 12:51:51 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-21 12:53:17 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-21 12:54:55 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 12:59:20 | <tomsmeding> | not that I know of; if it's sufficiently functional, you may have luck just asking here, or perhaps on #haskell-offtopic depending on the exact question :) |
| 2021-08-21 13:08:49 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 13:09:06 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-21 13:10:37 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 13:12:52 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-08-21 13:14:56 | → | burnside_ joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 13:14:56 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-21 13:18:08 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 13:18:08 | × | burnside_ quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-21 13:18:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-21 13:18:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-21 13:22:04 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:7c9d:d6d2:278b:44a9) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-08-21 13:30:17 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-21 13:32:24 | → | goepsilongo joins (~goepsilon@2603-7000-ab00-62ed-0d8f-34df-93a6-03c1.res6.spectrum.com) |
| 2021-08-21 13:32:53 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-21 13:35:13 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-08-21 13:36:11 | × | alphabeta quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Quit: Quitting IRC :() |
| 2021-08-21 13:36:24 | → | alphabeta joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 2021-08-21 13:36:26 | × | alphabeta quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Client Quit) |
| 2021-08-21 13:36:44 | → | kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 2021-08-21 13:36:49 | × | tubogram quits (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2021-08-21 13:38:46 | → | tubogram joins (~tubogram@user/tubogram) |
| 2021-08-21 13:39:15 | <Lycurgus> | leitz, probably doesn't make sense since there are strongly contrasting notions of what constitutes FP |
| 2021-08-21 13:39:44 | <leitz> | tomsmeding, I'll ask over in offtopic, more a general thoughts thing. |
| 2021-08-21 13:39:55 | <Lycurgus> | from langs like haskell to commonlisp both of which have channels of those names |
| 2021-08-21 13:40:14 | <Lycurgus> | representing the ends of the spectrum |
| 2021-08-21 13:40:54 | <Lycurgus> | lisp is the old FP |
| 2021-08-21 13:41:07 | <Lycurgus> | the old notion |
| 2021-08-21 13:41:15 | <hsek[m]> | Where was the `cabal` proposal for Stackage intregration? Can't seem to find it |
| 2021-08-21 13:42:28 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2021-08-21 13:42:28 | × | keutoi quits (~keutoi@157.47.6.137) (Ping timeout: 268 seconds) |
| 2021-08-21 13:42:54 | <hsek[m]> | Ah I found it. https://github.com/haskell/cabal/issues/7556 |
| 2021-08-21 13:42:58 | <leitz> | Lycurgus, I'm studying "Grokking Simplicity" and it's giving me a lot of good ideas about how to code better using a functional programming mindset. |
| 2021-08-21 13:43:10 | <Lycurgus> | notions, partisans, and no unity |
| 2021-08-21 13:44:02 | <Lycurgus> | leitz, ah |
| 2021-08-21 13:44:03 | → | keutoi joins (~keutoi@106.208.52.196) |
| 2021-08-21 13:44:04 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 13:44:49 | <Lycurgus> | there is #lisp corresponding the old ##lisp at freenode, a distant match but prolly closest |
| 2021-08-21 13:48:32 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-21 13:48:54 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-21 13:50:46 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-21 13:52:52 | → | jess joins (~jess@libera/staff/jess) |
| 2021-08-21 13:55:40 | × | tubogram quits (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2021-08-21 13:56:05 | × | mcglk quits (~mcglk@131.191.49.120) (Read error: Connection timed out) |
| 2021-08-21 13:56:57 | → | mcglk joins (~mcglk@131.191.49.120) |
| 2021-08-21 13:57:57 | → | tubogram joins (~tubogram@user/tubogram) |
| 2021-08-21 13:58:50 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-21 14:00:31 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-21 14:01:08 | × | tubogram quits (~tubogram@user/tubogram) (Client Quit) |
| 2021-08-21 14:05:10 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-08-21 14:07:23 | → | tubogram joins (~tubogram@user/tubogram) |
| 2021-08-21 14:08:47 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Quit: Leaving) |
| 2021-08-21 14:09:06 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 14:09:52 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Ping timeout: 252 seconds) |
| 2021-08-21 14:14:19 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-21 14:14:39 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 14:15:00 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 14:15:51 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-21 14:17:34 | → | Guest96 joins (~Guest96@p1256008-ipoe.ipoe.ocn.ne.jp) |
| 2021-08-21 14:18:14 | × | Guest96 quits (~Guest96@p1256008-ipoe.ipoe.ocn.ne.jp) (Quit: Client closed) |
| 2021-08-21 14:19:18 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-21 14:19:45 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 14:20:19 | × | keutoi quits (~keutoi@106.208.52.196) (Ping timeout: 252 seconds) |
| 2021-08-21 14:20:45 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 14:27:28 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 14:27:31 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-21 14:29:31 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-21 14:30:21 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-21 14:31:17 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 14:32:00 | → | keutoi joins (~keutoi@106.208.52.196) |
| 2021-08-21 14:33:45 | → | burnside_ joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 14:33:46 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-21 14:36:01 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-08-21 14:36:16 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
All times are in UTC.