Logs: liberachat/#haskell
| 2021-08-07 02:16:38 | × | Guest2491 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2021-08-07 02:16:38 | finn_elija | is now known as FinnElija |
| 2021-08-07 02:16:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-07 02:17:25 | <glguy> | h_, I think the error is that the id arrows are annotated with the wrong types, but not that they are on the wrong side of the . |
| 2021-08-07 02:19:10 | <h_> | Left unital: for any f : c → d, the equation idd ◦ f = f holds |
| 2021-08-07 02:19:51 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 02:20:08 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-08-07 02:20:16 | <h_> | ? |
| 2021-08-07 02:20:56 | <h_> | also is there any way for ( f ◦ g ) ◦ h to not equal f ◦ ( g ◦ h ) ? seems like it has to |
| 2021-08-07 02:21:19 | → | oso joins (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 2021-08-07 02:21:58 | → | tommd joins (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 2021-08-07 02:22:12 | → | derelict joins (~derelict@user/derelict) |
| 2021-08-07 02:23:28 | × | td_ quits (~td@muedsl-82-207-238-118.citykom.de) (Ping timeout: 258 seconds) |
| 2021-08-07 02:24:54 | × | pbrisbin quits (~patrick@pool-108-52-124-197.phlapa.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-08-07 02:25:10 | → | td_ joins (~td@94.134.91.140) |
| 2021-08-07 02:25:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 02:26:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-08-07 02:27:54 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 240 seconds) |
| 2021-08-07 02:34:31 | × | goepsilongo quits (~chacho@2603-7000-ab00-62ed-e8e0-40c9-c788-8ef8.res6.spectrum.com) (Quit: Konversation terminated!) |
| 2021-08-07 02:34:33 | <lechner> | dsal: Sorry, your profile said San Jose. Sunset is near. The sun is super red like in the big fires in 2017. Hope you are in Plumas. I used to go up to Lake Almanor. Please don't be brave |
| 2021-08-07 02:34:38 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-08-07 02:34:56 | <lechner> | hope you are not in Plumas |
| 2021-08-07 02:35:12 | <dsal> | lechner: Ah, I should update. Sold my house. :) I'm in Butte County |
| 2021-08-07 02:35:32 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-07 02:37:47 | <lechner> | dsal: oroville reporting about the water level on CNN is so strange. aren't people happy the dam can maybe be repaired? |
| 2021-08-07 02:38:28 | × | pfurla quits (~pfurla@230.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds) |
| 2021-08-07 02:38:31 | → | kor1 joins (~kor1@user/kor1) |
| 2021-08-07 02:39:03 | <lechner> | either way, i guess housing is on fire everywhere. sorry bad pun & please stay safe |
| 2021-08-07 02:41:17 | <lechner> | for everone else, sorry to be off topic. TTYL |
| 2021-08-07 02:41:25 | <dsal> | Yeah. I don't think our dam is going to overflow this year. :) But our electricity plant is offline. I've got solar + powerwall (had a lot of outages last year). It's an enjoyable apocalypse. :) |
| 2021-08-07 02:42:31 | <h_> | hmm. i guess Ob(C) can be the empty set |
| 2021-08-07 02:42:32 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 02:42:55 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 02:43:05 | <h_> | oops. I mean to say C(c,d) in Ob(C) can be empty set |
| 2021-08-07 02:43:24 | <h_> | meaning there are no morphisms between c and d |
| 2021-08-07 02:45:15 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 02:46:34 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 02:47:12 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 02:50:26 | <glguy> | h_, yeah, left unital -> idd ◦ f = f |
| 2021-08-07 02:51:46 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 250 seconds) |
| 2021-08-07 02:53:24 | × | futty quits (~futty@c83-252-75-55.bredband.tele2.se) (Ping timeout: 272 seconds) |
| 2021-08-07 02:56:37 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 02:59:32 | <h_> | i like how the word algebra means something totally more nuts to math experts than it does to everyone else |
| 2021-08-07 02:59:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-07 03:00:15 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 03:00:16 | × | kor1 quits (~kor1@user/kor1) (Quit: Leaving.) |
| 2021-08-07 03:01:20 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 03:02:50 | wrengr | is now known as wrengr_away |
| 2021-08-07 03:03:13 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 03:06:32 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-08-07 03:07:22 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 240 seconds) |
| 2021-08-07 03:10:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 03:17:59 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-07 03:21:22 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-07 03:26:30 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 03:34:02 | → | pfurla joins (~pfurla@216.151.180.237) |
| 2021-08-07 03:37:04 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2021-08-07 03:40:58 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 03:41:24 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-07 03:41:24 | → | MQ-17J joins (~MQ-17J@172.58.120.31) |
| 2021-08-07 03:41:43 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-07 03:41:50 | × | MQ-17J quits (~MQ-17J@172.58.120.31) (Read error: Connection reset by peer) |
| 2021-08-07 03:42:08 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 03:44:11 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 03:46:16 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-07 03:48:18 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-07 03:48:22 | chris | is now known as Guest9831 |
| 2021-08-07 03:52:18 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 272 seconds) |
| 2021-08-07 03:56:05 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 03:57:24 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2021-08-07 04:04:46 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-07 04:06:00 | → | tcard_ joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-08-07 04:08:49 | × | tcard quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 258 seconds) |
| 2021-08-07 04:13:35 | <jakefromstatefar> | I'm making a MineCraft mod, and I'm wondering if my algorithm for incremental stepping between 2 positions is reasonable, IK it's not haskell-specific, but rather java (yuck), however, is anyone willing to double check my logic? |
| 2021-08-07 04:14:08 | <jakefromstatefar> | I keep getting weird values and I can't figure out why |
| 2021-08-07 04:14:50 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 04:18:31 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-07 04:19:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-07 04:21:06 | × | pfurla quits (~pfurla@216.151.180.237) (Ping timeout: 240 seconds) |
| 2021-08-07 04:26:07 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-08-07 04:37:39 | <dsal> | It's hard to imagine what you've done or how you got it wrong. :) |
| 2021-08-07 04:38:47 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-08-07 04:45:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 04:46:08 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:a817:3532:51cf:27aa) |
| 2021-08-07 04:48:04 | → | roboguy__ joins (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 2021-08-07 04:49:56 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-07 04:50:40 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:a817:3532:51cf:27aa) (Ping timeout: 258 seconds) |
| 2021-08-07 04:52:40 | × | roboguy__ quits (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) (Ping timeout: 250 seconds) |
| 2021-08-07 04:53:39 | <jakefromstatefar> | lol, I'll get a paste |
| 2021-08-07 04:55:30 | <jakefromstatefar> | https://p.bsd-unix.net/view/38cdd5b4 |
| 2021-08-07 04:56:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 04:57:05 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 04:57:18 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 05:01:24 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-07 05:02:32 | × | Guest9831 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-07 05:03:12 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-07 05:04:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 05:14:45 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-08-07 05:19:43 | → | Guest56 joins (~Guest56@2804:d4b:9795:300:8439:3d7f:376e:35ad) |
| 2021-08-07 05:20:47 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
All times are in UTC.