Logs: liberachat/#haskell
| 2026-02-27 02:42:01 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 02:43:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-27 02:46:25 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 02:49:14 | Pixi` | is now known as Pixi |
| 2026-02-27 02:54:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 02:55:33 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 02:56:50 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-02-27 02:58:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 03:00:02 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 03:00:02 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 2026-02-27 03:00:48 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2026-02-27 03:05:12 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-27 03:05:23 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 03:05:57 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 2026-02-27 03:06:23 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-02-27 03:06:37 | → | attlin joins (~user@user/attlin) |
| 2026-02-27 03:09:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 03:14:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 03:25:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 03:28:03 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-27 03:32:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 03:43:35 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-02-27 03:43:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 03:47:02 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-02-27 03:48:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 03:52:57 | <haskellbridge> | <sm> gentauro: That was great, thanks! |
| 2026-02-27 03:53:52 | <sm> | Re: "with regard to LEAN, I like the following explanation from Charles Hoskinson: https://www.youtube.com/watch?v=3snIzhjqsk0 (academic papers tend to loose insights, so by providing a more formal framework, we might have better..." |
| 2026-02-27 03:59:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 04:03:25 | × | myxokephale quits (~myxos@174-18-44-59.tcso.qwest.net) (Ping timeout: 276 seconds) |
| 2026-02-27 04:04:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 04:10:24 | → | myxos joins (~myxos@174-18-44-59.tcso.qwest.net) |
| 2026-02-27 04:11:58 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-02-27 04:14:58 | → | poscat joins (~poscat@user/poscat) |
| 2026-02-27 04:15:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 04:20:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-27 04:31:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 04:35:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 04:53:51 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-02-27 04:55:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 04:58:48 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2026-02-27 05:00:42 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-02-27 05:03:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 05:15:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 05:16:05 | → | werneta joins (~werneta@71.83.160.242) |
| 2026-02-27 05:16:23 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-27 05:21:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-27 05:28:14 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 2026-02-27 05:28:35 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-27 05:30:39 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-27 05:33:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 05:35:06 | → | michalz joins (~michalz@185.246.207.217) |
| 2026-02-27 05:38:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-27 05:40:37 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-27 05:40:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 05:41:50 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2026-02-27 05:45:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 05:47:59 | → | Square3 joins (~Square@user/square) |
| 2026-02-27 05:53:16 | → | zlqrvx joins (~zlqrvx@user/zlqrvx) |
| 2026-02-27 05:56:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 05:57:18 | → | housemate joins (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) |
| 2026-02-27 06:00:49 | × | housemate quits (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) (Remote host closed the connection) |
| 2026-02-27 06:01:14 | → | housemate joins (~housemate@2001:8004:6c50:754d:5f21:507e:f058:3bbb) |
| 2026-02-27 06:01:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 06:03:20 | × | mfc_kbs quits (~keibisoft@2a06:1fc0:0:1::1cd) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-27 06:03:39 | → | mfc_kbs joins (~keibisoft@mail.keibisoft.com) |
| 2026-02-27 06:11:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 06:12:01 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2026-02-27 06:14:57 | × | constxd quits (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 2026-02-27 06:15:36 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-27 06:16:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 06:17:53 | → | constxd joins (~constxd@user/constxd) |
| 2026-02-27 06:27:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 06:28:24 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 2026-02-27 06:32:37 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-27 06:32:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-27 06:33:13 | × | larsivi quits (~larsivi@user/larsivi) (Ping timeout: 268 seconds) |
| 2026-02-27 06:34:35 | → | attlin joins (~user@user/attlin) |
| 2026-02-27 06:35:07 | × | AlexNoo_ quits (~AlexNoo@85.174.181.220) (Ping timeout: 264 seconds) |
| 2026-02-27 06:41:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 06:46:00 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 06:46:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 06:57:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 07:00:57 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 07:03:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 07:05:22 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 07:13:15 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-27 07:13:33 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-02-27 07:14:14 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 07:15:14 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-27 07:15:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 07:16:51 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-27 07:18:30 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-27 07:20:02 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-27 07:20:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-27 07:24:34 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-27 07:31:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-27 07:34:01 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 276 seconds) |
| 2026-02-27 07:35:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-27 07:37:38 | → | larsivi joins (~larsivi@user/larsivi) |
| 2026-02-27 07:38:19 | → | tales joins (~tales@149.167.1.176) |
All times are in UTC.