Logs on 2026-02-16 (liberachat/#haskell)
| 00:08:49 | <EvanR> | so you want to subtract a number by 1 let me first introduce you to some category theory |
| 00:10:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:15:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:21:22 | <monochrom> | :) |
| 00:26:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:33:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:35:20 | <jreicher> | EvanR: TBH I'm comfortable with not pinning down terms. I'm more interested in finding good ways to think about stuff, and I think it's worth treating encapsulation of mutable behaviour differently from encapsulation of (immutable) data representation, if that makes sense? |
| 00:35:54 | <jreicher> | Particularly since the mainstream OO languages seem to be converging on the functional way of doing the latter. |
| 00:37:25 | <EvanR> | I think just being precise is a fine path to getting there. OOP isn't a priori precise unfortunately. mutable behavior? |
| 00:39:57 | <jreicher> | For myself I try to make it precise something like following. All program execution requires mutation of state in the sense that the computer's memory is mutating. But the HUGE difference between a pure functional language and not is that the semantics of that are present in the latter and not at all in the former. Meaning you have language constructs that say "mutate this". The programmer can control it. So to me it doesn't matter the |
| 00:39:58 | <jreicher> | exact form those constructs take; it only matters whether they are present. |
| 00:41:08 | <EvanR> | if we're going to make a distinction between syntax and (different choices of) semantics, then mutable memory doesn't have to factor in either way |
| 00:41:59 | <EvanR> | e.g. in one version of imperative programming, or even concurrent programming, the programs can have access to the history of messages which stands in for mutable state |
| 00:42:12 | <EvanR> | for semantics |
| 00:42:33 | <EvanR> | they even lean into this seriously in immutable databases |
| 00:43:50 | <EvanR> | but yeah certain narrow presentations of OOP dwell heavily on "this is OOP. We mutate things" |
| 00:44:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:44:23 | <EvanR> | and in that case I'd be surprised if they even distinguish semantics |
| 00:46:30 | <jreicher> | EvanR: ah, fair point with the messages. There's an extra bit I have in mind but I struggle to put it into words. It's something like an observer getting a mutation they didn't ask for, which I think is equivalent to referential transparency failing. |
| 00:47:02 | <jreicher> | I did see this discussed precisely many years ago, as something that mutation can actually be useful for, using it as a notification mechanism for a "distant" part of the program. |
| 00:49:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:49:44 | <EvanR> | I still think mutable heap memory is implementation specific, and struggles to be a semantic thing, much less a paradigm-defining thing |
| 00:50:07 | × | xff0x quits (~xff0x@2405:6580:b080:900:9c89:4c9f:731a:2a84) (Ping timeout: 264 seconds) |
| 00:51:18 | <jreicher> | Not sure what you mean by that. If in an imperative language I say a[42] = "Don't panic", aren't I assured of mutating something in heap even though I might not know exactly where? |
| 00:54:26 | <EvanR> | typically they don't define it that way formally, or give particularly clear semantics |
| 00:54:41 | <EvanR> | e.g. there's no heap in C, called that |
| 00:54:44 | <EvanR> | at least |
| 00:54:58 | <jreicher> | Understood, but why is that a problem? |
| 00:55:07 | <jreicher> | I mean, if it allowed for no mutation at all, it would be... |
| 00:55:11 | <EvanR> | *squint* |
| 00:56:19 | <EvanR> | why is what a problem, what problem |
| 00:57:06 | <jreicher> | Not having the heap mutation defined formally. |
| 00:57:35 | <geekosaur> | in C if it's a local definition `char *a[43]` you'd be modifying stack, not heap |
| 00:59:38 | <jreicher> | Well again I'm not sure if those specifics would bother me. It's a mutation that causes referential transparency to fail, and is under the programmer's control. That's what I think (but am not sure) sets these languages apart. |
| 01:00:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:00:08 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 01:02:42 | <EvanR> | I don't think there's any disagreement about anything here |
| 01:03:35 | <EvanR> | mutation isn't really semantical gives the shitty to non-existent semantics provided in imperative languages, while it's clearly how they're implemented |
| 01:04:10 | <EvanR> | and when they try to "teach paradigms" in class, there's no "mutable variable programming" paradigm |
| 01:04:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:05:16 | <EvanR> | for good reasons |
| 01:05:56 | <jreicher> | That's actually how I understand imperative programming. It's exactly "mutable variable programming" to me. |
| 01:06:10 | <jreicher> | To the extent that I used to say a constant variable is an oxymoron. |
| 01:06:10 | <geekosaur> | your fancy compiler for a pure functional programming language may optimize some things into mutable variables |
| 01:06:28 | <jreicher> | geekosaur: yes, but it's not under the programmer's control. That difference is critical. |
| 01:11:49 | → | weary-traveler joins (~user@user/user363627) |
| 01:14:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 01:14:14 | <EvanR> | a lot of stuff is not under your control in C either... this is the sad fact of being a high level language from the start |
| 01:15:33 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 01:15:53 | <EvanR> | though even in the beginning "it's mutation therefore fast" failed if you ran out of registers, today even less predictive |
| 01:15:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:16:07 | <jreicher> | Yep, but I'm not thinking of what's actually happening; I'm trying to think about the semantics even if they're abstract. That's why I keep talking about referential transparency failing. If that happens, then I think you need mutation in your semantics somewhere, somehow. It makes it unavoidable. |
| 01:16:17 | → | omidmash1 joins (~omidmash@user/omidmash) |
| 01:16:39 | → | emmanuelux joins (~em@user/emmanuelux) |
| 01:17:02 | <EvanR> | in haskell, we can program imperative programs with apparently mutable variables, and while the underlying semantics are still purely functional |
| 01:17:24 | omidmash1 | is now known as omidmash |
| 01:17:37 | <EvanR> | so the "heap needs to mutate for my reasoning to work" is not necessarily useful |
| 01:17:58 | × | omidmash3 quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 01:18:00 | <jreicher> | I know, but I think that's a subset of mutation behaviour that preserves referential transparency (as graph reduction does anyway). |
| 01:18:17 | <EvanR> | I think it's confusing levels, but ok |
| 01:19:20 | <jreicher> | I can understand why you say that. As I said I don't have anything formal, but I would be interested in anything that can apparently display a failure of referential transparency, written in Haskell. I don't think it's possible. |
| 01:20:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:21:30 | <c_wraith> | under what constraints? |
| 01:22:16 | <c_wraith> | like, you have to be banning unsafePerformIO and friends |
| 01:22:22 | <jreicher> | Oh, yes. :) |
| 01:22:39 | <c_wraith> | how about unsafeInterleaveST? |
| 01:24:16 | → | prdak joins (~Thunderbi@user/prdak) |
| 01:25:37 | <jreicher> | TBH I'm not sure. I can't figure out what I think of referential transparency with threads. |
| 01:28:35 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 250 seconds) |
| 01:35:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 01:36:05 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:38:04 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:38:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:43:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:43:13 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 01:54:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:59:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:00:02 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 02:00:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 02:04:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:10:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:11:50 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 02:12:44 | <Lears> | % :seti -XLexicalNegation |
| 02:12:44 | <yahb2> | <no output> |
| 02:12:50 | <Lears> | % (- 1) 42 |
| 02:12:50 | <yahb2> | 41 |
| 02:12:58 | <Lears> | larsivi: ^ |
| 02:15:19 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 02:16:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:17:50 | → | camblsoup joins (~camblsoup@d64-180-5-83.bchsia.telus.net) |
| 02:21:42 | × | camblsoup quits (~camblsoup@d64-180-5-83.bchsia.telus.net) (Client Quit) |
| 02:28:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:32:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:40:21 | → | confusedalex_ joins (~confuseda@user/confusedalex) |
| 02:40:56 | × | confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 252 seconds) |
| 02:40:56 | confusedalex_ | is now known as confusedalex |
| 02:44:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:49:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:58:31 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:4df9:a697:65af:4b46) |
| 03:00:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:04:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 03:05:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:09:56 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 03:11:51 | × | td_ quits (~td@i53870902.versanet.de) (Ping timeout: 244 seconds) |
| 03:14:01 | → | td_ joins (~td@i5387093C.versanet.de) |
| 03:14:38 | → | omidmash joins (~omidmash@user/omidmash) |
| 03:14:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:15:06 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 03:15:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:15:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:20:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:22:02 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:22:09 | → | Pozyomka joins (~pyon@user/pyon) |
| 03:25:13 | × | mulk quits (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 03:26:30 | → | mulk joins (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) |
| 03:31:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:36:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:47:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:54:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:54:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 03:55:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:57:37 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 03:59:46 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 04:01:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:04:04 | × | s3np41 quits (~s3np41@078088254000.unknown.vectranet.pl) (Ping timeout: 245 seconds) |
| 04:05:54 | → | s3np41 joins (~s3np41@078088254000.unknown.vectranet.pl) |
| 04:11:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:16:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:27:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:30:55 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 04:32:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:33:55 | → | emmanuelux joins (~em@user/emmanuelux) |
| 04:34:38 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 04:39:51 | → | emmanuelux joins (~em@user/emmanuelux) |
| 04:43:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:48:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:56:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:59:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 05:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:03:40 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 05:11:45 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 05:12:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:13:55 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 05:17:15 | → | emmanuelux joins (~em@user/emmanuelux) |
| 05:17:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:28:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:35:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:42:52 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 05:43:50 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 05:45:08 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 05:46:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:51:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:57:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:02:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:08:26 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 06:08:33 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 06:10:31 | → | kmein joins (~weechat@user/kmein) |
| 06:14:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:19:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:23:08 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 06:28:12 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 06:30:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:35:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:44:55 | → | wickedjargon joins (~user@2605:8d80:5430:8a6:d1eb:8774:e3ee:c949) |
| 06:45:04 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 06:46:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:51:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:52:51 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:58:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:00:47 | → | prdak joins (~Thunderbi@user/prdak) |
| 07:02:35 | → | Enrico63 joins (~Enrico63@host-82-63-21-32.business.telecomitalia.it) |
| 07:04:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:09:28 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:12:43 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 07:14:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:15:01 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 07:15:01 | prdak1 | is now known as prdak |
| 07:19:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:25:34 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:30:02 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 07:30:36 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 07:30:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:35:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:36:57 | × | ft quits (~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:38:58 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 256 seconds) |
| 07:45:17 | → | chele joins (~chele@user/chele) |
| 07:46:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:53:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 07:58:39 | × | werneta quits (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 07:59:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:00:41 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:01:04 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 08:04:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 08:15:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:16:12 | → | michalz_ joins (~michalz@185.246.207.201) |
| 08:17:32 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 08:19:08 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 08:19:57 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 08:21:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:22:39 | × | michalz_ quits (~michalz@185.246.207.201) (Read error: Connection reset by peer) |
| 08:24:40 | → | michalz joins (~michalz@185.246.207.221) |
| 08:26:44 | → | akegalj joins (~akegalj@89-164-110-19.dsl.iskon.hr) |
| 08:33:45 | × | Enrico63 quits (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed) |
| 08:51:54 | → | kuribas joins (~user@2a02-1810-2825-6000-33d-7e8e-8e5f-1701.ip6.access.telenet.be) |
| 08:53:28 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:58:29 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 09:00:42 | → | st_aldini1 joins (~Thunderbi@136.48.46.187) |
| 09:02:12 | × | st_aldini quits (~Thunderbi@136.48.46.187) (Ping timeout: 252 seconds) |
| 09:02:12 | st_aldini1 | is now known as st_aldini |
| 09:03:24 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:04:32 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 256 seconds) |
| 09:05:54 | → | merijn joins (~merijn@77.242.116.146) |
| 09:09:39 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 09:13:19 | → | srazkvt joins (~sarah@user/srazkvt) |
| 09:13:37 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 09:15:30 | → | Enrico63 joins (~Enrico63@host-82-63-21-32.business.telecomitalia.it) |
| 09:15:52 | → | __monty__ joins (~toonn@user/toonn) |
| 09:16:47 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 09:18:29 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:20:22 | → | dutchie joins (~dutchie@user/dutchie) |
| 09:23:48 | <gentauro> | % (-) 1 42 |
| 09:23:48 | <yahb2> | -41 |
| 09:24:06 | <gentauro> | % ((-) 1) 42 |
| 09:24:06 | <yahb2> | -41 |
| 09:27:58 | <pavonia> | % subtract 42 1 |
| 09:27:59 | <yahb2> | -41 |
| 09:30:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) |
| 09:31:14 | → | hakutaku joins (~textual@user/hakutaku) |
| 09:32:59 | → | qqq joins (~qqq@185.54.22.240) |
| 09:33:38 | <kaol> | Silly AI. It told me to do flip showHex "" to "ensure each byte is converted to a two-digit hexadecimal string". No, it won't. |
| 09:37:02 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:39:55 | <srazkvt> | yea that's because they know nothing |
| 09:52:01 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 09:53:00 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 09:53:14 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 09:53:27 | × | Enrico63 quits (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed) |
| 09:53:59 | xff0x_ | is now known as xff0x |
| 09:58:02 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:59:33 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 10:00:32 | → | dutchie joins (~dutchie@user/dutchie) |
| 10:08:15 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 10:26:46 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 10:27:00 | → | divlamir joins (~divlamir@user/divlamir) |
| 10:45:35 | → | Guest12 joins (~Guest12@145.107.83.45) |
| 10:47:28 | <haskellbridge> | <Morj> I like how sometimes I ask an LLM to review my code, and it only points to places where I already left FIXMEs |
| 10:47:29 | <haskellbridge> | <Morj> Good technology, what did I even metaphorically burned a tree for |
| 10:53:16 | <jreicher> | What's your problem? The basic design of an LLM is to tell you something somebody else already knows. |
| 10:58:35 | <lortabac> | Morj: which models do you use? I find the most recent LLM models very good at code reviews. Sometimes they identify subtle issues that can easily go unnoticed |
| 10:59:44 | <lortabac> | of course, you should give it some context about the change. A generic "please review this patch" won't do it |
| 11:04:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:6b27:25be:1343:b5d0) |
| 11:09:28 | → | sp1ff` joins (~user@2601:1c2:4701:7850::8cd) |
| 11:10:10 | × | sp1ff quits (~user@2601:1c2:4701:7850::1844) (Ping timeout: 246 seconds) |
| 11:17:17 | <haskellbridge> | <Morj> Yea, and I expect there are people who know more about haskell than me. It's not like I write terribly complicated code on the evenings |
| 11:17:19 | <haskellbridge> | <Morj> My company has subscriptions to gemini and claude, I use those (on my personal projects, hehe) |
| 11:17:19 | <haskellbridge> | <Morj> Yeah, I know about context. Usually if it's a one-file program or a self-contained module, I will send the whole file to review. If it's a multi-file diff the model won't have context, true |
| 11:17:22 | <haskellbridge> | <magic_rb> Right so your argument for paying for LLMs is "the LLM tech giant has stolen knowledge from folks much more knowledgeable than me and i want that knowledge so its okay" |
| 11:39:12 | <lortabac> | by "context" I meant explaining the motivation behind the patch |
| 11:39:59 | <lortabac> | both Gemini pro and Claude Opus are very good at matching specs with implementation in my experience |
| 11:47:53 | × | Guest12 quits (~Guest12@145.107.83.45) (Ping timeout: 272 seconds) |
| 12:02:03 | × | wickedjargon quits (~user@2605:8d80:5430:8a6:d1eb:8774:e3ee:c949) (Ping timeout: 252 seconds) |
| 12:04:33 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 12:15:16 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 12:15:28 | → | chele joins (~chele@user/chele) |
| 12:18:03 | <haskellbridge> | <Morj> magic_rb: yes, information sharing is good and piracy is moral |
| 12:18:03 | <haskellbridge> | <Morj> But let's leave this topic |
| 12:18:03 | <haskellbridge> | <magic_rb> 👍 youre wrong, but i agree, i dont want to be ruining my morning with this shit again |
| 12:31:08 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:44:46 | → | weary-traveler joins (~user@user/user363627) |
| 12:46:31 | → | haritz joins (~hrtz@140.228.70.141) |
| 12:46:31 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 12:46:31 | → | haritz joins (~hrtz@user/haritz) |
| 12:47:07 | <lantti> | proper tea is theft |
| 12:48:02 | lantti | takes a sip |
| 13:09:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 13:16:26 | → | Square2 joins (~Square4@user/square) |
| 13:23:53 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 13:30:25 | <srazkvt> | that's the lowest take ive ever seen wow, that is legitimately impressive |
| 13:33:13 | × | phm quits (~peter@user/phm) (Changing host) |
| 13:33:13 | → | phm joins (~peter@fsf/member/phm) |
| 13:38:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:46:51 | → | Enrico63 joins (~Enrico63@host-82-63-21-32.business.telecomitalia.it) |
| 14:03:28 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 14:14:46 | × | Enrico63 quits (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Quit: Client closed) |
| 14:15:25 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:18:53 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 14:24:54 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 14:25:46 | → | dutchie joins (~dutchie@user/dutchie) |
| 14:35:37 | × | omidmash quits (~omidmash@user/omidmash) (Remote host closed the connection) |
| 14:43:14 | × | jle` quits (~jle`@2603:8001:3b00:11:6d67:a516:e093:4066) (Ping timeout: 260 seconds) |
| 14:44:16 | → | jle` joins (~jle`@2603:8001:3b00:11:e067:5c4c:c17c:7150) |
| 14:45:50 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:46:01 | → | califax joins (~califax@user/califx) |
| 14:53:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:53:06 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 14:57:31 | → | emaczen joins (~user@user/emaczen) |
| 15:00:31 | → | prdak joins (~Thunderbi@user/prdak) |
| 15:10:59 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 15:16:06 | → | ohomechamadodedo joins (~ohomecham@user/rata2) |
| 15:16:45 | × | Alex_delenda_est quits (~al_test@85.174.183.241) (Ping timeout: 252 seconds) |
| 15:16:50 | × | ohomechamadodedo quits (~ohomecham@user/rata2) (Client Quit) |
| 15:18:27 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 15:23:49 | × | Miroboru quits (~myrvoll@84.214.174.190) (Quit: Lost terminal) |
| 15:35:05 | → | califax_ joins (~califax@user/califx) |
| 15:35:58 | × | califax quits (~califax@user/califx) (Ping timeout: 252 seconds) |
| 15:36:18 | califax_ | is now known as califax |
| 16:01:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) |
| 16:04:14 | Catty | is now known as Catttttttttttttt |
| 16:04:24 | Catttttttttttttt | is now known as Cattttttttttttty |
| 16:08:07 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 16:13:18 | → | prdak joins (~Thunderbi@user/prdak) |
| 16:13:45 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:15:29 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 16:15:51 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 16:16:03 | jmcantrell_ | is now known as jmcantrell |
| 16:16:40 | → | spew joins (~spew@user/spew) |
| 16:16:58 | → | Guest99 joins (~Guest99@105.72.46.71) |
| 16:17:49 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 16:22:23 | → | wickedjargon joins (~user@24.244.23.225) |
| 16:26:07 | × | Guest99 quits (~Guest99@105.72.46.71) (Quit: Client closed) |
| 16:29:28 | × | wickedjargon quits (~user@24.244.23.225) (Remote host closed the connection) |
| 16:34:04 | Cattttttttttttty | is now known as Catty |
| 16:39:02 | × | tromp quits (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:40:01 | → | prdak joins (~Thunderbi@user/prdak) |
| 16:42:03 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 16:42:49 | × | prdak quits (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 16:43:09 | → | prdak joins (~Thunderbi@user/prdak) |
| 16:49:30 | → | Square3 joins (~Square@user/square) |
| 16:51:10 | → | tromp joins (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) |
| 16:52:07 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 16:54:19 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 264 seconds) |
| 17:00:29 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 17:04:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:09:04 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 17:11:53 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 17:12:07 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 17:12:41 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 17:13:36 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:14:33 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 17:16:18 | → | petrichor joins (~jez@user/petrichor) |
| 17:19:07 | × | Gravifer quits (~Gravifer@user/Gravifer) (Ping timeout: 272 seconds) |
| 17:22:22 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 17:23:46 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:4df9:a697:65af:4b46) (Remote host closed the connection) |
| 17:32:27 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 17:32:52 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 17:34:43 | → | infinity0 joins (~infinity0@pwned.gg) |
| 17:35:07 | <larsivi> | Lears: I read about it, but for now at least, I want to avoid extensions |
| 17:37:04 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:42:55 | → | gorignak joins (~gorignak@user/gorignak) |
| 17:53:24 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 17:54:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:55:02 | × | Square3 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 18:00:19 | × | kuribas quits (~user@2a02-1810-2825-6000-33d-7e8e-8e5f-1701.ip6.access.telenet.be) (Remote host closed the connection) |
| 18:00:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 18:12:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:18:39 | × | malte quits (~malte@mal.tc) (Ping timeout: 245 seconds) |
| 18:19:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:20:30 | × | sp1ff` quits (~user@2601:1c2:4701:7850::8cd) (Read error: Connection reset by peer) |
| 18:21:34 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 18:30:24 | → | califax_ joins (~califax@user/califx) |
| 18:30:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:31:14 | × | califax quits (~califax@user/califx) (Ping timeout: 252 seconds) |
| 18:31:44 | califax_ | is now known as califax |
| 18:33:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:34:54 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 18:35:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:37:42 | fwam | is now known as rensenwxre |
| 18:45:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:50:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:53:12 | × | myxos quits (~myxos@174-18-58-141.tcso.qwest.net) (Remote host closed the connection) |
| 18:58:19 | → | myxos joins (~myxos@174-18-58-141.tcso.qwest.net) |
| 19:01:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:04:11 | × | traxex quits (traxex@user/traxex) (Ping timeout: 250 seconds) |
| 19:04:27 | × | akegalj quits (~akegalj@89-164-110-19.dsl.iskon.hr) (Remote host closed the connection) |
| 19:05:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:07:01 | × | remedan quits (~remedan@78-80-95-79.customers.tmcz.cz) (Quit: Bye!) |
| 19:07:10 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:07:26 | → | califax joins (~califax@user/califx) |
| 19:08:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) |
| 19:14:42 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 19:16:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:21:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:22:36 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
| 19:27:28 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 19:32:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:34:42 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:36:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:39:38 | → | LUCKY_NOOB joins (~LUCKY_NOO@user/LUCKY-NOOB:44374) |
| 19:45:14 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:45:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 19:45:46 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 19:45:56 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 19:46:25 | → | remedan joins (~remedan@78-80-95-79.customers.tmcz.cz) |
| 19:47:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:48:08 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:54:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:56:26 | × | rensenwxre quits (~fwam@user/fwam) (Quit: chee to) |
| 19:57:33 | → | rensenwxre joins (~fwam@user/fwam) |
| 19:59:59 | × | petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 20:04:02 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:05:27 | → | petrichor joins (~jez@user/petrichor) |
| 20:06:34 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 20:12:28 | → | cipherrot joins (~jez@user/petrichor) |
| 20:13:21 | → | ft joins (~ft@p4fc2afab.dip0.t-ipconnect.de) |
| 20:13:39 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 245 seconds) |
| 20:13:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:16:38 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:18:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:21:08 | → | petrichor joins (~jez@user/petrichor) |
| 20:21:59 | × | cipherrot quits (~jez@user/petrichor) (Ping timeout: 245 seconds) |
| 20:23:50 | <haskellbridge> | <@mad:matrix.org> lantti: Why can't we all get Oolong? |
| 20:26:48 | → | Alex_delenda_est joins (~al_test@85.174.183.241) |
| 20:29:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:33:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:38:30 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:39:56 | × | LUCKY_NOOB quits (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving) |
| 20:42:40 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 20:42:49 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 20:44:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:49:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 20:49:58 | → | LUCKY_NOOB joins (~LUCKY_NOO@user/LUCKY-NOOB:44374) |
| 20:55:26 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:56:20 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:56:33 | × | int-e quits (~noone@int-e.eu) (Quit: Reconnecting) |
| 20:56:41 | → | int-e joins (~noone@int-e.eu) |
| 20:58:06 | → | jreicher joins (~joelr@user/jreicher) |
| 20:58:23 | monochrom | loves oolong tea too >:) |
| 20:59:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:00:29 | geekosaur | switches around |
| 21:02:09 | × | Philonous quits (~Philonous@user/philonous) (Server closed connection) |
| 21:02:29 | → | Philonous joins (~Philonous@user/philonous) |
| 21:04:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:15:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:18:09 | × | cjay quits (~cjay@nerdbox.nerd2nerd.org) (Server closed connection) |
| 21:18:19 | → | cjay joins (~cjay@nerdbox.nerd2nerd.org) |
| 21:19:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:20:52 | × | prdak quits (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 21:21:12 | → | prdak joins (~Thunderbi@user/prdak) |
| 21:25:50 | × | rensenwxre quits (~fwam@user/fwam) (Quit: chee to) |
| 21:28:12 | × | LUCKY_NOOB quits (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving) |
| 21:28:36 | → | LUCKY_NOOB joins (~LUCKY_NOO@user/LUCKY-NOOB:44374) |
| 21:30:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:31:44 | → | halloy7365 joins (~halloy736@2404:4400:5446:4e00:b998:e0f5:fe7b:6a99) |
| 21:32:39 | → | traxex joins (traxex@user/traxex) |
| 21:33:41 | × | spew quits (~spew@user/spew) (Ping timeout: 250 seconds) |
| 21:35:17 | → | Googulator31 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 21:35:22 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 21:36:41 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 21:37:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 21:39:29 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 21:39:29 | polykernel_ | is now known as polykernel |
| 21:40:10 | → | Square3 joins (~Square@user/square) |
| 21:40:55 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 21:48:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:50:09 | × | kaol quits (~kaol@94-237-45-144.nl-ams1.upcloud.host) (Server closed connection) |
| 21:50:17 | → | kaol joins (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 21:50:49 | × | Flow quits (~none@gentoo/developer/flow) (Server closed connection) |
| 21:51:27 | → | Flow joins (~none@gentoo/developer/flow) |
| 21:53:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:01:29 | × | robertm quits (robertm@lattice.rojoma.com) (Server closed connection) |
| 22:01:47 | → | robertm joins (robertm@lattice.rojoma.com) |
| 22:01:51 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 22:04:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:04:09 | × | kaankeskin quits (~kaankeski@user/kaankeskin) (Server closed connection) |
| 22:04:26 | → | kaankeskin joins (~kaankeski@user/kaankeskin) |
| 22:08:26 | → | skinkitten joins (~skinkitte@2600:6c5e:3cf0:1ff0:f1bc:10ab:f480:7159) |
| 22:08:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:08:51 | × | skinkitten quits (~skinkitte@2600:6c5e:3cf0:1ff0:f1bc:10ab:f480:7159) (Changing host) |
| 22:08:51 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 22:19:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:19:52 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 22:21:43 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:22:20 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 22:23:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:26:40 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Excess Flood) |
| 22:27:05 | → | vidak joins (~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) |
| 22:34:29 | × | xstill_ quits (xstill@fimu/xstill) (Server closed connection) |
| 22:34:49 | → | xstill_ joins (xstill@fimu/xstill) |
| 22:34:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:39:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:42:52 | → | Square2 joins (~Square4@user/square) |
| 22:46:29 | × | Square3 quits (~Square@user/square) (Ping timeout: 250 seconds) |
| 22:46:35 | → | emmanuelux joins (~em@user/emmanuelux) |
| 22:46:43 | → | pavonia joins (~user@user/siracusa) |
| 22:49:09 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:50:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:54:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:02:48 | → | Jackneill joins (~Jackneill@94-21-15-238.pool.digikabel.hu) |
| 23:05:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:07:04 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 23:09:48 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 23:12:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:13:08 | → | emmanuelux joins (~em@user/emmanuelux) |
| 23:23:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:28:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:29:09 | × | dontdieych quits (~dontdieyc@132.226.169.184) (Server closed connection) |
| 23:29:25 | → | dontdieych joins (~dontdieyc@132.226.169.184) |
| 23:37:04 | × | NixClaw quits (~NixClaw@user/NixClaw) (Remote host closed the connection) |
| 23:38:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:43:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 23:51:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:54:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:55:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
All times are in UTC on 2026-02-16.