00:12:40 (I wonder if oerjan's Finnish spam was related to Spotify, [...] <-- sorry, didn't pay that much attention before deleting. 00:15:31 -!- erkin has quit (Ping timeout: 246 seconds). 00:15:56 <\oren\> is there a name for that trick where traverse a linked list and keep track of where you are by each time you move to a child you make it point back to its parent so you can go back 00:16:36 <\oren\> if there is a name for that trick I shoudl use it for this commit messge 00:16:49 Zipper? 00:17:10 Sort of. 00:18:50 <\oren\> "made this not stack over flow by using a zipper technique instead of just recursing" 00:19:04 <\oren\> meh 00:22:18 \oren\: i think the "Sort of" is pretty big there. 00:22:43 <\oren\> bah noone reads my code anyway 00:22:55 \oren\: What does the program do? 00:23:04 You should post the code. 00:23:11 istr this being used for gc way before zippers were invented. 00:23:19 This isn't really zipper anyway. 00:23:22 But it's related? 00:23:41 just use an xor doubly linked list hth 00:23:42 <\oren\> reads some crap in, parses it into a tree but the tree is too big to traverse 00:24:06 <\oren\> so we need to use this stupid zippery technique to avoid stack overflows 00:24:18 <\oren\> and then outputs some other crap 00:24:47 imo post a simplified version twh 00:25:47 \oren\: I've heard of that trick, and I don't know how generally it can be done. I wonder if it could be used for a garbage collector following conses with arbitrary cyclical links, possibly combined with an xor trick. 00:25:54 I don't know if it had a name. 00:26:47 wob_jonas: that garbage collector use is where i've seen it. 00:27:45 you probably have to look in Knuth chapters 2 and 6 to see if it has a name 00:27:58 I went to talk by Knuth once that talked about something similar to a zipper. 00:28:09 <\oren\> ok hold on 00:28:15 I liked the way he had of drawing/thinking about it. 00:28:55 I'm a big fan of Knuth's books. They're so awesome. 00:29:23 It was this talk: https://www.youtube.com/watch?v=VW3vgJYYIok 00:29:33 I haven't read his books. 00:30:44 <\oren\> https://pastebin.com/sJEGNtjQ 00:32:33 <\oren\> now imagine that do_leaf is also doing the same thing 00:32:46 <\oren\> ...yeah... 00:35:10 <\oren\> it doesn't eliminate recursions, it just reduces the amount of recursion to manageable level 00:37:01 <\oren\> anyway, I'm certain I've seen this technique before but I don't know what it is called 00:39:49 helloren, helloerjan, wellob_jellonas, sholacholaf 00:43:13 <\oren\> oh now i rmember! this is basically like a tree rotation! 00:43:34 Sort of? 00:44:39 <\oren\> it's like a tree rotation but the tree isn't sorted by anything and we're just doing it as a stupid trick 00:48:18 <\oren\> of course normally you could jsut use tail recursion in this case, but unfortunately we want things outputted in the right order 00:51:54 <\oren\> that is to say, the same order as if it had been a recursive function where do_tree(node) { if(tag is 1) do_leaf(c0); else {do_tree(c0); do_leaf(c1);} } 00:54:32 <\oren\> which is to say, the behaviour caused by the way the original perl code was written is now the spec for the new c++ code 00:55:36 <\oren\> we want exactly the same output but faster and using less memiore 01:01:59 -!- hppavilion[0] has changed nick to hppavilion[1]. 01:02:59 quhintopia 01:11:45 o/ 01:12:05 what have i missed the last two weeks? 01:19:13 hi quintopia 01:20:26 quintopia: well the wiki/HackEgo server was gone for a couple days 01:21:54 -!- doesthiswork has joined. 01:37:52 -!- Remavas has quit (Quit: Leaving). 01:40:32 -!- Remavas has joined. 01:42:48 It felt like a long time, but actually it was just about 2 days, 4 hours. 01:46:21 -!- augur has joined. 01:52:26 -!- h0rsep0wer has quit (Quit: Leaving). 01:58:12 -!- Remavas has changed nick to Rem|Sleep. 02:19:09 -!- Sgeo has quit (Read error: Connection reset by peer). 02:19:39 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 02:21:03 -!- Sgeo has joined. 02:46:58 -!- hppavilion[0] has joined. 02:49:33 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 02:51:27 -!- hppavilion[0] has quit (Ping timeout: 240 seconds). 04:03:19 [wiki] [[Comefrom0x10]] N https://esolangs.org/w/index.php?oldid=52421 * Julfers * (+6415) Created page with "{{infobox proglang |name=Comefrom0x10 |paradigms=Imperative |author=[[User:Julfers]] |year=[[:Category:2016|2016]] |class=[[:Category:Turing complete|Turing complete]] |majori..." 04:05:09 [wiki] [[User:Julfers]] https://esolangs.org/w/index.php?diff=52422&oldid=52417 * Julfers * (+29) 04:06:21 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=52423&oldid=52408 * Julfers * (+19) 04:10:41 [wiki] [[Comefrom0x10]] https://esolangs.org/w/index.php?diff=52424&oldid=52421 * Julfers * (+0) 04:11:48 -!- hppavilion[1] has joined. 04:20:12 [wiki] [[Talk:Comefrom0x10]] N https://esolangs.org/w/index.php?oldid=52425 * Julfers * (+580) Created page with "==Turing completeness== I listed this as Turing complete because it probably is and I wrote a [https://comefrom0x10.readthedocs.io/en/latest/examples.html#brainfuck-interpret..." 04:20:17 `5 w 04:20:22 1/2:welcome.fi//Tervetuloa esoteeristen ohjelmointikielten suunnittelun ja käyttöönoton kansainväliseen keskukseen! Lisätietoa saat wikistämme: . (Muu esoteerisuus: kokeile kanavaa #esoteric joko EFnet- tai Dalnet-verkossa.) \ manglophobia//Manglophobia is the fear of horribly mangled "Greek" neologisms. \ pluto//Pluto i 04:20:23 `n 04:20:23 2/2:s an ex-planet that moonlights as a dog in Disney cartoons. \ jerk//Jerk is the integral of snap. \ amnesium//An amnesium is a school where you forget everything you learned after each test. 04:44:05 -!- jaboja has quit (Ping timeout: 240 seconds). 05:05:33 -!- oerjan has quit (Quit: Nite). 05:10:03 -!- sleffy has joined. 06:03:04 -!- sleffy has quit (Ping timeout: 246 seconds). 06:06:39 [wiki] [[Hi\n]] https://esolangs.org/w/index.php?diff=52426&oldid=50177 * Xavo * (-1563) Blanked the page 06:09:22 [wiki] [[Special:Log/newusers]] create * ChromaticiT * New user account 06:13:56 contrapumpkin: whoa whoa whoa, you're doing Rust? 06:14:52 -!- sleffy has joined. 06:16:37 -!- doesthiswork has quit (Quit: Leaving.). 07:01:47 -!- FreeFull has quit. 07:07:20 -!- sdhand has quit (Excess Flood). 07:07:29 -!- sdhand has joined. 07:07:52 -!- sdhand has changed nick to Guest45222. 07:33:11 -!- Guest45222 has quit (Changing host). 07:33:11 -!- Guest45222 has joined. 07:33:11 -!- Guest45222 has changed nick to sdhand. 07:36:10 -!- sleffy has quit (Ping timeout: 246 seconds). 07:46:50 -!- hppavilion[1] has quit (Remote host closed the connection). 08:02:43 -!- xkapastel has quit (Quit: Connection closed for inactivity). 08:23:00 -!- augur has quit (Remote host closed the connection). 08:29:19 -!- AnotherTest has joined. 09:34:39 -!- DHeadshot has joined. 10:46:35 -!- DHeadshot has quit (Ping timeout: 240 seconds). 11:34:39 -!- boily has joined. 11:44:13 `w 11:44:15 lion//Lions are the catamorphisms of the animal world. They get eaten by poets in stone dens. 11:47:35 -!- AnotherTest has quit (Ping timeout: 240 seconds). 12:26:53 -!- boily has quit (Quit: ZERO CHICKEN). 12:40:31 -!- LKoen has joined. 12:59:40 -!- AnotherTest has joined. 13:00:31 -!- Melvar` has joined. 13:01:06 -!- idris-bot has quit (Ping timeout: 268 seconds). 13:02:30 -!- Melvar has quit (Ping timeout: 255 seconds). 13:53:09 -!- Rem|Sleep has changed nick to Remavas. 13:54:48 -!- jaboja has joined. 14:00:30 -!- doesthiswork has joined. 14:10:08 -!- ais523 has joined. 14:18:09 -!- ais523 has quit (Remote host closed the connection). 14:19:19 -!- ais523 has joined. 14:23:09 -!- LKoen has quit (Remote host closed the connection). 14:24:27 -!- DHeadshot has joined. 14:40:34 -!- `^_^v has joined. 14:53:57 -!- ski has quit (Ping timeout: 268 seconds). 14:56:05 -!- DHeadshot has quit (Ping timeout: 240 seconds). 14:58:57 -!- AnotherTest has quit (Ping timeout: 240 seconds). 15:10:05 -!- jaboja has quit (Ping timeout: 240 seconds). 15:58:06 -!- LKoen has joined. 16:05:39 -!- jaboja has joined. 16:15:16 Hm Debian stretch was released last month. Time to upgrade maybe. Or should I wait half a year for it to stabilise. 16:20:06 is that a joke, hmm. 16:25:43 -!- Remavas has quit (Read error: Connection reset by peer). 16:25:50 -!- Remavas has joined. 16:25:52 let's break a few VMs... 16:28:04 -!- contrapumpkin has quit (Ping timeout: 260 seconds). 16:32:02 -!- Remavas-Hex has joined. 16:32:49 int-e: not really. I have a server for one. Do not want it to break :P Though it isn't ubuntu. Ubuntu tends to be far buggier on upgrade between LTSes 16:32:58 -!- contrapumpkin has joined. 16:33:43 but yes probably going to dump the server VM, do a offline dry run upgrade, make sure it works and then either do the real upgrade or sync it back 16:36:01 -!- Remavas has quit (Ping timeout: 248 seconds). 16:41:21 -!- int-e has quit (Remote host closed the connection). 16:42:17 -!- int-e has joined. 16:43:05 well that seems to have worked just fine. 16:44:06 -!- lambdabot has quit (Quit: stretch goal...). 16:49:14 -!- lambdabot has joined. 16:49:51 -!- izabera has changed nick to queenofseki. 16:50:02 Vorpal: the thing is, Debian is ultra-stable to the point where I'm running the "unstable" distribution on my home computer. (I do keep to the stable release for VMs) 16:50:33 -!- AnotherTest has joined. 16:52:03 Vorpal: anyway I can now report two successful in situ upgrades to stretch... booted without a hitch and all services that I remember are still running. 16:52:25 int-e: what about a complicated setup with LVM2 and cryptsetup-luks though ;P 16:52:37 that is not for my VM, but for my desktop 16:54:28 That might be more fun, but if it's luks then I wouldn't expect problems. Might be a good idea to keep something like Knoppix around though (which I expect has enough software on board to allow accessing the data) 16:55:16 int-e: I use http://www.system-rescue-cd.org/ for that type of purpose 16:55:32 found it to be really good 16:56:12 website looks really dated though 16:56:26 Knoppix has a browser to pass the time while the tools are working ;) 16:57:06 int-e: I believe there is a basic browser on that CD too, it has LXDE at least 16:57:11 maybe dillo or something like that? 16:58:13 int-e: the question then is, does knoppix have all the specialized tools that system rescue CD does as well? 16:58:42 actually it appears there is full on firefox on there 17:00:02 bbl going to make food. Just need to go out and pick some fresh herbs first. 17:01:11 well, I have not yet missed anything. http://www.wp-schulz.de/images/download/knoppix_77/kn-vsn.lst 17:01:27 (but mostly I just needed gparted and debootstrap) 17:03:36 Vorpal: Basically when you make a 7.7GB image you have room for a lot of stuff ;) 17:08:12 -!- jaboja has quit (Ping timeout: 260 seconds). 17:19:20 -!- jaboja has joined. 17:21:22 -!- queenofseki has changed nick to izabera. 17:25:07 -!- LKoen has quit (Remote host closed the connection). 17:28:19 int-e: does it have the complete TeXLive? 17:28:38 good question 17:29:02 int-e: what about qgis? 17:29:15 well, no, not complete... but a good chunk of texlive is in there. 17:30:13 I bet it also doesn't include the whole small groups database of gap 17:31:24 texlive-fonts-extra isn't in there, so it won't be enough to build the wisdom.pdf 17:31:42 I've upgraded three systems from jessie to stretch now without issues. 17:32:46 I think the only change that was sort of relevant from an administrationary point of view is the new network interface naming they've switched to. 17:33:38 (It's sort of opt-in if you're upgrading, but on by default on new installs.) 17:34:01 (Oh, and the possibility to maybe switch from iptables to nftables if you want.) 17:39:08 -!- AnotherTest has quit (Ping timeout: 240 seconds). 17:47:05 -!- jaboja has quit (Ping timeout: 240 seconds). 17:47:34 -!- jaboja has joined. 17:53:23 . o O ( so how do I get the apt-listchanges output again... ) 18:04:24 I don't know, I'm just happy I always get those emailed. 18:07:11 -!- DHeadshot has joined. 18:10:22 -!- `^_^v has quit (Ping timeout: 246 seconds). 18:13:52 -!- jaboja has quit (Ping timeout: 255 seconds). 18:18:05 yeah apparently I never made that part work 18:20:22 -!- `^_^v has joined. 18:23:24 -!- ais523 has quit (Remote host closed the connection). 18:24:34 -!- ais523 has joined. 18:25:05 -!- Melvar` has changed nick to Melvar. 18:25:18 (Oh, and the possibility to maybe switch from iptables to nftables if you want.) <-- huh? 18:25:23 what do I stand to gain from that 18:25:27 -!- idris-bot has joined. 18:25:30 it is the same backend isn't it? 18:26:05 -!- `^_^v has quit (Ping timeout: 240 seconds). 18:26:27 Anyway both debian boxes uses ufw. Though the server has some custom rules on top (for a HTTPS/SSH multiplexer, since port 443 may be accessible through some proxies where you can't reach port 22) 18:27:07 my Raspbian (where stretch has not yet been released anyway) has completely custom iptables rules because of various VPN and IPv6 tunnel routing mess 18:28:28 I use ufw as my iptables frontend :-P 18:30:28 -!- `^_^v has joined. 18:31:58 ais523: I do that for most systems. Just in two cases I do way more complicated stuff than it can handle 18:32:23 now I'm interested in why you'd need a firewall that complex 18:32:34 in one case I managed to deal with that in the /etc/ufw custom rules files. In the other it was too messy 18:32:49 hmm, I wonder if fail2ban can be set up to block spam email 18:33:26 ais523: I set it up to block on failed logins for dovecot at least 18:33:34 so did I 18:33:43 that's a bit of a different scenario though 18:34:02 because there are plenty of legitimate reasons for people other than me to send me email 18:34:08 but no real legitimate reasons for people other than me to download my email 18:34:14 ais523: ufw doesn't allow you to set up prerouting entries for one 18:34:50 ais523: well postfix submission port can be blocked based on failed dovecot SASL logins too 18:35:03 I believe I set that up, don't quite remember 18:35:24 how often does someone try to hack into your email, and when it can't, try to send email pretending to be from you? 18:35:50 I mean, I can't see any reason not to block that 18:35:55 ais523: I get quite a few connect try AUTH disconnect password guessing bots in the logs at least 18:35:58 but I also wouldn't expect it to haev a lot of effect 18:36:07 -!- jaboja has joined. 18:36:08 I get AUTH guessing bots a lot too 18:36:21 usually low rate though 18:36:44 but I don't expect them to move onto the submission port when they fail 18:36:51 brb, think the stuff in the oven is ready maybe 18:36:53 err, backwards 18:37:04 I don't expect them to have guessed the dovecot password first 18:37:43 nope meringue was still not crisp 18:38:38 ais523: as for why I don't use ufw on my pi, I set it up so I route all traffic for a specific UID through a VPN, but route other traffic normally. That was invasive enough to make me ditch ufw 18:38:42 huh, someone's trying to bruteforce username/password pairs on NH4's play-a-game login interface 18:38:49 presumably thinking it's a regular telnet interface 18:39:04 they'll be pretty disappointed if they do manage to get into the account of the player called "root" :-P 18:39:19 Vorpal: Re nftables, possibly not much, especially for simple scenarios. nftables has better support for (static or dynamic) sets/maps, which can give you less-than-O(n) lookups for many things where the iptables approach would be "list of rules". And the syntax is more concise. 18:39:20 also setting up connection tracking helpers need some entries in the raw output table 18:39:30 fizzie: oh, ipset? 18:39:36 thought that existed already 18:39:41 this has been going for ages, too 18:39:52 ais523: fail2ban on it then 18:40:05 I can't easily, nothing seems to be recording the IP 18:40:13 that seems weird 18:40:21 this is rare enough (because it wouldn't actually work if it succeeded…) that I'd just ban the IP manually if I knew what it was 18:41:09 fizzie: I guess that would be nice for the Pi. I have a long list of ports to accept on for it 18:41:24 ais523: how do you even know it is happening then? 18:41:29 Vorpal: There's some support for sets on the iptables side, nft's just a lot more extensive. You can use them in a lot of contexts, and also do key-value maps, including for things like mapping to an action. 18:41:31 also I get quite regular scans on port 23 18:41:37 Vorpal: nethack4 server is logging the attempts 18:41:52 ais523: but not the ip? 18:41:53 weird 18:41:54 but it sees the connections as coming from localhost, because people telnet in and it creates a client for them 18:42:00 ah 18:42:05 Vorpal: Oh, and nft lets you do a single ruleset for IPv4/IPv6 jointly, which is an improvement in convenience over plain iptables. Probably again not relevant if you're already using a frontend like ufw. 18:42:11 like, if you connect to NH4 by telnet, you get a client process with which to do your server interaction 18:42:25 fizzie: well, I have different rules for ipv4 and ipv6 on the pi 18:43:08 So do I, but they're *mostly* similar. 18:43:16 fizzie: is the feature set a full on super-set of iptables? Last I looked (a year ago maybe) it wasn't yet 18:43:19 -!- imode has joined. 18:43:32 There's a few missing pieces, but it's not far. 18:43:41 wow, disabling sha1 based DH key exchanges in sshd actually cuts down on the authentication attempts... funny 18:43:44 fizzie: very different for me, since the pi act as a SixXS tunnel endpoint and share it to the network 18:43:56 -!- LKoen has joined. 18:43:56 the answer to this question is probably yes, but have there been any esolangs that don't have numbers of any kind built in? 18:43:59 You don't *have* to do a joint table. 18:44:31 There's also some more theoretical benefits, like you might be able to get new features just by updating the userland tooling without needing a kernel extension, since the whole infrastructure is more BPF-style virtual machiney thing. 18:44:38 imode: tons 18:44:59 % ip6tables-translate -A FORWARD -i eth0 -o eth3 -p udp -m multiport --dports 111,222 -j ACCEPT 18:44:59 nft add rule ip6 filter FORWARD iifname eth0 oifname eth3 meta l4proto udp udp dport { 111,222} counter accept 18:45:00 ais523: any "famous few"? 18:45:01 Underload is my favourite example; there's a conventional number representation but it's based on functions with specific behaviour 18:45:12 that new commands seems rather more confusing than iptables to me 18:45:21 that was just an example I found googling 18:45:23 But Is It Art? is my new favourite example for an esolang that doesn't have /any/ sort of conventional data structure 18:45:43 Is the Mill an esoarchitecture? 18:45:45 "constraint-solving tarpit" now that's interesting. 18:45:53 Vorpal: I'm guessing "meta l4proto udp" is just a translator artefact, it's not needed at all. 18:45:55 ais523: will have to look at that 18:46:10 I suppose not. 18:46:34 I was thinking of something in the style of the untyped lambda calculus. 18:46:45 iota and jot came to mind but I was wondering if there were others. 18:46:48 well if there are functioning translation tools, it shouldn't be too bad to convert it 18:47:14 Vorpal: Another semi-nice thing for complicated rulesets might be that you're not limited to a single action, which might cut down on the need for "utility chains". 18:47:51 okay yes that might be useful 18:47:56 There's still a bunch of more or less niche match types that don't have a nftables equivalent, and anyway there's probably no hurry to migrate. 18:48:29 fizzie: I set up network printing and scanning the other day. Turns out sane is one of those nasty protocols that need a connection tracking helper, it is doing separate control and data channels 18:48:43 Ended up doing a utility chain for it 18:48:47 I've seen the SANE conntrack helper around, yes. 18:49:24 Personally I'm blocked by the fact that the "tcpmss" match type is not in any release yet, though it (actually a generic "TCP options" thing) is implemented in the git, so presumably it will be coming. 18:50:02 fizzie: a little more than a year out of date, but: https://wiki.nftables.org/wiki-nftables/index.php/Supported_features_compared_to_xtables 18:50:19 fizzie: what do you need that for 18:50:30 tcpmss consider native interface <--? 18:50:45 Yeah, I never found out what that means. 18:50:54 Even after a lot of searching. 18:51:31 fizzie: hm I think the ufw firewall for ipv6 use the HL (hoplimit?) thing, maybe 18:51:49 Anyway, I need it for my current port knock thing, which is based on setting a specific MSS value to act as a key. 18:52:15 OK, I found the IPs using lsof 18:52:18 there were actually three of them 18:55:02 -!- augur has joined. 18:55:40 -!- ais523 has quit. 18:58:58 -!- ais523 has joined. 18:59:46 ugh, I hate that Pulseaudio bug 18:59:51 * ais523 turns off audible bell in the terminal 18:59:58 it crashes if you end it beeps too quickly 19:00:15 and although you can restart it, it then isn't integrated with the OS, meaning that things like the volume control shortcut keys no longer work 19:00:23 so I normally just reboot unless I'm in the middle of something important 19:00:48 -!- jaboja has quit (Ping timeout: 240 seconds). 19:12:58 <\oren\> ais523: >using pulseaudio 19:13:33 <\oren\> sudo pkill -9 pulseaudio 19:15:11 <\oren\> rm -rf ~/.pulse* 19:15:19 ooh, I found the logs, apparently systemd is keeping them 19:15:22 <\oren\> rm -rf ~/.config/pulse 19:15:23 \oren\: then I wouldn't have sound 19:15:34 <\oren\> sudo apt-get remove pulseaudio 19:15:39 <\oren\> use also 19:15:40 <\oren\> use alsa 19:15:47 <\oren\> alsa works fine 19:15:54 I actually find some of pulseaudio's features useful 19:16:00 like independent volume controls per-program 19:16:15 OK, now I'm more confident that these bans are justified 19:20:57 <\oren\> jack is a better audio thing 19:21:14 <\oren\> but really alsa works fine anyway 19:21:32 huh, how bizarre 19:21:44 when I telnet to nethack4.org the connection is logged as being over IPv6 19:21:52 and yet IPv6 testers say I don't have an IPv6 connection 19:22:07 it crashes if you end it beeps too quickly <-- this sentence grammar? 19:22:14 I fail to parse it 19:22:22 I don't think that sentence grammar 19:22:28 Vorpal: "end" is a typo for "send" 19:22:33 aah 19:22:41 it makes more sense if you put a transitive verb there :-) 19:23:18 ais523: I tried "it's" but that failed too 19:23:26 huh, why do I have IPv6 telnet if I don't have IPv6 http 19:24:18 ais523: maybe it is just bound to * and thus report clients as ipv6 mapped ipv4? 19:25:09 nah, I can telnet to the IPv6 address directly 19:25:16 then I tried sshing to it, and got a password prompt 19:25:26 then I tried sshing to my server over IPv4, and got a complaint from ssh 19:25:28 so now I'm really confused 19:27:15 ais523: check ifconfig to see if you have ipv6? 19:27:22 apart from link local I mean 19:30:58 I have IPv6 to the router but that's not surprising 19:32:05 oh, I know what happened, and why I was so confused 19:32:10 I ssh'ed from my computer to the server 19:32:13 then from the server to itself 19:32:16 ah 19:32:28 so I was connecting /from/ the wrong computer 19:32:33 that's why nothing seemed to match up 19:32:47 I need differently coloured prompts or something 19:32:55 ais523: so the server had ipv6 the whole time? 19:33:53 Vorpal: yes 19:33:57 I know my server has IPv6 19:35:40 -!- DHeadshot has quit (Ping timeout: 260 seconds). 19:41:51 ais523: as for the pulse audio thing, never seen that bug 19:42:15 -!- ais523 has quit. 19:42:25 -!- ais523 has joined. 19:42:29 ais523: as for the pulse audio thing, never seen that bug 19:42:47 hm right, I always turn off the bell in inputrc, so that removes the major source of it 19:42:58 might depend on the terminal emulator you use I guess 19:43:03 I use mate-terminal 19:43:33 it normally happens when scrolling in less 19:43:40 less beeps if you try to scroll past the end of the file 19:43:49 and I normally use the mouse wheel with less, so that can give a lot of inputs very quickly 19:44:23 does it? doesn't beep for me 19:44:57 I guess it reads inputrc too and disables the bell based on that? 19:45:34 I find the bell during tab completion so terrible I immediately disables it completely 19:49:24 -!- LKoen has quit (Remote host closed the connection). 19:53:27 -!- ais523 has quit (Remote host closed the connection). 19:54:36 -!- ais523 has joined. 19:56:43 -!- augur has quit (Remote host closed the connection). 20:05:32 -!- ais523 has quit (Remote host closed the connection). 20:06:41 -!- ais523 has joined. 20:19:39 -!- FreeFull has joined. 20:21:08 -!- FreeFull has quit (Client Quit). 20:25:32 -!- FreeFull has joined. 20:30:44 -!- contrapumpkin has quit (Ping timeout: 260 seconds). 20:30:47 -!- copumpkin has joined. 20:30:54 shachaf: only informally :) 20:31:13 `relcome copumpkin 20:31:14 ​copumpkin: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 20:43:25 Pressing backspace when there's no input to erase in xscreensaver's password input dialog is pretty much the only thing that produces a beep here. I don't know what exactly it's doing. 20:43:34 -!- Remavas-Hex has changed nick to Remavas. 20:44:18 (URxvt.visualBell: True in .Xresources, 'xset b off' in .xsession.) 20:47:41 [wiki] [[MIX (Knuth)]] https://esolangs.org/w/index.php?diff=52427&oldid=52410 * Zzo38 * (+504) Character codes 20:57:36 -!- AnotherTest has joined. 21:14:29 -!- augur has joined. 21:19:22 -!- augur has quit (Ping timeout: 268 seconds). 21:22:51 -!- jaboja has joined. 21:27:02 -!- augur has joined. 21:45:34 -!- `^_^v has quit (Quit: This computer has gone to sleep). 21:50:45 -!- wob_jonas has joined. 21:50:53 " Hm Debian stretch was released last month. Time to upgrade maybe. Or should I wait half a year for it to stabilise." => oh great! 21:51:05 thanks for mentioning, I didn't notice it's come out yet 21:51:17 I'll definitely have to upgrade 21:51:25 https://www.debian.org/releases/stable/ 21:57:14 How might we calculate which constellation a set of coordinates is in? One consideration will be that there are some polar constellations, Octans and Ursa Minor. The boundaries seem to be almost straight along the axis of right ascension or declination, but not quite; they are a bit off. 21:58:15 zzo38: I thought the boundaries are always polygons with latitude and longitude line boundaries 21:58:41 -!- augur has quit (Remote host closed the connection). 22:00:01 wob_jonas: Yes they are always polygons, although the lines are not always aligned like that, it is slightly off, it seems from the data 22:00:22 zzo38: really? 22:00:36 are all of them slightly off, or just some? 22:02:05 I think all, but I have not checked all of them. Here is one: https://www.iau.org/static/public/constellations/txt/and.txt The first number is right ascension and the next number is declination, you can see they are nearly aligned but not quite 22:02:37 zzo38: is it possible that they're all aligned but in a different coordinate system that is rotated compared to the one this is described in? 22:03:18 I don't know; I haven't checked. 22:03:31 um, what do those numbers mean in the text file you linked? 22:04:40 I mentioned: the first column (before the first |) is the right ascension (in hours), and the second is the declination (in degrees), and the last part is the abbreviation for the constellation name. 22:05:10 The numbers are J2000 equatorial coordinates. 22:06:05 hmm 22:15:16 -!- hppavilion[1] has joined. 22:22:02 -!- LKoen has joined. 22:35:16 -!- DHeadshot has joined. 23:12:42 -!- AnotherTest has quit (Ping timeout: 255 seconds). 23:14:34 -!- Remavas has changed nick to Rem|Sleep. 23:15:37 -!- erkin has joined. 23:23:17 -!- boily has joined. 23:23:19 `5 w 23:23:23 1/2:complete heyting algebra//A complete Heyting algebra is just a cartesian closed complete lattice. \ pipe//This is not a pipe. \ maths//Maths stands for Mathematical Anti-Telharsic Harfatum Septomin. \ manager//Manager FAQ (by seebs) at http://www.seebs.net/faqs/manager.html \ portmanteau//«Portmanteau» is the French spelling of “port man to 23:23:31 `n 23:23:31 2/2:e”. 23:29:45 -!- hppavilion[0] has joined. 23:33:35 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 23:40:13 -!- augur has joined. 23:40:40 -!- DHeadshot has quit (Ping timeout: 260 seconds). 23:40:53 -!- augur has quit (Remote host closed the connection). 23:44:32 -!- augur has joined. 23:48:05 -!- ais523 has quit (Read error: Connection reset by peer). 23:49:14 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 23:49:51 -!- ais523 has joined. 23:52:06 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 23:53:33 -!- oerjan has joined.