< 1470009685 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Hm, maybe we should start storing Ozone that we can fire into the atmosphere when needed < 1470009935 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Taneb: sure, it already includes http://oeis.org/A107357 and http://oeis.org/A053169 < 1470009974 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Yes, that's the original phrasing of the puzzle. < 1470009990 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: But it turns out that Wikipedia is wrong, and it says "universality" instead of "non-universality". < 1470010020 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I.e. universality is coNP-complete < 1470010180 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470010214 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470010299 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: yes, I saw that clarification yesterday, thanks! < 1470010389 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1470010391 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470010987 0 :Xnuk!~Xnuk_Shum@2400:6180:0:d0::200:8001 JOIN :#esoteric < 1470011585 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470011647 0 :Xnuk!~Xnuk_Shum@2400:6180:0:d0::200:8001 PRIVMSG #esoteric :How do you pronounce ///? http://esolangs.org/wiki//// < 1470011660 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"slashes" < 1470011801 0 :Xnuk!~Xnuk_Shum@2400:6180:0:d0::200:8001 PRIVMSG #esoteric :oerjan: thanks < 1470011814 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you're welcome < 1470011822 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`relcome Xnuk < 1470011839 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​08Xnuk: 09Welcome 02to 06the 13international 04hub 07for 08esoteric 09programming 02language 06design 13and 04deployment! 07For 08more 09information, 02check 06out 13our 04wiki: 07. 08(For 09the 02other 06kind 13of 04esoterica, 07try 08#esoteric 09on 02EFnet 06or 13DALnet.) < 1470012032 0 :byteflame!~byteflame@c-71-238-242-230.hsd1.ar.comcast.net JOIN :#esoteric < 1470012577 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470012585 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Apparently, Goonies never say "die" < 1470012598 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :They must have a hard time playing DnD with English majors < 1470012670 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think English majors are particularly pedantic. < 1470012683 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But surely they have trouble playing in German. < 1470012712 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I learned that fact from The Onion: https://www.youtube.com/watch?v=mAa8Rf_a_Mo < 1470012878 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :de:die is not a homophone of en:die hth < 1470012941 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1470012949 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you think it's the latter than they never say? < 1470012965 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Given that they speak English and not German, the former seems more likely. < 1470012965 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i dunno, i have no idea what goonies are. < 1470012981 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google goonies < 1470012983 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://www.imdb.com/title/tt0089218/ < 1470012983 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: The Goonies (1985) - IMDb < 1470013043 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :wow. this travel insurance actually has a price per day that isn't an integer number of HUF. you rarely see that nowadays. < 1470013073 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :most things are rounded to integer HUF, except for very cheap things like per minute prices of mobile phone calls. < 1470013158 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HUF is what came before HUG? < 1470013180 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, 1 HUF < 0.01 USD < 1470013202 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even 0.01 USD is too fine-grained for most things. < 1470013273 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :It's not that uncommon for currencies to be similarly overly-fine-grained though. < 1470013304 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: sure, which is why the smallest cash coin is 5 HUF, and most bank transactions and similar are restricted to multiples of 1 HUF, but prices can still be fine grained even though they're usually multiples of 1 HUF for cheap things and multiples of 10 HUF for expensive things. < 1470013310 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :1 KRW < 0.001 USD, for example. < 1470013331 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How fine-grained should stock prices be? < 1470013336 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :You can have prices to high resolution and round for the whole transaction. < 1470013394 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470013399 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Though, the KRW no longer has 1 KRW coins in circulation... < 1470013400 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Until 2001, US stock prices were measured in sixteenths of a dollar. < 1470013406 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now they're measured in cents. < 1470013437 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean the finest granularity. < 1470013465 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's called the tick size, and there are all sorts of trade-offs for deciding what it should be. < 1470013475 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It seems silly to have the same tick size for expensive stocks and cheap stocks, though. < 1470013516 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 250 seconds < 1470013654 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :In particular, the price of gas (petrol) for cars is shown per liters, and is usually shown as a multiple of 0.001 or 0.01 HUF. The price of household water and sewage in this location is 469.06 HUF per cubic meter. < 1470014279 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1470014345 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470014445 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ahoily < 1470014970 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470015392 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bohily < 1470015432 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hppavellon[1]! < 1470015436 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hellørjan! < 1470015497 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I declare the winner of https://www.youtube.com/watch?v=njos57IJf-0 [Steve Jobs vs Bill Gates. Epic Rap Battles of History Season 2.] to be Richard Stallman < 1470016521 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470016579 0 :byteflame!~byteflame@c-71-238-242-230.hsd1.ar.comcast.net QUIT :Ping timeout: 244 seconds < 1470016832 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1470017522 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1470017574 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1470017575 0 :jaboja!~jaboja@2a00:f41:3873:b107:de85:deff:fe55:967a JOIN :#esoteric < 1470018208 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470018454 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470018503 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :http://www.scientificamerican.com/article/bizarre-proof-to-torment-mathematicians-for-years-to-come/ < 1470018507 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :there was a greater mummy behind khufu... holy fungot I didn't see it... < 1470018508 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: next it unveiled the latest to benefit of any party other than ena also sold more to do the right thing on the sidelines for any period. if you have not had any more. < 1470018511 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :So, almost like the proof is bad code? < 1470018529 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :fungot: I'm still alive! < 1470018530 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: for complete information on the first is the pulmonary injury by capacity and fuel to the rate to a policy what policy: " section vii of the bond, the treasurer of each company < 1470018806 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :okay, not alive. got berserk and petrified at the same time. < 1470019307 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: APPEARANCE CHICKEN < 1470020372 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470021820 0 :Cale!~Cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Sgeo: Or code written in a programming language that nobody understands except Mochizuki < 1470021853 0 :Cale!~Cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Sgeo: I think it would be pretty hilarious if this was all an elaborate troll < 1470022357 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470022482 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1470022849 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :there are computer proofs written in languages that nobody else understands < 1470022877 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :the proofs work when you check them, but no one knows why < 1470024099 0 :jaboja!~jaboja@2a00:f41:3873:b107:de85:deff:fe55:967a QUIT :Ping timeout: 264 seconds < 1470024887 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1470025866 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470026063 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470026256 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1470026336 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1470026949 0 :Jafet!~jafet@unaffiliated/jafet QUIT :Ping timeout: 260 seconds < 1470027863 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1470028994 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? password < 1470029014 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The password of the month is late. < 1470029411 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : it's too easy for alt+5 to slip and become alt+f4==instakill app <-- that's pretty much how my hydra died, except with fn instead of alt. < 1470029449 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: well, killing the hydra was the goal, right? < 1470029454 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and f5 instead of 5, probably. < 1470029460 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: not quite that way. < 1470029484 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: picky. just be happy the goal was accomplished < 1470029499 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKANEVER < 1470030014 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :oerjan: You cracking stuff? < 1470030054 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :only GHC hth < 1470030231 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@massages-lout < 1470030231 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1470030245 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@massages-lout < 1470030245 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1470030250 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh. < 1470030263 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :...maybe there was a ^O. < 1470030662 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :In my Linux system though, ALT+F4 has no special use. (When in text mode, it switches to screen 4, but in X you need CTRL+ALT+F4 to switch to screen 4.) (But I think the default window manager and desktop environment for Ubuntu does use ALT+F4 and some other stuff similar to Windows to make it easier for Windows users, but I have uninstalled those things.) < 1470031035 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Ping timeout: 244 seconds < 1470033227 0 :byteflame!~byteflame@50.25.160.41 JOIN :#esoteric < 1470034570 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :It is a bad idea to watch love live and fly an airplane at the same time < 1470034597 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i crashed into a mountain < 1470035014 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1470037171 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net JOIN :#esoteric < 1470037174 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Moo < 1470038115 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ooom < 1470038271 0 :augur!~augur@c-67-160-198-240.hsd1.ca.comcast.net JOIN :#esoteric < 1470038292 0 :byteflame!~byteflame@50.25.160.41 QUIT :Ping timeout: 240 seconds < 1470038591 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Oh crap it happened < 1470038675 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I was watching anime and --oh shit I've actually been to that exact place in tokyo where the character's standing! < 1470038691 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: okay, in the end I think membership in coNP is easier than coNP-hardness. (I don't know an NP-complete problem that embeds naturally) < 1470038713 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :really weird feeling of deja vu < 1470038780 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what would you call deja vu induced by a cartoon < 1470038829 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz JOIN :#esoteric < 1470038897 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :"deja toon" < 1470038999 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I found an article that has a reduction from 3SAT < 1470039056 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :does it work for arbitrary CNFs or is the size of clauses actually used? < 1470039062 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :whoever drew this must have been sketching from the balcony of the McDonalds that overlooks Shinjuku < 1470039123 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it'd work for arbitrary CNFs? < 1470039172 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm typing on my phone at the train station. Will probably be able to say more later. < 1470039229 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: then it may be doing a similar thing to what I've dreamed up. < 1470039230 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway the coNP argument is probably something like "raise the adjacency matrix to the nth power" < 1470039243 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and yes, it is < 1470039453 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, the current Schlock Mercenary story arc would fit perfectly under "Force Multiplication". Too bad that book title is already taken within the series :P < 1470039490 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Im trying to run a game in a way that people can play it all together through telnet. How should i do this? Im thinking bash < 1470039581 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :isn't that what MUDs are for. < 1470039624 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Im trying to hae fun by haveing a bunch of people play a single instance of dwarf fortress over telnet < 1470039713 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Twitch plays Dwarf Fortress? < 1470039723 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION points at the non-present ais523 < 1470039729 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :And good luck getting that going over telnet... < 1470039742 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Putty then < 1470039744 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :? < 1470039781 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :could screen or tmux work that way? < 1470039786 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Dwarf Fortress is a graphical program (even when not using graphical tiles). < 1470039789 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :no < 1470039796 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Linux has text mode < 1470039802 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :S does mac < 1470039821 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Really? < 1470039824 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :mhm < 1470039837 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Since what version? < 1470039842 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Change the graphics setting from 2D to TEXT < 1470039851 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :dunno, long while < 1470039896 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :You're not mistaking the normal (non-tiles) mode for an actual console-based mode? < 1470039904 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :nope < 1470039910 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :i've used it over ssh < 1470039955 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :and i helped develop a discord bot that has a selfupdating (message ediT) emulated terminal, it could display df too < 1470039968 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :the bot hasent been on for a while < 1470039971 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :That is news to me, then. < 1470039975 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :lol < 1470040000 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :well, how would i broker it using bash, i have ncat (that comes with nmap) if that helps < 1470040117 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Hmm, documentation says, "primitive ncurses output". You are correct. < 1470040150 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :You'd probably want to use whatever it is that nethack@alt.org uses, let me see what it's called. < 1470040165 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :no, single game instance < 1470040173 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :im nit running a hoard of df lo, < 1470040176 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Although you want everyone controlling one instance, right, not just providing it as a service? < 1470040181 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :mhm < 1470040191 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :I'd just use screen, then. < 1470040242 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :And what would i do with the screen? I need to know how to broker it < 1470040263 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :I'm not really sure what you mean by broker here. < 1470040291 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Be a server, transmit the games data to the users and give the game their input < 1470040346 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :So you're just connecting multiple terminal endpoints to the same program and sending that all the input from all the terminals? < 1470040372 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Mhm lol < 1470040410 0 :impomatic_!~digital_w@host81-129-217-145.range81-129.btcentralplus.com JOIN :#esoteric < 1470040537 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Just have everyone connect to the same screen session, I suppose. < 1470040597 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :But i dont know how i should do that in bash, or is there something about screens i dont know < 1470040619 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :I don't think you need to involve bash at all. < 1470040664 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :What should i use? Node.js and C++ are my main kanguages, am i just looking at this wrong? < 1470040699 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1470040715 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :I'm not sure what part of it you feel requires any programming. < 1470040744 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Hi hppavilion[1] . < 1470040757 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Helloon < 1470040886 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :You know a good way to allow multiple people to telnet to a system and use one instance of a prgram, in this case dwaf fortress? < 1470040933 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :What was wrong with my suggestion? :/ < 1470040979 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :I really just dont get how im going to USE the screen. < 1470040996 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :he means "screen", the program. < 1470041019 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :I know, i dont know what to do with it afterwrds < 1470041047 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :So people log in and then all connect to the same screen session. Their input is all sent to whatever's running in it, and they all see the output of whatever's running in it. < 1470041062 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Problem: open server < 1470041093 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :So you run Dwarf Fortress inside screen, then people log in, and attach to that screen session. < 1470041109 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :I'd personally do it over ssh, but you could use telnet if you wanted to. < 1470041137 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Err, but then i have to give them access to the system, i only want them to have dwarf fortress < 1470041140 0 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1470041221 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :They're always going to need to log in to the system, you just need to stop them from running anything other than screen or Dwarf Fortress. < 1470041240 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :How to stop screen from being able to execute arbitrary commands is a good question, though. < 1470041359 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Thought so, i just want to do something with the output, send it to the users, and get input < 1470041554 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Unbinding C-a : should be sufficient, I think. < 1470041575 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :But you'll probably want to unbind some other stuff too so users don't try and do annoying stuff. < 1470041641 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric : I personally think that adding screen is a bit of a waste, i dont see where its needes in the input => program => output => repeat loop < 1470041821 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :It effectively virtualizes a terminal and allows multiple endpoints to be connected to it. < 1470041838 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :In other words, it lets people log in on multiple terminals and see the same thing. < 1470041908 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :(And send input to it.) < 1470042101 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :last week i was testing stuff and added debug code that dumped a structure to /tmp/izdump < 1470042110 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it turns out that shit is now packaged and shipped -_- < 1470042120 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Gg < 1470042135 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :It looks like you can actually use screen's builtin acl support to stop users from executing commands. < 1470042198 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Hmm.. damn a example script eould help lol, but ok, im following < 1470042215 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :google isn't providing solutions for "unship code" < 1470042223 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Lol < 1470042510 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :I'll have a go at one, hold on. < 1470042539 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :did it brick the devices? no -> push update to the previous release. yes -> cash in your stock in the company and move far away < 1470042578 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :int-e: it's not my fault! that wasn't supposed to end up in prod < 1470042582 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i don't wanna move away < 1470042599 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :My "f" finger hurts. I wonder if I should hold a pen between that finger and the left thumb to make sure I'm not typing with it, because typing just makes it hurt more. < 1470042631 0 :baordog!~bob@ool-944b295d.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1470042685 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :you could remap f to capslock (and r and v, for good measure.) < 1470042721 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :moon_: To be honest I think this will do it: < 1470042721 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :escape '' < 1470042722 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :bind ^d detach < 1470042836 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Unless ^d does something in Dwarf Fortress; I can't remember. < 1470043413 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Dwarf fortress overrides ^d < 1470043528 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Pick some other keystroke it doesn't use, then (if there are any :p). < 1470043551 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :You could use a prefix like screen normally does, it would make the config longer is all. < 1470044165 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1470044172 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :...why the hell does the H○ scale convert real-world feet to scale-world millimeters? < 1470044329 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Because 16.5 mm is a nice value for rail spacing? < 1470044342 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :farrioth: But is it really? < 1470044358 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Personally, I think all railroad models should be in 87:1 < 1470044361 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` echo open shell? Hopefully no # moon_ < 1470044371 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :open shell? Hopefully no < 1470044403 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Ik, but thats sandboxed, and so is shbot, i didnt know what you used < 1470044412 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :hppavilion[1]: 87:1 not 1:87? :p < 1470044418 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :shbot has a much stricter sandbox < 1470044424 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :farrioth: Yes. < 1470044436 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :farrioth: Your model has to be larger than the original. < 1470044545 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I think a good xkcdsw would be http://xkcd.com/1294/, but "telescope" becomes "dildo" < 1470044644 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :railroad models should be 1:1 < 1470044905 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :myname: All railroad models should be made in 1:89+41i < 1470044951 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :Lol. < 1470045058 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hppavilion[1]: i am okay with that < 1470045091 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Or perhaps model train layouts should be logarithmic? < 1470045168 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :1:i*pi < 1470045178 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :You know what, just plain out how do you stream a program to multiple users using telnet? < 1470045279 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Interestingly, I was introduced to Never Gonna Give You Up by anything other than 4chan < 1470045330 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that's easy if you don't 4chan < 1470045607 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :moon_: Normally you don't need to do such a thing, since for most services you'd fork per connection. < 1470045639 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :In fact, I can't really think of a use case apart for something like this or nethack@alt.org, etc. < 1470045649 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :I'd be interested if there are, thoguh. < 1470045654 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz PRIVMSG #esoteric :*though < 1470045669 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net PRIVMSG #esoteric :Im good now < 1470045931 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :myname: Yeah, but the first time I heard it was in the movie "Miracle in Toyworld" or something like that < 1470045950 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :So it's permanently associated with that < 1470045991 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :If HO is supposed to be H0, is there an H1? < 1470046279 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net JOIN :#esoteric < 1470047677 0 :farrioth!~farrioth@122-62-138-191.jetstream.xtra.co.nz QUIT :Quit: leaving < 1470047894 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1470049978 0 :augur!~augur@c-67-160-198-240.hsd1.ca.comcast.net QUIT :Remote host closed the connection < 1470051395 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1470052203 0 :Xnuk!~Xnuk_Shum@2400:6180:0:d0::200:8001 QUIT :Remote host closed the connection < 1470053827 0 :baordog!~bob@ool-944b295d.dyn.optonline.net JOIN :#esoteric < 1470053881 0 :moon_!~AndChat57@tx-76-1-72-128.dhcp.embarqhsd.net QUIT :Ping timeout: 244 seconds < 1470054200 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: STABLE CHICKEN < 1470055949 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1470056137 0 :baordog!~bob@ool-944b295d.dyn.optonline.net QUIT :Remote host closed the connection < 1470056979 0 :Zekka!~zekka@216.206.111.151 QUIT :Ping timeout: 260 seconds < 1470057423 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1470057888 0 :bauen1!~bauen1@2a02:810d:1980:1584:28bc:9d64:51bf:74ef QUIT :Remote host closed the connection < 1470060118 0 :byteflame!~byteflame@70-89-65-45-little-rock-ar.hfc.comcastbusiness.net JOIN :#esoteric < 1470060515 0 :byteflame!~byteflame@70-89-65-45-little-rock-ar.hfc.comcastbusiness.net QUIT :Remote host closed the connection < 1470061233 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1470061544 0 :byteflame!~byteflame@70-89-65-45-little-rock-ar.hfc.comcastbusiness.net JOIN :#esoteric < 1470062719 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1470063358 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1470063843 0 :sewilton!sid32560@gateway/web/irccloud.com/x-ukhrzazdeqedvvwz QUIT :Ping timeout: 264 seconds < 1470063844 0 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :Ping timeout: 264 seconds < 1470063872 0 :dingbat!uid70835@gateway/web/irccloud.com/x-hxyabtafcailtjpc QUIT :Write error: Connection reset by peer < 1470063873 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-czojatwtkxaoqoob QUIT :Read error: Connection reset by peer < 1470064001 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b QUIT :Ping timeout: 258 seconds < 1470064031 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b JOIN :#esoteric < 1470064059 0 :zgrep!sid43445@gateway/web/irccloud.com/x-tapzxtcbphndtmps QUIT :Ping timeout: 264 seconds < 1470064695 0 :baordog!~bob@static-173-56-120-23.nycmny.fios.verizon.net JOIN :#esoteric < 1470064742 0 :dingbat!uid70835@gateway/web/irccloud.com/x-fwdploweqaqvroak JOIN :#esoteric < 1470064745 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-qruqbindfjykzocr JOIN :#esoteric < 1470064747 0 :sewilton!sid32560@gateway/web/irccloud.com/x-rycdbeuogvbaahqc JOIN :#esoteric < 1470064757 0 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1470065007 0 :zgrep!sid43445@gateway/web/irccloud.com/x-qvuoxzqkfgfskyvm JOIN :#esoteric < 1470065107 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah! < 1470065951 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh! < 1470066086 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :uh? < 1470066168 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :eh. < 1470066295 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :æ ø å you ain't got the æ ø å < 1470066528 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nor the äöü < 1470066581 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nor аиоуэ < 1470066599 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(greek anyone?) < 1470068235 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`olist 1046 < 1470068264 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 1046: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1470068366 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1470069180 0 :ybden!~ybden@unaffiliated/ybden PRIVMSG #esoteric :ACTION appreciates `? chicken < 1470069924 0 :Zekka!~zekka@216.206.111.151 JOIN :#esoteric < 1470070059 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1470070086 0 :Cale!~Cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :Ping timeout: 276 seconds < 1470070453 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1470070580 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1470072935 0 :Cale!~Cale@2607:fea8:9840:324:f52e:553d:fb4f:6b44 JOIN :#esoteric < 1470073008 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl JOIN :#esoteric < 1470073063 0 :Zekka!~zekka@216.206.111.151 QUIT :Ping timeout: 252 seconds < 1470076698 0 :Zekka!~zekka@167.220.104.238 JOIN :#esoteric < 1470077859 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1470079235 0 :bauen1!~bauen1@2a02:810d:1980:1584:7d57:692c:73be:29ac JOIN :#esoteric < 1470080015 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1470080187 0 :augur!~augur@2601:640:8001:4222:3cf7:614:846b:e3dd JOIN :#esoteric < 1470080382 0 :bauen1!~bauen1@2a02:810d:1980:1584:7d57:692c:73be:29ac QUIT :Remote host closed the connection < 1470080548 0 :augur!~augur@2601:640:8001:4222:3cf7:614:846b:e3dd QUIT :Remote host closed the connection < 1470080642 0 :augur!~augur@c-67-160-198-240.hsd1.ca.comcast.net JOIN :#esoteric < 1470081498 0 :almightynsx1!~JD@adsl-108-71-37-167.dsl.lsan03.sbcglobal.net JOIN :#esoteric < 1470081534 0 :almightynsx!~JD@adsl-108-71-37-167.dsl.lsan03.sbcglobal.net QUIT :Ping timeout: 244 seconds < 1470081630 0 :almightynsx!~JD@adsl-108-71-37-167.dsl.lsan03.sbcglobal.net JOIN :#esoteric < 1470081735 0 :yurichev!~yurichev@82.144.205.57 JOIN :#esoteric < 1470081753 0 :almightynsx1!~JD@adsl-108-71-37-167.dsl.lsan03.sbcglobal.net QUIT :Ping timeout: 240 seconds < 1470081892 0 :almightynsx!~JD@adsl-108-71-37-167.dsl.lsan03.sbcglobal.net QUIT :Ping timeout: 258 seconds < 1470082026 0 :almightynsx!~JD@2602:306:c472:5a79:6016:3a8d:ab02:b85f JOIN :#esoteric < 1470082827 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@metar katl < 1470082827 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KATL 011911Z 24006KT 10SM -RA FEW020 SCT075 BKN100 BKN250 28/24 A3008 RMK AO2 RAB02 TSE11 TS MOV SE CB DSNT NE & DSNT S-SW-W TCU DSNT N-NE & DSNT SW SHRA DSNT S-SW-W P0000 T02830239 < 1470082829 0 :almightynsx!~JD@2602:306:c472:5a79:6016:3a8d:ab02:b85f QUIT :Read error: Network is unreachable < 1470082832 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :not bad < 1470082932 0 :almightynsx!~JD@2602:306:c472:5a79:6016:3a8d:ab02:b85f JOIN :#esoteric < 1470083785 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@metar LIPZ < 1470083786 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LIPZ 011920Z 03009KT CAVOK 24/15 Q1015 NOSIG < 1470083835 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Going there on Wednesday < 1470083922 0 :augur!~augur@c-67-160-198-240.hsd1.ca.comcast.net QUIT :Remote host closed the connection < 1470084058 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and checking @metar now helps? < 1470084111 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And saying "and checking @metar now helps?" helps? < 1470084195 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes < 1470084504 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1470084514 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :izabera, I have a friend near there right now < 1470084520 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Also I can't actually read meta < 1470084520 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :r < 1470084527 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It just makes me feel like I'm doing something < 1470084530 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No one can read METAR. < 1470084555 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And the friend is closer to LIPB anyway < 1470084567 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@metar LIPB < 1470084568 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LIPB 011850Z VRB02KT 9999 SCT090 24/14 Q1015 < 1470084584 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: All you need to do is look at the two numbers separated by a / < 1470084595 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The first one is temperature. < 1470084604 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's all I know about METAR. < 1470084622 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? metar < 1470084629 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the second number is the avg weight of the pilots in the airport < 1470084632 0 :almightynsx!~JD@2602:306:c472:5a79:6016:3a8d:ab02:b85f QUIT :Ping timeout: 258 seconds < 1470084636 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :metar is a service that allows nerds to talk about the weather. < 1470084641 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the second number is apparently the dew point < 1470084656 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I knew that. < 1470084660 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the second number is the avg weight of the pilots in the airport, also called the dew point < 1470084662 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I didn't know what dew point was. < 1470084682 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the dew point is apparently the point at which you get dew < 1470084712 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd tanebvention//s# w# metar, w# < 1470084719 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/tanebvention//Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, metar, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. < 1470084773 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Taneb, are you sure you'd never invent a genetic algorithm with sexual reproduction? < 1470084780 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, Taneb invented Tanebventions? < 1470084788 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover, fairly < 1470084808 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :With modern technology, sex is completely unnecessary for algorithms, you see < 1470084813 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 258 seconds < 1470084838 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although I've not a clue about genetic programming < 1470084843 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :shachaf, well obviously, who else would invent them < 1470084849 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(doing a module on it next term) < 1470084857 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :they'd be izaberaventions or whatever in that case < 1470084871 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :izabera, have you been inventing tanebventions < 1470084881 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :not yet < 1470084885 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover, there you go < 1470084929 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i was planning to < 1470084935 0 :jaboja!~jaboja@5.196.225.175 JOIN :#esoteric < 1470084937 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :but it takes a while < 1470084940 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's a long project < 1470084953 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not really. < 1470084960 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You just put the tanebvention in the wisdom entry. < 1470084965 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb is the one who has to do the hard work. < 1470084982 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's the lazy way < 1470085019 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, what izabera is planning is to invent something and convince me and everyone else that I was the one who invented it < 1470085039 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :D-modules were the first Tanebvention, right? < 1470085049 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :something something three headed dildos ? < 1470085073 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, I believe so < 1470085083 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think that falls outside the purview of Tanebventions. < 1470085122 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :izabera, I'm no expert but I think three headed dildos involve sex < 1470085175 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's your invention < 1470085182 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :make something up with it < 1470085195 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think Taneb would rather just uninvent it. < 1470085203 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :too late < 1470085212 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :patent pending < 1470085224 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb never invented it in the first place. < 1470085233 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :whoa easy there < 1470085233 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? taneb < 1470085235 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of eight genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions) < 1470085262 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Can someone who knows the HackEgo magic change that eight to a nine please < 1470085323 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: The magic is this: `slwd taneb//s#eight#nine# < 1470085347 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`swld taneb//s#eight#nine# < 1470085348 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: swld: not found < 1470085351 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ARE YOU SURE < 1470085363 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :YES HTH < 1470085371 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but you gotta type it correctly < 1470085371 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`? taneb < 1470085374 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of eight genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions) < 1470085381 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`slwd taneb//s#eight#nine# < 1470085384 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/taneb//Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of nine genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions) < 1470085396 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, I haven't invented typing things correctly yet tht < 1470085407 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? tht < 1470085409 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :tht? ¯\(°​_o)/¯ < 1470085424 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's hth but I haven't invented typing things correctly < 1470085448 0 :dleled!5710bce2@gateway/web/freenode/ip.87.16.188.226 JOIN :#esoteric < 1470085548 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yet < 1470085706 0 :dleled!5710bce2@gateway/web/freenode/ip.87.16.188.226 QUIT :Ping timeout: 250 seconds < 1470085969 0 :yurichev!~yurichev@82.144.205.57 QUIT :Quit: leaving < 1470086031 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 JOIN :#esoteric < 1470086065 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :Hi < 1470086339 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :mhelloon! < 1470086454 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470086778 0 :miketo!~miketo@unaffiliated/miketo JOIN :#esoteric < 1470087370 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 QUIT :Ping timeout: 250 seconds < 1470087582 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 JOIN :#esoteric < 1470087601 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :I've started playing around in MSDOS 6.22 < 1470087632 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470087651 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the best OS ever to come out of the house of Microsoft < 1470087670 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I hope my University OS professor doesn't read this ;-) ) < 1470087716 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :lol what does he prefer win10? < 1470087717 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470087778 0 :almightynsx!~JD@adsl-108-71-34-133.dsl.lsan03.sbcglobal.net JOIN :#esoteric < 1470087791 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Probably not. < 1470087835 0 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1470087840 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But DOS offers almost none of the defining features of an OS, most notably it does not offer any multitasking or isolation of multiple processes or access control. < 1470087858 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I prefer Windows 10 to MS-DOS 6.22 < 1470087880 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :That MS botnet is scary. < 1470087949 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I honestly believe that this term is 100% accurate in this context: It is software that phones home automatically and updates itself with whatever code its masters provide, automatically.) < 1470087982 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Of course Android isn't much different. < 1470088010 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Most Linux distros on the other hand, are... though perhaps not different enough to matter in practice. < 1470088162 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about web software? < 1470088177 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :All software is becoming web software. < 1470088200 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You mean SaaS? < 1470088213 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"web software" is not a meaningful term to me. < 1470088259 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :hmm... Hey, b_jonas, you here? < 1470088275 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean software written in JavaScritp and delivered to a web browser. < 1470088286 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :horrible. < 1470088295 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, being written in JavaScript isn't even that important. < 1470088300 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470088328 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But it kind of depends on how good the sandboxing is. < 1470088337 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And what you do with it... < 1470088351 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...a web online game I have no trouble with. < 1470088385 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...a web office program that may cease existing tomorrow... that's an entirely different matter. < 1470088394 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but not really part of the botnet problem in my view < 1470088398 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :more the opposite < 1470088404 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(dual, if you like) < 1470088413 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It has the same auto-update issue. < 1470088417 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :int-e: W10 is a botnet under those terms imho, it's just hypothetically a desirable one < 1470088426 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Every time you start up the software, you fetch a brand new copy from the web server. < 1470088428 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: yes it does, hence the sandboxing < 1470088445 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, so run Windows 10 in a VM, I guess? < 1470088461 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: which allows me to think of it as an extension of *THEIR* server using some of my own computing resources < 1470088479 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :there is lots of software that updates the same way -- the reason a botnet is evil is because it does evil things with your computer resources < 1470088489 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm sure Microsoft would like for you to think of Windows the same way. < 1470088515 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, Win 10 in a VM is an option... well... once we find a secure hypervisor. :P < 1470088516 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :(disclaimer: MS employee here) < 1470088536 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Zekka: the technology is neutral. < 1470088558 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :FWIW I'm not qualified to assess if W10 is doing evil -- I have friends who worked on it who said the parts they worked on did not appear to be doing evil < 1470088562 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and from a technological perspective there's not enough of a difference that it matters to me. < 1470088578 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :it's possible, even likely that there are parts he didn't work on that are evil < 1470088602 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1470088666 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and this whole way we're doing software... as indicated above this is not limited to MS or even the commerical world... has ramification that I really don't want to think about. For example, for cryptography. Your crypto software may be secure now, but it can be backdoored without notice.) < 1470088687 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Oh man. I'll indeed so have to buy a new computer in autumn. I love this one and it's served it well, it will probably retire with full honors, but it's just SLOW. < 1470088700 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :FWIW I think you should never assume your data is safe because of crypto < 1470088703 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, computer. < 1470088714 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Will MS still allow me to install my Win 7 copy on another machine? < 1470088720 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :you can shake your fist at companies like microsoft because we've probably backdoored our crypto implementations in one place or another < 1470088746 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :But afaik usually it's humans following bad security precautions that compromise security situations < 1470088746 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wob_jonas: Install Windows 3.11 and MS-DOS 6.22 < 1470088756 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Or will that be the point where I give up on Windows altogether and suffer through the lmited supply of games that work on Linux? < 1470088764 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: I have them in an emulator < 1470088774 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: have you seen termbot? that runs ms-dos 6.22 < 1470088774 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :your crypto is not particularly important if your super anonymous messages to known targets are sent from the same computer at the same times as your normal tweets < 1470088807 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :if I started sending tons of messages to ISIS from my personal machine, even if I used magic to guarantee my channel was cryptographically safe, it would probably be evident I was talking to ISIS < 1470088810 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh I know... https://xkcd.com/538/ < 1470088818 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :it could also run windows 3.11, but it would be a bit hard to use unless you did some serious preparation, because normally you control windows through the monitor, keyboard, and mouse, and termbot doesn't give you access to those < 1470088828 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Zekka: that's what Tor is for. < 1470088830 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :probably the best strategy you can do is not communicate things you don't want found < 1470088835 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :int-e: Oh yeah, bring in anonymous third-parties < 1470088852 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :Obviously a hostile government could never run its own tor nodes and have them collude < 1470088857 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :and obviously this hasn't already happened < 1470088874 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Tor, obviously, isn't perfect either, and a very lucrative target for secret services) < 1470088879 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Zekka: why'd they pay for their own nodes? they just put malware on existing nodes. < 1470088911 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(But we know from the Snowden files that it must, actually, be quite good and be causing the NSA a lot of headaches.) < 1470088926 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :Didn't the guy who made bomb threats to get out of tests at Stanford or something get found out because he was the only dude on campus using Tor? < 1470088940 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :It probably wasn't Stanford, but it was some major school for smart people < 1470088973 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :I would be wary of crypto that makes it obvious I'm using crypto, because it means more people would want to snoop on me < 1470089049 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :If I had secret terrorist plans I would probably meet my secret terrorist buddies in person somewhere in the wilderness < 1470089092 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Zekka: crypto that makes it obvious that you're using crypto? like connecting to freenode through ssl? < 1470089095 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( because that worked so well in 1984 ) < 1470089095 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :maybe I'd develop secret terrorist plans I could carry out alone < 1470089109 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Microsoft has secret terrorist plans? < 1470089118 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :shachaf: Don't tell the press! < 1470089118 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Zekka: tell the logs all about them < 1470089125 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I always thought Microsoft had secret communist plans. < 1470089132 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They don't call it "Redmond" for nothing. < 1470089148 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :wob_jonas: I dunno, SSL's so commonplace that it's probably not seen as a red flag any more < 1470089165 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you would know all about red flags. < 1470089185 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Zekka: so just use SSL for everything you want to encrypt? < 1470089211 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :I would not make the assumption that SSL is safe < 1470089222 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :could you try connecting to 76.1.72.128 port 5138? (telnet). im making sure a port works before i do something < 1470089244 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Zekka: of course not. it's just a tool. you have to use it correctly. < 1470089266 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :That'sk inda what I'm getting at -- you can't blame a single party for "I used crypto and my secrets aren't safe" < 1470089279 0 :Zekka!~zekka@167.220.104.238 PRIVMSG #esoteric :if you actually want to be safe you shouldn't communicate your secrets < 1470089355 0 :almightynsx1!~JD@adsl-108-71-34-133.dsl.lsan03.sbcglobal.net JOIN :#esoteric < 1470089373 0 :almightynsx!~JD@adsl-108-71-34-133.dsl.lsan03.sbcglobal.net QUIT :Ping timeout: 240 seconds < 1470089939 0 :_miketo!~miketo@unaffiliated/miketo JOIN :#esoteric < 1470089965 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@tell oerjan GG: ... LOOK! a three-headed monkey! < 1470089965 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1470090100 0 :miketo!~miketo@unaffiliated/miketo QUIT :Ping timeout: 265 seconds < 1470090108 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Read error: Connection reset by peer < 1470090215 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? tanebventions: math < 1470090224 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, the Hodge star operator, pointless topology, and histograms. < 1470090231 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? lambek's lemma < 1470090234 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses. < 1470090242 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Vaughan Pratt says "the ability to prove Lambek's lemma is a litmus test of whether you can think categorically" < 1470090252 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you prove it or just invent it? < 1470090504 0 :almightynsx!~JD@adsl-108-71-34-133.dsl.lsan03.sbcglobal.net JOIN :#esoteric < 1470090557 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :what is lambek's lemma? < 1470090586 0 :almightynsx1!~JD@adsl-108-71-34-133.dsl.lsan03.sbcglobal.net QUIT :Ping timeout: 252 seconds < 1470090703 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :what use is pointless topology? < 1470090721 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it's pointless < 1470090752 0 :almightynsx!~JD@adsl-108-71-34-133.dsl.lsan03.sbcglobal.net QUIT :Ping timeout: 240 seconds < 1470090799 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :alercah: from what I just read, the fact that an initial algebra is an isomorphism < 1470090864 0 :byteflame!~byteflame@70-89-65-45-little-rock-ar.hfc.comcastbusiness.net QUIT :Ping timeout: 244 seconds < 1470090880 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :isomorphism of? < 1470090894 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :oh wait < 1470090898 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Its domain and codomain. < 1470090899 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :what is an initial algebra? < 1470090927 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :something categorical. < 1470090941 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :presumably an initial object in some category? < 1470090948 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1470090957 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :which category? < 1470090966 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the category of algebras hth < 1470090975 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the category of F-algebras for a functor F, which are maps F(A) -> A. < 1470090975 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :how is it a morphism then? < 1470090981 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ahhh ty < 1470091020 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1470091026 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Quit: Leaving < 1470091036 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 QUIT :Ping timeout: 250 seconds < 1470091038 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So I can still prove Lambek's lemma. But I've seen it before and I don't like category theory. < 1470091073 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you like? < 1470091108 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :logic, algebra, combinatorics < 1470091310 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, category theory is just algebra. < 1470091360 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :^ < 1470091373 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :int-e: what is A in the above? < 1470091377 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :an object? < 1470091436 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :alercah: in some underlying category, yes. I mean it's an argument to F which is a functor, so there's little choice in the matter. < 1470091452 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :int-e: a functor maps morphisms too though < 1470091456 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1470091559 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I get basic category theory; it's even useful to some extent. But it's a very hard way of thinking for me, and I tend to interpret everything in Set to make sense out of it. < 1470091563 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION shrugs < 1470091608 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :try poset categories < 1470091691 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Categories in the sense of thinking of some of maths as talking about morphisms between objects is useful, but it doesn't require too much theory of course. < 1470091713 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :It does give some useful naming conventions that helps communicate with other mathematicians. < 1470091719 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :ACTION looks at the backlog. gamemanj scrolls up. gamemanj scrolls up further. gamemanj is an idiot. YGMP+SLP==??? < 1470091744 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :?! < 1470091744 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: v @ ? . < 1470091753 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lambdabot: I most certainly did not. < 1470092292 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1470092342 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 JOIN :#esoteric < 1470092365 0 :almightynsx!~JD@adsl-108-71-36-251.dsl.lsan03.sbcglobal.net JOIN :#esoteric < 1470092520 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1470092581 0 :powerOfTwo!~powerOfTw@host226.190-225-151.telecom.net.ar JOIN :#esoteric < 1470092639 0 :powerOfTwo!~powerOfTw@host226.190-225-151.telecom.net.ar QUIT :Client Quit < 1470092666 0 :almightynsx1!~JD@108.71.36.251 JOIN :#esoteric < 1470092715 0 :almightynsx!~JD@adsl-108-71-36-251.dsl.lsan03.sbcglobal.net QUIT :Ping timeout: 244 seconds < 1470092778 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :This happens a lot with algebra, not only category theory. There's also a negative effect though, in that when mathematicians explain something with algebraic language, and young mathematicianlings are listening, it can seem quite alien and hard to understand, even if the underlying thought is pretty simple and they could understand it. < 1470092783 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :But that's just a temporary effect. < 1470092811 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Soon, the young mathematicianlings will turn into aliens. < 1470092836 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :mathematicianling is an overly complicated word < 1470092857 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Are you a mathematicianling? < 1470092924 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1470092962 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: yeah. eventually they grow and they themselves will talk nonsense like "Wait, that's too abstract. Let's take a specific example. Say, let A be a self-adjoint operator over a complex space." < 1470092994 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :roll your self-adjoint and join the fun < 1470093094 0 :Jafet!~jafet@unaffiliated/jafet QUIT :Ping timeout: 252 seconds < 1470093336 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i "Take a positive integer N. No wait, N is too big; take a positive integer k." < 1470093351 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was looking for a different joke but I've forgotten it now. < 1470093457 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :gone up in smoke. < 1470093487 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1470093493 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: yes, like that < 1470093624 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1470093887 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :I managed to make a watchable game of Dwarf Fortress, but, it doesnt like the arrow keys and the escape key etc etc. any help? < 1470093916 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :cmd: ncat -l --keep-open --sh-exec "./df" 5318 < 1470093936 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1470093968 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :I managed to make a watchable game of Dwarf Fortress, but, it doesnt like the arrow keys and the escape key etc etc. any help? < 1470093970 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :woops < 1470093972 0 :moon_!4c014880@gateway/web/freenode/ip.76.1.72.128 PRIVMSG #esoteric :damnit < 1470094189 0 :zgrep!?@? NICK :zvehk < 1470094286 0 :zvehk!?@? NICK :zgrep < 1470094454 0 :Zekka!~zekka@167.220.104.238 QUIT :Ping timeout: 250 seconds < 1470094574 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this joke from mathoverflow is so good < 1470094577 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I went to visit him while he was lying ill at the hospital. I had come in taxi cab number 14 and remarked that it was a rather dull number. "No" he replied, "it is a very interesting number. It's the smallest number expressible as the product of 7 and 2 in two different ways." < 1470094741 0 :byteflame!~byteflame@c-71-238-242-230.hsd1.ar.comcast.net JOIN :#esoteric < 1470094914 0 :Zekka!~zekka@167.220.103.238 JOIN :#esoteric < 1470094989 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1470095101 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :ACTION mathwackematics shachaf < 1470095105 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hellørjan! < 1470095111 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :`relcome byteflame < 1470095118 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​04byteflame: 07Welcome 08to 09the 02international 06hub 13for 04esoteric 07programming 08language 09design 02and 06deployment! 13For 04more 07information, 08check 09out 02our 06wiki: 13. 04(For 07the 08other 09kind 02of 06esoterica, 13try 04#esoteric 07on 08EFnet 09or 02DALnet.) < 1470095368 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :helloily! < 1470095404 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :byerjan! < 1470095406 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :(poutine time!) < 1470095408 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@messages-foul < 1470095408 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :int-e said 1h 30m 43s ago: GG: ... LOOK! a three-headed monkey! < 1470095413 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: wat? < 1470095422 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :bwah ah ah! < 1470095429 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: SUGAR CHICKEN < 1470095450 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hey, he left, i was going to make an awful pun :( < 1470095681 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell int-e sadly, i've played very few computer games hth < 1470095681 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1470095690 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: which ones twh < 1470095708 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, there's tetris... < 1470095806 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :civilization, although i usually chickened out soon after the enemies started appearing. < 1470095872 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a number of small mindless games and abstract puzzle games. < 1470095928 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :many of which i've forgot.