Logs: freenode/#haskell
| 2021-04-03 12:06:12 | × | stree quits (~stree@68.36.8.116) (Client Quit) |
| 2021-04-03 12:06:36 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-03 12:06:49 | → | antidisetablishm joins (df11d759@223.17.215.89) |
| 2021-04-03 12:08:25 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:582c:6250:a295:ddf4) (Ping timeout: 258 seconds) |
| 2021-04-03 12:09:13 | ← | antidisetablishm parts (df11d759@223.17.215.89) () |
| 2021-04-03 12:09:56 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-03 12:10:17 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-03 12:11:14 | × | OCCASVS quits (~occasus@unaffiliated/occasvs) (Quit: New Gold Dream (34-38-82-06)) |
| 2021-04-03 12:13:18 | → | Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2021-04-03 12:18:21 | <mniip> | % :browse GHC.Exts |
| 2021-04-03 12:18:24 | <yahb> | mniip: type IsList :: * -> Constraint; class IsList l where; type Item :: * -> *; type family Item l; fromList :: [Item l] -> l; fromListN :: Int -> [Item l] -> l; GHC.Exts.toList :: l -> [Item l]; {-# MINIMAL fromList, toList #-}; type SpecConstrAnnotation :: *; data SpecConstrAnnotation = NoSpecConstr | ForceSpecConstr; atomicModifyMutVar# :: MutVar# s a -> (a -> b) -> State# s -> (# State# s, c #); g |
| 2021-04-03 12:18:28 | <mniip> | :P |
| 2021-04-03 12:19:01 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:2c1c:a30c:e102:6594) (Ping timeout: 246 seconds) |
| 2021-04-03 12:22:56 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-03 12:23:48 | → | mmohammadi9812 joins (~mmohammad@91.185.156.212) |
| 2021-04-03 12:29:15 | → | eam joins (~eam@185.169.233.10) |
| 2021-04-03 12:29:42 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-03 12:31:08 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-04-03 12:31:31 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:bf0d:f77b:ccaf:dfd1) |
| 2021-04-03 12:31:35 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-03 12:33:31 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 2021-04-03 12:33:51 | → | LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2021-04-03 12:34:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-03 12:37:26 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-03 12:46:45 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-03 12:47:09 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-03 12:47:41 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Read error: Connection reset by peer) |
| 2021-04-03 12:48:26 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-03 12:50:07 | ← | perdent parts (~perdent@101.175.105.177) () |
| 2021-04-03 12:51:11 | → | francesco_ joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-03 12:51:11 | × | francesco_ quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Remote host closed the connection) |
| 2021-04-03 12:51:24 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Read error: Connection reset by peer) |
| 2021-04-03 12:51:29 | → | francesco_ joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-03 12:51:35 | × | son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 2021-04-03 12:52:03 | francesco_ | is now known as Franciman |
| 2021-04-03 12:53:15 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 268 seconds) |
| 2021-04-03 12:54:23 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Remote host closed the connection) |
| 2021-04-03 12:59:04 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-03 13:00:59 | → | drbean_ joins (~drbean@TC210-63-209-59.static.apol.com.tw) |
| 2021-04-03 13:01:41 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-03 13:04:26 | → | perdent1 joins (~perdent@192.145.118.58) |
| 2021-04-03 13:04:36 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-03 13:09:26 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-03 13:10:14 | → | dexterlb joins (~dexterlb@85.187.50.221) |
| 2021-04-03 13:15:22 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-04-03 13:17:02 | <zebrag> | I stumbled on Bartosz Milewski Freyd's Adjoint Functor Theorem page: https://bartoszmilewski.com/2020/07/22/freyds-adjoint-functor-theorem/, LaTeX diagrams are breathtaking! Does anyone know what specific tools he has been using to create them? |
| 2021-04-03 13:17:08 | <zebrag> | https://bartoszmilewski.files.wordpress.com/2020/07/fig5.png |
| 2021-04-03 13:17:30 | <zebrag> | Isn't that amazing. |
| 2021-04-03 13:19:02 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-03 13:19:45 | → | steerio joins (~steerio@aviv.kinneret.de) |
| 2021-04-03 13:20:05 | <steerio> | hello, does anyone know of any way to restrict stack to ipv4 when downloading? |
| 2021-04-03 13:20:26 | <steerio> | hoping there's some undocumented env variable or anything |
| 2021-04-03 13:21:01 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-03 13:21:02 | <hpc> | i expect it uses ipv6 when it gets an AAAA record for wherever it's downloading from |
| 2021-04-03 13:21:37 | <steerio> | _or_ alternatively where to put a downloaded ghci tarball where stack finds it |
| 2021-04-03 13:22:37 | <steerio> | hpc: my router advertises v6, but there's no connectivity. chromium is smart to realize that, but stack will just try v6 and timeout |
| 2021-04-03 13:22:51 | <steerio> | s/ghci/ghc/ |
| 2021-04-03 13:22:59 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-04-03 13:23:16 | × | jluttine_ quits (~jluttine@85-23-66-6.bb.dnainternet.fi) (Quit: WeeChat 3.0) |
| 2021-04-03 13:23:46 | <steerio> | it took me a while to figure out the problem. I can download the file alright in a browser, but can't get stack to do the same for the above reasons. |
| 2021-04-03 13:24:24 | <steerio> | maybe a squid proxy is the "quick" solution |
| 2021-04-03 13:25:01 | <steerio> | I can't trick it into v4 with a hosts file entry |
| 2021-04-03 13:25:02 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-03 13:26:11 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 240 seconds) |
| 2021-04-03 13:27:45 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-03 13:30:19 | → | Lycurgus joins (~niemand@98.4.115.201) |
| 2021-04-03 13:30:20 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-03 13:31:23 | → | slaterr joins (~bc8134e3@217.29.117.252) |
| 2021-04-03 13:31:34 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-03 13:32:04 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-03 13:32:37 | <perdent1> | Hi I have a crypto challenge for you all, let me know what you think of it and if you can solve it ! Good luck The more the merrier, right? We decided to mash two of the best cryptosytems together for the best product. Our new encryption scheme is up and running and this time it is unbreakable! To prove that, we have also released its source code and a test center where you can test it out! host: 139.59.178.146:31817 (flag is located on the server) ht |
| 2021-04-03 13:34:04 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-03 13:34:34 | <steerio> | perdent1: your message was clipped, try splitting it up to multple ones. or to put your message on a web page and only share the link. |
| 2021-04-03 13:35:00 | <perdent1> | Hi I have a crypto challenge for you all, let me know what you think of it and if you can solve it ! Good luck The more the merrier, right? We decided to mash two of the best cryptosytems together for the best product. |
| 2021-04-03 13:35:01 | <perdent1> | Our new encryption scheme is up and running and this time it is unbreakable! To prove that, we have also released its source code and a test center where you can test it out! host: 139.59.178.146:31817 (flag is located on the server) https://gofile.io/d/mT3OLh |
| 2021-04-03 13:35:09 | <perdent1> | steerio: better? |
| 2021-04-03 13:35:22 | <steerio> | yep, now we see the URL :) |
| 2021-04-03 13:35:57 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds) |
| 2021-04-03 13:35:57 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 240 seconds) |
| 2021-04-03 13:36:22 | <Lycurgus> | he got kicked in a few seconds out of #lisp |
| 2021-04-03 13:36:40 | <Lycurgus> | fine demo of cultural differences |
| 2021-04-03 13:37:15 | <perdent1> | Haha |
| 2021-04-03 13:37:33 | <Lycurgus> | or moreso the channel igess, since #lisp has less than half the user and it was a very prestigious one that did the kick |
| 2021-04-03 13:37:51 | <Lycurgus> | like edwardk did here but apples and oranges |
| 2021-04-03 13:38:16 | <steerio> | Lycurgus: Paul Graham himself? |
| 2021-04-03 13:38:40 | <Lycurgus> | the quicklisp guy |
| 2021-04-03 13:39:09 | <Lycurgus> | can mess up ur distro is more powerful than I wrote the damn book |
| 2021-04-03 13:39:20 | <hpc> | he posted the same thing in -offtopic, i suspect this is just spam |
| 2021-04-03 13:39:25 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-04-03 13:39:34 | <perdent1> | Its not spam |
| 2021-04-03 13:39:48 | <perdent1> | I just dont know which channel is best to post in |
| 2021-04-03 13:39:57 | <perdent1> | Thats active |
| 2021-04-03 13:40:21 | <hpc> | -offtopic is better if it doesn't have to do with haskell directly |
| 2021-04-03 13:40:29 | <steerio> | perdent1: I'd try on Reddit tbh |
| 2021-04-03 13:40:31 | <pjb> | perdent1: try: /msg alis list crypto |
| 2021-04-03 13:40:42 | <edwardk> | Lycurgus: the guy from a few weeks ago? |
| 2021-04-03 13:40:50 | <hpc> | (some non-haskell stuff is on-topic here if it's tightly related, like category theory) |
| 2021-04-03 13:40:50 | <pjb> | perdent1: or: /msg alis list challenge |
| 2021-04-03 13:41:44 | <Lycurgus> | edwardk, by your analog I meant xach beane |
| 2021-04-03 13:41:58 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
All times are in UTC.