Logs: liberachat/#haskell
| 2025-11-15 01:31:10 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-15 01:31:23 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-11-15 01:31:53 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-11-15 01:32:24 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-15 01:33:15 | × | 092AAJ4NW quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 01:33:15 | × | petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-11-15 01:33:28 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 01:33:31 | → | petrichor joins (~jez@user/petrichor) |
| 2025-11-15 01:33:40 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 2025-11-15 01:35:24 | → | califax joins (~califax@user/califx) |
| 2025-11-15 01:39:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 01:42:50 | × | deptype quits (~deptype@2406:b400:3a:73c2:1fe9:83cd:9c0:2c5) (Remote host closed the connection) |
| 2025-11-15 01:43:03 | → | deptype joins (~deptype@2406:b400:3a:73c2:a098:1c3:fe34:8853) |
| 2025-11-15 01:43:22 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-15 01:43:27 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 01:43:46 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 01:44:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 01:50:35 | × | Googulator43 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 01:50:39 | → | Googulator12 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 01:51:52 | × | acidjnk quits (~acidjnk@p200300d6e717192040ac95c287188d84.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-15 01:54:39 | trickard_ | is now known as trickard |
| 2025-11-15 01:55:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 01:56:39 | × | otto_s quits (~user@p4ff27f5d.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-15 02:02:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-15 02:02:50 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-15 02:03:13 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-15 02:03:22 | × | deptype quits (~deptype@2406:b400:3a:73c2:a098:1c3:fe34:8853) (Remote host closed the connection) |
| 2025-11-15 02:03:36 | → | deptype joins (~deptype@2406:b400:3a:73c2:68f9:54e7:c1ae:5f7e) |
| 2025-11-15 02:04:42 | → | EvanR_ joins (~EvanR@user/evanr) |
| 2025-11-15 02:06:18 | × | EvanR quits (~EvanR@2600:1700:ba69:10:fc0b:ad5:c171:5a72) (Ping timeout: 256 seconds) |
| 2025-11-15 02:06:39 | → | otto_s joins (~user@p5de2f1db.dip0.t-ipconnect.de) |
| 2025-11-15 02:10:40 | → | Googulator3 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 02:10:41 | × | Googulator12 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 02:13:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 02:18:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-15 02:21:50 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-15 02:21:50 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-15 02:21:52 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-11-15 02:23:03 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-11-15 02:23:19 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-11-15 02:23:24 | × | myxos quits (~myxos@2001:579:8380:f20:e1c:e3b9:dc1a:668f) (Ping timeout: 252 seconds) |
| 2025-11-15 02:23:43 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-15 02:24:08 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-11-15 02:27:20 | → | myxos joins (~myxos@wsip-70-166-126-146.ph.ph.cox.net) |
| 2025-11-15 02:29:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 02:29:35 | EvanR_ | is now known as EvanR |
| 2025-11-15 02:30:00 | → | khuldraeseth joins (~khuldraes@2601:180:8300:c550::ecd2) |
| 2025-11-15 02:34:19 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 02:34:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-15 02:38:28 | × | khuldraeseth quits (~khuldraes@2601:180:8300:c550::ecd2) (Quit: WeeChat 4.7.1) |
| 2025-11-15 02:39:09 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2025-11-15 02:39:59 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-15 02:42:34 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-11-15 02:43:55 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 02:44:08 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 02:45:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 02:46:16 | <jreicher> | @help |
| 2025-11-15 02:46:16 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2025-11-15 02:46:21 | <jreicher> | @help tell |
| 2025-11-15 02:46:21 | <lambdabot> | tell <nick> <message>. When <nick> shows activity, tell them <message>. |
| 2025-11-15 02:48:14 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-15 02:48:20 | <jreicher> | @tell dolio I think also part of the problem is the way numbers are being treated in some lambda calculus dialects, which differs a lot from, e.g., Church numerals. If numbers are represented as abstractions, they can only be used when they are in head position as it's no longer possible to "inspect" them, which a primitive like + is trying to do. If you take that away I think the ambiguity of evaluation order with operands that might |
| 2025-11-15 02:48:21 | <jreicher> | contain "shift" goes away also. |
| 2025-11-15 02:48:21 | <lambdabot> | Consider it noted. |
| 2025-11-15 02:48:37 | <jreicher> | @tell dolio contain "shift" goes away also. |
| 2025-11-15 02:48:37 | <lambdabot> | Consider it noted. |
| 2025-11-15 02:50:40 | → | Googulator70 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 02:50:40 | × | Googulator3 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 02:53:39 | <jreicher> | Oh, codolio I think you're the same person? If so, ^ |
| 2025-11-15 02:55:29 | × | deptype quits (~deptype@2406:b400:3a:73c2:68f9:54e7:c1ae:5f7e) (Remote host closed the connection) |
| 2025-11-15 02:55:42 | → | deptype joins (~deptype@2406:b400:3a:73c2:3739:7d1b:7456:5c4f) |
| 2025-11-15 02:56:14 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-15 03:06:16 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-15 03:10:42 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-15 03:12:48 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-15 03:13:09 | → | califax joins (~califax@user/califx) |
| 2025-11-15 03:15:39 | → | Googulator45 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 03:15:39 | × | Googulator70 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 03:15:50 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-11-15 03:16:01 | × | deptype quits (~deptype@2406:b400:3a:73c2:3739:7d1b:7456:5c4f) (Remote host closed the connection) |
| 2025-11-15 03:16:13 | → | deptype joins (~deptype@2406:b400:3a:73c2:8974:e356:296e:12ca) |
| 2025-11-15 03:17:08 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-15 03:20:39 | × | Googulator45 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 03:20:49 | → | Googulator45 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 03:25:59 | → | Googulator15 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 03:26:26 | × | Googulator45 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 03:26:43 | × | td__ quits (~td@2001:9e8:19c5:1800:ec98:e836:5d0:9712) (Ping timeout: 264 seconds) |
| 2025-11-15 03:28:01 | → | td_ joins (~td@i53870938.versanet.de) |
| 2025-11-15 03:29:34 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-15 03:30:47 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-11-15 03:34:25 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-15 03:35:50 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 03:36:03 | × | deptype quits (~deptype@2406:b400:3a:73c2:8974:e356:296e:12ca) (Remote host closed the connection) |
| 2025-11-15 03:36:15 | → | deptype joins (~deptype@2406:b400:3a:73c2:3627:f9a3:22:eaf4) |
| 2025-11-15 03:47:01 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 03:49:33 | × | bggd quits (~bgg@2a01:e0a:819:1510:cb15:dfb4:31e5:1dfe) (Remote host closed the connection) |
| 2025-11-15 03:49:49 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-11-15 03:50:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 03:53:50 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-15 03:56:04 | × | deptype quits (~deptype@2406:b400:3a:73c2:3627:f9a3:22:eaf4) (Remote host closed the connection) |
All times are in UTC.