< 1493078738 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1493079560 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net 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.” < 1493079767 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-okdhriytyuchcnkm QUIT :Ping timeout: 258 seconds < 1493080110 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :`? dr hexham < 1493080111 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dr hexham? ¯\(°​_o)/¯ < 1493080313 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-peqfcxlzjgbfiyuf JOIN :#esoteric < 1493082648 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-wkgcbqunzivjkesv QUIT :Quit: Connection closed for inactivity < 1493084298 0 :sirnaysayer!?@? NICK :t3ry4k1b33f < 1493085628 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-peqfcxlzjgbfiyuf QUIT :Ping timeout: 255 seconds < 1493087587 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1493088166 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-zcwwwpcdvydcokrj JOIN :#esoteric < 1493088516 0 :hppavilion[1]!~dosgmowdo@66.58.231.93 JOIN :#esoteric < 1493090321 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1493094010 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1493094109 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1493094790 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-zcwwwpcdvydcokrj QUIT :Ping timeout: 252 seconds < 1493094843 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1493094914 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Where do I find some good JPEG library like LodePNG is for PNG, but one that is for work with JPEG instead? < 1493094918 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just improved the record for the shortest non-cheating Befunge-98 quine by 2 or 3 bytes (depending on how exactly you define cheating): ` 'k<@,k␇` (explanation: https://codegolf.stackexchange.com/a/117555/62131) < 1493094950 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(that last character is a literal ctrl-G) < 1493094953 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :(Or, if someone else know to wrote one.) < 1493094979 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, it depends a lot on some bizarre edge-case behaviour of the `k` command, and I'm not quite sure if it's correct/undef/broken (Vorpal? Deewiant?) < 1493095091 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-okldflhtqqpnouuz JOIN :#esoteric < 1493095785 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :ais523: my interpretation of k' is "pop the stack, push the next n characters and skip them" < 1493095809 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what does it do if it wraps around the edge of the program, though? < 1493095816 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cfunge appears to see one space when that happens < 1493095834 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds < 1493095857 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least if there are no actual spaces in the path, or if there's one space at an end of the program (as seen here) < 1493095877 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FBBI does something else but I'm not entirely sure what (it's hard to test as failed tests tend to cause infinite loops that leak memory) < 1493095889 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :ais523: it should use funge-98 wrapping < 1493095906 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know, but I'm not sure that's fully defined wrt the edge of the program < 1493095913 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in string literals it doesn't matter because consecutive spaces are merged < 1493095926 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1493095933 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but with `'` and `#` and friends the details do matter; IIRC Mycology has a test for this, but it's UNDEF because it's ill-defined < 1493095955 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :my reading is that it's *specifically* when the IP enters the whitespace < 1493095985 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I agree on your general description of what `k'` does, though (although it pushes the apostrophe first, that's just typical `k` weirdness that's predictable when you know about the other cases of `k` weirdness) < 1493096027 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :ais523: yes, right, the apostrophe does get pushed < 1493096043 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :I think what happens with ' is that a space gets pushed, then the IP goes off the edge, so it wraps around to the other end < 1493096049 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :in this fashion it will actually skip the character at the other end < 1493096088 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :so I think your quine doesn't work per spec < 1493096272 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure what you mean by that, but I'd be surprised if any non-whitespace characters in the program didn't get pushed < 1493096285 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it works in cfunge, anyway, so if it's non-spec-compliant, cfunge will probably have to be changed < 1493096309 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :' is defined as follows: < 1493096319 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :- load the character at (position + delta) onto the stack < 1493096327 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :- position = position + delta < 1493096367 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :the wrapping behaviour says < 1493096395 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :"When the IP attempts to travel into the whitespace between the code and the end of known, addressable space... it finds the other 'edge' of code when there is again nothing but whitespace in front of it. It is reflected 180 degrees once more" < 1493096408 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :so it travels to the ^G at the end, but then stops and is reflected < 1493096417 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :it resumes execution of the next ', causing it to push k and skip past it < 1493096421 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :it never pushes ^G < 1493096454 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :you could probably avoid this by extending the program slightly? < 1493096799 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :moving the leading space to the end of the program would possibly be enough under the rules you describe < 1493096863 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as far as I can see, your argument is that the IP must always be within the non-whitespace-bounded version of the playfield < 1493096882 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus the ' command can only see spaces in front of the non-whitespace-bounded version of the playfield (and thus can never see the first character on a line)? < 1493096933 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure that was the intention, but it's a plausible argument < 1493097016 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :yeah, that's my reading of it < 1493097062 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :I think that the correct behaviour would actually be to regard the wrapping as applying to any form of offset, however, so then ' would always wrap < 1493097084 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :meaning the leading space would not be needed except possibly for alignment < 1493097088 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which means that the program would then not need the space at all < 1493097109 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although then it'd cease to be a quine under PPCG's proper quine rules (which IMO are buggy and lead to a lot of unintended effects) < 1493097382 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :oh? < 1493097572 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :PPCG requires at least one character in the output to have its value derived from something other than the corresponding character in the input < 1493097584 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to avoid trivial solutions like `1234` (which works in a lot of languages) < 1493098026 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :ahh < 1493098046 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :how is that true with your current version? < 1493098080 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the space at the start is generated by cfunge implicitly while wrapping < 1493098083 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rather than quoting itself < 1493098592 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :ah right < 1493098648 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :I wonder if you could exploit my version of the behaviour to let you get around it < 1493098765 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :oh yeah you could < 1493098785 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :notwithstanding alignment issues that might result from the length changing < 1493099971 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 252 seconds < 1493100450 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :another possibility would be to write the program as a palindrome and read the string in the other direction < 1493100460 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I think that'd be considerably longer even if you could reuse the `k`s < 1493100859 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 260 seconds < 1493101037 0 :Deewiant!~deewiant@fr1.ut.deewiant.iki.fi PRIVMSG #esoteric :@tell ais523 I'm pretty sure I disagree with what cfunge does here, in a 32-bit Funge-Space there are some 2^31 - 7 spaces that that k' sequence would have to push before reaching the ^G on the other side. I.e. I don't think ' should wrap around while it's executing, whether that's via k or not. < 1493101037 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1493101349 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1493102491 0 :dingbat!uid70835@gateway/web/irccloud.com/x-tjerkdamkdvqznsf JOIN :#esoteric < 1493103252 0 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1493103889 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hi. < 1493105057 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I don't think many surfaces in video games are genus-two surfaces. < 1493105079 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I still want to find a good coordinate system for them nevertheless. < 1493106082 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"The Bolza surface is the most symmetric Riemann surface of genus 2." sounds promising. < 1493106125 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also brain-wrecking. < 1493107386 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I was also working on a three-dimensional space for a torus. < 1493107392 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :as in, a + bi + cj. < 1493107915 0 :MoALTz!~no@77-254-9-16.adsl.inetia.pl JOIN :#esoteric < 1493107937 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :MoALTz! < 1493108116 0 :AnotherTest!~turingcom@ptr-82l26zdbyg35x90xz5h.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1493108346 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1493108534 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? esbr < 1493108547 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :esbr? ¯\(°​_o)/¯ < 1493108556 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? esrb < 1493108558 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Eric Steven Raymond's Beard < 1493108582 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn ESRB is short for Eric Steven Raymond's Beard. < 1493108586 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Relearned 'esrb': ESRB is short for Eric Steven Raymond's Beard. < 1493108712 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Well, I've somehow ended up designing my own map projection. <-- now you just need to get User:Strebe to feature it on wikipedia < 1493108760 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(ok, there are a few intermediate steps, like that notability thing.) < 1493109643 0 :deltab_!~deltab@ds6266.dedicated.turbodns.co.uk JOIN :#esoteric < 1493109659 0 :heroux_!sandroco@gateway/shell/insomnia247/x-gooejuzszpfssykf JOIN :#esoteric < 1493109696 0 :heroux!sandroco@gateway/shell/insomnia247/x-cwfvrwqnmonrbhxg QUIT :Write error: Broken pipe < 1493109696 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk QUIT :Write error: Broken pipe < 1493109698 0 :puckipedia!puck@puckipedia.com QUIT :Excess Flood < 1493109704 0 :heroux_!?@? NICK :heroux < 1493109710 0 :puckipedia!puck@puckipedia.com JOIN :#esoteric < 1493110602 0 :hppavilion[1]!~dosgmowdo@66.58.231.93 QUIT :Ping timeout: 240 seconds < 1493111266 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1493113436 0 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Morning < 1493113487 0 :Nistur!nistur@gateway/shell/blinkenshell.org/x-ltjscbzevcfecait PRIVMSG #esoteric :o7 < 1493114161 0 :Jafet!~jafet@unaffiliated/jafet QUIT :Ping timeout: 268 seconds < 1493114367 0 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1493116994 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1493117771 0 :augur!~augur@2601:640:8001:4222:3974:12a2:7cdd:af75 JOIN :#esoteric < 1493118034 0 :augur!~augur@2601:640:8001:4222:3974:12a2:7cdd:af75 QUIT :Ping timeout: 260 seconds < 1493118242 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1493119010 0 :augur!~augur@2601:640:8001:4222:3974:12a2:7cdd:af75 JOIN :#esoteric < 1493119459 0 :augur!~augur@2601:640:8001:4222:3974:12a2:7cdd:af75 QUIT :Ping timeout: 255 seconds < 1493120061 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1493122597 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se QUIT :Ping timeout: 240 seconds < 1493123049 0 :Phantom_Hoover!~phantomho@cpc104862-sgyl39-2-0-cust65.18-2.cable.virginm.net JOIN :#esoteric < 1493123049 0 :Phantom_Hoover!~phantomho@cpc104862-sgyl39-2-0-cust65.18-2.cable.virginm.net QUIT :Changing host < 1493123049 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1493123196 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: DOCUMENT CHICKEN < 1493124589 0 :AnotherTest!~turingcom@ptr-82l26zdbyg35x90xz5h.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 255 seconds < 1493124978 0 :Jafet!~jafet@unaffiliated/jafet QUIT :Ping timeout: 260 seconds < 1493125039 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se JOIN :#esoteric < 1493125311 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se QUIT :Ping timeout: 260 seconds < 1493125611 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se JOIN :#esoteric < 1493125906 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se QUIT :Ping timeout: 260 seconds < 1493125938 0 :AnotherTest!~turingcom@134.58.253.56 JOIN :#esoteric < 1493126023 0 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1493126807 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 JOIN :#esoteric < 1493126825 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :greetings! < 1493127123 0 :gsora!~gsora@unaffiliated/gsora JOIN :#esoteric < 1493127198 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :ACTION waves. < 1493127637 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1493127899 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :ais523: mornin' < 1493127907 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :afternoon < 1493127941 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :Do you know if anyone is still interested in working on an esoteric OS? < 1493127952 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :I saw the page on it and it struck me as a fun idea < 1493127963 0 :gsora_!~gsora@unaffiliated/gsora JOIN :#esoteric < 1493128072 0 :gsora!~gsora@unaffiliated/gsora QUIT :Ping timeout: 255 seconds < 1493128150 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's one of those things that keeps stalling out because nobody wants to figure out the details < 1493128160 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it'd probably work better as a solo project than a group project < 1493128285 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :I've got some experience writing bootloaders and simple kernels. Do you know if there are any esoteric languages on the wiki that would be suitable for low level system programming? < 1493128324 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :I think an esoteric OS should be written in an esoteric language :) < 1493128363 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most esolangs are defined independently of the hardware they're on, i.e. they're "portable" < 1493128370 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's not really what you want to write an OS < 1493128378 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :yeah, exactly < 1493128391 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess you could write a Funge-98 fingerprint that gave access to low-level system operations < 1493128425 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :I'll have to read up on funge < 1493128521 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :it'd probably be easiest to use an existing bootloader like grub and just compile some existing language to an elf binary < 1493129379 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se JOIN :#esoteric < 1493129651 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se QUIT :Ping timeout: 260 seconds < 1493130117 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se JOIN :#esoteric < 1493130162 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could use efi as the bootloader < 1493130183 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most systems have it nowadays, and it runs what are basically .exe files (although with a very different "standard library" from the typical .exe file) < 1493130208 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it's a pretty powerful standard library, containing things like filesystem access code and GUI primitives < 1493130243 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is the bootloader that windows 8+ uses as standard, and is also normally used to chain-load GRUB on Linux (Linux can use it directly too, but that's a less common setup) < 1493130351 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :That's an interesting idea. I've looked at uefi for other projects in the past. The functions that uefi makes available make it seem like you could write an entire OS that just makes uefi calls, but I remember running into issues with that idea < 1493130360 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :though unfortunately I can't remember exactly what those issues are < 1493130397 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :there is a uefi call you make to go into "os mode", which basically tells uefi that you're going to be taking full control of the hardware < 1493130418 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :previous to that, you're not supposed to be mucking around with any ram that hasn't been specifically allocated by the uefi calls, etc. < 1493130444 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :maybe it would be suitable in this case, i'd have to read up on it again < 1493130448 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think there's already at least one esoteric OS: that tiny one written in C for one of the IOCCCs. < 1493130471 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :b_jonas: do you have a link? < 1493130601 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :ah, found it http://www.ioccc.org/2004/gavin.hint < 1493130610 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orby: http://www.ioccc.org/years-spoiler.html#2004_gavin < 1493130612 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that, yes < 1493130618 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you were faster < 1493130618 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :cool, thanks :) < 1493130642 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :google magic < 1493130868 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :multiboot is a much simpler standard that uefi and is well supported by grub, I think that might be an easier starting point. maybe a kernel written in an esoteric subset of x86 :) < 1493130910 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :sub than that < 1493130971 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orby: that one is from 2004. they didn't have multiboot back then. at least not well-supported. < 1493130978 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or did they? < 1493131027 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :*shrugs* I do not know. multiboot has been around for a while but has gone through some major changes < 1493131316 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :maybe a good starting project would be a self-hosting esoteric x86 assembler. supporting a sub opcode and jne should be sufficient in theory. < 1493131381 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :a couple others for low level os stuff, lgdt, etc. < 1493131505 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :writing an esolang compiler to target EFI (or an esolang interpreter that runs on EFI) seems like an arguably productive goal even if we don't use it for a bootloader < 1493131829 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1493132048 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Client Quit < 1493132221 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i've never seen a concept for an esoteric OS that really grabbed me < 1493132235 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :most of them were just "run an esolang straight off the bootloader" < 1493132279 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1493132297 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i mean the point of an OS is to build up abstractions over hardware and most esolangs eschew abstraction < 1493133415 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1493135475 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1493137035 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :Phantom_Hoover: how about hardware that natively runs Haskell, and then the OS builds up anti-abstractions? < 1493137067 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :lol < 1493137076 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :anti-abstraction's pretty easy right, it's just simulation? < 1493137087 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :ye < 1493137118 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :programs written in an assembly language running on a Haskell emulator, which itself is running on hardware < 1493137146 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :or we could nest it: programs written in an assembly language running on a C++ emulator running on a Haskell emulator < 1493137507 0 :hppavilion[1]!~dosgmowdo@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1493137562 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hi hppavilion[1] < 1493137581 0 :hppavilion[1]!~dosgmowdo@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Hi rdococ < 1493137622 0 :hppavilion[1]!~dosgmowdo@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: I find myself making a more accurate translation of the old German national anthem with all the propoganda stripped < 1493137653 0 :hppavilion[1]!~dosgmowdo@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :(as in, all the Allied propaganda inserted into the translation. Not the propaganda in the original lyrics, those get preserved) < 1493137690 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hppavilion[1]: make versions of the ads you see on tv, but make them brutally honest < 1493137724 0 :hppavilion[1]!~dosgmowdo@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Germany, Germany it's my favorite / it's my personal favorite in the world! < 1493137833 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :ais523: an esolang interpreter that runs on efi sounds like a great idea and could be an integral part of an esoteric os < 1493137859 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hppavilion[1]: imagine hardware that natively runs something like Haskell < 1493137868 0 :hppavilion[1]!~dosgmowdo@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: No. < 1493137920 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :okay, what about Prolog < 1493138252 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1493138395 0 :hppavilion[1]!~dosgmowdo@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1493139475 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1493139756 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1493140191 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 245 seconds < 1493140344 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1493140370 0 :betaveros!~betaveros@mint-square.mit.edu QUIT :Remote host closed the connection < 1493140905 0 :betaveros!~betaveros@mint-square.mit.edu JOIN :#esoteric < 1493141452 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hi < 1493141480 0 :APic!apic@apic.name PRIVMSG #esoteric :Hi < 1493141510 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :ih < 1493141548 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hm. < 1493141569 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :Imagine an assembly language with an additional instruction, DCS, which doubles the clock speed. < 1493141606 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :Now, if you use an infinite loop to perform the DCS a countably infinite number of times, what is the clock speed - is it countable or uncountable? < 1493141624 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I think it's uncountable, but I want to hear other opinions. < 1493141848 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? ps < 1493141855 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1493141872 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :P is the complexity class of Problems. They can be solved by reduction to NP. < 1493141880 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :argh < 1493141886 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? pss < 1493141888 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pss? ¯\(°​_o)/¯ < 1493141917 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I recently figured out that in order for ps to actaully print out all the info you have to do < 1493142010 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ps -lFj < 1493142030 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ps -l isn't enough apparently < 1493142055 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hi < 1493142139 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :rdello < 1493142179 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :"countable" applies to sets, not numbers < 1493142324 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds < 1493142353 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1493142391 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :so suppose we use BF and have the D instruction. The program you're proposing is +[D]. < 1493142498 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :The result depends on semantics < 1493142591 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 QUIT :Ping timeout: 260 seconds < 1493142627 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :can the BF machine detect that it has "finished" the infinite loop and therefore exit it? < 1493142669 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hm < 1493142769 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net 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.” < 1493142826 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :"for (i = 1, countable infinity) { double clock speed }" in pseudo code would work < 1493142835 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :now it gets more interesting if we equip the BF machine with the / (divide by two) and * (multiply by two) instructions. < 1493142863 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :ooh < 1493142891 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :+[+] in Super-TC BF would yield countable infinity while +[*] would yield uncountable infinity < 1493142917 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :+[D/] would indeed exit because the cell's value approaches 0 as the clock speed aprroaches infinity < 1493142980 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 JOIN :#esoteric < 1493142981 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds < 1493142996 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :rdococ: no, multiplying countable infinity by two is still countable infinity < 1493143021 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Read about the Hilbert Hotel < 1493143027 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :\oren\: the way I see it, multiplication by two n times is equal to 2^n, so 2^countable infinity is uncountably infinite < 1493143045 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :that's why I suggest that it's uncountable < 1493143053 0 :orby!32e0e343@gateway/web/freenode/ip.50.224.227.67 PRIVMSG #esoteric :I think rdococ may be right < 1493143076 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :+[D>*+<[D>*+<[D>*