Logs: liberachat/#haskell
| 2021-06-19 00:03:18 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 2021-06-19 00:03:40 | → | jess joins (~jess@libera/staff/jess) |
| 2021-06-19 00:04:07 | <boxscape> | yes it's neat :) though you need newtypes to satisfy haskell's type system and avoid infinite types |
| 2021-06-19 00:04:20 | <boxscape> | if you actually want to use it that way |
| 2021-06-19 00:06:33 | × | qwin quits (~yaaic@ip-96-43-230-90.dsl.netrevolution.com) (Ping timeout: 244 seconds) |
| 2021-06-19 00:09:42 | → | nate1 joins (~nate@156.39.10.47) |
| 2021-06-19 00:16:41 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:f9a1:6a30:5a54:d88f) (Ping timeout: 252 seconds) |
| 2021-06-19 00:19:30 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 240 seconds) |
| 2021-06-19 00:21:34 | × | nate1 quits (~nate@156.39.10.47) (Ping timeout: 268 seconds) |
| 2021-06-19 00:21:46 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-19 00:24:06 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-19 00:28:02 | × | elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Ping timeout: 250 seconds) |
| 2021-06-19 00:35:05 | → | elf_fortrez joins (~elf_fortr@adsl-64-237-239-58.prtc.net) |
| 2021-06-19 00:36:44 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 00:37:04 | × | Ariakenom__ quits (~Ariakenom@2001:9b1:efb:fc00:35e3:9001:de86:167f) (Read error: Connection reset by peer) |
| 2021-06-19 00:41:10 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 2021-06-19 00:45:18 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: The Lounge - https://thelounge.chat) |
| 2021-06-19 00:49:20 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Quit: leaving) |
| 2021-06-19 00:50:13 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2021-06-19 00:50:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-06-19 00:51:39 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-19 00:52:59 | × | zangi quits (~zangi@103.154.230.130) (Ping timeout: 252 seconds) |
| 2021-06-19 00:54:57 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-06-19 00:56:53 | → | Melvar joins (~melvar@dslb-088-066-199-085.088.066.pools.vodafone-ip.de) |
| 2021-06-19 00:58:03 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-19 01:00:22 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-19 01:02:53 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-06-19 01:07:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-19 01:08:38 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-06-19 01:09:32 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-19 01:13:30 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-19 01:13:36 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 01:18:15 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-06-19 01:22:37 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 268 seconds) |
| 2021-06-19 01:31:01 | <sclv> | slightly lazy question -- how do I check if a port is open to be _potentially_ bound to without actually binding to it? |
| 2021-06-19 01:31:36 | <sclv> | I'm setting up some stuff wrapping ssh tunneling and want the nicest way to probe if I can pick a port to tunnel thru for subsequent commands... |
| 2021-06-19 01:31:51 | <geekosaur> | I think the best you can do is parse netstat or lsof output |
| 2021-06-19 01:32:07 | <sclv> | uggghhhhh |
| 2021-06-19 01:32:08 | <geekosaur> | there's no way to ask if a port is available because that's a race condition waiting to happen |
| 2021-06-19 01:32:17 | <sclv> | yeah its a race condition and i want to do it anyway lol |
| 2021-06-19 01:32:43 | <sclv> | i guess i can just try to do the binding and then parse the failure message if there is one to decide if i want to retry or not :-/ |
| 2021-06-19 01:33:14 | <sclv> | like as long as we're just parsing stuff that cli utilities spit out at you |
| 2021-06-19 01:34:23 | <sclv> | also could bind to it, then release again i guess... |
| 2021-06-19 01:34:56 | <geekosaur> | the usual trick is to pick a port for a service you aren't running locally |
| 2021-06-19 01:35:21 | × | willbush quits (~user@47.183.200.14) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-06-19 01:38:02 | × | xff0x quits (~xff0x@port-92-193-217-187.dynamic.as20676.net) (Ping timeout: 268 seconds) |
| 2021-06-19 01:38:24 | <dsal> | sclv: can you just tell it to bind to 0 and ask what it got? |
| 2021-06-19 01:38:52 | <geekosaur> | no, this is about ssh tunneling, you have to specify |
| 2021-06-19 01:38:53 | <sclv> | oh, nice, not a bad idea! |
| 2021-06-19 01:39:02 | <sclv> | that works though, lol |
| 2021-06-19 01:39:13 | <geekosaur> | if it were C you'd bind to 0 and ask it |
| 2021-06-19 01:39:13 | <sclv> | I can bind to 0, see what it gets, then release and just use it |
| 2021-06-19 01:39:24 | → | xff0x joins (~xff0x@2001:1a81:5339:fe00:d07c:a9be:d34f:e68) |
| 2021-06-19 01:39:26 | <sclv> | i mean its a race condition, but one i can live with |
| 2021-06-19 01:39:33 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 244 seconds) |
| 2021-06-19 01:40:13 | <sclv> | (btw the lack of a psshx lib for haskell is a bit of a PITA, but merijn 's posix-pty makes this whole thing livable at least) |
| 2021-06-19 01:40:25 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-19 01:40:26 | <geekosaur> | hope ssh uses SO_REUSEPORT |
| 2021-06-19 01:41:14 | <sclv> | geekosaur: can't i just release the port I get from binding to 0? |
| 2021-06-19 01:41:27 | <sclv> | and then try to use it, knowing it was guaranteed free at least recently? |
| 2021-06-19 01:41:29 | <geekosaur> | no, because of TIME_WAIT to wait for any delayed packets |
| 2021-06-19 01:41:37 | <sclv> | oh right, damb |
| 2021-06-19 01:41:42 | <sclv> | networks suck |
| 2021-06-19 01:41:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-19 01:41:53 | <Melvar> | Does anyone know if and where I could submit an issue regarding the GHC manual? |
| 2021-06-19 01:42:00 | <sclv> | and uh, i should remember this, since i work on network parsing software lol |
| 2021-06-19 01:42:15 | <geekosaur> | Melvar, there's a documentation topic in ghc's gitlab |
| 2021-06-19 01:44:10 | <geekosaur> | more precisely a documentation label in their issue tracker |
| 2021-06-19 01:44:22 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/issues |
| 2021-06-19 01:44:28 | <Melvar> | Thank you. |
| 2021-06-19 01:46:41 | <Boarders> | when GHC makes a suggestion for a name in scope close to the one you have provided in its error reporting e.g. if you write like lenght instead of length then does anyone know what algorithm GHC uses for that? |
| 2021-06-19 01:46:55 | <qrpnxz> | how come 4.14 traversable (https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-Traversable.html) has a bunch of laws, but 4.15 traversable (https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Traversable.html) doesn't? |
| 2021-06-19 01:46:58 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 01:47:18 | × | NieDzejkob quits (~quassel@195.149.98.3) (Ping timeout: 244 seconds) |
| 2021-06-19 01:51:06 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-19 01:51:49 | <geekosaur> | qrpnxz, it instead contains a reference to https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Traversable.html#overview which has a "Laws" section |
| 2021-06-19 01:52:43 | <geekosaur> | which, since it has the same base url, is just a rearrangement of the page |
| 2021-06-19 01:55:05 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 2021-06-19 01:57:52 | <sclv> | Boarders: https://github.com/ghc/ghc/blob/25977ab542a30df4ae71d9699d015bcdd1ab7cfb/compiler/GHC/Utils/Misc.hs#L989 |
| 2021-06-19 01:57:54 | → | dajoer joins (~david@softbank126019120204.bbtec.net) |
| 2021-06-19 02:02:43 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-19 02:03:12 | → | MQ-17J joins (~MQ-17J@8.6.144.186) |
| 2021-06-19 02:03:52 | <Boarders> | thanks! |
| 2021-06-19 02:06:27 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 02:09:27 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-19 02:16:14 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 244 seconds) |
| 2021-06-19 02:17:34 | <qrpnxz> | lol i scroll over that page and i miss laws right there thanks |
| 2021-06-19 02:17:56 | → | awth13 joins (~user@user/awth13) |
| 2021-06-19 02:17:59 | <qrpnxz> | btw, how come it has to be a foldable |
| 2021-06-19 02:18:52 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) |
| 2021-06-19 02:22:23 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-19 02:26:26 | <qrpnxz> | ah you can show all traversable are foldable ok |
| 2021-06-19 02:26:36 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-19 02:27:02 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-19 02:30:40 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-19 02:31:05 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2021-06-19 02:32:06 | × | xff0x quits (~xff0x@2001:1a81:5339:fe00:d07c:a9be:d34f:e68) (Ping timeout: 264 seconds) |
| 2021-06-19 02:32:35 | → | xff0x joins (~xff0x@2001:1a81:5339:fe00:8365:3158:f169:6936) |
| 2021-06-19 02:32:55 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-19 02:40:32 | × | elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Client closed) |
All times are in UTC.