00:07:12 -!- delta23 has quit (Quit: Leaving).
01:27:14 -!- zgrep has left (I'm in too many channels.).
02:50:09 <xylochoron[m]> So I recently wrote some code that compiles a Turing machine to cyclic tag https://github.com/esopsis/Turing-Machine-to-Cyclic-Tag
02:50:19 <xylochoron[m]> I put a link to it on the cyclic tag esolang page also
02:50:29 <xylochoron[m]> Just thought this might be a place to share that :-)
02:52:54 <xylochoron[m]> By the way I also found a powerpoint presentation online about a person compiling lambda calculus to a Turing machine. I contacted the researcher and he says he's working on a paper to publish about that www.macs.hw.ac.uk/~greg/limits%20to%20computability/SKI%20combinators%20(really)%20are%20%20Turing%20complete.pptx
03:29:29 <nakilon> are you also already building some machine here with these series of substitutions lol 05:53:16 <xylochoron[m]> s/lambda/combinators/, s/calculus//
03:31:38 <nakilon> can't see pptx, he might want to convert it to pdf for sharing
03:32:20 <nakilon> I mean I probably can open pptx with Keynote but it would be handier to read in browser
03:39:39 -!- oerjan has joined.
03:43:18 <Corbin> Ben Lynn's notes might be interesting: https://crypto.stanford.edu/~blynn/compiler/lambda.html
04:00:20 <nakilon> I miss Google Codesearch -- github can't regexes (
04:17:20 <oerjan> <arseniiv> oh my poor grammar <-- that grammar looked fine to me hth
04:36:48 -!- shachaf has quit (*.net *.split).
04:36:56 -!- shachaf has joined.
04:41:15 -!- keegan has quit (*.net *.split).
04:41:15 -!- mcfrdy has quit (*.net *.split).
04:41:28 -!- keegan has joined.
04:41:55 -!- mcfrdy has joined.
04:52:51 -!- velik has joined.
04:57:14 -!- Bowserinator has quit (*.net *.split).
04:57:14 -!- citrons has quit (*.net *.split).
04:57:14 -!- rodgort has quit (*.net *.split).
04:57:14 -!- faxlore has quit (*.net *.split).
04:57:14 -!- lambdabot has quit (*.net *.split).
04:57:14 -!- slavfox has quit (*.net *.split).
04:57:22 -!- citrons has joined.
04:57:28 -!- faxlore has joined.
04:58:23 -!- lambdabot has joined.
04:58:40 -!- Bowserinator has joined.
05:00:30 -!- rodgort has joined.
05:01:08 -!- slavfox has joined.
05:04:51 -!- APic has quit (Read error: Connection reset by peer).
05:27:15 -!- APic has joined.
05:27:42 -!- APic has quit (Read error: Connection reset by peer).
05:28:49 -!- Sgeo has quit (Read error: Connection reset by peer).
05:37:17 -!- APic has joined.
05:37:20 -!- APic has quit (Read error: Connection reset by peer).
05:44:10 -!- chiselfu1e has quit (Remote host closed the connection).
05:54:46 -!- phdu[m] has changed nick to phdu.
06:02:17 -!- APic has joined.
06:03:16 -!- APic has quit (Read error: Connection reset by peer).
06:07:17 -!- APic has joined.
06:07:52 -!- APic has quit (Read error: Connection reset by peer).
06:22:56 -!- hanif has joined.
06:23:41 <hanif> int-e: nice problem
06:39:21 -!- APic has joined.
06:39:26 -!- APic has quit (Read error: Connection reset by peer).
06:44:21 -!- APic has joined.
06:44:22 -!- APic has quit (Read error: Connection reset by peer).
06:49:21 -!- APic has joined.
06:49:28 -!- APic has quit (Read error: Connection reset by peer).
07:08:56 <nakilon> "Google Cloud does not believe in swap" confirmed: https://stackoverflow.com/q/58210222/322020
07:10:57 <int-e> . o O ( vm.swappiness = 0 )
07:11:09 <shachaf> Good, swap is mostly a bad idea for a server.
07:11:36 <nakilon> much better when he just hangs until reboot
07:12:34 <int-e> VMs doing their own swapping is a bit insane, when there's more swapping happening at the hypervisor level
07:13:29 <nakilon> I'm not sure we know how Google Cloud hypervisor works
07:14:31 <int-e> Even on my PC I'd like to fully disable swap. But I've learned that Linux effectively swaps anyway, because it will release unmodified mmap-ed regions to satisfy requests for fresh memory. So... without swap... rather than being able to swap out more or less everything, you end up swapping out code pages. This is *worse* than actually having a bit of swap space.
07:14:57 <nakilon> I suppose your PC has more RAM than a Free Tier server
07:15:13 <int-e> So I compromised on 8G swap for 32G swap.
07:15:22 <int-e> for 32G main memory.
07:17:08 <int-e> I understand the desire for enabling swap on small VMs. I was arguing from a perspective of performance.
07:20:24 -!- APic has joined.
07:20:27 -!- APic has quit (Read error: Connection reset by peer).
07:21:01 <int-e> I actually have a hack somewhere that hooks into mmap and replaces anonymous mappings by file-based mappings.
07:21:07 <int-e> So yes, I can definitely relate.
07:25:24 -!- APic has joined.
07:30:51 -!- hanif has quit (Ping timeout: 276 seconds).
07:34:15 <shachaf> You can mlock memory that you care about, I suppose.
07:34:32 <shachaf> It's a good point about Linux releasing code pages, though, hmm.
07:35:22 <shachaf> It just treats it as ordinary page cache memory, even when you fully disable overcommit and swap? That seems bad.
07:35:37 <shachaf> I guess it's hard for it to do anything else.
07:37:57 <int-e> I've never done the experiment of disabling overcommit as well. For a long time I couldn't because of Haskell's RTS, but it may work these days? It still allocates a huge address space...
07:45:29 <shachaf> It's possible to reserve address space without committing it in Linux, but hardly anyone does it.
07:45:48 <shachaf> And it's pretty unusual so I don't think you can e.g. ask how much memory a process has committed.
07:46:30 <int-e> rts/posix/OSMem.c:# define RESERVE_FLAGS MAP_NORESERVE | MAP_ANON | MAP_PRIVATE;
07:46:41 <nakilon> google indexes esolang wiki by ip for some reason https://www.google.com/search?q=site%3A46.43.2.108
07:49:54 -!- tech_exorcist has joined.
07:51:16 -!- tech_exorcist has quit (Remote host closed the connection).
07:51:34 <int-e> So ghc has been doing that since ghc-8.0... patch is from 2015. Still fairly recent.
07:51:56 -!- tech_exorcist has joined.
07:52:54 <int-e> nakilon: yes, and also site:techne.zem.fi
07:53:43 <nakilon> Techne (Greek: τέχνη, tékhnē, 'craft, art'; Ancient Greek: [tékʰnɛː], Modern Greek: [ˈtexni] (About this soundlisten)) is a term in philosophy that refers to making or doing.
07:54:53 <int-e> one way google might discover such links is via the channel logs... we had trouble updating the esolangs.org domain at some point so more direct methods to access the wiki were mentioned.
07:56:19 <nakilon> I suppose you can disable this index either via robots.txt or via google web search panel when you own the domain
07:56:24 <int-e> I don't know whether google actively scans the IPv4 space for webservers... they definitely have the resources to do it; the question is whether they see any value in doing so.
07:56:37 <nakilon> I don't remember the exact name of those services
08:01:18 <nakilon> is there any wiki bot here?
08:01:58 <nakilon> (though there may be an option to query any wiki)
08:05:58 -!- hendursa1 has joined.
08:09:12 -!- hendursaga has quit (Ping timeout: 276 seconds).
08:16:13 -!- spruit11 has quit (Ping timeout: 252 seconds).
08:23:23 <shachaf> Usually you need a host header anyway to access a website, even if you have an IP address.
08:27:45 <nakilon> are there any bots here who remember the context? so you could issue a command to process some previous message
08:27:54 -!- spruit11 has joined.
08:30:18 -!- tech_exorcist has quit (Read error: Connection reset by peer).
08:32:25 -!- spruit11 has quit (Ping timeout: 260 seconds).
08:41:27 -!- APic has quit (Quit: [TLS] Client upgrade).
08:41:44 -!- APic has joined.
08:50:33 -!- APic has quit (Quit: Boot tut gut™).
09:01:37 -!- spruit11 has joined.
09:06:55 -!- spruit11 has quit (Ping timeout: 252 seconds).
09:09:01 -!- imode has quit (Ping timeout: 252 seconds).
09:09:23 -!- arseniiv has joined.
09:19:08 -!- spruit11 has joined.
09:50:09 -!- hanif has joined.
09:55:09 -!- hanif has quit (Ping timeout: 276 seconds).
10:12:54 <fizzie> HackEso (well, HackEgo) used to have access to channel logs, so you could do that sort of thing through there, but it got lost during some reshuffling (they're not logically same systems any more). Sort of a shame; some of the things you could do were clever enough. Though it also encouraged "brute-force" solutions that just run a grep over the last two decades of history, which was always pretty
10:15:31 <HackEso> ls: cannot access '/var/irclogs/_esoteric/????-??-??.txt': No such file or directory \ not lately; try `seen logs ever
10:16:36 <fizzie> Right, that one does (did?) a "most recent 30 files" by default to be a little faster about it.
10:19:08 <fizzie> I was planning to "fix" the logs access thing by just having some sort of an API at logs.esolangs.org and poking a hole for that for HackEso, but haven't gotten around to. Maybe I should as a first step do something smaller. The logs server's already got an in-memory queue of the last 1000 events for stalker mode purposes, it could just expose that as a "recent context" endpoint.
10:19:54 <int-e> . o O ( touch /var/irclogs/_esoteric/0000-00-00.txt )
10:20:17 <int-e> probably a bad idea; the error message is a reminder that it's not working :)
10:20:17 <oerjan> `touch /var/irclogs/_esoteric/0000-00-00.txt
10:20:19 <HackEso> touch: cannot touch '/var/irclogs/_esoteric/0000-00-00.txt': No such file or directory
10:22:30 <nakilon> not necessary all the logs, but bot could remember just last 100/1000 messages rotated
10:23:33 <fizzie> Granted, doing it through logs.esolangs.org would still have a bit of a race-condition-y feel since they'd be channel logs as seen by different IRC clients. But I think multibot won't make it particularly easy to do that "locally".
10:27:27 <oerjan> they were different clients last time too, i think
10:27:57 <oerjan> at least, different nicks
10:35:30 <fizzie> I think I don't even have the umlbox-mudem thing wired up for the weird custom multiplexing of TCP and Unix domain sockets over a "serial port" it does.
10:37:38 -!- wib_jonas has joined.
10:59:27 -!- oerjan has quit (Quit: Later).
11:28:00 <esolangs> [[ight]] M https://esolangs.org/w/index.php?diff=87928&oldid=86667 * PythonshellDebugwindow * (+185) Light interpreters
11:29:17 <esolangs> [[User:PythonshellDebugwindow/Vandevelo]] M https://esolangs.org/w/index.php?diff=87929&oldid=73972 * PythonshellDebugwindow * (+123) !
11:41:52 -!- hanif has joined.
12:09:42 -!- hanif has quit (Ping timeout: 276 seconds).
12:54:16 <nakilon> btw here https://help.ubuntu.com/community/SwapFaq it chapter "What is swappiness and how do I change it?" it says that servers have this option set higher meaning to push memory to swap more
13:15:48 <fizzie> On the topic of esolangs.org appearing under other names, yeah, I've configured the server to "default" to the site with the wiki on it for any host header it doesn't recognize, and never looked into search consequences. Wonder if I could convince MediaWiki to do rel=canonical or a sitemap. Wikipedia does that as a <link> tag on the page, so.
13:16:19 <fizzie> Turning on $wgEnableCanonicalServerLink should do it.
13:18:23 -!- hanif has joined.
13:20:38 <fizzie> $ curl -s http://techne.zem.fi/wiki/Befunge | grep 'rel="canonical"'
13:20:40 <fizzie> <link rel="canonical" href="https://esolangs.org/wiki/Befunge"/>
13:22:42 <wib_jonas> yeah. although for pages with long names, I'll still keep using the article number like https://esolangs.org/wiki/Main_Page?curid=13784 , who cares what the canonical says\
13:22:44 <nakilon> ``` curl -s http://techne.zem.fi/wiki/Befunge | grep 'rel="canonical"'
13:22:48 <HackEso> Sorry, HackEgo's sandbox currently has no web access. However, see `? `fetch
13:27:04 -!- Sgeo has joined.
13:28:55 <HackEso> olist https://www.giantitp.com/comics/oots1243.html: shachaf oerjan Sgeo FireFly boily nortti b_jonas
13:36:08 <wib_jonas> perlbot get https://esolangs.org/wiki/Main_Page?curid=13784 //link[@rel="canonical"]/@href
13:36:08 <perlbot> wib_jonas: https://esolangs.org/wiki/A_programming_language_is_a_formal_language,_which_comprises_a_set_of_instructions_that_produce_various_kinds_of_output.
13:37:14 <wib_jonas> perlbot get http://techne.zem.fi/wiki/Befunge //link[@rel="canonical"]/@href
13:37:15 <perlbot> wib_jonas: https://esolangs.org/wiki/Befunge
13:47:27 -!- hendursa1 has quit (Quit: hendursa1).
13:47:53 -!- hendursaga has joined.
14:22:34 <Sgeo> Is it just me or does this website have property 3 wrong? https://www.web-formulas.com/Math_Formulas/Linear_Algebra_Properties_of_Inverse_Matrices.aspx
14:25:46 <wib_jonas> Sgeo: um, what are the assumptions here? are the matrix elements from a field? property 3 says "If A has an inverse matrix, then there is only one inverse matrix." which sounds right to me, at least over a field
14:26:12 <fizzie> wib_jonas: That's the seventh longest page title we have. The longest is: Unary_Except_Every_Zero_Is_Replaced_with_the_Title_of_This_Programming_Language_or,_Alternately,_Is_Replaced_with_the_Smallest_Counter-Example_to_the_Goldbach_Conjecture._Compilers_and_Interpreters_Only_Have_to_Implement_the_Former_Option
14:26:13 <wib_jonas> (probably still true without, but I can't swear on it)
14:26:36 <wib_jonas> fizzie: yeah, but that one also keeps changing. I know there are redirects, but still.
14:28:08 <wib_jonas> and it's longer than Real Fast Nora at least
14:28:20 <Sgeo> Oh I miscounted
14:28:32 <Sgeo> I meant this line, which is step 3 (not property 3): "3. If A1 and A2 have inverses, then A1 A2 has an inverse and (A1 A2)-1 = A1-1 A2-1
14:29:56 <fizzie> Yes, pretty sure that should be (A1 A2)^-1 = A2^-1 A1^-1.
14:30:03 <wib_jonas> Sgeo: yes, that sounds wrong. it even says the right statement earlier: "If A and B are nonsingular matrices, then AB is nonsingular and (AB)^(-1) = B^(-1) A^(-1)"
14:33:40 <Sgeo> Trying to leave feedback
14:33:41 <Sgeo> Value cannot be null. Parameter name: Challenge
14:33:44 <Sgeo> I don't see a captcha
14:35:00 <Sgeo> They're using Recaptcha, but the URL for it is 404ing
14:35:57 <Sgeo> I... could hack the correct Recaptcha URL in place
14:36:20 <wib_jonas> Sgeo: nah, they're probably using a library for Recaptcha that Google has obsoleted twice since
14:41:21 -!- delta23 has joined.
15:12:04 -!- wib_jonas has quit (Quit: Client closed).
15:13:44 -!- arseniiv has quit (Ping timeout: 252 seconds).
15:29:29 -!- arseniiv has joined.
15:44:35 -!- riv has quit (Remote host closed the connection).
15:45:01 -!- riv has joined.
16:30:17 <Sgeo> If I have a translation-rotation matrix that needs to be multiplied on the right, is there a way to turn it into a matrix that can be multiplied on the left?
16:56:42 <nakilon> b_jonas can you ddos with perlbot?
16:57:22 <nakilon> or is that a special command? I see it also apploes xpath
17:12:54 <b_jonas> nakilon: it's not special, you can call it multiple times together, but only in series
17:13:18 <b_jonas> and there's a time limit for how long each of your commands will execute
17:13:36 <b_jonas> so it's probably not a very efficient way to DDOS anything
17:14:24 <b_jonas> I guess you could try to loop it by calling a command on its own web interface, in a quine way
17:15:27 <b_jonas> but that probably requires POST, which this doesn't do
17:15:43 <b_jonas> so it would be more efficient if you just make a webpage that people load and some javascript or frames on it send requests
17:15:49 <b_jonas> or even images, fewer people block those
17:17:50 -!- APic has joined.
17:24:27 -!- imode has joined.
17:51:31 -!- sprock has quit (Ping timeout: 252 seconds).
18:37:41 -!- sprock has joined.
18:52:45 -!- hanif has quit (Quit: quit).
18:53:29 -!- riv has quit (Quit: Leaving).
18:54:31 -!- chiselfuse has joined.
18:54:32 -!- chiselfuse has quit (Remote host closed the connection).
18:54:47 -!- chiselfuse has joined.
18:54:52 -!- chiselfuse has quit (Remote host closed the connection).
18:55:36 -!- chiselfuse has joined.
18:56:14 -!- chiselfuse has quit (Remote host closed the connection).
18:57:33 -!- chiselfuse has joined.
19:00:31 -!- chiselfuse has quit (Remote host closed the connection).
19:15:44 <fizzie> Bit of a random question, but does anyone have a gut feeling as to what sort of indoors range you should expect from a BLE device? Like that nRF52840 SoC or something? I've been speculating about a wireless doohickey, and wondering if it should be that, or wifi, or some other kind of radio.
19:26:35 -!- sprock has quit (Ping timeout: 265 seconds).
19:33:07 <b_jonas> I don't know, but indoor range for microwave stuff might depend on what your walls are made of
19:34:05 <b_jonas> my bluetooth headphones could communicate from the living room to the work room, but I'v no idea if that involves BLE or just other Bluetooth
19:34:48 <fizzie> Yeah. The interior walls are just drywall-style materials, but there's also a bunch of kitchen appliances between where I'd most logically put two endpoints of a connection.
19:35:03 -!- chiselfuse has joined.
19:35:43 <fizzie> I think I read somewhere that BLE doesn't include audio... although a quick search suggests there's now an announced "Bluetooth LE Audio" standard as well.
19:35:45 <b_jonas> here in this apartment the walls are real reinforced concrete, but the waves might have chosen to go through the walls
19:36:07 <b_jonas> s/through the walls/through the doors/
19:36:30 <b_jonas> probably not BLE in that case
19:37:29 <fizzie> There's apparently some sort of a long-range mode in Bluetooth 5 that does forward error correction and trades some power use (in the sense of lower data rate -> longer transmissions) to better range.
19:38:32 <b_jonas> what does forward error connection mean? don't all these wireless protocols use some error connection? but I don't know what "forward" means here
19:40:38 <fizzie> If I got it right, all flavours of Bluetooth except this new-in-5 "LE Coded" encoding only do error *detection* (and retransmissions), not error *correction*.
19:40:50 <fizzie> https://www.bluetooth.com/blog/exploring-bluetooth-5-going-the-distance/ "Bluetooth low energy at version 4 does not perform error correction, only error detection. Bluetooth 5 introduces an error correction capability."
19:48:08 -!- sprock has joined.
19:51:38 <keegan> apparently "forward" error correction refers to the fact that it only uses the forward channel and not a reverse channel (requesting resends)
20:00:17 -!- sprock has quit (Ping timeout: 252 seconds).
20:05:07 -!- b_jonas has quit (Ping timeout: 252 seconds).
20:06:47 -!- sprock has joined.
20:11:43 -!- riv has joined.
20:11:50 -!- sprock has quit (Ping timeout: 252 seconds).
20:21:44 -!- b_jonas has joined.
20:25:02 -!- sprock has joined.
20:54:09 -!- Lord_of_Life_ has joined.
20:56:10 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
20:56:10 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:16:47 -!- sprock has quit (Ping timeout: 265 seconds).
21:31:38 -!- sprock has joined.
21:38:01 -!- riv has quit (Quit: Leaving).
21:57:13 -!- hendursaga has quit (Ping timeout: 276 seconds).
21:57:13 -!- chiselfuse has quit (Ping timeout: 276 seconds).
21:57:13 -!- hendursaga has joined.
21:57:20 -!- chiselfuse has joined.
22:13:10 -!- sprock has quit (Ping timeout: 260 seconds).
22:37:59 -!- arseniiv has quit (Ping timeout: 265 seconds).
23:05:57 -!- ais523 has joined.
23:13:00 -!- ais523 has quit (Remote host closed the connection).
23:19:51 -!- chiselfuse has quit (Ping timeout: 276 seconds).
23:20:53 -!- chiselfuse has joined.
23:26:03 -!- ais523 has joined.
23:40:37 -!- ais523 has quit (Quit: sorry about my connection).
23:40:52 -!- ais523 has joined.
23:42:17 -!- ais523 has quit (Client Quit).
23:42:32 -!- ais523 has joined.