Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 .. 5022
— 502,152 events total
2021-03-21 18:57:49 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:d4b6:e9e6:3cda:8e26) (Ping timeout: 265 seconds)
2021-03-21 18:58:00 × motersen quits (~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de) (Client Quit)
2021-03-21 18:59:29 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds)
2021-03-21 19:00:13 × timCF quits (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Quit: leaving)
2021-03-21 19:00:33 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-21 19:00:41 <joel135> Isn't it remarkable that both exact sequences a -> b -> c and spans defining products u <- (u, v) -> v have the product-like thing in the middle? I didn't notice this explicitly before.
2021-03-21 19:01:34 <unyu> Do you mean 0 -> A -> B -> C -> 0 ?
2021-03-21 19:01:44 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2021-03-21 19:01:53 <unyu> (Feel free to replace 0 with 1 if you are in Grp rather than Ab.)
2021-03-21 19:02:09 → motersen joins (~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de)
2021-03-21 19:02:32 <joel135> Oh yes
2021-03-21 19:02:35 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-03-21 19:02:46 <joel135> I don't actually know homological algebra...
2021-03-21 19:02:47 <unyu> Also, the roles of A and C are not symmetric.
2021-03-21 19:03:09 × minoru_shiraeesh quits (~shiraeesh@109.166.57.171) (Read error: Connection reset by peer)
2021-03-21 19:03:09 → Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-03-21 19:03:20 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-03-21 19:03:27 <joel135> Really?
2021-03-21 19:03:29 → berberman joins (~berberman@unaffiliated/berberman)
2021-03-21 19:03:51 <unyu> Yep. So the similarities end there.
2021-03-21 19:04:54 <joel135> They at least become each other when you interpret arrows in the opposite category.
2021-03-21 19:04:56 × malumore quits (~malumore@151.62.127.88) (Ping timeout: 240 seconds)
2021-03-21 19:04:56 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-03-21 19:05:18 × chenshen quits (~chenshen@2620:10d:c090:400::5:1038) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-21 19:05:32 <joel135> So it is a different symmetry than the one that spans have.
2021-03-21 19:08:21 × haskell_newbie quits (~haskellne@111.119.187.43) (Ping timeout: 264 seconds)
2021-03-21 19:08:48 → rayyyy joins (~nanoz@gateway/tor-sasl/nanoz)
2021-03-21 19:09:01 <unyu> The opposite category would need to have a notion of exact sequence to begin with. This is certainly true in Ab, but I don't know it to be true in Grp as well.
2021-03-21 19:10:16 <unyu> Anyhow, I was intrigued by how I could have reached the stupid conclusion that “cographs are obviously uninteresting, because they are obviously isomorphic to the codomain”, when exactly the same (or rather, the dual) thing happens with the graph, and nobody calls the graph of a function uninteresting...
2021-03-21 19:10:52 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2021-03-21 19:10:53 ski . o O ( <https://en.wikipedia.org/wiki/Semidirect_product>,<https://en.wikipedia.org/wiki/Wreath_product> ; semi-direct products in monoidal parsing <https://www.youtube.com/watch?v=Txf7swrcLYs#t=28m58s>,<https://www.youtube.com/watch?v=HGi5AxmQUwU#t=41m15s> )
2021-03-21 19:11:18 → rayyyy joins (~nanoz@gateway/tor-sasl/nanoz)
2021-03-21 19:11:33 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7956:c631:2eb4:a488)
2021-03-21 19:12:10 <ski> joel135 : would assume a zero object
2021-03-21 19:12:56 <joel135> Oh that's right.
2021-03-21 19:13:33 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-21 19:13:52 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-21 19:13:54 <unyu> Who would have thought that semidirect products are useful for parsing.
2021-03-21 19:14:13 <Franciman> LOL
2021-03-21 19:15:24 → chenshen joins (~chenshen@2620:10d:c090:400::5:1038)
2021-03-21 19:16:09 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-21 19:16:46 × dhruvasagar quits (~dhruvasag@49.207.63.69) (Quit: WeeChat 3.0.1)
2021-03-21 19:16:50 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7956:c631:2eb4:a488) (Ping timeout: 264 seconds)
2021-03-21 19:20:22 <joel135> unyu: The distinction between graphs and cographs corresponds to the distinction between the two different factorizations of a morphism a -> b in a Quillen model category. Indeed, one of the morphism factors is called "trivial", corresponding to your " uninteresting".
2021-03-21 19:21:00 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-03-21 19:22:13 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-21 19:22:32 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-21 19:22:42 × chisui quits (577bc921@i577BC921.versanet.de) (Ping timeout: 240 seconds)
2021-03-21 19:23:58 × stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-21 19:25:35 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-21 19:25:55 → zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-21 19:26:08 × motersen quits (~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de) (Ping timeout: 240 seconds)
2021-03-21 19:27:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-21 19:27:37 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-21 19:29:29 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7956:c631:2eb4:a488)
2021-03-21 19:31:13 → motersen joins (~user@cgn-89-1-215-253.nc.de)
2021-03-21 19:31:40 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2021-03-21 19:32:02 → rayyyy joins (~nanoz@gateway/tor-sasl/nanoz)
2021-03-21 19:32:33 → heatsink_ joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc)
2021-03-21 19:32:39 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-21 19:32:52 → artixxxx joins (~artixxxxx@209.red-81-44-44.dynamicip.rima-tde.net)
2021-03-21 19:33:54 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7956:c631:2eb4:a488) (Ping timeout: 244 seconds)
2021-03-21 19:34:32 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2021-03-21 19:34:32 Lord_of_Life_ is now known as Lord_of_Life
2021-03-21 19:35:04 → alx741 joins (~alx741@181.196.69.79)
2021-03-21 19:36:49 → stree joins (~stree@68.36.8.116)
2021-03-21 19:36:54 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-21 19:39:18 → rond_ joins (594021ff@89-64-33-255.dynamic.chello.pl)
2021-03-21 19:40:21 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit)
2021-03-21 19:40:53 × artixxxx quits (~artixxxxx@209.red-81-44-44.dynamicip.rima-tde.net) (Quit: Leaving)
2021-03-21 19:41:23 hackage forex2ledger 1.0.0.0 - Print Forex quotes in Ledger format https://hackage.haskell.org/package/forex2ledger-1.0.0.0 (gregorias)
2021-03-21 19:41:41 × conal quits (~conal@ip-66-115-176-177.creativelink.net) (Quit: Computer has gone to sleep.)
2021-03-21 19:44:04 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-21 19:44:21 × motersen quits (~user@cgn-89-1-215-253.nc.de) (Read error: Connection reset by peer)
2021-03-21 19:45:28 → conal joins (~conal@ip-66-115-176-177.creativelink.net)
2021-03-21 19:45:28 → acidjnk_new joins (~acidjnk@p200300d0c72b9545dcff5306019ad0b1.dip0.t-ipconnect.de)
2021-03-21 19:46:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-21 19:46:39 → Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-21 19:50:50 × forgottenone quits (~forgotten@176.42.24.127) (Quit: Konversation terminated!)
2021-03-21 19:51:38 × Chobbes quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 2.9)
2021-03-21 19:51:38 × chirpsalot quits (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 2.9)
2021-03-21 19:53:47 → motersen joins (~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de)
2021-03-21 19:56:13 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds)
2021-03-21 19:58:02 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-03-21 19:58:23 × idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-03-21 19:58:27 → finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-21 19:58:38 × chenshen quits (~chenshen@2620:10d:c090:400::5:1038) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-21 19:58:50 → chrisdotcode joins (~chrisdotc@unaffiliated/chrisdotcode)
2021-03-21 20:01:59 <joel135> ski: now i get the idea of monoidal parsing i think. thanks for mentioning it 1000 times :p
2021-03-21 20:03:47 → molehillish joins (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8)
2021-03-21 20:03:52 joel135 . o O ( https://en.m.wikipedia.org/wiki/Carthago_delenda_est )
2021-03-21 20:03:53 hackage IPv6Addr 2.0.0 - Library to deal with IPv6 address text representations. https://hackage.haskell.org/package/IPv6Addr-2.0.0 (MichelBoucey)
2021-03-21 20:07:27 <ski> hehe, joel135 :)
2021-03-21 20:07:30 Squarism is now known as Siri2
2021-03-21 20:07:47 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-21 20:08:26 × molehillish quits (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Ping timeout: 264 seconds)
2021-03-21 20:12:00 Siri2 is now known as Squarism
2021-03-21 20:12:33 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2021-03-21 20:15:38 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-21 20:15:57 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
←Prev  Next→
Page 1 .. 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 .. 5022

All times are in UTC.