Newest at the top
| 2024-05-26 11:35:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-26 11:35:35 +0200 | <guy> | some of the users here are set up on a server at the uni to deliver delayed messages from my profs, are there any human users online? |
| 2024-05-26 11:34:46 +0200 | <guy> | hi |
| 2024-05-26 11:34:40 +0200 | guy | (~guy@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) |
| 2024-05-26 11:31:24 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-26 11:26:33 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-26 11:24:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-26 11:21:15 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-26 11:18:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-26 11:17:39 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-26 11:16:57 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-26 11:12:20 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-26 11:08:56 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-05-26 11:07:49 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-26 11:07:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-26 11:07:31 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: No Ping reply in 180 seconds.) |
| 2024-05-26 11:07:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-26 11:05:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-26 11:04:11 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-26 11:02:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-26 11:02:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-26 11:02:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-26 11:02:11 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-26 11:02:05 +0200 | Guest64 | (~Guest64@p200300cdb730567a31d3106a893235d7.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2024-05-26 11:00:50 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: zzz) |
| 2024-05-26 10:55:48 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-26 10:53:35 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-26 10:52:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-05-26 10:43:08 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-26 10:42:48 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-26 10:38:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-26 10:37:36 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-26 10:31:27 +0200 | <Leary> | Also, ring products are a standard construction. We have monoid products up to 5-tuples, so we really ought to have the Num instances here too. |
| 2024-05-26 10:27:06 +0200 | <Leary> | tomsmeding: Though `Num` indeed ought to be split up, the individual parts make plenty of sense. The missing law here is: `fromInteger` must be the (unique!) homomorphism from the Integers to the ring in question. |
| 2024-05-26 10:26:44 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-05-26 10:24:36 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-26 10:24:28 +0200 | Guest64 | (~Guest64@p200300cdb730567a31d3106a893235d7.dip0.t-ipconnect.de) |
| 2024-05-26 10:21:22 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-26 10:19:57 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-26 10:13:15 +0200 | <tomsmeding> | (I can add 2-dimensional arrays, but what is "17" as a 2-dimensional array? Where is the size supposed to come from?) |
| 2024-05-26 10:12:53 +0200 | <tomsmeding> | *rank-typed |
| 2024-05-26 10:12:51 +0200 | <tomsmeding> | let's start with taking fromInteger out of Num and allowing implementing Num for rank0typed arrays |
| 2024-05-26 10:12:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-26 10:11:52 +0200 | <tomsmeding> | geekosaur: you probably made the mistake of assuming that the Num operations make any sense |
| 2024-05-26 10:05:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-26 10:01:07 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-26 10:00:48 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-05-26 09:58:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-26 09:54:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-26 09:53:22 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |