Newest at the top
| 2024-05-14 19:27:44 +0200 | johnw | (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 2024-05-14 19:22:56 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-05-14 19:21:51 +0200 | pavonia | (~user@user/siracusa) (Quit: K-Lined) |
| 2024-05-14 19:17:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-14 19:11:11 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-14 19:09:37 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-14 19:05:43 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-05-14 19:04:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-14 19:04:23 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:36fd:400b:5478:66f9) (Ping timeout: 260 seconds) |
| 2024-05-14 19:03:37 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-05-14 18:56:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-05-14 18:55:13 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-05-14 18:52:31 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Read error: Connection reset by peer) |
| 2024-05-14 18:49:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-14 18:42:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-14 18:42:01 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d77a:cc4d:acdd:ee1e) (Remote host closed the connection) |
| 2024-05-14 18:40:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-14 18:39:45 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-14 18:39:33 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-14 18:36:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-14 18:36:38 +0200 | euleritian | (~euleritia@dynamic-176-004-151-001.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-14 18:36:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-14 18:32:54 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-14 18:32:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-14 18:32:25 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-14 18:27:11 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-05-14 18:22:02 +0200 | yin | (~yin@user/zero) |
| 2024-05-14 18:18:35 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-05-14 18:13:35 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-05-14 18:08:00 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-05-14 18:03:47 +0200 | <ph88> | empire collapsed |
| 2024-05-14 18:02:09 +0200 | <EvanR> | ph88's plans are ruined |
| 2024-05-14 18:01:51 +0200 | <EvanR> | peanut gallery here, but if you emulate a map that is not total with total map by having the default value be Nothing, then you can still "delete" by "inserting nothing" |
| 2024-05-14 17:57:54 +0200 | <ncf> | but k -> v supports lookup and insertion and not deleting items |
| 2024-05-14 17:57:23 +0200 | <ncf> | or search hackage for "total map" if you want something efficient |
| 2024-05-14 17:56:30 +0200 | Square | (~Square@user/square) |
| 2024-05-14 17:51:55 +0200 | tv | (~tv@user/tv) |
| 2024-05-14 17:51:38 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-05-14 17:46:25 +0200 | yin | (~yin@user/zero) |
| 2024-05-14 17:45:58 +0200 | <ph88> | ? |
| 2024-05-14 17:43:49 +0200 | <ncf> | (->) ? |
| 2024-05-14 17:40:23 +0200 | <ph88> | does someone know a map that can only be read and written to and not delete items? |
| 2024-05-14 17:40:04 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-05-14 17:39:48 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:36fd:400b:5478:66f9) |
| 2024-05-14 17:38:24 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-14 17:36:16 +0200 | <johnw> | Part of the answer to my "show" lens question is `re _Show`, which understandably is only valid as a Getter or Fold. There is no valid traversal unless I place an unchecked constraint on the mutation of "no modification that aren't numbers". |
| 2024-05-14 17:24:56 +0200 | danse-nr3 | (~danse-nr3@151.57.181.243) (Ping timeout: 268 seconds) |
| 2024-05-14 17:21:16 +0200 | <stefan-__> | esnos: here is my config for eglot and lsp-mode (currently in use): https://gist.github.com/dozed/9b70668200876179b2a5381c53683ca7 |
| 2024-05-14 17:19:19 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-05-14 17:17:24 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |