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