Logs on 2024-06-16 (liberachat/#haskell)
| 00:30:51 | × | dcoutts_ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 00:32:53 | <hololeap> | anyone know why `cabal update` would be creating a dist-newstyle/ in $PWD ? |
| 00:43:17 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 00:46:05 | → | solaire joins (~solaire@syn-067-052-091-058.biz.spectrum.com) |
| 00:50:26 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 00:50:50 | → | arahael joins (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
| 00:57:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 00:59:17 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 01:00:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 01:02:33 | × | Square quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 01:14:27 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 01:14:45 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 01:33:38 | → | joeyadams3 joins (~joeyadams@2603:6010:5100:2ed:37b:d1cb:abb:b85d) |
| 01:34:21 | × | joeyadams quits (~joeyadams@2603:6010:5100:2ed:37b:d1cb:abb:b85d) (Quit: Leaving) |
| 01:34:26 | × | joeyadams3 quits (~joeyadams@2603:6010:5100:2ed:37b:d1cb:abb:b85d) (Client Quit) |
| 01:42:00 | <monochrom> | That was a bug. Fixed in a later version. Has been a while. |
| 01:45:05 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 01:50:05 | × | solaire quits (~solaire@syn-067-052-091-058.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 01:51:31 | → | solaire joins (~solaire@209.0.135.98) |
| 02:01:00 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 02:01:26 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 02:01:27 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 02:05:04 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 02:05:34 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:13:17 | × | solaire quits (~solaire@209.0.135.98) (Ping timeout: 240 seconds) |
| 02:13:50 | → | joeyadams joins (~joeyadams@2603:6010:5100:2ed:37b:d1cb:abb:b85d) |
| 02:15:05 | → | solaire joins (~solaire@syn-067-052-091-058.biz.spectrum.com) |
| 02:25:45 | → | gorignak joins (~gorignak@user/gorignak) |
| 02:30:21 | → | madhavanmi joins (~madhavanm@2409:40f4:3c:714e:8000::) |
| 02:31:26 | × | madhavanmi quits (~madhavanm@2409:40f4:3c:714e:8000::) (Read error: Connection reset by peer) |
| 02:31:40 | → | madhavanmi joins (~madhavanm@2a09:bac5:3b14:18be::277:34) |
| 02:31:44 | × | madhavanmi quits (~madhavanm@2a09:bac5:3b14:18be::277:34) (Client Quit) |
| 02:36:11 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 02:36:23 | → | litharge joins (litharge@libera/bot/litharge) |
| 02:42:52 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 02:46:15 | × | phma quits (~phma@host-67-44-208-57.hnremote.net) (Read error: Connection reset by peer) |
| 02:48:15 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 02:48:45 | × | solaire quits (~solaire@syn-067-052-091-058.biz.spectrum.com) (Ping timeout: 255 seconds) |
| 02:48:51 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 02:49:09 | → | solaire joins (~solaire@syn-067-052-091-058.biz.spectrum.com) |
| 02:52:27 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 02:53:43 | × | solaire quits (~solaire@syn-067-052-091-058.biz.spectrum.com) (Ping timeout: 255 seconds) |
| 02:54:47 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 02:57:14 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 02:57:18 | → | phma joins (phma@2001:5b0:2172:eb58:a102:8e01:4f76:63c6) |
| 02:59:22 | → | madhavanmi joins (~madhavanm@2409:40f4:2017:93b5:8000::) |
| 02:59:28 | × | madhavanmi quits (~madhavanm@2409:40f4:2017:93b5:8000::) (Client Quit) |
| 03:01:05 | × | td_ quits (~td@i53870937.versanet.de) (Ping timeout: 252 seconds) |
| 03:02:55 | → | td_ joins (~td@i53870926.versanet.de) |
| 03:07:22 | → | troydm joins (~troydm@user/troydm) |
| 03:17:10 | <koala_man> | oh fun... riscv gcc does not recognize -march=native |
| 03:18:27 | × | rdcdr_ quits (~rdcdr@97-113-223-47.tukw.qwest.net) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 03:19:42 | → | rdcdr joins (~rdcdr@user/rdcdr) |
| 03:27:19 | <probie> | It only supports -march=native on Linux, and only for arm, x86, mips and s390/zSeries (IBM's mainframe architecture). Not all architectures even have a `-march` option (e.g. for SPARC, you want `-mcpu=native`) |
| 03:28:33 | <geekosaur> | go go gadget consistency |
| 03:34:13 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 03:34:46 | <koala_man> | how do I set -f -arch-native for all packages (at least hashable)? I hoped `cabal install ... -f -arch-native` would do that when hashable is a dependency, but I guess not |
| 03:37:22 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 03:37:54 | <geekosaur> | you need a cabal.project: https://paste.tomsmeding.com/LRlWtW77 |
| 03:38:09 | <geekosaur> | (although cabal.project.local is preferred for that) |
| 03:38:47 | <probie> | The mistake was having a little consistency. The `-m` flags are the "machine-dependent" options, so I enjoy the implication that it's a bug not to be able to use them in machine-independent way |
| 03:40:01 | <geekosaur> | note that flags in different packages aren't guaranteed to mean the same thing, so you probably want `package hashable` instead of `package *` |
| 03:41:13 | <geekosaur> | and re what probie said, you can conditionalize on cpu or platform in cabal.project{,.local} if needed |
| 03:41:37 | <geekosaur> | (but not on flags because they're a property of cabal files, not projects) |
| 03:41:39 | × | aforemny_ quits (~aforemny@2001:9e8:6ceb:e600:2c9:e941:ad5c:4927) (Ping timeout: 268 seconds) |
| 03:42:09 | → | aforemny joins (~aforemny@i59F516F9.versanet.de) |
| 03:50:15 | <koala_man> | I tried googling things and put `package hashable\n flags: -arch-native` in my ~/.cabal/config, but it says "Unrecognized stanza" |
| 03:50:44 | <geekosaur> | no, it doesn't go in .cabal/config |
| 03:50:55 | <geekosaur> | it goes in cabal.project.local |
| 03:51:24 | <koala_man> | oh. I misinterpreted https://cabal.readthedocs.io/en/3.4/cabal-project.html which lists the order of files as 1. ~/cabal/config 2. cabal.project |
| 03:51:29 | <geekosaur> | cabal doesn't have a way to do it system-wide / a "default project" |
| 03:52:00 | <geekosaur> | stack does, but disrecommends using it (in particular, if you have a stack.yaml it will _not_ inherit from the default config!)] |
| 03:52:20 | <geekosaur> | right, that's only valid for things that can go in .cabal/config |
| 03:52:36 | <geekosaur> | lots of things in cabal.project can't be put in the global config |
| 03:54:17 | <koala_man> | I'm trying to do a build in docker, but it's running under a riscv emulator so I want to build the dependencies beforehand to reduce the build time from 5 to 2 hours |
| 03:55:36 | <koala_man> | ideally I'd cross compile but ghc is not great at that |
| 03:57:30 | <geekosaur> | `cabal build all --only-dependencies`? |
| 03:58:54 | <koala_man> | can I specify a cabal.project when I do `cabal install --dependencies-only ShellCheck`? |
| 03:59:21 | <geekosaur> | --project=file=whatever |
| 03:59:33 | <geekosaur> | uh |
| 03:59:38 | <geekosaur> | --project-file=whatever |
| 04:00:37 | <koala_man> | I get "The given project file 'cabal.project' does not exist." even though it's in the current directory |
| 04:01:20 | <koala_man> | https://gist.github.com/koalaman/25ac21b7db51c7d4fe1cc3664b9f6db8 |
| 04:03:35 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 04:05:25 | <geekosaur> | what version of cabal-install is this? I think some bugs have been fixed recently-ish (3.10.2/3?) |
| 04:06:14 | → | bilegeek joins (~bilegeek@2600:1008:b050:5afd:bc8c:2176:cbd5:b594) |
| 04:06:50 | <koala_man> | definitely older. I'll try upgrading |
| 04:10:16 | → | madhavanmi joins (~madhavanm@2409:40f4:10fb:ebb4:8000::) |
| 04:10:41 | <geekosaur> | hm, actually I think that's supposed to ignore a project file |
| 04:10:57 | <geekosaur> | because you're telling it to build from hackage, not a local project |
| 04:11:34 | <geekosaur> | I don't think you have any control unless you create a project and vendor e.g. ShellCheck, but you're better off asking in #hackage |
| 04:11:59 | <geekosaur> | (not that anyone's likely to be around until tomorrow morning CEST) |
| 04:15:39 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 04:23:27 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 04:24:37 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 04:31:43 | × | madhavanmi quits (~madhavanm@2409:40f4:10fb:ebb4:8000::) (Read error: Connection reset by peer) |
| 04:45:40 | → | madhavanmi joins (~madhavanm@2409:40f4:10fb:ebb4:8000::) |
| 04:45:49 | × | madhavanmi quits (~madhavanm@2409:40f4:10fb:ebb4:8000::) (Client Quit) |
| 04:47:23 | × | xdminsy quits (~xdminsy@117.147.70.212) (Ping timeout: 264 seconds) |
| 04:48:08 | → | xdminsy joins (~xdminsy@117.147.70.212) |
| 05:07:00 | <sclv> | yeh, no project files with cabal installing. gotta pass command line args |
| 05:19:33 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 05:26:56 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 05:27:27 | → | rvalue joins (~rvalue@user/rvalue) |
| 05:29:29 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 05:30:50 | × | reterrb quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 05:54:19 | → | erty joins (~user@user/aeroplane) |
| 06:02:43 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 06:09:49 | → | pwug joins (~pwug@user/pwug) |
| 06:12:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:16:15 | → | rosco joins (~rosco@175.136.155.137) |
| 06:20:09 | → | madhavanmi joins (~madhavanm@2409:40f4:10fb:ebb4:8000::) |
| 06:20:28 | × | madhavanmi quits (~madhavanm@2409:40f4:10fb:ebb4:8000::) (Client Quit) |
| 06:21:04 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 06:21:16 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:25:40 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 06:28:49 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:30:08 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:34:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 06:38:07 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:40:32 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 06:41:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:43:33 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:50:49 | → | acidjnk_new joins (~acidjnk@p200300d6e714dc91484bcbbc96a78a6f.dip0.t-ipconnect.de) |
| 06:55:40 | × | joeyadams quits (~joeyadams@2603:6010:5100:2ed:37b:d1cb:abb:b85d) (Quit: Leaving) |
| 06:58:37 | → | ak-1 joins (~ak-1@149.50.189.14) |
| 07:00:02 | × | tt1231097 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 07:03:00 | → | tt12310978 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 07:10:10 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 07:10:45 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 07:21:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 07:28:40 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 07:31:40 | → | gmg joins (~user@user/gehmehgeh) |
| 07:51:10 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
| 07:58:00 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 08:01:30 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 08:02:30 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 268 seconds) |
| 08:03:10 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 08:03:20 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 08:06:55 | × | TactfulCitrus quits (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 255 seconds) |
| 08:07:22 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
| 08:07:59 | → | TactfulCitrus joins (al@gateway/vpn/protonvpn/tactfulcitrus) |
| 08:09:18 | × | bilegeek quits (~bilegeek@2600:1008:b050:5afd:bc8c:2176:cbd5:b594) (Quit: Leaving) |
| 08:09:40 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 08:11:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:17:35 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:20:23 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 264 seconds) |
| 08:20:47 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 08:23:29 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 08:23:56 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:34:00 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 08:41:03 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 08:41:03 | → | euphores joins (~SASL_euph@user/euphores) |
| 08:41:59 | × | pwug quits (~pwug@user/pwug) (Ping timeout: 264 seconds) |
| 08:52:27 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 08:54:00 | → | rvalue joins (~rvalue@user/rvalue) |
| 08:55:24 | → | euleritian joins (~euleritia@dynamic-176-003-086-187.176.3.pool.telefonica.de) |
| 08:56:37 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:04:04 | → | madhavanmi joins (~madhavanm@2409:40f4:1037:3646:8000::) |
| 09:05:19 | × | rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 09:19:19 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:22:05 | → | ibrettyoudid joins (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) |
| 09:22:47 | × | madhavanmi quits (~madhavanm@2409:40f4:1037:3646:8000::) (Read error: Connection reset by peer) |
| 09:22:53 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:22:57 | → | madhavanmi joins (~madhavanm@2409:40f4:1037:3646:8000::) |
| 09:23:12 | × | madhavanmi quits (~madhavanm@2409:40f4:1037:3646:8000::) (Remote host closed the connection) |
| 09:26:33 | <ibrettyoudid> | hls is not finding the package db in vscodium (arm64) |
| 09:28:48 | <ibrettyoudid> | i'm using path rather than ghcup because ghcup downloads a messed up hls-2.8 |
| 09:29:59 | <ibrettyoudid> | anyone know how to either point hls-2.7 to the package-db or download a working hls-2.8 (arm64) |
| 09:39:24 | <ibrettyoudid> | hello |
| 09:40:53 | × | causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 09:40:57 | <ibrettyoudid> | anyone know how to either point hls-2.7 to the package-db since I don't think it's finding it |
| 09:41:05 | <Rembane> | I think people are asleep. Have patience. :) |
| 09:41:09 | <Rembane> | I have no idea. |
| 09:42:06 | <ibrettyoudid> | ok i am using a new irc client i wasn't sure if it was sending |
| 09:44:24 | <Rembane> | It is. :) |
| 09:45:50 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 09:50:25 | × | erty quits (~user@user/aeroplane) (Ping timeout: 268 seconds) |
| 09:51:13 | <ibrettyoudid> | thanks. this is all around VS Codium, maybe I should try emacs |
| 09:53:12 | × | euleritian quits (~euleritia@dynamic-176-003-086-187.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:53:30 | → | euleritian joins (~euleritia@77.22.252.56) |
| 09:56:38 | <Rembane> | Do that to get another datapoint. |
| 10:11:07 | → | dcoutts_ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 10:12:12 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 10:12:41 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 10:16:52 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 10:26:03 | × | dcoutts_ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 10:42:05 | × | xdminsy quits (~xdminsy@117.147.70.212) (Ping timeout: 240 seconds) |
| 10:43:57 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 10:43:57 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services))) |
| 10:43:57 | Feuermagier_ | is now known as Feuermagier |
| 10:45:45 | Feuermagier | is now known as Guest8938 |
| 10:45:45 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 10:45:45 | × | Guest8938 quits (~Feuermagi@user/feuermagier) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 10:45:45 | Feuermagier_ | is now known as Feuermagier |
| 10:46:21 | → | rosco joins (~rosco@175.136.155.137) |
| 11:02:09 | × | mrmr15533434 quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 11:03:37 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 11:05:26 | → | CrunchyFlakes joins (~CrunchyFl@146.52.130.128) |
| 11:07:41 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 11:08:33 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:16:56 | → | mrmr15533434 joins (~mrmr@user/mrmr) |
| 11:21:39 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:35:51 | → | teesquare joins (~teesquare@user/teesquare) |
| 11:39:42 | → | madhavanmi joins (~madhavanm@2409:40f4:10f7:98e2:8000::) |
| 11:40:08 | × | ibrettyoudid quits (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (Remote host closed the connection) |
| 11:40:12 | × | madhavanmi quits (~madhavanm@2409:40f4:10f7:98e2:8000::) (Remote host closed the connection) |
| 12:17:46 | × | xff0x quits (~xff0x@2405:6580:b080:900:3766:e25f:476c:d4d7) (Ping timeout: 246 seconds) |
| 12:30:35 | → | xff0x joins (~xff0x@2405:6580:b080:900:3ca7:5236:8f09:cdd0) |
| 12:30:52 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 12:31:15 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 12:45:50 | → | deveng joins (~fernando-@2a01:4f9:c012:63d3::1) |
| 12:48:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:54:15 | → | soverysour joins (~soverysou@user/soverysour) |
| 13:01:10 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 246 seconds) |
| 13:04:27 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 13:05:58 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 13:06:23 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 13:09:18 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 13:11:59 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 264 seconds) |
| 13:13:46 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:13:46 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 13:13:46 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 13:13:47 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 13:14:37 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 13:14:42 | → | gmg joins (~user@user/gehmehgeh) |
| 13:14:49 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 13:15:07 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 13:15:21 | → | joeyadams joins (~joeyadams@2603:6010:5100:2ed:7f4e:e42b:fdd3:c138) |
| 13:16:07 | → | soverysour joins (~soverysou@86.122.85.40) |
| 13:16:07 | × | soverysour quits (~soverysou@86.122.85.40) (Changing host) |
| 13:16:07 | → | soverysour joins (~soverysou@user/soverysour) |
| 13:18:58 | × | soverysour quits (~soverysou@user/soverysour) (Remote host closed the connection) |
| 13:19:12 | → | soverysour joins (~soverysou@user/soverysour) |
| 13:22:22 | <haskellbridge> | <maerwald> @irc_libera.chat_ibrettyoudid:kf8nh.com: I doubt it. Are you using vanilla channel? |
| 13:24:01 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 13:24:33 | → | Square joins (~Square@user/square) |
| 13:24:48 | → | leah2 joins (~leah@vuxu.org) |
| 13:27:39 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:31:58 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 13:43:31 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
| 13:45:34 | → | dcoutts_ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 13:50:27 | → | euphores joins (~SASL_euph@user/euphores) |
| 13:55:26 | → | __monty__ joins (~toonn@user/toonn) |
| 13:57:33 | → | puke joins (~puke@user/puke) |
| 13:59:42 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 14:01:02 | × | destituion quits (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 14:02:19 | → | destituion joins (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 14:05:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 14:06:43 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:10:20 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye) |
| 14:11:08 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 14:13:16 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 14:15:58 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 14:19:47 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 14:25:51 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:26:55 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:31:08 | edwardk | wakes up and looks around and decides to kick the tires on this haskell thing again for an evening. |
| 14:38:25 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
| 14:38:59 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 14:40:52 | <haskellbridge> | <sm> edwardk: it's good, stick with it! |
| 14:42:35 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 14:43:57 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 268 seconds) |
| 14:46:25 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 14:46:48 | → | euleritian joins (~euleritia@dynamic-176-003-081-042.176.3.pool.telefonica.de) |
| 14:47:25 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 14:47:38 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 14:48:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:02:59 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 264 seconds) |
| 15:03:36 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 15:05:11 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 15:05:21 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 15:09:28 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 15:13:32 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 15:13:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 15:15:20 | → | califax joins (~califax@user/califx) |
| 15:15:22 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 15:17:34 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
| 15:19:18 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 15:23:37 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 15:23:45 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 15:24:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:24:31 | → | rvalue joins (~rvalue@user/rvalue) |
| 15:26:16 | → | R5C4571LH01987 joins (~rscastilh@user/R5C4571LH01987) |
| 15:27:49 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 15:28:27 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 15:28:44 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 15:40:13 | × | xigua quits (~xigua@user/xigua) (Remote host closed the connection) |
| 15:40:50 | → | xigua joins (~xigua@user/xigua) |
| 15:43:56 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:5da6:ca27:9d0c:23d6) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:44:12 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 15:45:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:49:44 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 15:50:15 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 15:52:21 | × | turlando quits (~turlando@user/turlando) (Remote host closed the connection) |
| 15:52:56 | <EvanR> | haskell rocks |
| 15:53:14 | <geekosaur> | haskell clouds |
| 15:53:38 | → | turlando joins (~turlando@user/turlando) |
| 15:53:39 | × | Square quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 15:54:21 | <mauke> | but stay away from lenses, they're very complicated |
| 16:06:10 | → | k_hachig joins (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 16:06:55 | <int-e> | Remember when a lens was just focus :: a -> (s, s -> a) ...simpler times. |
| 16:08:41 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 16:11:39 | × | dcoutts_ quits (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 16:13:03 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:13:07 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 16:15:08 | → | verde joins (~user@user/verde) |
| 16:17:37 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:21:23 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 16:27:06 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 16:31:49 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 16:33:09 | → | soverysour joins (~soverysou@user/soverysour) |
| 16:37:47 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 16:43:40 | × | euleritian quits (~euleritia@dynamic-176-003-081-042.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:43:57 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:47:20 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 16:54:15 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 17:02:05 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 17:02:12 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 17:02:33 | → | ethantwardy joins (user@user/ethantwardy) |
| 17:03:19 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:03:47 | × | ethantwardy quits (user@user/ethantwardy) (Client Quit) |
| 17:04:06 | → | ethantwardy joins (user@user/ethantwardy) |
| 17:05:05 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 17:05:39 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:05:53 | × | ethantwardy quits (user@user/ethantwardy) (Client Quit) |
| 17:06:11 | → | ethantwardy joins (user@user/ethantwardy) |
| 17:06:54 | → | soverysour joins (~soverysou@user/soverysour) |
| 17:07:00 | × | ethantwardy quits (user@user/ethantwardy) (Client Quit) |
| 17:07:17 | → | ethantwardy joins (user@user/ethantwardy) |
| 17:12:18 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 17:14:52 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 17:15:09 | → | ethantwardy joins (user@user/ethantwardy) |
| 17:15:26 | → | CiaoSen joins (~Jura@2a05:5800:280:d100:e6b9:7aff:fe80:3d03) |
| 17:15:47 | × | ethantwardy quits (user@user/ethantwardy) (Client Quit) |
| 17:16:04 | → | ethantwardy joins (user@user/ethantwardy) |
| 17:17:42 | × | ethantwardy quits (user@user/ethantwardy) (Client Quit) |
| 17:17:57 | → | ethantwardy joins (user@user/ethantwardy) |
| 17:21:49 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:22:19 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 17:25:00 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 17:26:38 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:26:39 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 17:26:47 | × | k_hachig quits (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 17:28:28 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:30:11 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 17:32:55 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 17:33:24 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 17:35:54 | → | brett303 joins (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) |
| 17:47:11 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 17:47:27 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:50:05 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Quit: myxos) |
| 17:51:51 | × | CiaoSen quits (~Jura@2a05:5800:280:d100:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 17:52:36 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 17:57:54 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 17:58:00 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 18:04:58 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 18:06:16 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:08:01 | → | yrtdaa^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 18:08:22 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:13:37 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 18:18:15 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 18:20:59 | → | k_hachig joins (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 18:26:16 | × | k_hachig quits (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 18:27:49 | × | verde quits (~user@user/verde) (Remote host closed the connection) |
| 18:28:35 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:29:03 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 18:31:27 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 264 seconds) |
| 18:32:00 | → | euleritian joins (~euleritia@dynamic-176-003-081-081.176.3.pool.telefonica.de) |
| 18:32:56 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 18:42:05 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 18:44:16 | → | leah2 joins (~leah@vuxu.org) |
| 18:50:59 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 18:53:03 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 18:53:33 | → | soverysour joins (~soverysou@user/soverysour) |
| 18:54:45 | → | lxsameer joins (lxsameer@Serene/lxsameer) |
| 18:56:10 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 18:58:01 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
| 18:58:05 | × | euleritian quits (~euleritia@dynamic-176-003-081-081.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:58:22 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:00:51 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 19:04:00 | → | dcoutts_ joins (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 19:05:25 | → | Square joins (~Square@user/square) |
| 19:06:08 | × | rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 19:06:46 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 19:06:46 | Feuermagier | is now known as Guest7288 |
| 19:06:46 | × | Guest7288 quits (~Feuermagi@user/feuermagier) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 19:06:46 | Feuermagier_ | is now known as Feuermagier |
| 19:08:19 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 19:09:51 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
| 19:09:51 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:10:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:12:18 | → | koz joins (~koz@121.99.240.58) |
| 19:12:23 | → | soverysour joins (~soverysou@user/soverysour) |
| 19:12:45 | → | causal joins (~eric@50.35.88.207) |
| 19:17:03 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 19:18:34 | → | Guest94 joins (~Guest94@mob-194-230-160-173.cgn.sunrise.net) |
| 19:18:54 | → | michalz joins (~michalz@185.246.207.215) |
| 19:19:47 | × | lxsameer quits (lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 19:21:25 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 19:21:38 | → | hc joins (~hc@mail.hce.li) |
| 19:28:51 | → | cheater_ joins (~Username@user/cheater) |
| 19:28:53 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:30:20 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 19:31:17 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 19:31:26 | cheater_ | is now known as cheater |
| 19:34:29 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 19:37:51 | → | soverysour joins (~soverysou@86.122.85.40) |
| 19:37:51 | × | soverysour quits (~soverysou@86.122.85.40) (Changing host) |
| 19:37:51 | → | soverysour joins (~soverysou@user/soverysour) |
| 19:38:06 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 19:39:22 | → | myme joins (~myme@2a01:799:d5c:5f00:e29:c540:2750:aeeb) |
| 19:40:11 | × | myme quits (~myme@2a01:799:d5c:5f00:e29:c540:2750:aeeb) (Client Quit) |
| 19:42:44 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 19:46:18 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 19:48:01 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 19:50:43 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
| 19:50:59 | × | Guest94 quits (~Guest94@mob-194-230-160-173.cgn.sunrise.net) (Ping timeout: 250 seconds) |
| 19:51:27 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 19:53:46 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 19:58:11 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 20:09:08 | × | hololeap quits (~quassel@user/hololeap) (Quit: Bye) |
| 20:10:59 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 20:17:06 | → | myme joins (~myme@2a01:799:d5c:5f00:e29:c540:2750:aeeb) |
| 20:17:08 | × | myme quits (~myme@2a01:799:d5c:5f00:e29:c540:2750:aeeb) (Client Quit) |
| 20:18:36 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:20:34 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 20:24:34 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 20:26:15 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 20:26:49 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 20:28:18 | × | joeyadams quits (~joeyadams@2603:6010:5100:2ed:7f4e:e42b:fdd3:c138) (Quit: Leaving) |
| 20:31:32 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 20:31:34 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 20:36:10 | → | soverysour joins (~soverysou@user/soverysour) |
| 20:36:53 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 20:40:09 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 20:40:29 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 240 seconds) |
| 20:41:16 | → | Guest74 joins (~Guest74@149.22.81.197) |
| 20:42:15 | × | Guest74 quits (~Guest74@149.22.81.197) (Client Quit) |
| 20:44:42 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 20:46:58 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 20:47:34 | × | henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 20:47:59 | → | henry40408 joins (~henry4040@175.182.111.183) |
| 20:55:19 | → | soverysour joins (~soverysou@user/soverysour) |
| 20:59:34 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 21:00:15 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 21:00:18 | × | R5C4571LH01987 quits (~rscastilh@user/R5C4571LH01987) (Remote host closed the connection) |
| 21:01:18 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:08:17 | → | zetef joins (~quassel@5.2.182.98) |
| 21:08:17 | × | zetef quits (~quassel@5.2.182.98) (Client Quit) |
| 21:13:50 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 21:14:22 | → | k_hachig joins (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 21:19:41 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 21:21:06 | → | soverysour joins (~soverysou@user/soverysour) |
| 21:22:35 | → | hololeap joins (~quassel@107.161.26.24) |
| 21:25:27 | × | hololeap quits (~quassel@107.161.26.24) (Client Quit) |
| 21:25:47 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 21:25:48 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 21:27:49 | → | hololeap joins (~quassel@107.161.26.24) |
| 21:28:32 | <brett303> | anyone know what happened to ghcup 0.1.21? it's not on downloads dot haskell |
| 21:29:20 | × | jrm quits (~jrm@user/jrm) (Ping timeout: 252 seconds) |
| 21:29:43 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 21:29:44 | <iqubic> | Haskell is amazing! |
| 21:29:47 | <iqubic> | I love haskell. |
| 21:30:43 | <sprout> | what stage is this? |
| 21:31:21 | <haskellbridge> | <sm> second honeymoon! |
| 21:32:07 | <haskellbridge> | <sm> #ghcup:matrix.org (https://matrix.to/#/#ghcup:matrix.org) will know brett303 |
| 21:32:20 | × | yrtdaa^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 21:32:40 | × | connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 21:33:24 | <geekosaur> | also on irc as #haskell-ghcup |
| 21:34:27 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 21:35:23 | <monochrom> | Is that just because 0.1.22 has been released for a while? |
| 21:35:40 | <geekosaur> | no, older versions are still there |
| 21:35:48 | <geekosaur> | presumably it has been withdrawn |
| 21:36:21 | <geekosaur> | I checked the wayback machine but it doesn't have any snapshots beween 0.1.20 and 0.1.22 |
| 21:37:48 | × | hololeap quits (~quassel@107.161.26.24) (Quit: Bye) |
| 21:37:48 | × | michalz quits (~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in) |
| 21:38:27 | → | hololeap joins (~quassel@107.161.26.24) |
| 21:39:15 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 21:39:26 | <monochrom> | Oh github, there is no 0.1.21 tag, it jumped from 0.1.20 to 0.1.22. Perhaps 21 did not exist. |
| 21:40:00 | <EvanR> | the forbidden version |
| 21:41:17 | → | AlexNoo_ joins (~AlexNoo@178.34.163.174) |
| 21:41:18 | <brett303> | not to get superstitious on people but i noticed one of the files ghcup (presumably) downloaded had my own name in the filename! |
| 21:42:44 | × | hololeap quits (~quassel@107.161.26.24) (Client Quit) |
| 21:42:55 | × | AlexZenon quits (~alzenon@178.34.163.204) (Ping timeout: 256 seconds) |
| 21:44:38 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 21:45:08 | × | AlexNoo quits (~AlexNoo@178.34.163.204) (Ping timeout: 268 seconds) |
| 21:45:39 | AlexNoo_ | is now known as AlexNoo |
| 21:46:44 | → | infinity0 joins (~infinity0@pwned.gg) |
| 21:48:52 | <monochrom> | Maybe it is instead saying "here is where I save the file" and of course since it's in your home directory it has your username in it. |
| 21:51:21 | → | pavonia joins (~user@user/siracusa) |
| 21:51:25 | → | zzz joins (~yin@user/zero) |
| 21:51:57 | <brett303> | not in the path, the filename of a library buried deep in the tree, in leet-speak |
| 21:52:24 | <monochrom> | heh OK |
| 21:52:47 | → | connrs joins (~connrs@user/connrs) |
| 21:52:48 | <brett303> | i know |
| 21:52:53 | <monochrom> | Speaking of which, I like the prime number 31337 very much. |
| 21:53:26 | <monochrom> | The surprise is that it is a prime number. Math has spoken its opinion. :) |
| 21:53:56 | <EvanR> | that number is boring, it's just 10 in base 31337 |
| 21:54:57 | <EvanR> | > log 31337 / log 2 |
| 21:54:59 | <lambdabot> | 14.935579451756643 |
| 21:55:09 | <EvanR> | > 2**15 |
| 21:55:11 | <lambdabot> | 32768.0 |
| 21:55:38 | <monochrom> | When I teach binary, I write like "twelve = 12_10 = 1100_2" to make a subtle point. |
| 21:55:50 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:56:27 | <monochrom> | In fact, I go so far as writing "one * ten^one + two". |
| 21:56:29 | → | AlexZenon joins (~alzenon@178.34.163.174) |
| 21:56:50 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 21:56:58 | → | hololeap joins (~quassel@107.161.26.24) |
| 21:57:31 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 21:57:40 | <cheater> | is it possible to run HLS in monorepi? |
| 21:57:44 | <EvanR> | that eventually breaks down too because million and billion are apparently some other amounts in british |
| 21:58:10 | <monochrom> | OK, 1 * ten^one + 2. I can link you to the actual slides: https://www.cs.utoronto.ca/~trebla/CSCB09-2023-Summer/40-files-l.pdf then page 20 (out of 34) |
| 21:58:59 | <cheater> | specifically so it understands all the packages in one git repo |
| 21:59:17 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 21:59:31 | × | hololeap quits (~quassel@107.161.26.24) (Changing host) |
| 21:59:31 | → | hololeap joins (~quassel@user/hololeap) |
| 21:59:41 | <monochrom> | But basically the ambiguity of "10" in "1 * 10^1 + 2" is not lost on me. But if I write "ten" or "two" or "sixteen" it is clear. |
| 21:59:50 | <geekosaur> | cheater, probably ask in #haskell-language-server |
| 22:01:49 | <monochrom> | ObHaskell: I just lament (rejoice?) that C doesn't have binary syntax, GHC does. :) |
| 22:02:09 | <EvanR> | just to clarify, 10_10 |
| 22:02:14 | <EvanR> | 10_10_10_10_... |
| 22:02:44 | <monochrom> | Proof by intimidation. Clarification by repetition. :) |
| 22:03:38 | <EvanR> | five = 12_10 |
| 22:03:59 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 22:04:13 | <dolio> | Yeah, that actually doesn't clarify anything. |
| 22:04:27 | <monochrom> | Hey people who like the Cantor set may like that too. :) |
| 22:04:31 | <brett303> | 31337 being the 3379th prime |
| 22:04:51 | × | hololeap quits (~quassel@user/hololeap) (Quit: Bye) |
| 22:05:36 | → | hololeap joins (~quassel@user/hololeap) |
| 22:06:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:06:26 | <cheater> | given that there are bugs about performance in monorepos, i'd guess hls does work in monorepos https://github.com/haskell/haskell-language-server/issues/2151 |
| 22:07:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 22:07:14 | <EvanR> | on the scientific calculator log_10 means one thing, but the programmer's calculator it should be another xD |
| 22:07:48 | <EvanR> | 10 kinds of calculator |
| 22:07:53 | → | califax joins (~califax@user/califx) |
| 22:08:17 | <brett303> | does haskell just not work on arm64? |
| 22:08:35 | <monochrom> | Haha EvanR yes! |
| 22:08:50 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 22:09:32 | <monochrom> | I think haskell works on arm64. I heard people ran ghc on android phones. I don't know how easy though, probably not easy. |
| 22:09:48 | <hololeap> | I just guided someone to install ghc-9.4 on arm64 on Gentoo |
| 22:10:03 | <hololeap> | not sure how much pain remains for them though |
| 22:11:12 | <brett303> | Oh yeah Gentoo has building from source as a strength |
| 22:11:23 | <brett303> | I'm on Debian on my arm64 |
| 22:11:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:11:57 | <hololeap> | they built ghc-9.4.8 with https://downloads.haskell.org/~ghc/9.4.3/ghc-9.4.3-aarch64-deb10-linux.tar.xz |
| 22:12:22 | <hololeap> | using https://downloads.haskell.org/~ghc/9.8.2/hadrian-bootstrap-sources/hadrian-bootstrap-sources-9.4.3.tar.gz |
| 22:12:55 | <hololeap> | just saying it's possible |
| 22:13:07 | <brett303> | ok thank you |
| 22:13:12 | × | acidjnk_new quits (~acidjnk@p200300d6e714dc91484bcbbc96a78a6f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 22:14:07 | <hololeap> | there's also a aarch64-deb10 tarball for other versions. I just wanted it to match the hadrian-bootstrap-sources version |
| 22:14:18 | <monochrom> | Tangentially, I teach a Unix course and I recommend students who prefer staying with Windows or Mac to install Ubuntu in VirtualBox. Except that it doesn't exist for M1/M2. Last year we were stuck. This year fortunately I stumbled across UTM (https://docs.getutm.app/installation/macos/), so that's something. But next up is Ubuntu simply doesn't make a desktop installer for arm64, you have to install server then "apt install ubuntu-desktop". |
| 22:15:06 | <monochrom> | I'm trying to say that a lot of software and people have not caught up to arm and M1/M2. It is a little bit shameful. |
| 22:15:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:19:41 | <EvanR> | students don't telnet into the mainframe?! |
| 22:20:05 | <EvanR> | for a unix course at a university |
| 22:20:18 | <EvanR> | a mainframe running, ahem... unix? lol |
| 22:20:29 | <monochrom> | Oh, a lot of them are too lazy to install anything, so they ssh into the school server. Close enough. |
| 22:21:14 | → | JamesMowery joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 22:21:25 | <haskellbridge> | <sm> monochrom: multipass is/was very good for running ubuntu on macs. A mac firewall bug has been breaking it for a while but they might have a workaround now |
| 22:23:59 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
| 22:34:35 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 22:45:01 | → | xdminsy joins (~xdminsy@117.147.70.212) |
| 22:46:27 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 22:53:39 | → | noumenon joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 22:56:10 | → | jrm joins (~jrm@user/jrm) |
| 23:00:15 | → | joeyadams joins (~joeyadams@2603:6010:5100:2ed:1cec:9f59:c786:1af1) |
| 23:02:44 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:06:55 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 23:10:58 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
| 23:11:00 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:11:09 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:15:44 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 23:19:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 23:19:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:20:03 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 23:22:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
| 23:22:43 | → | spenat joins (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) |
| 23:23:22 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:30:55 | <jjhoo> | really no virtualbox for apple m2? I guess I want to keep my intel-based macbook pro as long as possible |
| 23:33:38 | <geekosaur> | apparently it's in beta and still has a lot of limitations |
| 23:34:53 | <geekosaur> | apple seems to have gone to a lot of effort to be as un-ARM as possible with their ARM-based products |
| 23:38:43 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 23:40:37 | <cheater> | is the hls integration in vim way worse than nvim, or are they pretty much the same? |
| 23:42:43 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 23:45:51 | × | solaire quits (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 264 seconds) |
| 23:46:46 | → | solaire joins (~solaire@syn-024-165-026-201.res.spectrum.com) |
| 23:46:58 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 23:51:35 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 23:56:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
All times are in UTC on 2024-06-16.