Logs on 2022-04-16 (liberachat/#haskell)
| 00:00:23 | <dmj`> | there should be easier ways to hijack Num |
| 00:01:46 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:02:43 | → | califax joins (~califax@user/califx) |
| 00:04:12 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 00:04:24 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 00:07:56 | × | cosimone quits (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 00:08:39 | <lifter> | I'm thinking of adding Haskeline to an existing project where I'm already using "Data.Text" for all my strings. It appears that Haskeline supports "String" but not "Text"... What might be the recommended approach in the situation? Should I just manually pack/unpack when I need to use a function from Haskeline? |
| 00:08:47 | × | mmhat quits (~mmh@55d499ca.access.ecotel.net) (Quit: WeeChat 3.5) |
| 00:09:02 | <monochrom> | Yeah I think just pack and unpack. |
| 00:10:40 | <lifter> | OK, thanks. |
| 00:11:37 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 00:12:44 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 00:13:18 | → | redb joins (~nmh@136.49.49.211) |
| 00:13:20 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 00:17:27 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 00:17:28 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 00:23:47 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 00:27:27 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 00:28:12 | × | DNH quits (~DNH@2a09:bac0:48::82b:7a43) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:29:40 | → | xff0x_ joins (~xff0x@om126033110024.35.openmobile.ne.jp) |
| 00:34:06 | → | redb joins (~nmh@136.49.49.211) |
| 00:37:45 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 00:39:05 | → | vysn joins (~vysn@user/vysn) |
| 00:40:53 | <lifter> | Is there a technical term for what "runAbcT" functions do (replace "AbcT" with any monad transformer)? I'm thinking of something like "get or pull out the inner monad..." |
| 00:40:53 | <abastro[m]> | You can simulate pattern matching with lens, right? |
| 00:42:51 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:42:51 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:42:51 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:42:52 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 00:46:33 | <waleee> | abastro[m]: why on earth do you want to do that |
| 00:46:55 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 00:50:03 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 00:55:43 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 01:00:57 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 01:01:13 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 01:02:32 | → | lainon joins (~lainon@2601:7c0:c500:4d20::e45d) |
| 01:05:00 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 01:07:15 | <abastro[m]> | Unification of concepts waleee |
| 01:10:42 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 01:10:54 | × | lainon quits (~lainon@2601:7c0:c500:4d20::e45d) (Quit: lainon) |
| 01:10:59 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:27 | <waleee> | abastro[m]: ah, it was a theoretical question, you weren't pondering actually doing it |
| 01:11:50 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 01:12:03 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 01:14:50 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 01:16:01 | → | zaquest joins (~notzaques@5.130.79.72) |
| 01:17:07 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:20:10 | → | abastro joins (~abab9579@220.75.216.63) |
| 01:20:19 | <abastro[m]> | I was also a bit pondering doing it |
| 01:20:24 | <abastro[m]> | (If it turns out to be ergonomic) |
| 01:20:33 | <abastro> | Tho not in haskell, ya |
| 01:27:36 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 01:29:37 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 01:29:57 | → | andrey_ joins (~andrey@p200300dbcf2fb5008488c657f5155c0c.dip0.t-ipconnect.de) |
| 01:30:23 | → | nate1 joins (~nate@98.45.152.91) |
| 01:32:40 | × | andrey__ quits (~andrey@p200300dbcf086f005d691fef4faa01bb.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 01:45:03 | × | foul_owl quits (~kerry@23.82.193.88) (Ping timeout: 256 seconds) |
| 01:46:03 | × | nate1 quits (~nate@98.45.152.91) (Ping timeout: 256 seconds) |
| 01:46:08 | → | redb joins (~nmh@136.49.49.211) |
| 01:50:35 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 01:56:44 | → | banas61 joins (~banas@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 01:56:56 | × | banas61 quits (~banas@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Client Quit) |
| 01:57:12 | → | sarupbanskota joins (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 01:58:01 | → | redb joins (~nmh@136.49.49.211) |
| 01:58:07 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 246 seconds) |
| 02:00:23 | → | oxide joins (~lambda@user/oxide) |
| 02:00:25 | → | foul_owl joins (~kerry@23.82.193.87) |
| 02:02:32 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 02:02:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 02:04:14 | <lifter> | @unmtl InputT (ReaderT Env ((StateT GoiState IO))) a |
| 02:04:14 | <lambdabot> | InputT (ReaderT Env (StateT GoiState IO)) a |
| 02:04:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:04:42 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 02:13:20 | → | razetime joins (~quassel@117.254.35.31) |
| 02:16:28 | × | sarupbanskota quits (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Quit: Client closed) |
| 02:17:43 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 02:24:45 | <lifter> | I'm introducing InputT from Haskeline into an existing monad transformer stack. I'm wrestling with where to put InputT in the stack. Presently I've got "ReaderT MyEnv (StateT MyState (InputT IO)) a". I guess this works but I have to lift the InputT functions from Haskeline twice. Do you think I'm on the right track? |
| 02:26:11 | → | sarupbanskota joins (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 02:26:20 | → | redb joins (~nmh@136.49.49.211) |
| 02:26:58 | → | nate1 joins (~nate@98.45.152.91) |
| 02:28:00 | <sarupbanskota> | hey everyone 👋 i'm new here! building some coding exercises in haskell & other languages :) |
| 02:29:10 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 02:30:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 02:33:16 | × | nf quits (~n@monade.li) (Ping timeout: 245 seconds) |
| 02:34:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:35:04 | × | nate1 quits (~nate@98.45.152.91) (Ping timeout: 248 seconds) |
| 02:35:12 | → | nf joins (~n@monade.li) |
| 02:42:05 | <sm> | welcome sarupbanskota |
| 02:42:41 | <sm> | does anyone know how do what `error` does, but without prefixing the program name to the output ? |
| 02:43:16 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 02:44:30 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 02:45:22 | <glguy> | sm: either throw a different exception, or catch the one error throws at the top-level and print differently |
| 02:45:43 | <sm> | thanks |
| 02:47:27 | <glguy> | error "like this" `catch` \(ErrorCall a) -> putStrLn ("stuff " ++ a) |
| 02:48:08 | × | sarupbanskota quits (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Quit: Client closed) |
| 02:48:55 | <glguy> | sm: I feel like I made an example of this for hledger at one point |
| 02:51:12 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:51:37 | <sm> | really.. helpful example, thanks glguy |
| 02:52:08 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 02:57:37 | → | redb joins (~nmh@136.49.49.211) |
| 02:58:00 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 02:58:12 | → | pavonia joins (~user@user/siracusa) |
| 03:01:59 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 03:02:03 | → | vicfred joins (~vicfred@user/vicfred) |
| 03:04:14 | → | redb joins (~nmh@136.49.49.211) |
| 03:04:47 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 03:08:08 | <sm> | good inspiration anyway |
| 03:08:12 | sm | goes slightly mad trying to customise parse errors |
| 03:08:28 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 03:09:35 | <sm> | brain is fried I guess. Close: |
| 03:09:35 | <sm> | error' :: String -> a |
| 03:09:35 | <sm> | error' msg = errorWithoutStackTrace ("Error: "<> msg) |
| 03:09:35 | <sm> | -- `catch` \(ErrorCall a) -> putStrLn $ "Test: " ++ msg |
| 03:20:43 | → | redb joins (~nmh@136.49.49.211) |
| 03:22:49 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 03:25:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 03:29:29 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 03:34:14 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 03:35:39 | → | mud joins (~mud@user/kadoban) |
| 03:45:37 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 03:46:28 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 03:56:38 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 04:02:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 04:08:15 | → | leungbk joins (~brian@cpe-142-129-149-172.socal.res.rr.com) |
| 04:08:40 | × | leungbk quits (~brian@cpe-142-129-149-172.socal.res.rr.com) (Client Quit) |
| 04:15:21 | × | xff0x_ quits (~xff0x@om126033110024.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 04:15:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:17:56 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:18:30 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 04:23:07 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 04:24:03 | × | lifter quits (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) () |
| 04:25:49 | × | abastro quits (~abab9579@220.75.216.63) (Ping timeout: 246 seconds) |
| 04:44:33 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 04:45:10 | → | nate1 joins (~nate@98.45.152.91) |
| 04:47:52 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 04:51:43 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:55:12 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 04:56:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 04:58:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:02:16 | → | mbuf joins (~Shakthi@182.64.223.167) |
| 05:11:07 | × | nate1 quits (~nate@98.45.152.91) (Ping timeout: 240 seconds) |
| 05:14:32 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 05:26:34 | → | razetime_ joins (~quassel@117.254.35.31) |
| 05:26:37 | × | razetime_ quits (~quassel@117.254.35.31) (Client Quit) |
| 05:27:07 | <razetime> | is there a method in ghc to run literal haskell? |
| 05:27:25 | × | boxscape_ quits (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 05:28:57 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 05:29:07 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 05:29:46 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 05:32:02 | <abastro[m]> | IIRC e.g. runghc work on lhs as well |
| 05:32:07 | <abastro[m]> | Tho my memory might be wrong |
| 05:33:28 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 05:35:06 | <razetime> | i will try |
| 05:39:21 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 05:41:51 | × | chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 05:42:11 | → | chargen joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 05:43:15 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:45:15 | → | abastro joins (~abab9579@220.75.216.63) |
| 05:48:39 | → | deadmarshal_ joins (~deadmarsh@95.38.112.135) |
| 05:50:11 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 05:50:16 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 05:50:35 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 05:52:17 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 05:54:33 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 05:55:23 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 05:58:00 | → | abastro joins (~abab9579@220.75.216.63) |
| 05:59:47 | → | acidjnk joins (~acidjnk@p200300d0c722df62a43b1a632e0518cf.dip0.t-ipconnect.de) |
| 06:01:28 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 06:04:27 | → | elmyr joins (sid3438@user/dy) |
| 06:06:19 | → | Guest53 joins (~Guest53@S01069050ca4e3573.cg.shawcable.net) |
| 06:09:12 | → | coot joins (~coot@213.134.190.95) |
| 06:11:50 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:13:55 | → | slack1256 joins (~slack1256@191.125.227.205) |
| 06:16:49 | <Guest53> | cool toy language |
| 06:17:26 | <Guest53> | I made one too |
| 06:17:31 | <Guest53> | but its not as popular lol |
| 06:19:41 | <Guest53> | was relatively easy to do tbh |
| 06:22:18 | × | Guest53 quits (~Guest53@S01069050ca4e3573.cg.shawcable.net) (Quit: Client closed) |
| 06:32:31 | × | deadmarshal_ quits (~deadmarsh@95.38.112.135) (Ping timeout: 246 seconds) |
| 06:34:11 | <DemiMarieObenour> | <geekosaur> "Demi Marie Obenour, xmonad..." <- bad news about XMonad: distributions may eventually drop their standalone X Server packages (as opposed to XWayland) |
| 06:35:16 | <DemiMarieObenour> | It’s considered legacy and is basically unmaintained, to the point that there are some unpatched vulnerabilities in both the X11 protocol and XCB that probably won’t be fixed. |
| 06:36:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 06:37:05 | <DemiMarieObenour> | X11 is just a protocol, so if you only use Xlib/XCB one option would be to reimplement it in Haskell. |
| 06:37:20 | <DemiMarieObenour> | The client part, that is. |
| 06:42:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 06:43:14 | → | deadmarshal_ joins (~deadmarsh@95.38.112.135) |
| 06:45:12 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 06:45:54 | → | phma_ joins (phma@2001:5b0:2143:ec78:cdba:58b6:49c7:afc6) |
| 06:47:34 | <abastro> | <del>Was this xmonad channel</del> |
| 06:49:47 | × | phma quits (phma@2001:5b0:2143:ec78:cdba:58b6:49c7:afc6) (Ping timeout: 260 seconds) |
| 06:52:44 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 06:57:46 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:00:43 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:af86:3007:d527:d573) (Quit: WeeChat 3.4.1) |
| 07:04:43 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:9d95:c71:11e4:3e0f) |
| 07:08:04 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 07:10:56 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 07:13:07 | → | joo-_ joins (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) |
| 07:13:07 | × | joo-_ quits (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host) |
| 07:13:07 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 07:17:09 | → | frost joins (~frost@user/frost) |
| 07:17:10 | × | frost quits (~frost@user/frost) (Write error: Broken pipe) |
| 07:17:56 | → | anomal joins (~anomal@87.227.196.109) |
| 07:19:21 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 248 seconds) |
| 07:25:25 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 07:31:40 | × | deadmarshal_ quits (~deadmarsh@95.38.112.135) (Ping timeout: 246 seconds) |
| 07:32:00 | → | frost joins (~frost@user/frost) |
| 07:35:05 | → | Midjak joins (~Midjak@82.66.147.146) |
| 07:35:37 | → | axeman joins (~quassel@2a02:8109:a380:78:7836:9b5e:430d:eca5) |
| 07:37:55 | → | odnes joins (~odnes@5-203-210-165.pat.nym.cosmote.net) |
| 07:44:42 | × | slack1256 quits (~slack1256@191.125.227.205) (Remote host closed the connection) |
| 07:46:44 | × | abastro quits (~abab9579@220.75.216.63) (Ping timeout: 250 seconds) |
| 07:48:34 | × | ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 07:49:07 | → | ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 07:49:27 | × | axeman quits (~quassel@2a02:8109:a380:78:7836:9b5e:430d:eca5) (Ping timeout: 240 seconds) |
| 07:52:18 | abastro[m] | uploaded an image: (64KiB) < https://libera.ems.host/_matrix/media/r0/download/matrix.org/CQIMLeaLtEoYwkuXFyZctuUf/20210125_230528.jpg > |
| 07:52:22 | <abastro[m]> | When I thought this was goof |
| 07:52:24 | <abastro[m]> | Good |
| 07:52:49 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 07:55:33 | → | dextaa joins (~dextaa@user/dextaa) |
| 07:58:58 | × | Benzi-Junior quits (~BenziJuni@dsl-149-64-179.hive.is) (Ping timeout: 246 seconds) |
| 07:59:29 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 08:00:00 | → | zeenk joins (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 08:06:01 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 08:06:03 | → | crazazy joins (~user@2001:1c00:831:4700:87ff:c2e8:bcc3:e6aa) |
| 08:12:08 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 08:16:59 | × | ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:17:27 | → | ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 08:21:53 | → | zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:577:b10c:6bcc:4643) |
| 08:30:51 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 08:42:54 | × | jespada quits (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:43:13 | × | chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 08:43:35 | → | chargen joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 08:43:36 | → | mmhat joins (~mmh@55d49a6a.access.ecotel.net) |
| 08:51:50 | → | xff0x_ joins (~xff0x@om126033110024.35.openmobile.ne.jp) |
| 08:57:03 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 08:57:21 | × | chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 08:57:21 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:57:44 | → | chargen joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 08:58:31 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 09:00:12 | × | dgpratt[m] quits (~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: You have been kicked for being idle) |
| 09:04:46 | <simeon_> | is there a standard name for the function g = f . (g f)? |
| 09:07:18 | simeon_ | is now known as simeon |
| 09:12:47 | → | coot joins (~coot@213.134.190.95) |
| 09:13:55 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 09:15:44 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 09:20:10 | × | lambdap2 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap2) |
| 09:20:28 | → | lambdap2 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 09:24:50 | → | log101 joins (~log101@78.178.70.213) |
| 09:26:13 | × | chenqisu1 quits (~chenqisu1@183.217.200.38) (Read error: Connection reset by peer) |
| 09:26:18 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:26:45 | <merijn> | simeon: That seems awfully specific, tbh |
| 09:26:52 | → | chenqisu1 joins (~chenqisu1@183.217.200.38) |
| 09:26:57 | × | chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 09:27:17 | → | chargen joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 09:27:38 | <Franciman> | which is the unknown? g or f ? |
| 09:27:41 | × | lucifero quits (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) (Quit: WeeChat 3.5) |
| 09:28:08 | → | belphegor666 joins (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) |
| 09:28:55 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 09:28:55 | → | neceve joins (~quassel@2.29.116.221) |
| 09:29:56 | × | belphegor666 quits (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) (Changing host) |
| 09:29:56 | → | belphegor666 joins (~satan@user/belphegor666) |
| 09:29:56 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 09:33:00 | × | chenqisu1 quits (~chenqisu1@183.217.200.38) (Quit: Leaving) |
| 09:33:20 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 09:36:13 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 09:36:56 | <supersven> | juri_: Guessing that your math issue has to deal with vectors in space: Have you tried to offload it to a GPU, e.g. with https://hackage.haskell.org/package/accelerate ? |
| 09:39:33 | <supersven> | Asking out of curiosity. Might be a big refactoring to rewrite things in this DSL. |
| 09:40:21 | × | chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 09:41:23 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 09:46:35 | <simeon> | sorry, I meant g f = f . (g f), and let's constrain g to have type (a -> a) -> (a -> a) |
| 09:46:36 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 09:48:03 | × | dcoutts_ quits (~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 260 seconds) |
| 09:48:27 | <simeon> | merijn: I don't think so, suppose I want to define an infinite structure (g f)(x) = f(f(f...f(x)) |
| 09:48:48 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:49:19 | → | jgeerds joins (~jgeerds@d5364b87.access.ecotel.net) |
| 09:49:55 | × | jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Remote host closed the connection) |
| 09:52:48 | <abastro[m]> | Well it is more specific than: |
| 09:52:50 | <Franciman> | this violently reminds me of the Y combinator |
| 09:52:56 | <abastro[m]> | :t fix |
| 09:52:57 | <lambdabot> | (a -> a) -> a |
| 09:53:01 | <Franciman> | yups |
| 09:53:11 | <abastro[m]> | `fix f = f (fix f)` |
| 09:59:11 | → | DNH joins (~DNH@8.43.122.67) |
| 10:00:18 | → | redb joins (~nmh@136.49.49.211) |
| 10:01:46 | <simeon> | yes, it's a bit like fix |
| 10:02:32 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 10:03:49 | → | kenran joins (~kenran@200116b82b47570048be9f9daa581893.dip.versatel-1u1.de) |
| 10:04:27 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 10:06:28 | → | deadmarshal_ joins (~deadmarsh@95.38.112.135) |
| 10:10:43 | × | phma_ quits (phma@2001:5b0:2143:ec78:cdba:58b6:49c7:afc6) (Read error: Connection reset by peer) |
| 10:11:04 | × | acidjnk quits (~acidjnk@p200300d0c722df62a43b1a632e0518cf.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 10:11:30 | → | phma_ joins (phma@2001:5b0:211f:3fe8:4742:ae6f:94a2:91e2) |
| 10:11:39 | → | oxide joins (~lambda@user/oxide) |
| 10:17:59 | <crazazy> | simeon: what you're describing sounds exactly like fix though, what should make your function different? |
| 10:18:20 | → | mastarija joins (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) |
| 10:19:11 | → | dcoutts_ joins (~duncan@host213-122-143-81.range213-122.btcentralplus.com) |
| 10:22:00 | <abastro[m]> | It has an extra point. |
| 10:22:24 | <juri_> | supersven: that's on the radar, but accelerate so far requires non-free nvidia components. I'll have to fix that before i can use it. |
| 10:22:28 | <crazazy> | so he wants to compose functions endlessly? |
| 10:22:35 | <crazazy> | I don't thing haskell allows that |
| 10:22:54 | <crazazy> | seen has it has a problem with "fix const" |
| 10:23:19 | → | pnotequalnp joins (~pnotequal@user/pnotequalnp) |
| 10:24:25 | <abastro[m]> | Haskell do allow that |
| 10:25:41 | <crazazy> | > fix (+0) 1 |
| 10:25:43 | <lambdabot> | error: |
| 10:25:43 | <lambdabot> | • Could not deduce (Num t0) |
| 10:25:43 | <lambdabot> | from the context: (Num t, Num (t -> t1)) |
| 10:26:02 | <abastro[m]> | Tho ye, you cannot have sth useful I think |
| 10:26:30 | → | michalz joins (~michalz@185.246.204.58) |
| 10:27:12 | <abastro[m]> | > let g f = f . g f in let f x = 3 in g f |
| 10:27:14 | <lambdabot> | error: |
| 10:27:15 | <lambdabot> | • No instance for (Typeable a0) |
| 10:27:15 | <lambdabot> | arising from a use of ‘show_M56310801027013224528’ |
| 10:27:29 | <abastro[m]> | .. |
| 10:27:57 | <abastro[m]> | > let g f = f . g f in let f x = 3 in g f 10 |
| 10:27:59 | <lambdabot> | 3 |
| 10:29:11 | <crazazy> | @type let g f = f . g f in g |
| 10:29:13 | <lambdabot> | (b -> b) -> a -> b |
| 10:29:21 | <crazazy> | ah |
| 10:30:38 | <abastro[m]> | I guess one could do like.. |
| 10:31:23 | → | axeman joins (~quassel@2a02:8109:a380:78:fb48:68f6:ee82:4e6f) |
| 10:31:26 | <abastro[m]> | > let g f = f . g f in let f n = if n * n < 20 then n+1 else error (show n) in g f 0 |
| 10:31:34 | <lambdabot> | mueval-core: Time limit exceeded |
| 10:31:42 | <abastro[m]> | Huh |
| 10:31:43 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 10:32:05 | <crazazy> | i guess its just fix mixed with const |
| 10:32:11 | <abastro[m]> | Oh right, lazy evaluatiob. Lol |
| 10:32:57 | <crazazy> | > let g f = f . g f in let f xs = 1:xs in take 20 $ g f error |
| 10:32:59 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] |
| 10:33:28 | → | redb joins (~nmh@136.49.49.211) |
| 10:34:07 | × | deadmarshal_ quits (~deadmarsh@95.38.112.135) (Ping timeout: 240 seconds) |
| 10:34:53 | <abastro[m]> | Oh wow, yea, I guess that one is useful |
| 10:35:02 | <abastro[m]> | Can recreate cycle |
| 10:35:25 | <crazazy> | i mean its the same as |
| 10:35:41 | <crazazy> | > take 20 $ fix (\f -> 1:f) |
| 10:35:43 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] |
| 10:35:52 | <abastro[m]> | The point part is rather useless tho, so you can put `error` and it will never be there |
| 10:36:11 | <abastro[m]> | Yea |
| 10:36:48 | <abastro[m]> | > let g f x = g f $! (f x) in let f n = if n * n < 20 then n+1 else error (show n) in g f 0 |
| 10:36:50 | <lambdabot> | *Exception: 5 |
| 10:36:59 | <abastro[m]> | *Cheat* |
| 10:37:27 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 10:38:01 | → | abastro joins (~abab9579@220.75.216.63) |
| 10:38:35 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 10:41:07 | → | fciocan joins (~fciocan@188.24.47.102) |
| 10:41:17 | × | fciocan quits (~fciocan@188.24.47.102) (Client Quit) |
| 10:41:22 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 10:43:52 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 10:48:16 | <Andrew> | juri_: I am here |
| 10:49:42 | <juri_> | Andrew: ah. :) |
| 10:50:32 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 10:52:57 | → | Pickchea joins (~private@user/pickchea) |
| 10:55:52 | × | axeman quits (~quassel@2a02:8109:a380:78:fb48:68f6:ee82:4e6f) (Ping timeout: 248 seconds) |
| 10:56:32 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 10:56:59 | × | DNH quits (~DNH@8.43.122.67) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:00:14 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:00:59 | → | coot joins (~coot@213.134.190.95) |
| 11:01:01 | → | jgeerds joins (~jgeerds@d5364b87.access.ecotel.net) |
| 11:04:01 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 11:04:48 | → | redb joins (~nmh@136.49.49.211) |
| 11:07:40 | → | Benzi-Junior joins (~BenziJuni@dsl-149-64-179.hive.is) |
| 11:08:14 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 250 seconds) |
| 11:09:19 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 11:10:51 | × | mixfix41 quits (~sdenynine@user/mixfix41) (Quit: need to reboot) |
| 11:11:07 | → | redb joins (~nmh@136.49.49.211) |
| 11:12:15 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 11:14:36 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:14:49 | → | chomwitt joins (~chomwitt@2a02:587:dc0f:ad00:bf65:8d32:22b6:5d0b) |
| 11:15:33 | × | log101 quits (~log101@78.178.70.213) (Ping timeout: 256 seconds) |
| 11:15:34 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 11:15:36 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 11:16:43 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 11:20:28 | × | little_mac quits (~little_ma@2601:410:4300:3ce0::fa0b) (Remote host closed the connection) |
| 11:25:30 | → | axeman joins (~quassel@2a02:8109:a380:78:69da:bb2c:a1f1:3035) |
| 11:26:39 | → | daniii_ joins (uid550762@id-550762.ilkley.irccloud.com) |
| 11:32:26 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:36:50 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 11:41:13 | × | michalz quits (~michalz@185.246.204.58) (Ping timeout: 248 seconds) |
| 11:43:29 | → | fendor joins (~fendor@91.141.68.168.wireless.dyn.drei.com) |
| 11:43:29 | → | redb joins (~nmh@136.49.49.211) |
| 11:44:05 | × | xff0x_ quits (~xff0x@om126033110024.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 11:46:24 | <abastro> | How do I improve readability of: https://paste.tomsmeding.com/ZXwz0j8D |
| 11:47:14 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:47:51 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 11:49:02 | <hpc> | make the font bigger? :P |
| 11:49:18 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 11:49:31 | <abastro> | Welp howwwww |
| 11:49:44 | <geekosaur> | DemiMarieObenour, we know. a stable xmonad-like for Wayland is one of our future directions. but as yet Wayland is unstable enough that we expect too be around for a while |
| 11:50:02 | <geekosaur> | plus Red Hat has commercial commitments until2030 so it'll be around at least that long |
| 11:50:04 | <abastro> | Oh, wayland is also unstable? |
| 11:50:05 | <abastro> | Meh. |
| 11:50:18 | <geekosaur> | bad things happen when your compositor crashes |
| 11:50:41 | <hpc> | abastro: hmm, maybe start by commenting the different sections? |
| 11:51:02 | <hpc> | here's how it finds the first letter, here's how it scans forward for the rest of the search query, etc |
| 12:00:45 | × | kenran quits (~kenran@200116b82b47570048be9f9daa581893.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 12:00:54 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 12:01:16 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 12:01:28 | <abastro> | I see, perhaps I should add more comments |
| 12:01:54 | <abastro> | How did you know that it was about finding some letters? |
| 12:02:56 | <hpc> | mostly the type/name |
| 12:02:59 | Maxdamantus | wonders if Wayland will add better support sometime for monitors with different DPIs, so it works as well as Xorg. |
| 12:03:21 | <hpc> | it's taking a 2d grid of characters and returning a boolean based on some text |
| 12:03:35 | <abastro> | I see, haskellers mostly read types I guess |
| 12:03:35 | <hpc> | which you fold over, and then there's an equality test further in |
| 12:04:12 | <hpc> | i would have to read it in further detail to tell if there's something like the word is allowed to turn corners or loop back on itself |
| 12:08:52 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 12:11:14 | → | redb joins (~nmh@136.49.49.211) |
| 12:12:57 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:577:b10c:6bcc:4643) (Read error: Connection reset by peer) |
| 12:13:23 | phma_ | is now known as phma |
| 12:14:58 | → | log101 joins (~log101@78.178.70.213) |
| 12:15:31 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 12:19:27 | → | xff0x_ joins (~xff0x@om126033110024.35.openmobile.ne.jp) |
| 12:21:56 | → | zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:cd4b:9144:99bf:c691) |
| 12:22:16 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 12:22:56 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 12:25:43 | <abastro[m]> | Yea, tho e.g. loopback might arguably be trivial detail |
| 12:33:47 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 12:34:05 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 12:35:27 | × | log101 quits (~log101@78.178.70.213) (Ping timeout: 256 seconds) |
| 12:36:24 | <DemiMarieObenour> | geekosaur: I would not be surprised if major distributions drop Wayland support before that |
| 12:36:49 | <geekosaur> | I assume you meant X11, but yes, some probably will |
| 12:37:59 | <geekosaur> | but that won't necessarily be the end; when gnome 3 came out a bunch of distros dropped support for gnome 2, so someone else took over support for it (mate) and it's back again |
| 12:38:17 | <geekosaur> | open source is funny that way |
| 12:38:51 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 12:39:27 | <geekosaur> | we'll just have to wait and see if people care enough |
| 12:43:20 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 12:43:47 | <DemiMarieObenour> | Yeah, I meant X11 |
| 12:43:54 | <DemiMarieObenour> | I would edit it if it were not for the IRC bridge |
| 12:44:19 | <DemiMarieObenour> | The biggest problem with X11, though, is that it is a legitimate security risk. |
| 12:44:26 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 12:45:02 | → | redb joins (~nmh@136.49.49.211) |
| 12:46:17 | <Maxdamantus> | Is Wayland really that different in terms of security risk? It seems fairly similar to me. |
| 12:46:52 | <Maxdamantus> | afaik both protocols have ways of capturing the screen and of sending input, because those things are sometimes useful. |
| 12:47:08 | <Maxdamantus> | and that's basically all you need for there to be a security risk. |
| 12:47:52 | <geekosaur> | the real security risk is that in X11 any program can listen on key events sent to any client |
| 12:47:59 | <geekosaur> | which is to say, snooppasswords |
| 12:48:11 | <geekosaur> | wayland prevents this |
| 12:48:26 | <geekosaur> | x11's security model, such as it is, pretty much can't |
| 12:48:34 | <Maxdamantus> | Hm, okay, so basically the XRecord extension. |
| 12:49:10 | <Maxdamantus> | Well, you could presumably disable XRecord. Not sure if it's that useful. |
| 12:49:38 | × | Flonk quits (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 12:49:45 | → | abastro joins (~abab9579@220.75.216.63) |
| 12:49:59 | → | Flonk joins (~Flonk@vps-zap441517-1.zap-srv.com) |
| 12:50:01 | <geekosaur> | you don't even need XRecord |
| 12:50:29 | <geekosaur> | just register interest in key events on the root window (and, by default, all subwindows) |
| 12:50:51 | <geekosaur> | XRecord just makes it a little more convenient |
| 12:52:11 | <Maxdamantus> | Hm, right. |
| 12:53:52 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:c589:b201:12b7:bd36) |
| 12:53:58 | <Maxdamantus> | Would you have to then deregister/reregister the key events to forward the input to the target window? |
| 12:56:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 12:57:19 | → | acidjnk joins (~acidjnk@p200300d0c722df62a43b1a632e0518cf.dip0.t-ipconnect.de) |
| 12:58:27 | <Maxdamantus> | Guess not, since it looks like you can control that using the `propagate` flag in `XSendEvent`. |
| 12:59:04 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:59:07 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 12:59:37 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 13:00:40 | × | jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 13:01:21 | → | DNH joins (~DNH@8.43.122.67) |
| 13:01:47 | × | axeman quits (~quassel@2a02:8109:a380:78:69da:bb2c:a1f1:3035) (Ping timeout: 240 seconds) |
| 13:02:18 | → | CiaoSen joins (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 13:03:43 | <geekosaur> | well, there is a way to prevent other clients from seeing key events, and xterm even provides a menu item to activate/deactivate it for when you are typing passwords, but it's an annoying extra step and ~nobody ever bothers, to the point that other terminal emulators pretty much don't even bother with it |
| 13:04:25 | <geekosaur> | `man 7 X` also provides some tips for configuring X security to minimize the risk, but it's pretyt limited |
| 13:04:47 | <geekosaur> | those GUI popups that ask for passwords use it, though |
| 13:05:28 | <geekosaur> | (keyboard grab, if you want to look up the details) |
| 13:06:07 | × | odnes quits (~odnes@5-203-210-165.pat.nym.cosmote.net) (Remote host closed the connection) |
| 13:06:16 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 13:06:25 | → | odnes joins (~odnes@5-203-210-165.pat.nym.cosmote.net) |
| 13:07:17 | × | Flonk quits (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 13:11:39 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 13:12:01 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 13:13:37 | → | log101 joins (~log101@78.178.70.213) |
| 13:13:50 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 13:17:01 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 13:17:25 | × | DNH quits (~DNH@8.43.122.67) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:17:27 | → | redb joins (~nmh@136.49.49.211) |
| 13:17:53 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 13:17:54 | → | fciocan joins (~fciocan@188.24.47.102) |
| 13:18:38 | → | DNH joins (~DNH@8.43.122.67) |
| 13:22:32 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 13:23:08 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 13:23:25 | → | zebrag joins (~chris@user/zebrag) |
| 13:25:32 | <abastro> | Apparently, test code can replace types r8? |
| 13:25:51 | <fciocan> | hello! Am I on the right channel for GSoC? |
| 13:25:53 | <abastro> | (Btw it seems that programming beginners just do not know that type system could be strong enough for safe refactor) |
| 13:27:44 | <exarkun> | Do programming beginners know anything? I guess it depends on how beginner-y they are and what they have been taught. |
| 13:28:12 | <abastro> | Well true |
| 13:28:22 | → | kenran joins (~kenran@200116b82b4757008ec2f178c01120ce.dip.versatel-1u1.de) |
| 13:28:29 | <abastro> | I meant junior developers (typical) |
| 13:28:31 | <c_wraith> | fciocan: probably not. this is a general-purpose channel. It could be helpful, but it's probably not the one you're looking for. (I don't know where that one is) |
| 13:29:01 | <exarkun> | abastro: I imagine the modal junior developer knows how to write simple functions in javascript to use a DOM manipulation library. |
| 13:29:18 | → | adnaahm joins (~adnaahm@119.160.67.116) |
| 13:29:51 | <abastro> | Yep |
| 13:29:59 | <abastro> | Does not know anything about types |
| 13:30:13 | → | ubert joins (~Thunderbi@p200300ecdf15883338aa5c9dba4a51bd.dip0.t-ipconnect.de) |
| 13:31:30 | → | axeman joins (~quassel@2a02:8109:a380:78:8c29:7464:b7a3:5ddf) |
| 13:32:20 | × | fciocan quits (~fciocan@188.24.47.102) (Ping timeout: 250 seconds) |
| 13:32:23 | → | jespada joins (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 13:32:36 | → | hololeap joins (~hololeap@user/hololeap) |
| 13:33:49 | × | adnaahm quits (~adnaahm@119.160.67.116) (Ping timeout: 256 seconds) |
| 13:42:09 | → | redb joins (~nmh@136.49.49.211) |
| 13:46:31 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 13:48:21 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 13:48:24 | × | zeenk quits (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 13:52:47 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 13:53:16 | → | redb joins (~nmh@136.49.49.211) |
| 13:53:42 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 14:00:10 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 14:01:34 | × | log101 quits (~log101@78.178.70.213) (Remote host closed the connection) |
| 14:04:57 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:08:15 | <DemiMarieObenour> | Maxdamantus: one of the goals of in Wayland is to make screenshotting, etc privileged operations, so that sandboxed programs (such as Flatpaks) can’t access them. |
| 14:08:20 | → | Macbethwin joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 14:09:16 | × | Macbethwin quits (~chargen@D964062A.static.ziggozakelijk.nl) (Client Quit) |
| 14:10:04 | × | razetime quits (~quassel@117.254.35.31) (Remote host closed the connection) |
| 14:10:30 | <hololeap> | is there any way to detect if a build is using v1 or v2 cabal? some kind of conditional I can place in a .cabal file like "if v2-cabal ..." ? |
| 14:11:07 | <hololeap> | I have to use a different doctest setup for Setup.hs builds so this would be handy to detect |
| 14:11:19 | → | Pickchea joins (~private@user/pickchea) |
| 14:15:04 | → | boxscape_ joins (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 14:17:19 | <albet70> | > let xs = [0..9] in zipWith (-) (tail xs) xs |
| 14:17:21 | <lambdabot> | [1,1,1,1,1,1,1,1,1] |
| 14:19:14 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 14:21:39 | <albet70> | > let xs = [0..9] in (take 1 xs) <> (zipWith (-) (tail xs) xs) |
| 14:21:40 | <lambdabot> | [0,1,1,1,1,1,1,1,1,1] |
| 14:22:24 | <albet70> | how to do the reverse? turn that [0,1,1...] to [0..9]? |
| 14:22:51 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:23:00 | <abastro> | > scanl (+) 0 [1,1,1,1,1,1,1,1] |
| 14:23:02 | <albet70> | with list compression is possible? |
| 14:23:02 | <lambdabot> | [0,1,2,3,4,5,6,7,8] |
| 14:23:14 | <abastro> | > scanl1 (+) [0,1,1,1,1,1,1,1,1,1] |
| 14:23:16 | <lambdabot> | [0,1,2,3,4,5,6,7,8,9] |
| 14:23:27 | <abastro> | Is this satisfactory? |
| 14:23:33 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 14:23:36 | <albet70> | wow |
| 14:23:52 | <albet70> | Data.List is really something |
| 14:24:10 | <abastro[m]> | Is it? Hmm |
| 14:24:34 | <abastro[m]> | Ppl complain that haskell is battery excluded tho |
| 14:24:41 | <abastro[m]> | Wait that is about Text & Vector, nvm |
| 14:25:12 | <geekosaur> | mostly this stuff is considered toys. they want Text in base (although I think it comes with ghc so it might as well be for most purposes), etc. |
| 14:26:07 | <boxscape_> | tbh I don't have a big problem with batteries excluded. I suppose it'd be nice to have IDE support for quickly adding dependencies |
| 14:26:20 | <albet70> | I just learned that Data.List and I got 4kyu in codewars, I think I may the solve medium ones in leetcode |
| 14:28:16 | → | redb joins (~nmh@136.49.49.211) |
| 14:28:18 | <hololeap> | there is quite a bit of good stuff that comes shipped with GHC, including stuff in base |
| 14:28:31 | <hololeap> | it's a good idea to become familiar with it |
| 14:30:14 | <hololeap> | this chart shows which libraries are shipped with which versions of GHC, so they should be installed on whatever you're using as long as you can figure out what version of GHC is running: https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history |
| 14:30:40 | <albet70> | "hololeap :there is quite a bit of good stuff that comes shipped with GHC, including stuff in base", but groupBy is good with the shipping |
| 14:30:55 | <albet70> | not good |
| 14:32:15 | <hololeap> | if you want something better, then use a better tool for the job, like Map |
| 14:32:18 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 14:32:45 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 14:32:52 | <albet70> | > groupBy (<=) [1,2,2,3,1,2,0,4,5,2] |
| 14:32:54 | <lambdabot> | [[1,2,2,3,1,2],[0,4,5,2]] |
| 14:33:46 | <boxscape_> | since groupBy is designed to take an equality predicate, it seems like it shouldn't be too surprising that it behaves strangely when provided something that's not an equality predicate |
| 14:33:56 | <hololeap> | I don't see what's wrong with that. it behaves exactly as expected |
| 14:34:25 | <hololeap> | all the stuff in the first sublist is (<=1) and all the stuff in the second sublist is (<=0) |
| 14:34:34 | <boxscape_> | (the better version in NonEmpty also says in its documentation that it expects an equality predicate, which is admittedly something the [] version docs don't mention https://hackage.haskell.org/package/base-4.16.1.0/docs/Data-List-NonEmpty.html#v:groupBy) |
| 14:35:23 | <albet70> | > Data.List.GroupBy.groupBy (<=) [1,2,2,3,1,2,0,4,5,2] |
| 14:35:25 | <lambdabot> | error: |
| 14:35:25 | <lambdabot> | Not in scope: ‘Data.List.GroupBy.groupBy’ |
| 14:35:25 | <lambdabot> | Perhaps you meant ‘Data.List.NonEmpty.groupBy’ (imported from Data.List.... |
| 14:35:50 | <boxscape_> | hololeap technically it's the other way around, 1 is <= than all the stuff in the first sublist |
| 14:36:03 | <hololeap> | oh, right, sorry :) |
| 14:36:20 | <hololeap> | that's what I meant |
| 14:37:07 | → | stackdroid18 joins (14094@user/stackdroid) |
| 14:38:30 | <hololeap> | if you want to scan a list of items and group them, then something like `Eq k => Map k Int` will give you counts for each item in an efficient way |
| 14:39:01 | <albet70> | it supposed to be [[1,2,2,3],[1,2],[0,4,5],[2]] |
| 14:39:20 | <boxscape_> | albet70 that's a fine thing to want, it's just not what groupBy is meant for |
| 14:39:52 | <albet70> | "🟢 boxscape_ :albet70 that's a fine thing to want, it's just not what groupBy is meant for", but there is Data.List.GroupBy |
| 14:40:28 | <boxscape_> | what package is that in? |
| 14:40:56 | → | mixfix41 joins (~sdenynine@user/mixfix41) |
| 14:41:09 | <albet70> | @hoogle Data.List.GroupBy.groupBy |
| 14:41:10 | <lambdabot> | No results found |
| 14:41:47 | × | axeman quits (~quassel@2a02:8109:a380:78:8c29:7464:b7a3:5ddf) (Ping timeout: 240 seconds) |
| 14:42:18 | <jackson99> | @hoogle groupBy |
| 14:42:19 | <lambdabot> | Data.List groupBy :: (a -> a -> Bool) -> [a] -> [[a]] |
| 14:42:19 | <lambdabot> | Data.List.NonEmpty groupBy :: Foldable f => (a -> a -> Bool) -> f a -> [NonEmpty a] |
| 14:42:19 | <lambdabot> | GHC.OldList groupBy :: (a -> a -> Bool) -> [a] -> [[a]] |
| 14:42:55 | <boxscape_> | looks like this function in utility-ht works that way https://hackage.haskell.org/package/utility-ht-0.0.16/docs/Data-List-HT.html#v:groupBy |
| 14:42:58 | <jackson99> | @hoogle groupOn |
| 14:42:58 | <lambdabot> | Data.List.Extra groupOn :: Eq b => (a -> b) -> [a] -> [[a]] |
| 14:42:58 | <lambdabot> | Extra groupOn :: Eq b => (a -> b) -> [a] -> [[a]] |
| 14:42:58 | <lambdabot> | Intro groupOn :: Eq b => (a -> b) -> [a] -> [[a]] |
| 14:44:02 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 250 seconds) |
| 14:44:07 | <albet70> | in the groupBy-0.1.0.0 package |
| 14:44:26 | <boxscape_> | I see |
| 14:44:35 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 14:44:40 | <boxscape_> | I suppose it's fair to say that it would have been a good idea to have groupBy in base work that way |
| 14:45:34 | → | redb joins (~nmh@136.49.49.211) |
| 14:46:38 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:47:50 | <hololeap> | but now it's "locked in" because if they change the behavior of groupBy in base, it could break existing code |
| 14:48:21 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 14:48:44 | <c_wraith> | well, not really. I mean, it could break existing code, but only code that depended on undocumented behavior |
| 14:48:48 | <albet70> | "hololeap :but now it's "locked in" because if they change the behavior of groupBy in base, it could break existing code", and change that /= in Eq or Ord something won't? |
| 14:49:15 | <albet70> | I forgot, what's the biggest thing lately, that related to /= |
| 14:49:57 | <hololeap> | I don't understand |
| 14:50:02 | <geekosaur> | actually I thinkthat was the straw that broke the camel's back |
| 14:50:03 | → | cosimone joins (~user@93-47-228-79.ip115.fastwebnet.it) |
| 14:50:18 | <geekosaur> | there's a massive backlash about that kind of breaking change going on currently |
| 14:50:29 | <c_wraith> | there was an effort to remove (/=) from Eq. Which.. I dunno, is fine by me, but leaving it is also fine by me. |
| 14:51:15 | <hololeap> | I could see situations where defining (/=) would make more sense than defining (==) |
| 14:51:40 | <hololeap> | I can't think of a good example off the top of my head... (==) is much more common |
| 14:51:49 | <boxscape_> | one important difference though is that removing (/=) from Eq will cause compile-time errors, whereas changing the behavior of groupBy could change the behavior without causing any errors at all, compile- or runtime |
| 14:51:55 | → | abastro joins (~abab9579@220.75.216.63) |
| 14:52:10 | <boxscape_> | (i.e. it could introduce bugs unnoticed) |
| 14:52:11 | <geekosaur> | especially since the list discussion leaned against the change, then the proposer went ahead and proposed it to the CLC anyway |
| 14:52:19 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 14:52:29 | <c_wraith> | just following the Linear Types example |
| 14:52:37 | <c_wraith> | ignore all criticism! full speed ahead! |
| 14:53:43 | <abastro[m]> | Hm actually |
| 14:53:43 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 14:53:44 | <boxscape_> | hm I think the responsibility of taking into account community opinion lies more with the CLC when deciding on a proposal, than with a proposer when deciding whether or not to propose |
| 14:54:03 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:54:18 | <abastro[m]> | When ppl complain about "not batteries included" and that is basically due to missing `Text` and `Vector`.. that one is not really about "batteries" I think |
| 14:54:24 | <abastro[m]> | Some critical component is missing, rather |
| 14:54:49 | <hololeap> | batteries aren't critical? :p |
| 14:55:04 | <boxscape_> | not if the device can run off of wallpower, too |
| 14:55:28 | <abastro> | XD |
| 14:55:50 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 14:55:52 | <hololeap> | fair enough... I suppose the furby doesn't have to talk either... |
| 14:55:52 | × | cdman quits (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 14:56:12 | <hpc> | cabal is so much better than other package managers that maybe the right phrase here is "power outlet included" |
| 14:56:49 | <abastro> | Hmm I forgot how to do self-contained script with cabal |
| 14:57:31 | <boxscape_> | #!~/.ghcup/bin/cabal --build-depends=package1,package2? I haven't tried that though |
| 14:58:08 | <c_wraith> | there's actually a file header that cabal will recognize to get its options from |
| 14:58:17 | <boxscape_> | oh, nice |
| 14:58:18 | <abastro> | What is the file header |
| 14:58:33 | <abastro> | Yea I don't think `~/.ghcup/bin/cabal` would be good |
| 14:58:34 | <c_wraith> | https://stackoverflow.com/a/65541020/383200 |
| 14:59:39 | <abastro> | Where is it recorded in the std doc reference? |
| 14:59:58 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 15:00:42 | <hololeap> | does anyone know how to point "cabal repl --with-compiler=doctest" to the doctest exe in a sandbox, like github actions? |
| 15:00:49 | <abastro> | Oh, and HLS is not particularly happy about it |
| 15:00:55 | → | redb joins (~nmh@136.49.49.211) |
| 15:02:13 | × | kenran quits (~kenran@200116b82b4757008ec2f178c01120ce.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 15:02:55 | <abastro> | Anyway, thank you! |
| 15:02:57 | <albet70> | https://github.com/haskell/core-libraries-committee/issues/3 |
| 15:03:27 | <hololeap> | https://github.com/hololeap/hackport/runs/6048104718?check_suite_focus=true#step:8:5 |
| 15:05:01 | <albet70> | "geekosaur :especially since the list discussion leaned against the change, then the proposer went ahead and proposed it to the CLC anyway", what's CLC? |
| 15:05:37 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 15:05:38 | <c_wraith> | Core Library Committee |
| 15:07:18 | <albet70> | haha, remove /= from Eq is really a big news to haskell, even some friends of mine which don't use haskell knew this news |
| 15:07:45 | <albet70> | and aske me why they do it |
| 15:08:07 | <abastro> | How would they hear of it |
| 15:08:20 | → | jackson98 joins (~bc8147f2@cerf.good1.com) |
| 15:08:39 | <albet70> | twitter I guess |
| 15:08:43 | <abastro> | Also was it already implemented? |
| 15:08:57 | <abastro> | Oh so that is how ppl learn to do hate speech towards haskell |
| 15:08:59 | <albet70> | and also I got this news by twitter |
| 15:09:06 | <hololeap> | I also have it in a cabal-defined test, sort of... it just ends up running the same command using System.Process ... I would like to have cabal tell me where it put the doctest exe |
| 15:09:15 | <hololeap> | https://github.com/hololeap/hackport/blob/master/hackport.cabal#L662-L671 https://github.com/hololeap/hackport/blob/master/tests/doctests-v2.hs |
| 15:09:47 | <albet70> | "abastro :Oh so that is how ppl learn to do hate speech towards haskell", what's ppl short for? |
| 15:10:55 | <abastro> | people |
| 15:12:18 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 15:12:33 | jackson98 | is now known as jackson99 |
| 15:14:58 | <abastro> | How do I make it so that HLS ignores a hs file.. |
| 15:15:08 | <albet70> | hate speech towards haskell is better than no one talk about it... |
| 15:15:34 | <hololeap> | abastro: I recommend generating a hie.yml for the project using gen-hie (from the implicit-hie package) |
| 15:16:00 | <abastro> | Well, I have one with `#!/usr/bin/env cabal` |
| 15:16:05 | <abastro> | Would it recognize? |
| 15:16:27 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:16:27 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 15:16:27 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:16:30 | <hololeap> | you have that at the top of hie.yml? |
| 15:16:39 | <hololeap> | seems weird |
| 15:16:43 | <abastro> | Oh, I mean |
| 15:16:52 | <abastro> | I have a script file which I want HLS to ignore |
| 15:17:25 | <abastro> | which starts with `#!/usr/bin/env cabal` but nonetheless is .hs file |
| 15:18:26 | <hololeap> | once you generate the hie.yml file you should be able to edit it and remove that file. HLS will read hie.yml and override where it looks for .hs files |
| 15:18:39 | → | redb joins (~nmh@136.49.49.211) |
| 15:18:54 | <hololeap> | *hie.yaml |
| 15:20:03 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 15:20:05 | <hololeap> | can you run a bash file as a test from cabal, instead of needing a .hs source file? |
| 15:20:35 | <abastro> | Oh, I mean, I want the syntax highlighting at least |
| 15:20:44 | <abastro> | gen-hie only recognize one branch... meh |
| 15:20:46 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 15:21:11 | <hololeap> | abastro: is there a way I can see the project? |
| 15:21:36 | <abastro> | Sorry but it is not public atm |
| 15:21:52 | <abastro> | Tho, I have a project which has 2 submodules in 2 subfolders |
| 15:22:00 | <abastro> | Each submodule has project description. |
| 15:22:32 | <hololeap> | hm, yeah I think that might get tricky. you could ask in #haskell-language-server |
| 15:22:45 | <abastro> | I see. |
| 15:23:10 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 15:23:43 | <hololeap> | I would think you would want one hie.yaml for each submodule |
| 15:24:10 | × | abastro quits (~abab9579@220.75.216.63) () |
| 15:24:36 | → | abastro joins (~abab9579@220.75.216.63) |
| 15:24:52 | <abastro> | haskell-language-server does not exist hmm |
| 15:24:59 | <abastro> | Yep, one hie.yaml for each submodule |
| 15:25:49 | <hololeap> | the channel definitely exists in libera.chat. you need the leading '#' on the channel name |
| 15:26:13 | <hololeap> | this also has a lot of good info: https://www.reddit.com/r/haskell/comments/hcu5sf/mystified_by_hieyaml/ |
| 15:26:19 | <abastro> | I cannot find it |
| 15:26:30 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 15:26:39 | <abastro> | `/join #haskell-language-server` seem to redirect to an empty server. |
| 15:27:18 | <hololeap> | [Notice] -alis- Returning maximum of 64 channel names matching '*haskell-lang*' |
| 15:27:25 | <hololeap> | [Notice] -alis- #haskell-language-server 62 |
| 15:28:49 | <hololeap> | maybe you have to be registered? |
| 15:29:08 | <boxscape_> | abastro in matrix it would have to be #haskell-language-server:libera.chat but yeah in a regular IRC client the one you wrote should be it |
| 15:29:08 | <hololeap> | ask in #libera |
| 15:29:50 | <abastro> | Yep I am in libera |
| 15:30:39 | <hololeap> | https://github.com/haskell/hie-bios#readme |
| 15:32:01 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 15:32:20 | → | zmt00 joins (~zmt00@user/zmt00) |
| 15:37:34 | → | sarupbanskota joins (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 15:37:56 | <abastro> | cradle direct works! |
| 15:38:00 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 15:39:41 | → | zmt01 joins (~zmt00@user/zmt00) |
| 15:39:55 | → | redb joins (~nmh@136.49.49.211) |
| 15:39:58 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:39:58 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 15:39:58 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:40:08 | × | acidjnk quits (~acidjnk@p200300d0c722df62a43b1a632e0518cf.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 15:40:22 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 250 seconds) |
| 15:41:08 | → | acidjnk joins (~acidjnk@p200300d0c722df62ec24d2aa56361374.dip0.t-ipconnect.de) |
| 15:41:33 | <abastro> | Realized problem with scripts: cabal update will try to update bunch of dependencies.. |
| 15:43:18 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 15:43:31 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 15:44:07 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 15:46:04 | × | ubert quits (~Thunderbi@p200300ecdf15883338aa5c9dba4a51bd.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 15:46:20 | → | ubert joins (~Thunderbi@p200300ecdf15883338aa5c9dba4a51bd.dip0.t-ipconnect.de) |
| 15:46:32 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 15:47:04 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 15:47:44 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 15:48:04 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 15:48:18 | <hololeap> | nice :) |
| 15:48:40 | × | acidjnk quits (~acidjnk@p200300d0c722df62ec24d2aa56361374.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 15:49:05 | × | xff0x_ quits (~xff0x@om126033110024.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 15:49:09 | <c_wraith> | I'm sure you can use the standard cabal syntax for specifying versions |
| 15:50:14 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:51:26 | × | pnotequalnp quits (~pnotequal@user/pnotequalnp) (Ping timeout: 250 seconds) |
| 15:51:52 | × | CiaoSen quits (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 15:55:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:56:47 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 15:57:41 | <jackson99> | I don't suppose it is possible to allow user of the library to deconstruct my data, while still not allowing constructing it? (I want to force constructing with smart constructor) |
| 15:57:45 | → | redb joins (~nmh@136.49.49.211) |
| 15:57:56 | <jackson99> | if I just expert constructor both will work |
| 15:58:30 | <monochrom> | Maybe make and export unidirectional pattern synonyms. |
| 15:59:06 | <monochrom> | In simple cases, a smart constructor can be a pattern synonym too. |
| 15:59:36 | <boxscape_> | yeah sounds like you might want a bidirectional pattern synonym to combine the deconstruction and smart construction |
| 16:01:29 | → | carrotahma joins (~star@86.32.51.33) |
| 16:01:56 | × | boxscape_ quits (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 16:02:03 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:02:40 | → | Vajb joins (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 16:03:01 | → | boxscape_ joins (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 16:04:13 | <carrotahma> | 😀😁😂🤣😃😄😅😆😉😊😋😎😍😘😗😙😚☺🙂🤗🤩🤔🤨😐😑😶🙄😏😣😥😮🤐😯😪😫😴😌😛😜😝🤤😒😓😔😕🙃🤑😲☹🙁😖😞😟😤😢😭😦😧😱😳🤪😇🤠🤓🤡💩 |
| 16:04:20 | × | carrotahma quits (~star@86.32.51.33) (Read error: Connection reset by peer) |
| 16:04:32 | → | carrotahma joins (~star@86.32.51.33) |
| 16:04:42 | ChanServ | sets mode +o monochrom |
| 16:05:45 | <tomsmeding> | I mean, it's better than freenode spam like we got after we made the switch |
| 16:06:43 | <carrotahma> | 😀😁😂🤣😃😄😅😆😉😊😋😎😍😘😗😙😚☺🙂🤗🤩🤔🤨😐😑😶🙄😏😣😥😮🤐😯😪😫😴😌😛😜😝🤤😒😓😔😕🙃🤑😲☹🙁😖😞😟😤😢😭😦😧😱😳🤪😇🤠🤓🤡💩 |
| 16:06:53 | monochrom | sets mode +b *!*@86.32.51.33 |
| 16:06:53 | carrotahma | is kicked by monochrom (carrotahma) |
| 16:07:17 | monochrom | sets mode -o monochrom |
| 16:07:23 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:07:55 | <abastro> | Hmmmm |
| 16:09:51 | <tomsmeding> | Though, what even is the point |
| 16:10:19 | <tomsmeding> | Someone found a script or somethint |
| 16:10:25 | <tomsmeding> | *-g |
| 16:10:25 | <monochrom> | The code points. >:) |
| 16:10:37 | <tomsmeding> | Yeah lots of code points there |
| 16:12:06 | <tomsmeding> | Here's a more interesting code point: 🫥 |
| 16:12:51 | <tomsmeding> | It's a new unicode 14 or 15 thing |
| 16:14:49 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:15:40 | <boxscape_> | I was just thinking "if only we had an emoji of a face with dotted lines" |
| 16:18:27 | <Zemyla> | I can't see most of those emoji. |
| 16:18:47 | <abastro> | I dislike how I could see some of the emotes |
| 16:19:05 | <geekosaur> | I can see the noise but not tomsmeding'scontribution. I assume I need a newer font with support for the new codepoints |
| 16:19:09 | <tomsmeding> | boxscape_: right? We really needed that |
| 16:19:20 | boxscape_ | nods |
| 16:19:50 | <tomsmeding> | geekosaur: the thing I sent displays fine in my android browser and another chat app, but not here in my android irc app |
| 16:21:03 | <tomsmeding> | geekosaur: at least you can look up its description here https://tomsmeding.com/unicode#%F0%9F%AB%A5 |
| 16:23:52 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 248 seconds) |
| 16:25:31 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 16:28:04 | <boxscape_> | phew, constructing an AST for "let var = val in expr" with the GHC API takes more work than I thought https://paste.tomsmeding.com/ru8f7YjN |
| 16:28:55 | <albet70> | can scanl1 be implemented by list compression? |
| 16:29:09 | <boxscape_> | (type LExpr = LHsExpr GhcPs) |
| 16:29:34 | <albet70> | or no recursive way |
| 16:30:04 | <boxscape_> | do you mean "list comprehension"? |
| 16:30:15 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 16:30:35 | <abastro> | Wow boxscape_, why th does it take so much expressions hmm |
| 16:30:39 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 16:31:05 | <Zemyla> | No, list comprehensions take only one value from the list at a time, and don't allow storing state in between. |
| 16:31:07 | <boxscape_> | abastro mainly because at each step, there's a ton of information attached to each node, like the source location, comments, and annotations |
| 16:31:40 | <abastro> | So this is why macros would be hard in haskell |
| 16:32:16 | <boxscape_> | one reason |
| 16:32:23 | <abastro> | Ye |
| 16:32:28 | <albet70> | "boxscape_ :do you mean "list comprehension"?", yes |
| 16:32:41 | <geekosaur> | see Zemyla's answer |
| 16:32:57 | <Zemyla> | scanl1 is basically a fold or traversal. |
| 16:33:29 | × | abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 16:34:02 | <geekosaur> | list comprehension is a map. you can write a map in terms of a fold, but not a fold in terms of a map |
| 16:34:26 | <albet70> | storing state, is there other way? no recursive |
| 16:34:58 | <geekosaur> | uh, both are recursive, they just hide it |
| 16:35:44 | <geekosaur> | @undo [ x | x <- [0..2] ] |
| 16:35:44 | <lambdabot> | concatMap (\ x -> [x]) [0 .. 2] |
| 16:35:51 | <geekosaur> | @src concatMap |
| 16:35:51 | <lambdabot> | concatMap f = foldr ((++) . f) [] |
| 16:35:58 | <albet70> | I'd implement scanl1 in other languages, but they don't support tco |
| 16:36:37 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:37:01 | <albet70> | storing state with OO seems an option |
| 16:37:21 | × | sarupbanskota quits (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Quit: Client closed) |
| 16:37:25 | <albet70> | I haven't used OO in haskell yet |
| 16:38:49 | <albet70> | could object's attribute can be modified in haskell? |
| 16:39:05 | <geekosaur> | we don't really have OO in Haskell |
| 16:39:44 | <abastro[m]> | Inheritance is missing in haskell yea |
| 16:40:49 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 16:42:14 | <albet70> | so is there dict comprehension? since list comprehension can't storing state, but dict can update its value |
| 16:42:27 | <albet70> | or called Map? |
| 16:42:40 | <abastro[m]> | Haskell base does not contain Map |
| 16:43:12 | <albet70> | oh, fromList |
| 16:43:12 | <abastro[m]> | There is containers library instead, but its updates are immutable i.e. it constructs new map instead of modification |
| 16:43:24 | <geekosaur> | a "dict comprehension" would still not be able to store state |
| 16:43:39 | <geekosaur> | it would visit each node in turn, just as the list comprehension does |
| 16:44:21 | <geekosaur> | and you would only have the node, not the "dict" it belonged to |
| 16:44:26 | <albet70> | so storing state is really only the recursive way? |
| 16:44:27 | <abastro[m]> | You can do stateful operations if you include StateT tho |
| 16:44:53 | <abastro[m]> | Well I guess you could do e.g. IO or ST as wrll |
| 16:44:56 | <geekosaur> | as I told you earlier, you can do map via a fold, but you can't do a fold via a map |
| 16:45:55 | <abastro[m]> | Hm I wonder |
| 16:46:15 | <abastro[m]> | Does "single responsibility principle" really hold/work? |
| 16:46:27 | <abastro[m]> | In terms of functions ofc |
| 16:47:28 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 16:48:10 | × | mbuf quits (~Shakthi@182.64.223.167) (Quit: Leaving) |
| 16:48:31 | <monochrom> | It used to be called "cohesion" long before OO existed. |
| 16:48:42 | → | redb joins (~nmh@136.49.49.211) |
| 16:49:49 | <monochrom> | To break cohesion, you could define "data Op = Square | SquareRoot" and "f :: Op -> Double -> Double" so that f Square is squaring, f SquareRoot is sqrt. |
| 16:50:20 | <monochrom> | If you can afford dynamic typing, you can even do more. |
| 16:50:25 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 16:50:41 | <abastro[m]> | Cohesion? |
| 16:50:46 | <monochrom> | cohesion. |
| 16:50:55 | <abastro[m]> | Oh so it is a well-established practice then |
| 16:51:08 | <abastro[m]> | (Which is as easy to break) |
| 16:51:11 | <monochrom> | A function/procedure violates cohesion iff it takes on multiple personalities. |
| 16:51:38 | <monochrom> | Oh we have social principles precisely because they are machine-uncheckable >:) |
| 16:56:42 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 16:57:31 | <abastro[m]> | Personally I feel e.g.... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/170b7f8229295cead218cba093c49cdc1943518e) |
| 16:58:48 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:58:49 | → | Macbethwin joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 16:58:58 | <abastro[m]> | For some reason, similar code in JS leads to clean codebase I guess |
| 17:00:44 | × | berberman quits (~berberman@user/berberman) (Remote host closed the connection) |
| 17:00:56 | → | vicfred joins (~vicfred@user/vicfred) |
| 17:01:04 | → | berberman joins (~berberman@user/berberman) |
| 17:01:53 | <abastro[m]> | By naming `doesA`, `doesB` and `doesC` separately |
| 17:02:07 | × | boxscape_ quits (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 17:02:32 | <tomsmeding> | abastro[m]: I mean, whether it is really depends on the complexity of the functionality involved |
| 17:03:02 | <tomsmeding> | If the code is this large, it's probably clearer to just put it in do notation — less looking around to where what name is defined |
| 17:03:20 | <tomsmeding> | But if those 3 definitions are more complicated, it might make perfect sense |
| 17:04:35 | <abastro[m]> | It was in JS instead but the functionality was literally that |
| 17:05:13 | <abastro[m]> | checkA, performB, getMaybeC etc. were indeed separate functions |
| 17:06:02 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 17:06:24 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 17:06:49 | <abastro[m]> | Think it would make more sense indeed if e.g. `checkA` definition is inlined. But no |
| 17:08:09 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 17:08:22 | → | coot joins (~coot@213.134.190.95) |
| 17:10:49 | <abastro[m]> | Perhaps it is verbosity?... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/d49708aac1a4c71424c32679776366b8fbf8ece0) |
| 17:13:09 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 17:14:40 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 17:16:41 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 17:20:05 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:21:48 | × | cosimone quits (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 17:23:02 | → | xkuru joins (~xkuru@user/xkuru) |
| 17:23:26 | → | econo joins (uid147250@user/econo) |
| 17:23:53 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 17:24:16 | → | kaph joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 17:26:58 | → | sub0 joins (~bc8147f2@199.204.85.195) |
| 17:28:08 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 17:28:11 | <sub0> | hi. what is causing this error? [minBound .. maxBound] :: [Card] works, but [minBound ..] :: [Card] gives me an error.n |
| 17:29:29 | <sub0> | https://paste.tomsmeding.com/nCh7hmDO |
| 17:29:48 | <monochrom> | That depends on what you wrote for Card's Enum instance. |
| 17:30:38 | <sub0> | sorry, included source now. https://paste.tomsmeding.com/P9OheSIb |
| 17:32:09 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 17:32:11 | <monochrom> | So this means you need to hand-code enumFrom too. |
| 17:33:51 | <hololeap> | curious why you didn't just derive Enum, sub0? |
| 17:33:55 | → | ozataman[m] joins (~ozatamanm@2001:470:69fc:105::1:faa0) |
| 17:34:03 | → | axeman joins (~quassel@2a02:8109:a380:78:fc35:b9b7:cb4e:a9bb) |
| 17:34:06 | → | anomal joins (~anomal@87.227.196.109) |
| 17:34:17 | <monochrom> | It has fields. |
| 17:34:25 | <sub0> | yeah it can't be derived |
| 17:34:35 | <hololeap> | oh, right you can't do that... |
| 17:36:57 | <lyxia> | shameless plug https://hackage.haskell.org/package/generic-data-0.9.2.1/docs/Generic-Data.html#t:FiniteEnumeration |
| 17:36:58 | × | Vajb quits (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 17:37:00 | <sub0> | adding this made it work: https://hackage.haskell.org/package/base-4.16.1.0/docs/GHC-Enum.html#t:Enum |
| 17:37:17 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 17:37:31 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 17:37:50 | <monochrom> | https://github.com/MarcusRainbow/Haxcel Haskell + Excel = Haxcel :) |
| 17:38:42 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:39:03 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 17:39:23 | <sub0> | I'm not sure why enumFrom and enumFromThen aren't defined like that in the first place? |
| 17:40:12 | <monochrom> | It cannot know you type has an upper bound. |
| 17:40:21 | <monochrom> | s/you/your/ |
| 17:40:51 | → | Pickchea joins (~private@user/pickchea) |
| 17:43:08 | → | gehmehgeh_ joins (~user@user/gehmehgeh) |
| 17:45:35 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 17:45:47 | × | kaph quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 240 seconds) |
| 17:50:17 | <sub0> | yeah I see, it doesn't require Bounded instance |
| 17:50:30 | Macbethwin | is now known as chargen |
| 17:53:01 | → | deadmarshal_ joins (~deadmarsh@95.38.112.135) |
| 17:53:09 | → | dlromw^ joins (~dlromw@50.226.13.122) |
| 17:55:25 | × | odnes quits (~odnes@5-203-210-165.pat.nym.cosmote.net) (Remote host closed the connection) |
| 17:56:31 | → | odnes joins (~odnes@5-203-210-165.pat.nym.cosmote.net) |
| 17:57:11 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:57:28 | × | deadmarshal_ quits (~deadmarsh@95.38.112.135) (Ping timeout: 246 seconds) |
| 17:57:56 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:07:16 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 18:07:55 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 18:09:32 | → | hololeap joins (~hololeap@user/hololeap) |
| 18:11:47 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:25:16 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 18:28:56 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 18:34:32 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:38:00 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:44:42 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:48:02 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 18:52:51 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 19:00:46 | × | nahcetan quits (~nate@98.45.152.91) (Ping timeout: 272 seconds) |
| 19:05:53 | → | niemand joins (~niemand@p5796a546.dip0.t-ipconnect.de) |
| 19:06:24 | × | niemand quits (~niemand@p5796a546.dip0.t-ipconnect.de) (Client Quit) |
| 19:06:35 | → | niemand joins (~niemand@p5796a546.dip0.t-ipconnect.de) |
| 19:06:51 | ← | niemand parts (~niemand@p5796a546.dip0.t-ipconnect.de) () |
| 19:07:53 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 19:14:47 | × | axeman quits (~quassel@2a02:8109:a380:78:fc35:b9b7:cb4e:a9bb) (Quit: No Ping reply in 180 seconds.) |
| 19:16:02 | → | axeman joins (~quassel@2a02:8109:a380:78:ab94:2d42:874d:c69b) |
| 19:20:50 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 19:23:46 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 19:27:47 | × | odnes quits (~odnes@5-203-210-165.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 19:28:07 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 19:28:57 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 19:29:52 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 19:29:52 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 19:29:52 | finn_elija | is now known as FinnElija |
| 19:29:54 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:33:04 | × | neceve quits (~quassel@2.29.116.221) (Ping timeout: 250 seconds) |
| 19:34:01 | × | Trattue- quits (~Trattue@152.70.182.158) (Quit: bye) |
| 19:34:08 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 19:34:20 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 19:35:01 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 19:35:01 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 19:35:01 | finn_elija | is now known as FinnElija |
| 19:35:37 | → | sarupbanskota joins (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 19:35:52 | → | acidjnk joins (~acidjnk@p200300d0c722df627ca148a3877b8356.dip0.t-ipconnect.de) |
| 19:37:21 | → | Trattue joins (~Trattue@152.70.182.158) |
| 19:38:07 | × | sarupbanskota quits (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Client Quit) |
| 19:40:02 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 19:41:11 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 19:42:12 | → | odnes joins (~odnes@5-203-210-165.pat.nym.cosmote.net) |
| 19:42:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 19:44:27 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 19:44:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:45:02 | → | jgeerds joins (~jgeerds@d5364b87.access.ecotel.net) |
| 19:48:53 | → | kaph joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 19:49:43 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 19:49:45 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 19:53:40 | → | Digit joins (~user@user/digit) |
| 19:53:46 | × | stackdroid18 quits (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 19:55:10 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 19:57:44 | <Digit> | so, my bot from the irc bot tute has stopped replying to someone who upgraded thier os and client (hexchat). looks like i'll have to muster the energy and skill beyond my aptitudes and adrenals to remedy this bug. or just cathartically mention it in #haskell, and carry on procrastinating/resting to recoup the energy for a proper go at it. |
| 19:59:48 | <geekosaur> | is its account registered with nickserv? |
| 20:00:30 | <geekosaur> | although that shouldn't change basedon a local system upgrade, it's a libera thing |
| 20:01:24 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:03:28 | → | Pickchea joins (~private@user/pickchea) |
| 20:03:53 | <geekosaur> | looks like +R defaults off anyway, so that'sunlikely to be it |
| 20:04:06 | × | kaph quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Remote host closed the connection) |
| 20:04:34 | → | kaph joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 20:07:23 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 20:08:05 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 20:09:06 | × | kaph quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Read error: Connection reset by peer) |
| 20:09:07 | → | kaph_ joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 20:13:07 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:15:01 | × | kaph_ quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 246 seconds) |
| 20:17:27 | × | sub0 quits (~bc8147f2@199.204.85.195) (Quit: quit) |
| 20:18:18 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 20:19:37 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 20:20:08 | × | fendor quits (~fendor@91.141.68.168.wireless.dyn.drei.com) (Remote host closed the connection) |
| 20:20:24 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:20:24 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:20:24 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:21:05 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 20:21:24 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 20:21:33 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 20:23:38 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 20:23:40 | → | ishaan joins (~ishaan@122.161.53.177) |
| 20:23:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:26:21 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 20:27:29 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 20:29:05 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:29:45 | × | dextaa quits (~dextaa@user/dextaa) (Ping timeout: 256 seconds) |
| 20:32:32 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 20:33:51 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 20:37:12 | × | matijja quits (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:38:27 | → | matijja joins (~matijja@193.77.181.201) |
| 20:39:42 | × | mmhat quits (~mmh@55d49a6a.access.ecotel.net) (Quit: WeeChat 3.5) |
| 20:40:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:40:28 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 20:42:52 | → | kaph joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 20:43:52 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:44:25 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 20:46:10 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 20:46:32 | → | MajorBiscuit joins (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 20:55:15 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:55:31 | → | tromp joins (~textual@77.249.230.40) |
| 20:58:20 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 20:59:27 | × | axeman quits (~quassel@2a02:8109:a380:78:ab94:2d42:874d:c69b) (Ping timeout: 240 seconds) |
| 20:59:32 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:cd4b:9144:99bf:c691) (Read error: Connection reset by peer) |
| 20:59:59 | → | echoreply joins (~echoreply@45.32.163.16) |
| 21:00:09 | → | erisco_ joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 21:00:40 | × | erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 248 seconds) |
| 21:00:59 | erisco_ | is now known as erisco |
| 21:05:45 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 21:06:38 | × | odnes quits (~odnes@5-203-210-165.pat.nym.cosmote.net) (Quit: Leaving) |
| 21:07:27 | × | MajorBiscuit quits (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 21:11:23 | × | tromp quits (~textual@77.249.230.40) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:18:32 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:18:36 | → | neceve joins (~quassel@2.29.116.221) |
| 21:24:32 | → | axeman joins (~quassel@2a02:8109:a380:78:cc32:643d:863c:ed2b) |
| 21:34:49 | → | coot joins (~coot@213.134.190.95) |
| 21:36:35 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 21:36:43 | × | mastarija quits (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) (Quit: Leaving) |
| 21:37:04 | sander | is now known as sndr |
| 21:37:53 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 21:39:19 | × | dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:39:27 | × | coot quits (~coot@213.134.190.95) (Ping timeout: 256 seconds) |
| 21:39:27 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 256 seconds) |
| 21:40:48 | → | hololeap joins (~hololeap@user/hololeap) |
| 21:44:00 | → | dolio joins (~dolio@130.44.130.54) |
| 21:46:59 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:c589:b201:12b7:bd36) (Remote host closed the connection) |
| 21:51:04 | × | gehmehgeh_ quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:51:38 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 22:00:04 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:01:16 | <hololeap> | anyone know a haskell lib with MathJax in the docs off the top of their head? I want to see if my local MathJax.js setup works |
| 22:01:31 | → | MajorBiscuit joins (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 22:03:26 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 250 seconds) |
| 22:03:31 | → | juri__ joins (~juri@79.140.115.71) |
| 22:03:31 | × | juri__ quits (~juri@79.140.115.71) (Read error: Connection reset by peer) |
| 22:06:18 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 22:08:31 | → | juri_ joins (~juri@178.63.35.222) |
| 22:08:55 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 22:09:07 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 22:24:47 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 22:25:17 | → | nahcetan joins (~nate@98.45.169.16) |
| 22:26:00 | × | acidjnk quits (~acidjnk@p200300d0c722df627ca148a3877b8356.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:26:51 | → | yauhsien joins (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 22:31:31 | × | yauhsien quits (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 22:38:46 | × | ishaan quits (~ishaan@122.161.53.177) (Quit: Client closed) |
| 22:45:44 | × | simeon quits (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 22:48:26 | → | argento joins (~argent0@168-227-97-23.ptr.westnet.com.ar) |
| 22:49:43 | × | neceve quits (~quassel@2.29.116.221) (Ping timeout: 246 seconds) |
| 22:56:10 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 22:56:10 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 22:56:10 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:58:01 | → | simeon joins (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) |
| 23:00:47 | × | chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 23:03:43 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 23:03:56 | → | pavonia joins (~user@user/siracusa) |
| 23:08:52 | × | MajorBiscuit quits (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 23:10:44 | → | euandreh_ joins (~euandreh@2804:14c:33:9fe5:88ce:e5fa:f6ef:a25b) |
| 23:12:46 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:9d95:c71:11e4:3e0f) (Ping timeout: 250 seconds) |
| 23:15:47 | × | euandreh_ quits (~euandreh@2804:14c:33:9fe5:88ce:e5fa:f6ef:a25b) (Ping timeout: 240 seconds) |
| 23:21:33 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 23:21:38 | → | euandreh_ joins (~euandreh@2804:14c:33:9fe5:8ead:4f39:6c3c:67f6) |
| 23:22:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 23:32:25 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 23:32:57 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 23:34:33 | × | euandreh_ quits (~euandreh@2804:14c:33:9fe5:8ead:4f39:6c3c:67f6) (Remote host closed the connection) |
| 23:34:59 | → | euandreh_ joins (~euandreh@2804:14c:33:9fe5:be1f:339b:bf2e:3750) |
| 23:35:11 | → | vicfred joins (~vicfred@user/vicfred) |
| 23:38:06 | × | DNH quits (~DNH@8.43.122.67) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:44:16 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 23:46:46 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 246 seconds) |
| 23:49:44 | → | vicfred joins (~vicfred@user/vicfred) |
| 23:55:27 | × | dlromw^ quits (~dlromw@50.226.13.122) (Remote host closed the connection) |
| 23:55:28 | → | xff0x_ joins (~xff0x@om126033110024.35.openmobile.ne.jp) |
All times are in UTC on 2022-04-16.