Logs on 2025-05-11 (liberachat/#haskell)
| 00:01:30 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 00:02:49 | × | sprotte24 quits (~sprotte24@p200300d16f2ffb009dfc124c182392c1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:03:17 | × | balthxzar quits (~balthxzar@user/Balthxzar) (Read error: Connection reset by peer) |
| 00:03:46 | → | balthxzar joins (~balthxzar@user/Balthxzar) |
| 00:04:24 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 00:06:21 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 00:06:29 | × | balthxzar quits (~balthxzar@user/Balthxzar) (Client Quit) |
| 00:07:40 | → | balthxzar joins (~balthxzar@user/Balthxzar) |
| 00:12:43 | → | sajenim joins (~sajenim@user/sajenim) |
| 00:15:42 | <EvanR> | by changing it to fmap (Food . Raw) (unfix p) it even type checks |
| 00:16:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 00:18:20 | → | cyphase joins (~cyphase@user/cyphase) |
| 00:19:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:21:46 | <EvanR> | add Burned constructor for when things aren't going good in the kitchen |
| 00:32:14 | <monochrom> | "hledger: How to Cook The Books in Haskell" >:) |
| 00:34:32 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:34:36 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 272 seconds) |
| 00:35:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:36:16 | <hellwolf> | class Typeable (a :: k) where typeRep# :: TypeRep a |
| 00:36:27 | <hellwolf> | what is this "typeRep#" that I can't access? |
| 00:38:21 | <monochrom> | GHC wants you to use "deriving Typeable" for consistency and uniqueness, and not write your own instances. |
| 00:41:21 | × | balthxzar quits (~balthxzar@user/Balthxzar) (Ping timeout: 248 seconds) |
| 00:46:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:54:23 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 00:54:41 | → | infinity0 joins (~infinity0@pwned.gg) |
| 00:56:58 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 00:59:29 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 248 seconds) |
| 01:01:46 | <geekosaur> | it doesn't even want that any more |
| 01:02:00 | <geekosaur> | ghc derives Typeable implicitly for all types |
| 01:03:19 | <geekosaur> | well, maybe it wants to see an explicit `deriving Typeable`, but the extension has been removed (will get a warning with -Wall) and is always on in effect |
| 01:06:09 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:13:05 | <EvanR> | Typeable forall |
| 01:14:01 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 01:29:42 | × | floyza quits (~gavin@63.238.216.34) (Ping timeout: 276 seconds) |
| 01:53:04 | → | EvanR_ joins (~EvanR@user/evanr) |
| 01:54:46 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 252 seconds) |
| 01:55:40 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 01:55:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:56:22 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 02:04:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 02:05:32 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:13:21 | EvanR_ | is now known as EvanR |
| 02:13:51 | <EvanR> | https://paste.tomsmeding.com/G9csUJBE |
| 02:15:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:19:01 | × | td_ quits (~td@i53870903.versanet.de) (Ping timeout: 252 seconds) |
| 02:21:00 | → | td_ joins (~td@i53870935.versanet.de) |
| 03:19:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 03:30:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:41:13 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 03:42:20 | → | dutchie joins (~dutchie@user/dutchie) |
| 03:55:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 03:56:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 03:58:39 | → | gabiruh_ joins (~gabiruh@vps19177.publiccloud.com.br) |
| 04:00:58 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 252 seconds) |
| 04:02:46 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 04:04:12 | × | gabiruh_ quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 265 seconds) |
| 04:11:14 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 04:16:29 | × | hgolden_ quits (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 04:17:47 | → | j1n37- joins (~j1n37@user/j1n37) |
| 04:19:11 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 04:21:28 | → | tavare joins (~tavare@user/tavare) |
| 04:23:39 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) |
| 04:35:26 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 04:39:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:40:12 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 04:43:45 | → | michalz joins (~michalz@185.246.207.205) |
| 04:54:49 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 04:59:35 | → | Guest44 joins (~Guest44@177.43.140.210) |
| 04:59:45 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 05:00:29 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 05:03:30 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 05:06:55 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:08:28 | × | Guest44 quits (~Guest44@177.43.140.210) (Quit: Client closed) |
| 05:08:40 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 05:23:30 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 05:27:35 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Ping timeout: 260 seconds) |
| 05:35:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:37:41 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 05:46:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:51:07 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:51:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:00:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 06:02:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:08:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:08:34 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:09:48 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 06:11:32 | → | j1n37- joins (~j1n37@user/j1n37) |
| 06:12:09 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 06:19:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:19:42 | → | Square joins (~Square@user/square) |
| 06:20:55 | → | tromp joins (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 06:23:10 | → | halloy5771 joins (~halloy577@71-212-10-118.tukw.qwest.net) |
| 06:25:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:35:11 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 06:36:37 | → | hgolden joins (~hgolden@syn-172-251-233-141.res.spectrum.com) |
| 06:37:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:38:17 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 06:41:18 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:42:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:45:24 | × | halloy5771 quits (~halloy577@71-212-10-118.tukw.qwest.net) (Ping timeout: 245 seconds) |
| 06:49:44 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 06:52:01 | → | tromp joins (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 06:52:05 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:52:57 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:53:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:56:56 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 07:00:01 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:39 | → | caconym7 joins (~caconym@user/caconym) |
| 07:06:14 | → | halloy5771 joins (~halloy577@71-212-10-118.tukw.qwest.net) |
| 07:07:59 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 07:12:18 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 07:14:45 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 07:17:05 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:26:49 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:30:00 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:30:15 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 244 seconds) |
| 07:31:35 | → | srazkvt joins (~sarah@user/srazkvt) |
| 07:32:00 | × | Digit quits (~user@69.47.7.51.dyn.plus.net) (Changing host) |
| 07:32:00 | → | Digit joins (~user@user/digit) |
| 07:34:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:46:29 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 07:48:36 | PavWhoSays`Ni` | is now known as pavonia |
| 07:51:49 | → | __monty__ joins (~toonn@user/toonn) |
| 07:52:09 | → | acidjnk joins (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) |
| 08:02:00 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.3) |
| 08:04:36 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 08:13:08 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 08:14:52 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:15:25 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 244 seconds) |
| 08:19:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 08:24:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:25:53 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 08:27:20 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:27:38 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 08:28:15 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:28:52 | × | halloy5771 quits (~halloy577@71-212-10-118.tukw.qwest.net) (Ping timeout: 276 seconds) |
| 08:29:31 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 276 seconds) |
| 08:41:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 08:42:24 | → | halloy5771 joins (~halloy577@71-212-10-118.tukw.qwest.net) |
| 08:42:28 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 08:43:25 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 08:49:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:50:22 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:50:53 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:52:12 | → | img joins (~img@user/img) |
| 08:52:35 | × | halloy5771 quits (~halloy577@71-212-10-118.tukw.qwest.net) (Quit: halloy5771) |
| 08:57:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 09:03:55 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 09:04:18 | × | razetime quits (~quassel@49.207.228.134) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 09:09:38 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 09:12:42 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:15:39 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 09:17:02 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:19:34 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 09:21:21 | → | visilii_ joins (~visilii@213.24.132.63) |
| 09:22:04 | × | visilii quits (~visilii@85.94.26.146) (Ping timeout: 244 seconds) |
| 09:53:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 10:05:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:06:04 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:19:32 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 10:20:17 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 10:24:19 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 260 seconds) |
| 10:30:49 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 10:38:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 10:58:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 11:22:05 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 11:31:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:49:19 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:57:59 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:08:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 12:08:59 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 12:09:18 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 12:10:06 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 12:10:16 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 12:10:49 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 12:21:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:30:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:30:56 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 12:34:26 | → | srazkvt joins (~sarah@user/srazkvt) |
| 12:34:26 | → | j1n37 joins (~j1n37@user/j1n37) |
| 12:41:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:41:53 | → | Pixi` joins (~Pixi@user/pixi) |
| 12:43:49 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 12:43:55 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 12:45:39 | × | ThePenguin quits (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 12:47:42 | → | ThePenguin joins (~ThePengui@cust-95-80-31-242.csbnet.se) |
| 13:09:01 | × | yin quits (~z@user/zero) (Ping timeout: 276 seconds) |
| 13:13:03 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:18:58 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 13:19:25 | → | __monty__ joins (~toonn@user/toonn) |
| 13:19:59 | × | acidjnk quits (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 13:22:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 13:22:58 | ljdarj1 | is now known as ljdarj |
| 13:48:45 | → | j1n37- joins (~j1n37@user/j1n37) |
| 13:49:28 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 13:54:36 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:55:19 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 13:58:42 | × | xff0x quits (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) (Ping timeout: 265 seconds) |
| 14:10:20 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 14:15:14 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 14:26:36 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 14:26:40 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 14:34:29 | → | weary-traveler joins (~user@user/user363627) |
| 14:38:07 | × | Pixi` quits (~Pixi@user/pixi) (Quit: Leaving) |
| 14:38:37 | → | Pixi joins (~Pixi@user/pixi) |
| 14:43:05 | × | euleritian quits (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 14:43:23 | → | euleritian joins (~euleritia@ip5f5ad168.dynamic.kabel-deutschland.de) |
| 14:43:42 | × | Pixi quits (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 14:52:05 | → | Pixi joins (~Pixi@user/pixi) |
| 14:54:41 | × | euleritian quits (~euleritia@ip5f5ad168.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 14:55:10 | → | euleritian joins (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) |
| 15:05:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 15:20:52 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 15:22:26 | → | weary-traveler joins (~user@user/user363627) |
| 15:27:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 15:31:13 | → | xff0x joins (~xff0x@2405:6580:b080:900:5c9:3756:500a:fde9) |
| 15:35:29 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 15:37:03 | → | weary-traveler joins (~user@user/user363627) |
| 15:37:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:45:21 | × | sajenim quits (~sajenim@user/sajenim) (Ping timeout: 248 seconds) |
| 15:47:42 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:49:40 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 15:52:11 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 15:56:25 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 16:01:14 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 16:12:44 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 16:16:56 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 16:16:56 | ljdarj1 | is now known as ljdarj |
| 16:19:22 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 16:20:34 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 16:20:41 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:39:50 | → | j1n37- joins (~j1n37@user/j1n37) |
| 16:40:41 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 16:41:04 | → | acidjnk joins (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) |
| 16:41:36 | → | Guest57 joins (~Guest57@107.171.184.225) |
| 16:43:51 | × | Guest57 quits (~Guest57@107.171.184.225) (Client Quit) |
| 16:48:48 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 16:49:24 | → | rvalue joins (~rvalue@user/rvalue) |
| 17:11:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 17:27:54 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 17:29:11 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 17:30:05 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:33:15 | × | drdo quits (~drdo@static.61.197.13.49.clients.your-server.de) (Quit: Oh no!) |
| 17:33:42 | → | drdo joins (~drdo@2a01:4f8:1c1c:4976::1) |
| 17:36:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 17:42:58 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:49:05 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 17:52:08 | × | tromp quits (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:57:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 17:57:43 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Read error: Connection reset by peer) |
| 17:58:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 18:09:31 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:10:12 | × | tromp quits (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:12:34 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 18:13:37 | × | euleritian quits (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 18:13:47 | → | euleritian joins (~euleritia@dynamic-176-006-134-019.176.6.pool.telefonica.de) |
| 18:14:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:14:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 18:18:25 | → | tromp joins (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 18:19:15 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 18:23:13 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 18:26:52 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 18:31:51 | × | euleritian quits (~euleritia@dynamic-176-006-134-019.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:32:09 | → | euleritian joins (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 18:36:11 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 18:36:50 | → | sprotte24 joins (~sprotte24@p200300d16f052e00b01ecb3cf5e5d8f9.dip0.t-ipconnect.de) |
| 18:40:14 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 18:42:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:46:35 | × | drdo quits (~drdo@2a01:4f8:1c1c:4976::1) (Remote host closed the connection) |
| 18:47:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:47:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 18:49:09 | × | APic quits (apic@apic.name) (Ping timeout: 268 seconds) |
| 18:49:09 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:49:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:54:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:00:05 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:44 | → | caconym7 joins (~caconym@user/caconym) |
| 19:01:44 | → | APic joins (apic@apic.name) |
| 19:02:56 | → | drdo joins (~drdo@2a01:4f8:1c1c:4976::1) |
| 19:06:05 | → | synaps3 joins (~void@user/synaps3) |
| 19:07:37 | × | synaps3 quits (~void@user/synaps3) (Read error: Connection reset by peer) |
| 19:11:47 | → | tv joins (~tv@user/tv) |
| 19:20:26 | → | tolgo joins (~Thunderbi@199.115.144.130) |
| 19:23:29 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 19:24:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 19:26:10 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 19:28:46 | × | APic quits (apic@apic.name) (Quit: Fnord) |
| 19:31:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 19:34:28 | × | tolgo quits (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 19:47:40 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 19:53:21 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:53:44 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 19:54:22 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:54:45 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:56:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:58:51 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:05:40 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 20:09:15 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 20:11:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 20:12:28 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 20:19:03 | × | tromp quits (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:21:30 | × | Frostillicus quits (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 20:23:55 | × | Square quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 20:34:45 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 20:39:40 | → | Guest465 joins (~Diego@181.61.206.208) |
| 20:40:50 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:44:01 | → | tromp joins (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 20:48:52 | ← | Guest465 parts (~Diego@181.61.206.208) () |
| 20:52:46 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:56:28 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 21:08:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 21:11:53 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:12:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:25:16 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 21:26:24 | → | balthxzar joins (~balthxzar@user/Balthxzar) |
| 21:29:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 21:39:45 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:42:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:44:49 | × | balthxzar quits (~balthxzar@user/Balthxzar) (Ping timeout: 244 seconds) |
| 21:46:11 | <EvanR> | in the paper I'm a number not a name, it wraps and unwraps programs by converting between free variables (names) and debruijn indices. If you always unwrap a binder and substitute the names that were originally erased by wrapping and binding, no conflict occurs. But now I'm wondering what the point was |
| 21:46:19 | → | pavonia joins (~user@user/siracusa) |
| 21:50:05 | → | tromp joins (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 21:50:45 | → | balthxzar joins (~balthxzar@user/Balthxzar) |
| 21:50:57 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:56:49 | × | acidjnk quits (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 22:00:02 | → | acidjnk joins (~acidjnk@p200300d6e71c4f78180f209d949bdd6b.dip0.t-ipconnect.de) |
| 22:02:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:03:00 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 22:03:45 | → | turlando joins (~turlando@user/turlando) |
| 22:06:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 22:07:27 | × | balthxzar quits (~balthxzar@user/Balthxzar) (Remote host closed the connection) |
| 22:07:45 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 22:07:56 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 22:13:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:5c9:3756:500a:fde9) (Ping timeout: 260 seconds) |
| 22:14:32 | → | xff0x joins (~xff0x@2405:6580:b080:900:9d68:c704:b1b0:2e99) |
| 22:17:00 | → | weary-traveler joins (~user@user/user363627) |
| 22:41:16 | <EvanR> | must be for inevitable alpha conversion |
| 22:42:05 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 22:42:14 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 22:43:28 | Lord_of_Life_ | is now known as Lord_of_Life |
| 22:56:49 | × | acidjnk quits (~acidjnk@p200300d6e71c4f78180f209d949bdd6b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:59:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:11:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:18:09 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 23:18:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:31:56 | × | sprotte24 quits (~sprotte24@p200300d16f052e00b01ecb3cf5e5d8f9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:32:16 | → | zdercti^ joins (~zdercti@50.168.231.214) |
| 23:39:12 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 23:47:48 | → | siliconcritters joins (~siliconcr@syn-068-188-168-151.res.spectrum.com) |
| 23:50:39 | <monochrom> | Too lazy to read that paper, but here is a common mistake ("variable capture") when using names: ((\x y -> x + y) y) z = (\y -> y + y) z = z + z instead of y + z. De Bruijn numbering (or other numbering schemes) are not vulnerable to this mistake, the two "y"s have different IDs. |
| 23:53:25 | <monochrom> | Lisp macros, at least for old Lisp, are also vulnerable. When the Scheme people say "hygienic macros" they mean that macro expansion takes care not to make that mistake again. |
| 23:53:44 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 23:55:41 | <monochrom> | Template Haskell gives you two functions for creating names, so that you can choose whether you want variable capture or not per variable. (There are legit use cases when you want it.) |
All times are in UTC on 2025-05-11.