Logs: liberachat/#haskell
| 2026-01-06 20:56:15 | <mauke> | insecure |
| 2026-01-06 20:57:33 | <jreicher> | Why? |
| 2026-01-06 20:58:23 | → | Typer_of_Terms joins (~Typer_of_@85.62.22.209) |
| 2026-01-06 20:59:21 | <mauke> | https://en.wikipedia.org/wiki/Opportunistic_TLS#Weaknesses_and_mitigations |
| 2026-01-06 20:59:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-06 21:02:28 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) (Read error: Connection reset by peer) |
| 2026-01-06 21:02:54 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) |
| 2026-01-06 21:03:19 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-01-06 21:05:27 | × | morj quits (~morj@user/morj) (Quit: Konversation terminated!) |
| 2026-01-06 21:06:02 | <jreicher> | Oh, I don't consider that a problem with STARTTLS. IMO that's a problem with client implementations. They shouldn't proceed if TLS is unavailable. |
| 2026-01-06 21:09:28 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-06 21:11:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 21:14:52 | × | Typer_of_Terms quits (~Typer_of_@85.62.22.209) (Ping timeout: 246 seconds) |
| 2026-01-06 21:20:33 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-01-06 21:24:56 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-06 21:27:48 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-06 21:28:03 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2026-01-06 21:28:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-06 21:29:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-06 21:30:20 | DetourNe- | is now known as DetourNetworkUK |
| 2026-01-06 21:31:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) |
| 2026-01-06 21:31:49 | × | bggd quits (~bgg@user/bggd) (Ping timeout: 244 seconds) |
| 2026-01-06 21:38:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 21:45:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-06 21:52:25 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-06 21:53:38 | → | img joins (~img@user/img) |
| 2026-01-06 21:55:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 21:56:52 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 246 seconds) |
| 2026-01-06 22:02:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-06 22:07:09 | → | mange joins (~mange@user/mange) |
| 2026-01-06 22:13:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 22:13:46 | trickard_ | is now known as trickard |
| 2026-01-06 22:15:01 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-06 22:18:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-06 22:29:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 22:29:55 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 2026-01-06 22:31:23 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-06 22:33:29 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-06 22:33:42 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2026-01-06 22:34:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-06 22:35:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-06 22:36:14 | × | collide2954 quits (~collide29@user/collide2954) (Read error: Connection reset by peer) |
| 2026-01-06 22:36:24 | → | collide2954 joins (~collide29@user/collide2954) |
| 2026-01-06 22:40:04 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-01-06 22:40:49 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 264 seconds) |
| 2026-01-06 22:44:26 | → | end joins (~end@user/end/x-0094621) |
| 2026-01-06 22:45:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 22:49:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-06 22:52:51 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-01-06 22:53:11 | → | EvanR joins (~EvanR@user/evanr) |
| 2026-01-06 22:57:48 | × | collide2954 quits (~collide29@user/collide2954) (Read error: Connection reset by peer) |
| 2026-01-06 22:57:59 | → | collide2954 joins (~collide29@user/collide2954) |
| 2026-01-06 23:00:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 23:01:56 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-06 23:04:13 | → | Brumaire joins (~no@94.140.114.73) |
| 2026-01-06 23:05:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-06 23:10:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-01-06 23:14:25 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 264 seconds) |
| 2026-01-06 23:16:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 23:19:00 | → | end joins (~end@user/end/x-0094621) |
| 2026-01-06 23:21:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-06 23:22:36 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-06 23:22:39 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-01-06 23:27:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-01-06 23:32:30 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-01-06 23:35:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:edca:158a:2eb8:d2af) (Ping timeout: 256 seconds) |
| 2026-01-06 23:36:55 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-06 23:37:02 | → | xff0x joins (~xff0x@2405:6580:b080:900:96c2:e970:1df7:e82c) |
| 2026-01-06 23:52:50 | <haskellbridge> | <Liamzee> I'm currently trying to solve Rubik's cube on my own (sort of) by using DeepSeek to help me construct a mathematical model, with occasional uses of Haskell. It's interesting how LLM fradulence relates to whether the LLM actually is capable of mathematical maturity, given enough reasoning cycles. |
| 2026-01-06 23:56:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-06 23:57:34 | <jreicher> | Wow. Flashbacks group theory. |
| 2026-01-06 23:58:08 | <jreicher> | https://en.wikipedia.org/wiki/Rubik%27s_Cube_group |
| 2026-01-06 23:58:26 | <EvanR> | you can "accidentally" use it successfully by taking whatever it gives you and running your mental mathematical "typechecker" on it |
| 2026-01-06 23:58:46 | <EvanR> | or mental "unit test" |
| 2026-01-06 23:59:08 | <EvanR> | once it stops being wrong, you can start to prove that it is right |
| 2026-01-07 00:01:13 | trickard_ | is now known as trickard |
| 2026-01-07 00:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-07 00:06:22 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-01-07 00:12:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-07 00:17:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-07 00:27:12 | × | acidjnk quits (~acidjnk@p200300d6e7171955580d90e1926e8255.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-01-07 00:27:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-07 00:32:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-07 00:34:15 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-07 00:41:25 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-01-07 00:43:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-07 00:50:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-07 00:51:45 | × | xff0x quits (~xff0x@2405:6580:b080:900:96c2:e970:1df7:e82c) (Ping timeout: 252 seconds) |
| 2026-01-07 01:01:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-07 01:04:18 | → | omidmash4 joins (~omidmash@user/omidmash) |
| 2026-01-07 01:06:13 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2026-01-07 01:06:13 | omidmash4 | is now known as omidmash |
| 2026-01-07 01:06:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-07 01:10:17 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) (Read error: Connection reset by peer) |
| 2026-01-07 01:11:38 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) |
| 2026-01-07 01:17:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-07 01:22:28 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2026-01-07 01:22:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-07 01:24:50 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-07 01:25:02 | → | divlamir joins (~divlamir@user/divlamir) |
All times are in UTC.