Logs on 2022-01-04 (liberachat/#haskell)
| 00:00:13 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 00:02:37 | × | deadmarshal quits (~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds) |
| 00:10:52 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 00:12:06 | → | alx741 joins (~alx741@157.100.93.160) |
| 00:12:51 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Remote host closed the connection) |
| 00:15:17 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 00:15:35 | → | ub joins (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 00:15:46 | × | ubert quits (~Thunderbi@p200300ecdf0994ceb42bd33431e7317f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 00:15:47 | ub | is now known as ubert |
| 00:16:48 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 00:23:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 00:29:09 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 00:33:10 | → | deech joins (~user@024-217-244-075.res.spectrum.com) |
| 00:34:39 | → | alx741 joins (~alx741@157.100.93.160) |
| 00:34:57 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:35:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:37:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 00:38:38 | <deech> | I'm trying to understand the NonEmpty instance for 'Comonad', I would have expected https://pastebin.com/Py36e1NM to print '(1 :| [2,3]) :| [(2 :| [3]), (3 :| [])]' but instead it prints '(1 :| []) :| []'. Why does it behave this way? |
| 00:39:27 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 00:39:27 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 00:39:32 | <Axman6> | % :t extend |
| 00:39:33 | <yahb> | Axman6: Comonad w => (w a -> b) -> w a -> w b |
| 00:39:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 00:39:58 | <Axman6> | % :t extend id |
| 00:39:58 | <yahb> | Axman6: Comonad w => w a -> w (w a) |
| 00:41:03 | <Axman6> | that does feel odd to me too, but comonads are something I only have a very basic understanding of |
| 00:41:52 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 00:42:04 | <deech> | Based on my reading of the instance I don't understand the output unless it's the result of laziness:https://github.com/ekmett/comonad/blob/main/src/Control/Comonad.hs#L193-L200. |
| 00:42:09 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 00:42:26 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:42:26 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:42:26 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:44:13 | <Axman6> | looks to me like the fist element should indeed be f applied to the whole input... |
| 00:45:27 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 00:45:37 | <deech> | Oh wait, what the hell, the GHCI repl from Emacs prints '(1 :| []) :| []' but actually running the executable prints what I expect. |
| 00:46:14 | <deech> | It was repl session from Emacs. Sorry. I thought I was going nuts. |
| 00:46:16 | <Axman6> | D: |
| 00:48:07 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 00:48:32 | → | arguapacha joins (~arguapach@2800:484:718f:978a:e548:6783:11de:86cc) |
| 00:48:35 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 00:50:07 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 00:51:58 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 00:52:29 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:55:34 | → | alx741 joins (~alx741@157.100.93.160) |
| 00:57:13 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 00:58:11 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:59:49 | × | jgeerds quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds) |
| 00:59:49 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 01:00:17 | × | arguapacha quits (~arguapach@2800:484:718f:978a:e548:6783:11de:86cc) (Ping timeout: 256 seconds) |
| 01:00:37 | ← | deech parts (~user@024-217-244-075.res.spectrum.com) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 01:02:28 | × | burnsidesLlama quits (~burnsides@dhcp168-013.wadham.ox.ac.uk) (Remote host closed the connection) |
| 01:03:00 | → | burnsidesLlama joins (~burnsides@client-8-64.eduroam.oxuni.org.uk) |
| 01:06:57 | × | burnsidesLlama quits (~burnsides@client-8-64.eduroam.oxuni.org.uk) (Ping timeout: 240 seconds) |
| 01:07:54 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:08:57 | × | Tuplanolla quits (~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:16:28 | × | sub0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Error)) |
| 01:16:58 | → | sub0 joins (~bc8147f2@cerf.good1.com) |
| 01:18:07 | → | alx741 joins (~alx741@157.100.93.160) |
| 01:20:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:21:37 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 01:21:49 | → | arguapacha joins (~arguapach@2800:484:718f:978a:e548:6783:11de:86cc) |
| 01:26:03 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:27:35 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:28:14 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:28:37 | → | Everything joins (~Everythin@37.115.210.35) |
| 01:31:02 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 01:31:35 | × | sub0 quits (~bc8147f2@cerf.good1.com) (Ping timeout: 256 seconds) |
| 01:32:25 | → | biberu joins (~biberu@user/biberu) |
| 01:33:17 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 01:33:47 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 01:34:25 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:35:59 | <albet70> | how to use 'ask' without do notation? ask >>= \a -> doSome >>= \r -> visit-a-here? |
| 01:36:21 | <monochrom> | Yes, you can use >>= |
| 01:36:41 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 01:36:44 | <monochrom> | In some cases you can use fmap and <*> |
| 01:38:57 | <albet70> | Reader with fmap is function compose? |
| 01:39:32 | <monochrom> | Yes. |
| 01:44:26 | <albet70> | :t traverse Right [1..3] |
| 01:44:27 | <lambdabot> | (Num b, Enum b) => Either a [b] |
| 01:44:41 | <albet70> | :t print [1..3] |
| 01:44:42 | <lambdabot> | IO () |
| 01:45:06 | <albet70> | :t traverse print [1..3] |
| 01:45:07 | <lambdabot> | IO [()] |
| 01:46:47 | <albet70> | is State (,s) a function like Right? |
| 01:48:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 01:49:17 | <albet70> | :t traverse (\a -> State $ \s -> (a, s)) [1..3] |
| 01:49:18 | <lambdabot> | error: |
| 01:49:18 | <lambdabot> | • Data constructor not in scope: State :: (b0 -> (a0, b0)) -> f b |
| 01:49:18 | <lambdabot> | • Perhaps you meant one of these: |
| 01:50:54 | → | Jing joins (~hedgehog@2604:a840:3::1013) |
| 01:51:34 | → | alx741 joins (~alx741@157.100.93.160) |
| 01:52:19 | → | vysn joins (~vysn@user/vysn) |
| 01:56:24 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 01:57:21 | × | ircs quits (~ircs@2-111-85-72-cable.dk.customer.tdc.net) (Excess Flood) |
| 02:02:35 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 02:12:30 | → | alx741 joins (~alx741@157.100.93.160) |
| 02:16:20 | × | hughjfchen[m] quits (~hughjfche@2001:470:69fc:105::c29d) (Quit: Client limit exceeded: 20000) |
| 02:18:26 | × | arguapacha quits (~arguapach@2800:484:718f:978a:e548:6783:11de:86cc) (Quit: Client closed) |
| 02:19:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:19:32 | → | califax- joins (~califax@user/califx) |
| 02:22:19 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 02:24:12 | × | califax quits (~califax@user/califx) (Ping timeout: 276 seconds) |
| 02:24:13 | califax- | is now known as califax |
| 02:25:57 | × | shapr quits (~user@2601:7c0:c202:5190:89bb:1594:f7ec:a46b) (Ping timeout: 240 seconds) |
| 02:29:19 | × | ouestbillie quits (~gallup@192-222-138-215.qc.cable.ebox.net) (Quit: leaving) |
| 02:29:20 | × | lavaman quits (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 02:29:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:31:26 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 02:33:57 | → | neurocyte0 joins (~neurocyte@IP-185117068011.dynamic.medianet-world.de) |
| 02:33:57 | × | neurocyte0 quits (~neurocyte@IP-185117068011.dynamic.medianet-world.de) (Changing host) |
| 02:33:57 | → | neurocyte0 joins (~neurocyte@user/neurocyte) |
| 02:35:57 | × | neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 02:35:57 | neurocyte0 | is now known as neurocyte |
| 02:38:17 | × | xff0x quits (~xff0x@2001:1a81:5370:9b00:6eaf:9722:88af:e2d) (Ping timeout: 240 seconds) |
| 02:40:02 | → | alx741 joins (~alx741@157.100.93.160) |
| 02:40:18 | → | xff0x joins (~xff0x@2001:1a81:53aa:f200:7041:55bb:f7f3:1cad) |
| 02:43:59 | → | shapr joins (~user@2601:7c0:c202:5190:5905:8cbb:2341:982a) |
| 02:48:03 | → | evocatus joins (~evocatus@62.182.77.224) |
| 02:49:33 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 02:51:55 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 256 seconds) |
| 02:53:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 02:56:03 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 03:02:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:05:25 | → | TonyStone joins (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) |
| 03:06:13 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 03:07:34 | → | alx741 joins (~alx741@157.100.93.160) |
| 03:12:17 | × | shapr quits (~user@2601:7c0:c202:5190:5905:8cbb:2341:982a) (Ping timeout: 240 seconds) |
| 03:12:17 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 03:12:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:21:37 | <dsal> | > execState (traverse_ (id += ) [3..9]) 11 |
| 03:21:39 | <lambdabot> | 53 |
| 03:21:50 | → | hughjfchen[m] joins (~hughjfche@2001:470:69fc:105::c29d) |
| 03:22:28 | <Axman6> | Feels like an "Evolution of a Haskell programmer" example |
| 03:22:55 | <Axman6> | "A programmer who has learnt Lens and now can't program without it" |
| 03:24:57 | <dsal> | There's no other way to add numbers. |
| 03:25:17 | ezzieygu1wuf | is now known as ezzieyguywuf |
| 03:26:51 | <Axman6> | Agreed |
| 03:27:15 | <glguy> | > 11 &~ traverse_ (id += ) [3..9] |
| 03:27:16 | <lambdabot> | 53 |
| 03:27:31 | <jackdk> | feels like our version of https://i.stack.imgur.com/ssRUr.gif |
| 03:27:42 | → | shapr joins (~user@2601:7c0:c202:5190:d78e:10a2:46da:9a22) |
| 03:28:07 | <EvanR> | alternatively this is like the witcher using magic to turn off candles |
| 03:28:30 | → | alx741 joins (~alx741@157.100.93.160) |
| 03:29:11 | <Axman6> | ... is lens out jQuery? |
| 03:29:14 | <Axman6> | our* |
| 03:29:22 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:29:25 | <EvanR> | oof |
| 03:29:32 | <Axman6> | big oof |
| 03:30:00 | <monochrom> | jQuery is a kind of DOM lens so yeah >:) |
| 03:33:10 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 03:33:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 03:36:37 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 03:39:46 | → | mbuf joins (~Shakthi@122.173.251.205) |
| 03:39:56 | → | notzmv joins (~zmv@user/notzmv) |
| 03:41:22 | ChanServ | sets topic to "https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell" |
| 03:41:44 | <glguy> | I suspect the aoc leaderboard won't be needed for another few months |
| 03:42:41 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 03:43:55 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 03:50:37 | × | td_ quits (~td@94.134.91.188) (Ping timeout: 240 seconds) |
| 03:51:02 | → | alx741 joins (~alx741@157.100.93.160) |
| 03:52:42 | → | td_ joins (~td@94.134.91.122) |
| 03:58:20 | → | Topsi joins (~Tobias@dyndsl-095-033-025-152.ewe-ip-backbone.de) |
| 04:00:36 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 04:01:04 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:02:02 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 04:06:37 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 04:10:34 | → | juliusdeane joins (~user@097-086-004-112.res.spectrum.com) |
| 04:11:13 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:11:13 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:11:13 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:11:53 | <juliusdeane> | since there are algebraic data types, is it possible to have "rational data types" that are shaped (to some extent) like rational numbers? |
| 04:12:57 | × | jespada quits (~jespada@87.74.32.18) (Ping timeout: 240 seconds) |
| 04:16:16 | → | jespada joins (~jespada@87.74.32.18) |
| 04:16:16 | <EvanR> | division was described by euclid like for any numbers a and b, there exists q and r < b such that a = b*q + r |
| 04:16:43 | × | evocatus quits (~evocatus@62.182.77.224) (Quit: Leaving) |
| 04:16:47 | <EvanR> | a b q r could be types |
| 04:18:07 | <EvanR> | s/euclid/my college math professor/ |
| 04:18:54 | <juliusdeane> | ah right |
| 04:20:48 | <juliusdeane> | I'm having trouble finding literature on the idea since Rational is already a type |
| 04:20:48 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 04:21:10 | <juliusdeane> | the concept doesn't lend itself to {duckduckgo,yandex,etc}-ing |
| 04:21:36 | <EvanR> | well if that doesn't inspire you, try searching for negative types. Might be interesting |
| 04:24:50 | <glguy> | IEEE754 types are a mess |
| 04:30:30 | → | Inst joins (~delicacie@2601:6c4:4080:3f80:59d1:5a5a:e7af:901f) |
| 04:30:32 | <Inst> | hai guys |
| 04:31:15 | <Inst> | is it me or is the pseudo-imperative component of haskell terrible? |
| 04:31:24 | <Inst> | or is that just because it's pseudo-imperative? |
| 04:32:01 | <c_wraith> | I haven't experienced that. |
| 04:32:58 | <glguy> | The imperative stuff is pretty great, but it's a hassle to use mutable references, at least |
| 04:35:52 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 04:36:02 | <glguy> | Inst: what're you having trouble with? |
| 04:36:10 | <Inst> | tbh coding with types |
| 04:36:24 | <Inst> | and the idea that i know do syntax simplifies to lambdas with bind |
| 04:36:37 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 04:37:19 | <Inst> | thing is, I'm abusing TinyFileDialogs, which returns IO (Maybe [Text]) |
| 04:37:41 | <Inst> | I'm trying to create teaching libraries (and I'm a very elementary learner myself) |
| 04:38:05 | <Inst> | so that students of courses that use the teaching lib can, well, use a graphical UI to create a string for System.IO to hook onto |
| 04:38:35 | → | alx741 joins (~alx741@157.100.93.160) |
| 04:42:19 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 04:42:46 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 04:42:46 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 04:47:36 | → | deadmarshal joins (~deadmarsh@95.38.231.228) |
| 04:48:53 | <dsal> | negative types sounds like something someone would've written an anti-thesis on. |
| 04:49:16 | <EvanR> | oof |
| 04:49:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:59:57 | × | vglfr quits (~vglfr@46.96.180.119) (Ping timeout: 240 seconds) |
| 05:01:07 | → | alx741 joins (~alx741@157.100.93.160) |
| 05:07:00 | → | eflister joins (~eflister@2601:1c0:5501:c150:d880:e0df:1ff6:5ab1) |
| 05:07:05 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 05:09:47 | → | Topsi1 joins (~Tobias@dyndsl-095-033-017-111.ewe-ip-backbone.de) |
| 05:10:53 | × | Topsi quits (~Tobias@dyndsl-095-033-025-152.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
| 05:12:54 | × | juliusdeane quits (~user@097-086-004-112.res.spectrum.com) (Remote host closed the connection) |
| 05:13:17 | × | shapr quits (~user@2601:7c0:c202:5190:d78e:10a2:46da:9a22) (Ping timeout: 240 seconds) |
| 05:13:50 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 05:23:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 05:29:46 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 05:29:55 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 05:31:37 | → | alx741 joins (~alx741@157.100.93.160) |
| 05:31:44 | → | vglfr joins (~vglfr@46.96.180.119) |
| 05:34:42 | × | eflister quits (~eflister@2601:1c0:5501:c150:d880:e0df:1ff6:5ab1) (Quit: Client closed) |
| 05:35:12 | → | eltonpinto joins (~1ntEgr8@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) |
| 05:36:23 | → | ircs joins (~ircs@2-111-85-72-cable.dk.customer.tdc.net) |
| 05:40:18 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 260 seconds) |
| 05:42:39 | <Axman6> | Inst: not sure I understand the problem you're having |
| 05:44:38 | → | zebrag joins (~chris@user/zebrag) |
| 05:46:53 | <Inst> | it's mostly my problem |
| 05:46:57 | <Inst> | do syntax looks imperative, but it's not |
| 05:47:08 | <Inst> | it's a hack of Haskell's functional system to get IO to be evaluated in an orderly fashion |
| 05:47:29 | <Inst> | actual problems I'm having? HLS doesn't work for me, for some reason, but I'm running 9.2.1 and 9.2.1 is unsupported |
| 05:48:12 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:51:48 | <EvanR> | imperative may just be a way of thinking rather than concrete syntax or mechanism |
| 05:52:17 | <glguy> | Inst: 'ghcup tui' will show you which versions of GHC are "hls-powered" |
| 05:53:00 | × | eltonpinto quits (~1ntEgr8@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) (Quit: WeeChat 3.3) |
| 05:53:06 | <EvanR> | http://conal.net/blog/posts/the-c-language-is-purely-functional |
| 05:53:25 | → | eltonpinto joins (~1ntEgr8@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) |
| 05:53:46 | × | eltonpinto quits (~1ntEgr8@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) (Client Quit) |
| 05:53:54 | × | sirlensalot quits (~sirlensal@ool-44c5f8c9.dyn.optonline.net) (Quit: sirlensalot) |
| 05:55:54 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 05:56:07 | → | jinsun__ joins (~quassel@user/jinsun) |
| 05:57:13 | × | jinsun quits (~quassel@user/jinsun) (Ping timeout: 256 seconds) |
| 05:57:45 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 06:02:04 | → | eltonpinto joins (~user@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) |
| 06:02:17 | <dsal> | Inst: I use do outside of IO more than within in IO, I think. |
| 06:03:45 | <Axman6> | just use GHC 9.0 |
| 06:04:15 | <Axman6> | and yeahI feel like I pretty rarely use do notation for IO stuff, it's always other things which eventually get run in IO, and that mark is usually very small |
| 06:04:36 | <Axman6> | do notation isn't a hack at all |
| 06:04:43 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 06:05:43 | × | perro_ quits (~perro@072-191-245-069.res.spectrum.com) (Ping timeout: 256 seconds) |
| 06:07:33 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 06:12:34 | → | alx741 joins (~alx741@157.100.93.160) |
| 06:15:44 | <jackdk> | desugar some `do`-notation by hand to understand what it's doing and it will feel like less of a hack. The `IO` type is principled. |
| 06:15:46 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 06:15:46 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 06:15:46 | → | wroathe joins (~wroathe@user/wroathe) |
| 06:16:04 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 06:20:35 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 06:20:57 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 06:26:14 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 06:26:14 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 06:26:14 | → | wroathe joins (~wroathe@user/wroathe) |
| 06:28:11 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 06:28:28 | → | eflister joins (~eflister@2601:1c0:5501:c150:1dc0:83db:cfd6:87b1) |
| 06:29:48 | → | perro_ joins (~perro@072-191-245-069.res.spectrum.com) |
| 06:30:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 06:30:57 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 06:31:26 | × | Jing quits (~hedgehog@2604:a840:3::1013) (Remote host closed the connection) |
| 06:31:38 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 06:32:17 | → | Jing joins (~hedgehog@2604:a840:3::1013) |
| 06:32:37 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 06:40:51 | × | xlei_ quits (~akans@pool-68-129-84-118.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 06:48:59 | → | alx741 joins (~alx741@157.100.93.160) |
| 06:50:00 | → | xlei joins (~akans@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 06:52:57 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 06:54:07 | × | eflister quits (~eflister@2601:1c0:5501:c150:1dc0:83db:cfd6:87b1) (Quit: Client closed) |
| 06:54:26 | → | jinsun joins (~quassel@user/jinsun) |
| 06:57:57 | × | jinsun__ quits (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 07:11:30 | → | alx741 joins (~alx741@157.100.93.160) |
| 07:12:29 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 07:13:13 | → | Jing_ joins (~hedgehog@2604:a840:3::103c) |
| 07:16:17 | × | Jing quits (~hedgehog@2604:a840:3::1013) (Ping timeout: 240 seconds) |
| 07:16:55 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 07:20:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:22:04 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:565f:ad85:4465:1aea) |
| 07:24:37 | × | polyphem_ quits (~rod@2a02:810d:640:776c:e450:3ca3:b389:687a) (Ping timeout: 240 seconds) |
| 07:26:30 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 07:30:58 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 07:31:15 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 07:34:57 | → | alx741 joins (~alx741@157.100.93.160) |
| 07:40:51 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 250 seconds) |
| 07:40:59 | → | `2jt joins (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
| 07:44:50 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 07:47:08 | × | carbolymer quits (~carbolyme@dropacid.net) (Remote host closed the connection) |
| 07:49:01 | × | Jing_ quits (~hedgehog@2604:a840:3::103c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:49:53 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:51:58 | × | oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Quit: Client limit exceeded: 20000) |
| 07:54:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 07:55:32 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 07:57:37 | × | Topsi1 quits (~Tobias@dyndsl-095-033-017-111.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 07:59:21 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:02:29 | → | alx741 joins (~alx741@157.100.93.160) |
| 08:07:11 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 08:15:29 | × | deadmarshal quits (~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds) |
| 08:17:31 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.3) |
| 08:25:00 | → | alx741 joins (~alx741@157.100.93.160) |
| 08:27:01 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 08:27:01 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 08:27:01 | → | wroathe joins (~wroathe@user/wroathe) |
| 08:28:17 | → | chele joins (~chele@user/chele) |
| 08:28:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:28:59 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 08:29:34 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 08:30:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:30:41 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:31:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 08:34:25 | <Inst> | jackdk: thanks, I'm playing around with main written through >>= now |
| 08:34:41 | → | oak- joins (~oakuniver@2001:470:69fc:105::fcd) |
| 08:35:35 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 08:38:10 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer) |
| 08:41:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:41:15 | → | nhatanh02 joins (~satori@123.24.172.30) |
| 08:41:38 | → | carbolymer joins (~carbolyme@dropacid.net) |
| 08:42:41 | → | polyphem_ joins (~rod@2a02:810d:640:776c:e450:3ca3:b389:687a) |
| 08:45:56 | → | deadmarshal joins (~deadmarsh@95.38.231.228) |
| 08:47:32 | → | alx741 joins (~alx741@157.100.93.160) |
| 08:47:33 | × | xff0x quits (~xff0x@2001:1a81:53aa:f200:7041:55bb:f7f3:1cad) (Ping timeout: 268 seconds) |
| 08:47:41 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 08:47:59 | → | xff0x joins (~xff0x@port-92-193-205-203.dynamic.as20676.net) |
| 08:52:00 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 08:53:14 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 08:54:11 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 08:55:07 | × | juhp quits (~juhp@128.106.188.82) (Quit: juhp) |
| 08:55:21 | → | juhp joins (~juhp@128.106.188.82) |
| 08:55:54 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 08:56:17 | → | sub0 joins (~bc8147f2@cerf.good1.com) |
| 08:57:57 | <sub0> | do isn't an IO related hack, it works with any Monad type. any hack, or the lack of, is part of the IO type, not do/monads |
| 08:58:37 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 09:00:06 | × | JoelMcCracken[m] quits (~joelmccra@2001:470:69fc:105::8405) (Quit: You have been kicked for being idle) |
| 09:00:17 | × | shiraeeshi[m] quits (~shiraeesh@2001:470:69fc:105::1:77) (Quit: You have been kicked for being idle) |
| 09:01:18 | → | ubert1 joins (~Thunderbi@p200300ecdf0994fb99997fbb5ee8cccd.dip0.t-ipconnect.de) |
| 09:04:39 | → | acidjnk_new joins (~acidjnk@p200300d0c7271e27bde81efbb353a94d.dip0.t-ipconnect.de) |
| 09:04:39 | → | acidjnk joins (~acidjnk@p200300d0c7271e27bde81efbb353a94d.dip0.t-ipconnect.de) |
| 09:05:21 | × | `2jt quits (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 09:05:35 | × | ubert1 quits (~Thunderbi@p200300ecdf0994fb99997fbb5ee8cccd.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 09:05:43 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 09:06:07 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 09:07:02 | → | paolino joins (~paolo@5.157.115.53) |
| 09:07:28 | → | `2jt joins (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
| 09:08:05 | × | ubert quits (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 09:10:58 | → | alx741 joins (~alx741@157.100.93.160) |
| 09:11:19 | <paolino> | hello, I spent some time trying to generalize SafeT with any t that have the same interface, as ResourceT. It is mostly for me to understand better MonadBaseControl. |
| 09:11:32 | <paolino> | the code is here https://gitlab.com/-/snippets/2229415 |
| 09:13:33 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:14:22 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 09:15:39 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 09:17:52 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 09:17:52 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 09:17:55 | allbery_b | is now known as geekosaur |
| 09:20:07 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 09:21:21 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:21:58 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 09:23:53 | <paolino> | I forgot to mention I failed in generalizing so, if anyone has an idea on how to do it it would be really helpful |
| 09:25:53 | → | eflister joins (~eflister@2601:1c0:5501:c150:1dc0:83db:cfd6:87b1) |
| 09:27:01 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 09:31:54 | → | alx741 joins (~alx741@157.100.93.160) |
| 09:32:49 | × | the_proffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 09:33:05 | → | the_proffesor joins (~theproffe@2601:282:847f:8010::85ac) |
| 09:33:05 | × | the_proffesor quits (~theproffe@2601:282:847f:8010::85ac) (Changing host) |
| 09:33:05 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 09:33:05 | <merijn> | paolino: Pretty sure you can't |
| 09:33:44 | <merijn> | ResourceT doesn't really allow for the kinda bracketing that MonadBaseControl does |
| 09:35:37 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 09:37:18 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:41:38 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:42:49 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 09:42:49 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 09:42:49 | → | wroathe joins (~wroathe@user/wroathe) |
| 09:44:42 | → | vpan joins (~0@212.117.1.172) |
| 09:46:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 09:47:29 | → | kaph_ joins (~kaph@net-2-38-107-19.cust.vodafonedsl.it) |
| 09:47:51 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 09:48:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 09:49:37 | × | kaph quits (~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 09:51:56 | → | alx741 joins (~alx741@157.100.93.160) |
| 09:55:25 | × | acidjnk_new quits (~acidjnk@p200300d0c7271e27bde81efbb353a94d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 09:55:25 | × | acidjnk quits (~acidjnk@p200300d0c7271e27bde81efbb353a94d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 09:55:48 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 09:58:49 | → | max22- joins (~maxime@2a01cb08833598007b80c254ccee1146.ipv6.abo.wanadoo.fr) |
| 09:59:33 | → | jgeerds joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 10:03:11 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:3a3d:dd63:4712:76f8) |
| 10:05:03 | → | jgeerds_ joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 10:06:36 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 10:07:25 | × | jgeerds quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds) |
| 10:08:40 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 10:09:15 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 10:10:01 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 10:11:58 | → | alx741 joins (~alx741@157.100.93.160) |
| 10:13:55 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 10:14:29 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 10:17:34 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 10:20:21 | → | xkuru joins (~xkuru@user/xkuru) |
| 10:22:26 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:28:47 | × | kaph_ quits (~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 10:28:49 | × | sub0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 10:29:26 | → | sub0 joins (~bc8147f2@cerf.good1.com) |
| 10:29:56 | × | ph88 quits (~ph88@2a02:8109:9e00:71d0::7e04) (Ping timeout: 268 seconds) |
| 10:30:35 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:31:08 | × | coolnickname quits (uid531864@user/coolnickname) (Quit: Connection closed for inactivity) |
| 10:31:17 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 10:31:52 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:35:24 | → | alx741 joins (~alx741@157.100.93.160) |
| 10:36:43 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 10:39:57 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 10:44:01 | → | d0ku joins (~d0ku@178.43.48.143.ipv4.supernova.orange.pl) |
| 10:44:22 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 10:44:22 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 10:44:22 | → | wroathe joins (~wroathe@user/wroathe) |
| 10:45:50 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 10:48:37 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 256 seconds) |
| 10:49:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 10:52:27 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 10:52:33 | → | biog joins (~user1@159.224.42.85) |
| 10:53:50 | → | kaph joins (~kaph@net-2-38-107-19.cust.vodafonedsl.it) |
| 10:55:54 | × | eflister quits (~eflister@2601:1c0:5501:c150:1dc0:83db:cfd6:87b1) (Quit: Client closed) |
| 10:57:54 | → | alx741 joins (~alx741@157.100.93.160) |
| 11:00:17 | × | max22- quits (~maxime@2a01cb08833598007b80c254ccee1146.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:00:37 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 11:01:08 | → | max22- joins (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 11:01:22 | → | mikoto-chan joins (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 11:02:28 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 11:10:21 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 11:11:17 | × | vpan quits (~0@212.117.1.172) (Ping timeout: 256 seconds) |
| 11:11:48 | → | jtomas joins (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
| 11:12:48 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 11:14:48 | × | jtomas quits (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Client Quit) |
| 11:18:38 | → | kuribas joins (~user@ptr-25vy0i9qul7prltgy9z.18120a2.ip6.access.telenet.be) |
| 11:18:57 | × | vglfr quits (~vglfr@46.96.180.119) (Ping timeout: 240 seconds) |
| 11:20:27 | → | alx741 joins (~alx741@157.100.93.160) |
| 11:25:07 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 11:25:07 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 11:25:39 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 11:29:51 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 11:30:46 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:33:34 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 11:35:43 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 250 seconds) |
| 11:37:04 | → | __monty__ joins (~toonn@user/toonn) |
| 11:41:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:41:23 | → | alx741 joins (~alx741@157.100.93.160) |
| 11:43:46 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:45:39 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 11:45:43 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 11:46:58 | → | antony joins (~The_viole@203.77.49.232) |
| 11:47:52 | <mjrosenb> | the hash function provided by hashable... can I expect those hashes to not change from one run to the next? |
| 11:47:57 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 11:48:13 | → | Jing joins (~hedgehog@2604:a840:3::103c) |
| 11:48:44 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 11:51:57 | × | antony quits (~The_viole@203.77.49.232) (Ping timeout: 240 seconds) |
| 11:51:57 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 240 seconds) |
| 11:52:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 11:53:01 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 11:53:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:54:02 | → | vglfr joins (~vglfr@46.96.180.119) |
| 11:56:13 | × | d0ku quits (~d0ku@178.43.48.143.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 11:58:22 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 11:58:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 11:59:10 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 11:59:10 | → | antony joins (~The_viole@203.77.49.232) |
| 11:59:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:59:27 | <kuribas> | mjrosenb: yes |
| 11:59:34 | × | SummerSonw quits (~The_viole@203.77.49.232) (Client Quit) |
| 12:03:56 | → | alx741 joins (~alx741@157.100.93.160) |
| 12:04:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 12:04:35 | <mjrosenb> | good. |
| 12:05:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:05:08 | <mjrosenb> | "Randomly initialize the initial seed on each final executable invocation This is useful for catching cases when you rely on (non-existent) stability of hashable's hash functions. This is not a security feature." that comment scared me. |
| 12:07:45 | <byorgey> | mjrosenb: I think it depends on how much of a guarantee you need that the hashes will not change. For example, I don't think you can rely on them to not change if you compile with a new version of hashable. |
| 12:08:17 | <byorgey> | mjrosenb: but if you run the same executable multiple times without recompiling in between (and you don't use that flag) the hashes won't change. |
| 12:08:46 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 12:10:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 12:10:28 | <byorgey> | I think that comment just means that hash stability is not a formal guarantee made by the library. They are stable in practice, but if you really need a guarantee of long-term stability (e.g. if you are using hash values as keys in some sort of long-term file storage) then you need to look elsewhere. |
| 12:10:28 | <kuribas> | mjrosenb: I believe that flag is only for testing. |
| 12:10:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:15:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 12:16:16 | <mjrosenb> | hrm, I may need to look elsewhere. |
| 12:16:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:17:08 | <mjrosenb> | I'm planning on using it as part of a game, and changing the hash values will change the behavior of the game. |
| 12:17:51 | × | antony quits (~The_viole@203.77.49.232) (Quit: Leaving) |
| 12:18:23 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 12:20:07 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 12:20:07 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 12:20:07 | → | wroathe joins (~wroathe@user/wroathe) |
| 12:20:54 | <mjrosenb> | I kind of suspect this means I'm going to have to implement my own hash algorithm using hashable's interface |
| 12:21:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 12:21:35 | <mjrosenb> | I've suspected for a while that I was going to need to roll my own rng if I didn't want the levels to change over time |
| 12:21:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:22:03 | → | coolnickname joins (uid531864@user/coolnickname) |
| 12:22:04 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.3) |
| 12:24:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 12:25:19 | → | mmhat joins (~mmh@55d49f73.access.ecotel.net) |
| 12:26:27 | → | alx741 joins (~alx741@157.100.93.160) |
| 12:26:40 | <kuribas> | mjrosenb: use System.Random then? |
| 12:27:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 12:27:06 | <kuribas> | Also, hashable only changes behaviour of you set the flag. |
| 12:27:10 | <kuribas> | Which is off by default. |
| 12:27:28 | <kuribas> | It's also supposed to be off. |
| 12:27:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:28:27 | <mjrosenb> | kuribas: yes, but if the library doesn't guarantee that the hashes won't change from one version to the next, then I can't really use it. |
| 12:28:33 | <mjrosenb> | same thing for System.Random. |
| 12:29:04 | <kuribas> | yes, in that case, pick an algorithm. |
| 12:29:10 | <kuribas> | To be on the safe side. |
| 12:32:44 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 12:33:17 | × | nhatanh02 quits (~satori@123.24.172.30) (Ping timeout: 240 seconds) |
| 12:33:57 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:46f:eb54:3eb6:1199) (Ping timeout: 240 seconds) |
| 12:34:53 | → | neightchan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 12:35:55 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 12:36:09 | × | natechan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 12:36:58 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:40:57 | × | jgeerds_ quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 250 seconds) |
| 12:44:20 | → | nhatanh02 joins (~satori@123.24.172.30) |
| 12:45:05 | <byorgey> | mjrosenb: agreed, if I were you I would roll my own. If you look through the changelog for hashable (https://hackage.haskell.org/package/hashable-1.4.0.1/changelog) you can see many instances of the Hashable instance behavior changing for various types. |
| 12:45:06 | → | thevishy joins (~Nishant@2405:201:f005:c007:3c5f:229d:dc3f:da32) |
| 12:49:48 | × | bliminse quits (~bliminse@host86-186-17-7.range86-186.btcentralplus.com) (Quit: leaving) |
| 12:50:10 | → | xb0o2 joins (~xb0o2@user/xb0o2) |
| 12:54:00 | → | alx741 joins (~alx741@157.100.93.160) |
| 12:55:25 | <merijn> | I would never trust the Hashable instances if I had any *specific* needs/requirements, tbh |
| 12:58:49 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 12:59:28 | → | alx741 joins (~alx741@157.100.93.160) |
| 13:03:23 | → | shapr joins (~user@2601:7c0:c202:5190:a5bb:d132:cd17:78cc) |
| 13:03:49 | × | max22- quits (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 13:03:55 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 13:04:26 | → | meer joins (~delicacie@2601:6c4:4080:3f80:f131:ad94:e07f:dfdd) |
| 13:04:37 | × | Inst quits (~delicacie@2601:6c4:4080:3f80:59d1:5a5a:e7af:901f) (Ping timeout: 240 seconds) |
| 13:09:01 | × | nhatanh02 quits (~satori@123.24.172.30) (Ping timeout: 256 seconds) |
| 13:10:20 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 13:11:03 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 13:11:53 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 13:12:05 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 13:13:07 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 13:13:11 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: -now) |
| 13:14:13 | → | bliminse joins (~bliminse@host86-186-17-7.range86-186.btcentralplus.com) |
| 13:15:15 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 13:17:49 | → | CiaoSen joins (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 13:22:15 | × | vgtw quits (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Quit: ZNC - https://znc.in) |
| 13:23:14 | → | vgtw joins (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) |
| 13:28:19 | × | vgtw quits (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Quit: ZNC - https://znc.in) |
| 13:30:56 | <pragma-> | Isn't that a weird argument given how Haskell's internals are constantly changing anyway? |
| 13:31:03 | → | alx741 joins (~alx741@157.100.93.160) |
| 13:31:09 | → | jgeerds_ joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 13:31:57 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 13:32:08 | <pragma-> | I hear stories often about how a program's runtime characteristics change significantly from one minor ghc version to the next. |
| 13:32:34 | <mjrosenb> | runtime characteristics, sure... but the actual observable behavior? |
| 13:32:56 | <pragma-> | Oh. |
| 13:33:02 | → | zaquest joins (~notzaques@5.130.79.72) |
| 13:33:05 | [exa] | observes time |
| 13:34:09 | → | ouestbillie joins (~gallup@192-222-138-215.qc.cable.ebox.net) |
| 13:35:52 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 13:36:21 | → | ph88 joins (~ph88@2a02:8109:9e00:71d0::7e04) |
| 13:37:17 | hpc | uses acme-now, observes that time never changes |
| 13:38:32 | → | vgtw joins (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) |
| 13:39:33 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 13:41:52 | <merijn> | pragma-: Hashable does not guarantee, nor provide, any guarantees on "what kinda hash" it produces. It's good enough for stuff like the "program duration"-lifetimes for unordered-containers (although I recall even some pitfalls for that...) |
| 13:42:20 | <merijn> | pragma-: As opposed to "I hashed this with SHA256 and therefore can rely on SHA256 always getting the same hash in the future" |
| 13:45:39 | <pragma-> | I see. |
| 13:45:59 | → | yauhsien joins (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) |
| 13:50:13 | × | octeep[m] quits (~octeepoct@2001:470:69fc:105::1:3dbf) (Ping timeout: 240 seconds) |
| 13:50:13 | × | schuelermine[m] quits (~schuelerm@user/schuelermine) (Ping timeout: 240 seconds) |
| 13:50:13 | × | InternetManaging quits (~imjmatrix@2001:470:69fc:105::1:2ea5) (Ping timeout: 240 seconds) |
| 13:50:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 13:50:37 | × | yauhsien quits (~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 13:50:37 | × | jmcantrell quits (~jmcantrel@user/jmcantrell) (Ping timeout: 240 seconds) |
| 13:50:37 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 13:50:37 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Ping timeout: 240 seconds) |
| 13:50:37 | × | the_last_immorta quits (~thelastim@2001:470:69fc:105::1:4d57) (Ping timeout: 240 seconds) |
| 13:50:37 | × | benjamin[m]1234 quits (~benjaminm@2001:470:69fc:105::1:3f2f) (Ping timeout: 240 seconds) |
| 13:51:01 | × | xbreu quits (~xbreu@2001:470:69fc:105::1:5061) (Ping timeout: 240 seconds) |
| 13:51:01 | × | reza[m] quits (~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 240 seconds) |
| 13:51:01 | × | yehoshuapw quits (~yehoshuap@2001:470:69fc:105::a5f) (Ping timeout: 240 seconds) |
| 13:51:09 | → | burnside_ joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 13:52:00 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 13:52:09 | → | max22- joins (~maxime@2a01cb088335980087a861f8657941c1.ipv6.abo.wanadoo.fr) |
| 13:53:16 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 13:53:36 | → | alx741 joins (~alx741@157.100.93.160) |
| 13:54:21 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 13:54:21 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 13:54:55 | × | mmhat quits (~mmh@55d49f73.access.ecotel.net) (Ping timeout: 256 seconds) |
| 13:55:15 | → | mmhat joins (~mmh@55d49f73.access.ecotel.net) |
| 13:56:05 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:57:51 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 13:58:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 13:58:44 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 14:00:37 | × | shapr quits (~user@2601:7c0:c202:5190:a5bb:d132:cd17:78cc) (Ping timeout: 240 seconds) |
| 14:01:17 | × | burnside_ quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 14:02:17 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 14:02:21 | → | schuelermine[m] joins (~schuelerm@user/schuelermine) |
| 14:03:25 | × | max22- quits (~maxime@2a01cb088335980087a861f8657941c1.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 14:03:56 | → | InternetManaging joins (~imjmatrix@2001:470:69fc:105::1:2ea5) |
| 14:04:23 | → | octeep[m] joins (~octeepoct@2001:470:69fc:105::1:3dbf) |
| 14:06:18 | → | benjamin[m]1234 joins (~benjaminm@2001:470:69fc:105::1:3f2f) |
| 14:06:26 | → | the_last_immorta joins (~thelastim@2001:470:69fc:105::1:4d57) |
| 14:07:07 | → | sm1 joins (~sm@plaintextaccounting/sm) |
| 14:08:28 | → | zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 14:08:53 | → | reza[m] joins (~rezaphone@2001:470:69fc:105::3eda) |
| 14:09:06 | → | jmcantrell joins (~jmcantrel@user/jmcantrell) |
| 14:11:19 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 14:11:20 | → | yehoshuapw joins (~yehoshuap@2001:470:69fc:105::a5f) |
| 14:11:53 | → | xbreu joins (~xbreu@2001:470:69fc:105::1:5061) |
| 14:14:03 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:14:46 | acowley_ | is now known as acowley |
| 14:15:19 | × | deadmarshal quits (~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds) |
| 14:16:10 | → | alx741 joins (~alx741@157.100.93.160) |
| 14:16:52 | × | dextaa quits (~DV@user/dextaa) (Quit: Leaving) |
| 14:17:52 | → | dextaa joins (~DV@user/dextaa) |
| 14:18:11 | × | sub0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 14:19:29 | × | jgeerds_ quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 252 seconds) |
| 14:20:26 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 14:20:26 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 14:20:33 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 14:22:10 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 14:24:20 | → | deadmarshal joins (~deadmarsh@95.38.231.228) |
| 14:25:35 | → | jgeerds_ joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 14:27:47 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:30:34 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 14:31:14 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:31:14 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:31:14 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:32:44 | → | unyu joins (~pyon@user/pyon) |
| 14:34:15 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:37:17 | → | alx741 joins (~alx741@157.100.93.160) |
| 14:37:55 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:46:16 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:46:52 | → | fryguybob joins (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 14:46:52 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 14:46:58 | × | cosimone quits (~user@93-47-228-11.ip115.fastwebnet.it) (Read error: Connection reset by peer) |
| 14:50:27 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 14:50:46 | × | jgeerds_ quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 245 seconds) |
| 14:52:17 | × | xff0x quits (~xff0x@port-92-193-205-203.dynamic.as20676.net) (Ping timeout: 240 seconds) |
| 14:57:42 | → | max22- joins (~maxime@2a01cb088335980073d4db6cd0f566a2.ipv6.abo.wanadoo.fr) |
| 14:57:43 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:58:02 | × | CiaoSen quits (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:59:14 | → | jgeerds_ joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 15:00:54 | → | zer0bitz joins (~zer0bitz@196.244.192.57) |
| 15:03:29 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:03:49 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 15:04:35 | → | cosimone joins (~user@93-47-228-11.ip115.fastwebnet.it) |
| 15:04:44 | → | xff0x joins (~xff0x@2001:1a81:53aa:f200:47a2:8092:7d27:b734) |
| 15:04:49 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:04:49 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 15:04:49 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:06:52 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 15:13:16 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:13:19 | × | eltonpinto quits (~user@2600:1700:47f0:d3d0:84dd:fe60:9c66:77ca) (Read error: Connection reset by peer) |
| 15:15:19 | × | m1dnight quits (~christoph@christophe.dev) (Quit: WeeChat 3.1) |
| 15:15:37 | → | m1dnight joins (~christoph@christophe.dev) |
| 15:15:55 | × | ircs quits (~ircs@2-111-85-72-cable.dk.customer.tdc.net) (Read error: Connection reset by peer) |
| 15:16:06 | → | MoC joins (~moc@user/moc) |
| 15:22:54 | → | sub0 joins (~bc8147f2@cerf.good1.com) |
| 15:23:19 | × | jgeerds_ quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 256 seconds) |
| 15:24:13 | → | nhatanh02 joins (~satori@123.24.172.30) |
| 15:28:42 | × | Everything quits (~Everythin@37.115.210.35) (Quit: leaving) |
| 15:29:39 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:31:42 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 15:38:01 | → | drewr joins (~drew@user/drewr) |
| 15:38:14 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 15:39:19 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 15:42:21 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:49:04 | × | kuribas quits (~user@ptr-25vy0i9qul7prltgy9z.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 15:49:19 | × | motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 15:51:39 | × | SummerSonw quits (~The_viole@203.77.49.232) (Quit: Leaving) |
| 15:51:43 | → | doyougnu joins (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) |
| 15:54:52 | → | CiaoSen joins (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 15:58:45 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:59:49 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 16:02:24 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 16:05:20 | → | zmt00 joins (~zmt00@user/zmt00) |
| 16:06:14 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 16:06:49 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:565f:ad85:4465:1aea) (Quit: WeeChat 2.8) |
| 16:11:03 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 16:11:03 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 16:12:15 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 16:13:33 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 16:16:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:18:37 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 16:19:25 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 16:19:48 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 16:20:09 | → | alx741 joins (~alx741@157.100.93.160) |
| 16:21:38 | × | thevishy quits (~Nishant@2405:201:f005:c007:3c5f:229d:dc3f:da32) (Quit: Leaving) |
| 16:23:34 | × | bsima quits (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:24:09 | → | bsima joins (~bsima@2604:a880:400:d0::19f1:7001) |
| 16:24:43 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 16:24:59 | <Boarders_> | I am trying to use `build-tool-depends:` and getting an error Unknown field: "build-tool-depends" - anyone have any ideas as to why? |
| 16:25:20 | <Boarders_> | the cabal version I am using is 2.2 which seems to be sufficient for this feature |
| 16:25:58 | <sclv> | not sure if cabal 2.2 is sufficient, might try a newer one |
| 16:26:06 | <merijn> | There's a changelog |
| 16:26:07 | <sclv> | also check if the cabal file version is high enough |
| 16:26:27 | <merijn> | Boarders_: "cabal version" <- refering to *spec* or the executable? |
| 16:26:52 | <geekosaur> | and the Cabal library behind the executable |
| 16:27:00 | <merijn> | build-tool-depends is spec 2.0 |
| 16:27:08 | <merijn> | sclv: https://cabal.readthedocs.io/en/latest/file-format-changelog.html#cabal-version-2-0 |
| 16:27:23 | <merijn> | geekosaur: Are those ever not in sync? |
| 16:27:38 | <geekosaur> | they could be especially early on |
| 16:27:48 | <merijn> | Boarders_: Can you pastebin your cabal file + error? |
| 16:27:53 | <Boarders_> | the cabal version I am running is 3.4 and the version in the cabal file is 2.2 |
| 16:27:54 | <geekosaur> | if they're running 2.2 it could easily be they have an older library |
| 16:28:08 | <sclv> | ok, that sounds right |
| 16:28:16 | <geekosaur> | oh, 3.4? they'll be in sync |
| 16:28:19 | <sclv> | you may be using it in the wrong position or the wrong way? |
| 16:28:19 | <merijn> | Boarders_: Is the field in the right place? |
| 16:28:24 | <merijn> | sclv: jinx |
| 16:28:47 | <Boarders_> | probably not, it is from the verbatim of hpack, I'll try manually moving it and seeing if it helps |
| 16:28:53 | <merijn> | I am predicting build-tool-depends in library component |
| 16:29:14 | <Boarders_> | it puts it right at the top of the file with build-type etc |
| 16:29:16 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 16:30:00 | <merijn> | Boarders_: That's wrong |
| 16:30:19 | <merijn> | Boarders_: build-tool-depends field is only acceptable within an executable component |
| 16:30:34 | <merijn> | as per the link I pasted a bit up |
| 16:30:43 | <sclv> | i think its acceptable in any component? |
| 16:30:45 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 16:30:49 | <sclv> | its _for_ dependencies on executables |
| 16:31:14 | <merijn> | ambiguous sentence :p |
| 16:31:22 | <sclv> | but it only can live in places that build-depends lives |
| 16:31:26 | <merijn> | "New build-tool-depends field added for adding build-time dependencies of executable components." |
| 16:31:36 | <Boarders_> | https://gist.github.com/Boarders/a72950d5c283c86b4f26402abdd7fd2e |
| 16:31:40 | <Boarders_> | here is how the start of the file looks |
| 16:31:43 | <merijn> | sclv: s/of/on would be clearer if your interpretation is correct |
| 16:31:51 | <Boarders_> | I removed personal info from it |
| 16:32:08 | <merijn> | Boarders_: Yeah, I'm pretty confident it can't go on the top level |
| 16:32:09 | <sclv> | i think build-tool-depends should be inside a component |
| 16:32:14 | <merijn> | it is definitely per component |
| 16:32:22 | <Boarders_> | ok cool, I'll try that out |
| 16:32:26 | <Boarders_> | thanks both! |
| 16:32:34 | <sclv> | if hpack generates it wrong you may want to file a report, sigh |
| 16:32:39 | <sclv> | this is why i don't use hpack |
| 16:32:54 | <sclv> | (well an example of the many reasons why) |
| 16:33:46 | <Boarders_> | I also don't use it willingly |
| 16:33:51 | × | neurocyte quits (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
| 16:34:15 | <merijn> | Boarders_: What's making you use it unwillingly? |
| 16:35:02 | <Boarders_> | my need to sell my labour for sustenance |
| 16:35:05 | → | neurocyte0 joins (~neurocyte@IP-185117068011.dynamic.medianet-world.de) |
| 16:35:05 | × | neurocyte0 quits (~neurocyte@IP-185117068011.dynamic.medianet-world.de) (Changing host) |
| 16:35:05 | → | neurocyte0 joins (~neurocyte@user/neurocyte) |
| 16:35:38 | <Boarders_> | looks like hpack does the right thing if I just add it to the build-tools |
| 16:36:16 | <merijn> | Boarders_: If it's just "because work uses stack", you don't have to use hpack with stack either. And "must use hpack" seems a weird requirement from a job :p |
| 16:37:26 | <Boarders_> | yeah, I'm not sure but it is what we use so ¯\_(ツ)_/¯ |
| 16:41:26 | <merijn> | Boarders_: Can always suggest "hey, maybe we should ditch this?", stack autoruns hpack when a package.yaml is present, but should work just fine if you just turn the package.yaml into a cabal file and just manually edit that from then on |
| 16:41:57 | <merijn> | Hell, even snoyberg now argues in favour of "commit the generated cabal file to your repo", at which point the package.yaml becomes pretty much vestigial already anyway |
| 16:42:41 | → | alx741 joins (~alx741@157.100.93.160) |
| 16:43:34 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 16:43:39 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 16:44:28 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 16:44:28 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 16:44:28 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:46:45 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 16:49:52 | → | shapr joins (~user@2601:7c0:c202:5190:2664:1056:c3ed:3a4b) |
| 16:50:57 | × | drewr quits (~drew@user/drewr) (Ping timeout: 240 seconds) |
| 16:51:08 | <Boarders_> | ah, good to know |
| 16:52:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 16:52:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 16:53:00 | × | mikoto-chan quits (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan) |
| 16:53:01 | <[itchyjunk]> | Prediction (a->b)->[a]->[b] |
| 16:53:03 | <[itchyjunk]> | :t map |
| 16:53:04 | <lambdabot> | (a -> b) -> [a] -> [b] |
| 16:53:09 | <[itchyjunk]> | nice |
| 16:54:23 | × | mbuf quits (~Shakthi@122.173.251.205) (Quit: Leaving) |
| 16:54:26 | × | hyiltiz quits (~quassel@31.220.5.250) (Quit: hyiltiz) |
| 16:54:33 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:54:50 | → | n3rdy1 joins (~n3rdy1@2600:1700:4570:3480::41) |
| 17:00:55 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 17:00:55 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 17:00:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:01:32 | → | drewr joins (~drew@user/drewr) |
| 17:02:06 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 17:03:37 | → | alx741 joins (~alx741@157.100.93.160) |
| 17:03:39 | × | Jing quits (~hedgehog@2604:a840:3::103c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:04:50 | → | Akiva joins (~Akiva@user/Akiva) |
| 17:05:19 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 17:06:35 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 17:07:13 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 17:08:51 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 17:08:51 | × | chele quits (~chele@user/chele) (Quit: Leaving) |
| 17:08:58 | <[itchyjunk]> | Exercise was to take a list of string and return the list reversed and the string reversed : https://bpa.st/6YYQ |
| 17:10:31 | <monochrom> | Perhaps you could benefit from this example. |
| 17:10:45 | <[itchyjunk]> | I think its wrong :/ |
| 17:10:57 | <[itchyjunk]> | I googled for map exercises and solved it without using map |
| 17:10:59 | <[itchyjunk]> | fml |
| 17:12:30 | <monochrom> | Suppose I have a [[Int]] like [[1,4,3], [2,5]], and I want: At the inner level, I want to add 1: [[2,5,4], [1,6]]; at the outer level, I want summing: [2+5+4, 1+6]. |
| 17:12:37 | <monochrom> | Here is how I do it: |
| 17:13:34 | <monochrom> | > map sum (map (map (+ 1)) [[1,4,3], [2,5]]) |
| 17:13:36 | <lambdabot> | [11,9] |
| 17:14:09 | <monochrom> | Perhaps that is too many moving parts. |
| 17:14:18 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:14:23 | <monochrom> | Suppose I have a [[Int]] like [[1,4,3], [2,5]], and I want: At the inner level, I want to add 1: [[2,5,4], [1,6]]. Just that. |
| 17:14:37 | → | awpr joins (uid446117@id-446117.lymington.irccloud.com) |
| 17:14:39 | <monochrom> | > map (map (+ 1)) [[1,4,3], [2,5]] |
| 17:14:41 | <lambdabot> | [[2,5,4],[3,6]] |
| 17:15:03 | <monochrom> | So, that's how to "push" something "into the inner level". |
| 17:15:29 | <[itchyjunk]> | hmm |
| 17:15:57 | × | drewr quits (~drew@user/drewr) (Ping timeout: 240 seconds) |
| 17:16:09 | <monochrom> | Err, I guess that exceeds the exercise you have. |
| 17:16:29 | × | biog quits (~user1@159.224.42.85) (Quit: ZZZzzz…) |
| 17:16:45 | <monochrom> | "map reverse [string1, string2]" is how you reverse every string inside. |
| 17:17:18 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:3a3d:dd63:4712:76f8) (Read error: Connection reset by peer) |
| 17:18:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 17:20:27 | → | sirlensalot joins (~sirlensal@ool-44c5f8c9.dyn.optonline.net) |
| 17:21:08 | × | coolnickname quits (uid531864@user/coolnickname) (Quit: Connection closed for inactivity) |
| 17:21:25 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 17:22:37 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 17:23:39 | → | alx741 joins (~alx741@157.100.93.160) |
| 17:24:09 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) |
| 17:27:55 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 17:27:56 | → | vysn joins (~vysn@user/vysn) |
| 17:28:58 | → | emf joins (~emf@2620:10d:c091:480::1:89d7) |
| 17:29:33 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection) |
| 17:29:52 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) |
| 17:31:09 | the_proffesor | is now known as theproffesor |
| 17:37:16 | <[itchyjunk]> | i think i can make sense of the map (map (+1)) [[1,2]] producing [[2,3]] |
| 17:37:38 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 17:37:55 | × | neurocyte0 quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 17:39:53 | → | neurocyte0 joins (~neurocyte@IP-185117068011.dynamic.medianet-world.de) |
| 17:39:53 | × | neurocyte0 quits (~neurocyte@IP-185117068011.dynamic.medianet-world.de) (Changing host) |
| 17:39:53 | → | neurocyte0 joins (~neurocyte@user/neurocyte) |
| 17:42:33 | <[itchyjunk]> | This is how it looks like now : https://bpa.st/BXPA |
| 17:43:11 | → | econo joins (uid147250@user/econo) |
| 17:43:20 | <[itchyjunk]> | That nested map is still trippy. I'll have to think about it more |
| 17:44:34 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:45:29 | <lechner> | Hi, does anyone have an example of how to use the hasql-th quasi-quoter 'vectorStatement' please? I'm not sure how to process the resulting 'Vector rows'. Thanks! |
| 17:45:57 | → | img joins (~img@user/img) |
| 17:49:28 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
| 17:52:38 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:45a0:ed37:83fe:d777) |
| 17:53:25 | × | xb0o2 quits (~xb0o2@user/xb0o2) (Quit: Client closed) |
| 17:54:34 | → | coolnickname joins (uid531864@user/coolnickname) |
| 17:54:49 | → | alx741 joins (~alx741@157.100.93.160) |
| 17:54:59 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 17:55:23 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
| 17:55:42 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 17:58:17 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::45db) (Ping timeout: 240 seconds) |
| 17:58:36 | × | paolino quits (~paolo@5.157.115.53) (Remote host closed the connection) |
| 17:58:57 | × | n3rdy1 quits (~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds) |
| 17:59:31 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 18:00:22 | → | drewr joins (~drew@user/drewr) |
| 18:00:34 | × | drewr quits (~drew@user/drewr) (Remote host closed the connection) |
| 18:04:16 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 18:05:02 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 18:06:40 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 18:11:40 | → | mikail joins (~mikail@2a02:c7f:bc1f:4a00:1f95:fc24:559b:d565) |
| 18:11:46 | → | n3rdy1 joins (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) |
| 18:11:58 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 18:12:04 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Client Quit) |
| 18:12:22 | → | d0ku joins (~d0ku@178.43.3.56.ipv4.supernova.orange.pl) |
| 18:15:45 | → | alx741 joins (~alx741@157.100.93.160) |
| 18:20:37 | × | `2jt quits (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 18:23:02 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 18:24:26 | × | tito quits (tito@tilde.team) (Quit: WeeChat 3.4) |
| 18:25:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:25:24 | → | tito joins (tito@tilde.team) |
| 18:27:03 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 18:27:03 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 18:27:03 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:28:00 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
| 18:30:53 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 18:31:29 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 18:32:50 | → | drewr joins (~drew@user/drewr) |
| 18:32:59 | × | tito quits (tito@tilde.team) (Quit: WeeChat 3.4) |
| 18:33:54 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 18:34:11 | <sofviic[m]> | Alternatively, you could do `map . map` for [[]], `map . map . map` for [[[]]], &c... |
| 18:38:30 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:39:49 | × | CiaoSen quits (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 18:41:14 | → | alx741 joins (~alx741@157.100.93.160) |
| 18:42:03 | drewr | is now known as drewr-test |
| 18:44:07 | drewr-test | is now known as drewr |
| 18:44:08 | → | `2jt joins (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
| 18:45:13 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 18:45:37 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 18:46:16 | → | tito joins (tito@tilde.team) |
| 18:48:11 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:50:16 | <[itchyjunk]> | hmmmm |
| 18:50:29 | → | mikoto-chan joins (~mikoto-ch@dsl-olubng12-54fa07-26.dhcp.inet.fi) |
| 18:50:31 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:55:55 | × | hueso quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 18:56:32 | → | hueso joins (~root@user/hueso) |
| 18:56:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 18:57:02 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:45a0:ed37:83fe:d777) (Quit: Leaving) |
| 18:58:52 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 18:58:52 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 18:58:52 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:58:56 | × | drewr quits (~drew@user/drewr) (Quit: ERC (IRC client for Emacs 27.2)) |
| 18:59:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 19:01:24 | → | simendsjo joins (~user@84.211.91.241) |
| 19:02:10 | → | alx741 joins (~alx741@157.100.93.160) |
| 19:03:17 | → | ircs joins (~ircs@2-111-85-72-cable.dk.customer.tdc.net) |
| 19:04:13 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 19:05:49 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 19:06:34 | × | simendsjo quits (~user@84.211.91.241) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.0.90)) |
| 19:07:17 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 19:07:31 | → | simendsjo joins (~user@84.211.91.241) |
| 19:08:26 | × | simendsjo quits (~user@84.211.91.241) (Client Quit) |
| 19:09:59 | × | deadmarshal quits (~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds) |
| 19:11:09 | → | simendsjo joins (~user@84.211.91.241) |
| 19:12:00 | × | simendsjo quits (~user@84.211.91.241) (Client Quit) |
| 19:13:48 | → | simendsjo joins (~user@84.211.91.241) |
| 19:15:43 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 19:15:43 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 19:15:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:18:09 | → | tfeb joins (~tfb@88.98.95.237) |
| 19:18:09 | × | Vajb quits (~Vajb@2001:999:50:e6be:1e98:9376:d93e:4506) (Read error: Connection reset by peer) |
| 19:18:51 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 19:18:52 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:20:45 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 19:21:35 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 19:22:11 | → | alx741 joins (~alx741@157.100.93.160) |
| 19:28:45 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:30:11 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 19:30:11 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 19:30:11 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:31:20 | → | vicfred joins (~vicfred@user/vicfred) |
| 19:31:20 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 19:32:00 | → | drewr joins (~drew@user/drewr) |
| 19:32:22 | → | notzmv joins (~zmv@user/notzmv) |
| 19:34:55 | × | d0ku quits (~d0ku@178.43.3.56.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 19:35:25 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 19:35:33 | → | d0ku joins (~d0ku@178.43.3.56.ipv4.supernova.orange.pl) |
| 19:38:26 | → | tristanC joins (~tristanC@user/tristanc) |
| 19:38:27 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 19:38:30 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 19:42:44 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:44:19 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 19:44:19 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 19:44:19 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:46:57 | × | d0ku quits (~d0ku@178.43.3.56.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 19:48:08 | → | alx741 joins (~alx741@157.100.93.160) |
| 19:49:05 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 19:52:32 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 20:00:07 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Remote host closed the connection) |
| 20:00:31 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 20:05:05 | × | juhp quits (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 20:07:35 | → | juhp joins (~juhp@128.106.188.82) |
| 20:08:54 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 20:09:04 | → | alx741 joins (~alx741@157.100.93.160) |
| 20:09:45 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 20:12:42 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 20:14:53 | × | tfeb quits (~tfb@88.98.95.237) (Quit: died) |
| 20:15:08 | → | pooryorick joins (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 20:16:53 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:17:12 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 20:17:40 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:17:40 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:17:40 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:18:41 | × | nhatanh02 quits (~satori@123.24.172.30) (Ping timeout: 256 seconds) |
| 20:20:23 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 20:21:20 | → | kmein joins (~root@user/kmein) |
| 20:22:36 | × | kmein quits (~root@user/kmein) (Client Quit) |
| 20:25:55 | → | gentauro joins (~gentauro@user/gentauro) |
| 20:28:19 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 20:28:45 | × | kmein_ quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 20:29:07 | → | alx741 joins (~alx741@157.100.93.160) |
| 20:29:08 | → | kmein joins (~weechat@user/kmein) |
| 20:31:49 | × | kmein quits (~weechat@user/kmein) (Client Quit) |
| 20:32:09 | → | kmein joins (~weechat@user/kmein) |
| 20:33:44 | × | phma quits (phma@2001:5b0:210d:1438:cfd1:5ed2:55ba:b890) (Read error: Connection reset by peer) |
| 20:33:44 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 20:35:39 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 20:36:08 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:36:08 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:36:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:36:31 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 20:36:42 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 20:38:06 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 20:38:25 | → | kmein joins (~weechat@user/kmein) |
| 20:39:32 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 20:40:14 | × | kmein quits (~weechat@user/kmein) (Client Quit) |
| 20:40:32 | → | kmein joins (~weechat@user/kmein) |
| 20:40:47 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 20:40:57 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Remote host closed the connection) |
| 20:41:23 | → | coot joins (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 20:42:00 | × | coot quits (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection) |
| 20:43:28 | → | coot joins (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 20:44:46 | × | kmein quits (~weechat@user/kmein) (Client Quit) |
| 20:45:05 | → | kmein joins (~weechat@user/kmein) |
| 20:48:19 | → | pavonia joins (~user@user/siracusa) |
| 20:50:15 | → | alx741 joins (~alx741@157.100.93.160) |
| 20:52:11 | → | jgeerds_ joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 20:53:22 | × | mikoto-chan quits (~mikoto-ch@dsl-olubng12-54fa07-26.dhcp.inet.fi) (Quit: mikoto-chan) |
| 20:54:06 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 20:56:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:57:39 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 256 seconds) |
| 20:59:10 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 20:59:30 | → | kmein joins (~weechat@user/kmein) |
| 20:59:57 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:59:57 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:59:57 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:05:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 21:08:32 | → | yauhsien joins (~yauhsien@61-231-58-217.dynamic-ip.hinet.net) |
| 21:09:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:09:35 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 21:10:57 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 21:11:00 | → | biog joins (~user1@159.224.42.85) |
| 21:11:15 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection) |
| 21:11:52 | → | alx741 joins (~alx741@157.100.93.160) |
| 21:13:08 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:13:31 | × | yauhsien quits (~yauhsien@61-231-58-217.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 21:16:38 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 21:21:11 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) |
| 21:24:39 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection) |
| 21:28:34 | × | ddb quits (~ddb@ipv6two.tilde.club) (Remote host closed the connection) |
| 21:28:52 | → | ddb joins (~ddb@ipv6two.tilde.club) |
| 21:30:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 21:33:16 | → | alx741 joins (~alx741@157.100.93.160) |
| 21:37:46 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 21:42:59 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Ping timeout: 256 seconds) |
| 21:45:45 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) |
| 21:45:52 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 21:46:14 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 21:46:44 | → | rust2600 joins (~rust2600@185.154.109.45) |
| 21:51:01 | × | zer0bitz quits (~zer0bitz@196.244.192.57) (Ping timeout: 240 seconds) |
| 21:51:20 | → | cryptomonad joins (~cryptomon@194.191.225.149) |
| 21:53:21 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:54:12 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 21:54:16 | → | Midjak2 joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 21:54:39 | → | alx741 joins (~alx741@157.100.93.160) |
| 21:54:44 | × | Midjak2 quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Remote host closed the connection) |
| 21:54:44 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Remote host closed the connection) |
| 21:55:20 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 21:57:34 | dagi37319 | is now known as dagit |
| 21:57:51 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 21:58:31 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:58:56 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 22:01:11 | → | acidjnk joins (~acidjnk@p200300d0c7271e933133c43131ec7c10.dip0.t-ipconnect.de) |
| 22:01:12 | → | acidjnk_new joins (~acidjnk@p200300d0c7271e933133c43131ec7c10.dip0.t-ipconnect.de) |
| 22:01:52 | → | jumper149 joins (~jumper149@static.6.71.203.116.clients.your-server.de) |
| 22:01:55 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 22:03:26 | × | cryptomonad quits (~cryptomon@194.191.225.149) (Remote host closed the connection) |
| 22:16:04 | → | alx741 joins (~alx741@157.100.93.160) |
| 22:22:05 | × | drdo quits (~drdo@144.172.69.89) (Ping timeout: 256 seconds) |
| 22:22:36 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection) |
| 22:24:54 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 22:26:05 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:5087:9b0e:bd55:ec33) |
| 22:26:13 | <little_mac> | hellow |
| 22:26:26 | <geekosaur> | o/ |
| 22:29:18 | → | Pickchea joins (~private@user/pickchea) |
| 22:29:42 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 22:29:52 | → | mjs2600_ joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 22:30:12 | <Hecate> | §21 |
| 22:30:15 | <Hecate> | o/ |
| 22:30:58 | <little_mac> | are there any bots here? |
| 22:31:11 | <tomsmeding> | @botsnack |
| 22:31:11 | <lambdabot> | :) |
| 22:31:11 | <DigitalKiwi> | i'm not convinced monochrom isn't a bot |
| 22:31:24 | <little_mac> | oh my |
| 22:31:32 | <little_mac> | monochrom is this true |
| 22:31:43 | <DigitalKiwi> | tbf sometimes i'm not convinced i'm not a bot |
| 22:31:56 | <little_mac> | oh shi |
| 22:32:02 | <little_mac> | your making me think im a bot |
| 22:32:10 | <monochrom> | I am a bot. I am not convinced that I am a human. |
| 22:32:12 | <DigitalKiwi> | youz probs a bot |
| 22:32:39 | <little_mac> | ohh shnizzle drizzles |
| 22:33:25 | × | `2jt quits (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 22:33:42 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 22:33:42 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 22:33:42 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:38:45 | → | drdo joins (~drdo@144.172.69.89) |
| 22:41:18 | → | alx741 joins (~alx741@157.100.93.160) |
| 22:43:17 | <geekosaur> | % :show language |
| 22:43:17 | <yahb> | geekosaur: base language is: Haskell2010; with the following modifiers:; -XBangPatterns; -XNoCUSKs; -XConstrainedClassMethods; -XConstraintKinds; -XDataKinds; -XNoDatatypeContexts; -XDefaultSignatures; -XDeriveAnyClass; -XDeriveDataTypeable; -XDeriveFoldable; -XDeriveFunctor; -XDeriveGeneric; -XDeriveLift; -XDeriveTraversable; -XDerivingStrategies; -XDerivingVia; -XDisambiguateRecordFields; |
| 22:45:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 22:46:02 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 22:46:57 | × | xff0x quits (~xff0x@2001:1a81:53aa:f200:47a2:8092:7d27:b734) (Ping timeout: 240 seconds) |
| 22:47:59 | → | xff0x joins (~xff0x@2001:1a81:53aa:f200:f1a6:48ec:fa1:3025) |
| 22:48:15 | <little_mac> | % :show time |
| 22:48:15 | <yahb> | little_mac: syntax: :show [args | prog | editor | stop | imports | modules | bindings | linker | breaks | context | packages | paths | language | targets] |
| 22:50:39 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 22:51:36 | × | mjs2600_ quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:53:32 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:54:11 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 22:54:55 | → | deadmarshal joins (~deadmarsh@95.38.116.69) |
| 22:56:12 | × | sub0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 22:59:01 | × | deadmarshal quits (~deadmarsh@95.38.116.69) (Ping timeout: 240 seconds) |
| 22:59:16 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Remote host closed the connection) |
| 23:00:37 | × | shapr quits (~user@2601:7c0:c202:5190:2664:1056:c3ed:3a4b) (Ping timeout: 240 seconds) |
| 23:03:51 | → | alx741 joins (~alx741@157.100.93.160) |
| 23:06:47 | <Axman6> | lechner: what problem are you having? |
| 23:08:11 | → | noman joins (~noman@2603:900a:1600:ba00:2e6e:5d98:940:16d7) |
| 23:08:36 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 23:09:14 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 23:13:05 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:13:27 | → | retro_ joins (~retro@05412d78.skybroadband.com) |
| 23:14:26 | <Axman6> | lechner: I assume you know about https://hackage.haskell.org/package/hasql-1.5.0.1/docs/Hasql-Session.html - you can use `run (statement (True,1) [vectorStatement|select foo :: text from "bar"|]) connection` (though I would assign the result of the th to a variable and call that) |
| 23:16:06 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:16:26 | × | retroid_ quits (~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds) |
| 23:16:57 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:19:22 | <dsal> | little_mac: yahb doesn't have Showtime. |
| 23:24:01 | × | ouestbillie quits (~gallup@192-222-138-215.qc.cable.ebox.net) (Remote host closed the connection) |
| 23:25:00 | → | alx741 joins (~alx741@157.100.93.160) |
| 23:26:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:28:54 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 23:29:34 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 23:31:02 | → | AlexNoo_ joins (~AlexNoo@94.233.240.16) |
| 23:31:51 | × | noman quits (~noman@2603:900a:1600:ba00:2e6e:5d98:940:16d7) (Quit: Client closed) |
| 23:32:00 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 23:32:04 | Axman6 | does jazzhands |
| 23:32:40 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 23:34:11 | × | vglfr quits (~vglfr@46.96.180.119) (Ping timeout: 256 seconds) |
| 23:34:11 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 23:34:32 | <Axman6> | ran :show imports in PM, there's a surprising list there - the output got cut off, is there a @where+ equivalent for yahb output? |
| 23:34:56 | <geekosaur> | use %% and it'll pastebin the result |
| 23:34:57 | × | AlexZenon quits (~alzenon@94.233.241.107) (Ping timeout: 268 seconds) |
| 23:34:57 | × | AlexNoo quits (~AlexNoo@94.233.241.107) (Ping timeout: 268 seconds) |
| 23:34:57 | × | Alex_test quits (~al_test@94.233.241.107) (Ping timeout: 268 seconds) |
| 23:36:30 | ← | rust2600 parts (~rust2600@185.154.109.45) () |
| 23:36:53 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:d1f0:4880:2e12:11ff) |
| 23:36:53 | <geekosaur> | and I think you meant @more? |
| 23:37:36 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:37:52 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 23:38:20 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 23:38:38 | <Axman6> | ah amazing, thanks (http://qp.mniip.com/y/37 for anyone interested) |
| 23:39:07 | → | AlexZenon joins (~alzenon@94.233.240.16) |
| 23:39:11 | → | Alex_test joins (~al_test@94.233.240.16) |
| 23:39:17 | × | emf quits (~emf@2620:10d:c091:480::1:89d7) (Quit: emf) |
| 23:46:24 | → | alx741 joins (~alx741@157.100.93.160) |
| 23:49:42 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 23:50:09 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 23:53:27 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::45db) |
| 23:53:34 | AlexNoo_ | is now known as AlexNoo |
| 23:55:35 | → | falafel joins (~falafel@2603-8000-d800-688c-c064-54e6-9a05-e359.res6.spectrum.com) |
| 23:57:45 | × | acidjnk_new quits (~acidjnk@p200300d0c7271e933133c43131ec7c10.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:57:45 | × | acidjnk quits (~acidjnk@p200300d0c7271e933133c43131ec7c10.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:58:17 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 23:59:20 | → | falafel_ joins (~falafel@2603-8000-d800-688c-c064-54e6-9a05-e359.res6.spectrum.com) |
All times are in UTC on 2022-01-04.