#ctrl-c | Logs for 2020-09-16
Back
[00:59:09] -!- ngp has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- noteness has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- xwindows has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- amcclure has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- kiedtl has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- k33k has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- rmg has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- creme has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- perrierjouet has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- anton|pw has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- adam has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- michel has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- Sario528 has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- nikita has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- anton has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- ben has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- heredoc has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- aravk has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- chameleon has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- sneakweb has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- boskone has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- hyperreal has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- sneak has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- Absalom has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- slipxy has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:09] -!- slipyx has quit [ctrl-c.tilde.chat hub.tilde.chat]
[00:59:26] -!- Absalom [Absalom!~Absalom@thunix.net] has joined #ctrl-c
[00:59:36] -!- anton|pw [anton|pw!anton@tilde.pw] has joined #ctrl-c
[00:59:36] -!- heredoc [heredoc!~heredoc@li1653-139.members.linode.com] has joined #ctrl-c
[00:59:36] -!- sneak [sneak!~sneak@datavi.be] has joined #ctrl-c
[00:59:36] -!- aravk [aravk!~aravk@102.165.124.20] has joined #ctrl-c
[00:59:36] -!- chameleon [chameleon!~chameleon@62.ip-51-89-164.eu] has joined #ctrl-c
[00:59:36] -!- sneakweb [sneakweb!~sid204034@id-204034.hathersage.irccloud.com] has joined #ctrl-c
[00:59:36] -!- rmg [rmg!rmg@ctrl-c.club] has joined #ctrl-c
[00:59:38] -!- boskone [boskone!boskone@yourtilde.com] has joined #ctrl-c
[01:00:15] -!- anton [anton!anton@amcclure.org] has joined #ctrl-c
[01:00:21] -!- amcclure [amcclure!~amcclure@tilde.town] has joined #ctrl-c
[01:00:29] -!- adam [adam!adam@198.27.111.136] has joined #ctrl-c
[01:00:32] -!- anton has quit [quit: antoff]
[01:00:39] -!- anton [anton!anton@amcclure.org] has joined #ctrl-c
[01:01:01] -!- kiedtl [kiedtl!~kiedtl@142.93.153.223] has joined #ctrl-c
[01:01:01] -!- k33k [k33k!k33k@tilde.club] has joined #ctrl-c
[01:01:01] -!- hyperreal [hyperreal!hyperreal@envs.net] has joined #ctrl-c
[01:01:01] -!- noteness [noteness!noteness@2a03:94e0:2102:1520::251] has joined #ctrl-c
[01:01:01] -!- slipyx [slipyx!~slip@202e-0aff-fe0a-3ccb.v6.us-chi1.upcloud.host] has joined #ctrl-c
[01:01:01] -!- nikita [nikita!nikita@tilde.club] has joined #ctrl-c
[01:01:01] -!- perrierjouet [perrierjouet!~perrierjou@modemcable012.251-130-66.mc.videotron.ca] has joined #ctrl-c
[01:01:01] -!- ngp [ngp!~ngp@199.180.249.183] has joined #ctrl-c
[01:01:01] -!- ben [ben!ben@oper.tilde.chat] has joined #ctrl-c
[01:01:01] -!- slipxy [slipxy!slip@tilde.team] has joined #ctrl-c
[01:01:01] -!- xwindows [xwindows!xwindows@tilde.club] has joined #ctrl-c
[01:01:01] -!- Sario528 [Sario528!sid356235@id-356235.charlton.irccloud.com] has joined #ctrl-c
[01:01:02] -!- k33k has quit [Changing ident]
[01:01:02] -!- k33k [k33k!amphet@tilde.club] has joined #ctrl-c
[01:01:02] -!- k33k has quit [Changing host]
[01:01:02] -!- k33k [k33k!amphet@mi.ne] has joined #ctrl-c
[01:01:28] -!- creme [creme!creme@envs.net] has joined #ctrl-c
[01:01:28] -!- michel [michel!michel@ctrl-c.club] has joined #ctrl-c
[01:29:28] -!- aravk has quit [quit: ZNC 1.8.1 - https://znc.in]
[01:29:40] -!- aravk [aravk!~aravk@102.165.124.20] has joined #ctrl-c
[01:36:27] <calamitous> timemachine: Thank _you_ for chasing it down!
[02:39:59] <timemachine> calamitous: no problem, I read nginx configs like bible verses. If there is anything else you need to look at let me know.
[06:54:47] <rmg> calamitous: Just a reminder, HTTPS is still broken.
[06:55:35] <rmg> calamitous: There's nothing more permanent than a temporary thing.
[07:37:56] <slipyx> story of my life
[11:04:52] -!- tomo__c [tomo__c!tomo@ctrl-c.club] has joined #ctrl-c
[12:29:32] -!- felix [felix!~nttp@212.87.203.208] has joined #ctrl-c
[12:51:49] -!- smlckz [smlckz!smlckz@ctrl-c.club] has joined #ctrl-c
[12:52:41] * felix waves!
[12:55:22] <smlckz> yo felix
[12:55:31] <felix> What's new?
[12:56:30] <smlckz> nothing new
[12:57:37] <felix> Aw well.
[12:58:50] <felix> I was finally able to confirm a long-suspected bug.
[12:59:07] <smlckz> where?
[13:01:22] <felix> In the curses bindings for Python.
[13:02:18] <smlckz> hmm
[13:03:08] <felix> It's odd, right? Yet it's been there since who-knows-when. In all versions.
[13:06:08] <smlckz> all programs have bugs. dont know what might happen with "proven" correct hardware and software [proved bug-free programs running on seL4 and RISCV if that day comes]
[13:06:53] <felix> Well, you know what Niklaus Wirth said about formal verification.
[13:07:15] <felix> "Beware, I've only proven this program correct, not tested it."
[13:07:22] <smlckz> will that day come? what do you think?
[13:07:39] <felix> Seeing how long people have been chasing this particular chimera?
[13:07:44] <smlckz> ah
[13:08:01] <felix> Correctness is in the eye of the beholder anyway.
[13:08:28] <felix> Correct according to what requirements? Under what constraints?
[13:09:31] <smlckz> unless "corrupted"?
[13:09:47] <felix> By whom? How?
[13:10:09] <felix> Do I "corrupt" the environment if I move to a computer with less RAM?
[13:10:34] <smlckz> hardware damage?
[13:11:03] <felix> Never mind that... only space probes seem to have software that can deal with that.
[13:11:29] <felix> Despite hardware failing often enough in any machine.
[13:12:54] <felix> But I mean, in this case it's a bug that can be easily observed if you do anything non-trivial with the library.
[13:13:27] <felix> Apparently, none of Python's standard library maintainers ever did.
[13:15:39] <felix> Might explain why my quick start guide is so popular.
[13:16:40] <smlckz> non-trivial.
[13:17:22] <smlckz> your quick-start guide?
[13:17:48] <felix> Yes, like a game that uses the whole window.
[13:18:04] <felix> I wrote a quick-start guide for Python and curses a few years ago.
[13:19:04] <smlckz> where is it? how much time i need?
[13:24:17] <felix> I'm not sure. Take a look: http://ctrl-c.club
[13:24:17] <smlckz> hmm?
[13:25:45] <smlckz> ah, i'll have a look at that
[13:30:28] -!- smlckz has quit [Client exited]
[14:12:56] -!- Absalom has quit [quit: bouncer provider thunix.net]
[14:13:30] -!- Absalom [Absalom!~Absalom@thunix.net] has joined #ctrl-c
[17:22:31] -!- kiedtl has quit [quit: /quit]
[17:33:33] -!- kiedtl [kiedtl!~kiedtl@142.93.153.223] has joined #ctrl-c
[18:02:11] -!- felix has quit [Client exited]