< 1492906095 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1492906121 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :ACTION has built quite a powerful gopher server program. I may make it opensource, I haven't decided yet... < 1492906202 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :What kind of features you put in? I have made a xinetd based gopher server program in C. < 1492906229 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :(A very simple one, but you can use external programs for adding additional functions) < 1492906273 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :I have full CGI compatibility, so it's fully extensible with existing applications. < 1492906283 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :No Gopher+ though < 1492906293 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :I still need to add that in. < 1492906489 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net PRIVMSG #esoteric :(At least, that is the Linux version I made in 2015-16. The original Windows one was built in VB6 many years ago and is very simple). < 1492906499 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no TOPIC #esoteric :Motivation: NaN | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://www.dropbox.com/s/fyhqyvy3i8oh25m/wisdom.pdf?dl=0 | For extensive phở testing, use #esoteric-blah < 1492907072 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 268 seconds < 1492907565 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I also have no Gopher+ and do not intend to add it either. Mine is using a prefix database, and then if the prefix matches (the prefix can include the null terminator), then does according to that record. The action can be: a text file, a binary file, execute a program, change directory, display error message, or load another prefix database. < 1492907618 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :There is also a compiler to create menus and compiled prefix databases from a source file. < 1492907624 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1492907896 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@time rdococ < 1492907896 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for rdococ is UTC! < 1492907907 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1492907911 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :helloily < 1492907915 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? har < 1492907916 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :har? ¯\(°​_o)/¯ < 1492907923 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1492908000 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :One thing named "har" is this: http://zzo38computer.org/prog/har.c < 1492908015 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heh shachaf got enough < 1492908036 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: it was one of rdococ's wisdom additions, but it got reverted. < 1492908039 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1492908045 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Got enough of what? < 1492908060 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that as in "had enough"? < 1492908061 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: of rdococ's very bad wisdom entries < 1492908067 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :O, OK < 1492908072 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :APPARENTLY < 1492908092 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think that's idiomatic English but maybe it should be. < 1492908105 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'll try to incorporate it into my lexicon maybe. < 1492908136 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :as long as you don't think it's scow. < 1492908342 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hellørjan, hezzo38, helloochaf. < 1492908389 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :@massages-loud < 1492908390 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 20h 14m 49s ago: your pdf is missing the "unary" in `? and hth < 1492908397 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd rdococ//s,all,almost &, < 1492908401 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rdococ//rdococ is apparently from Budapest, but he is actualmost ally on Mars. Thanks to boily he is approaching permanent boredom & mapoledom. Additionally, all of his wisdom entries are bad. < 1492908404 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1492908406 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1492908408 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1492908425 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd rdococ//s,all ,almost &, < 1492908428 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rdococ//rdococ is apparently from Budapest, but he is actually on Mars. Thanks to boily he is approaching permanent boredom & mapoledom. Additionally, almost all of his wisdom entries are bad. < 1492908446 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i recall at least one that had potential. < 1492908614 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? overflow < 1492908616 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Overflow is a phenomenon that occurs when too much water pours into the inner tanks of a hydraulic computer. < 1492908623 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this one, although i improved the wording. < 1492908643 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :oerjan: yes, I'm missing the unary. the PDF isn't exactly up to date >_>'... < 1492908713 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1492908936 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: but today's entries were bad even by his standards. < 1492908949 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1492909894 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1492910055 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1492910068 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1492910182 0 :HackEgo!~HackEgo@162.248.166.242 QUIT :Read error: Connection reset by peer < 1492910212 0 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1492910688 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? thought < 1492910703 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​. o O ( Why are they asking me what a thought is? ) < 1492910743 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`cwlprits thought < 1492910751 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :r.dococ, o.erjan? < 1492910752 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjän rdocöc < 1492910768 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :thought so < 1492910786 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah that one wasn't so bad either < 1492910813 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`dowg thought < 1492910820 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :10764:2017-04-18 slwd thought//s,for ,, \ 10716:2017-04-16 le//rn thought//. o O ( Why are they asking me for what a thought is? ) < 1492910882 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`? wisdom < 1492910883 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom is always factually accurate, except for this entry, and, uh, that other one? It started with, like, an ø? < 1492910888 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1492910890 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :metasepia//metasepia knew the weather at your nearest airport, and also something about ducks. < 1492910928 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lowi < 1492910928 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 230020Z AUTO 08006KT 050V130 9999 -RA FEW015 BKN026 05/03 Q1020 < 1492910937 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar koak < 1492910938 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KOAK 222353Z 28019KT 10SM FEW012 FEW032 SCT070 OVC220 18/13 A3000 RMK AO2 SLP160 T01780128 10194 20178 56014 < 1492910956 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( is that the time? ;-) ) < 1492910987 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: what? < 1492911008 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: well it says it's 00:20 GMT. < 1492911025 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(or was, when that entry was made) < 1492911040 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so 8 minutes old, then. < 1492911053 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah, surprising... < 1492911074 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it was bound to happen eventually. < 1492911109 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :actually that 23:53 seems a bit stranger < 1492911136 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`icao KOAK < 1492911137 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Metropolitan Oakland Intl (OAK, KOAK) < 1492911158 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :depends on the airfield, really. METAR are “usually” on the hour, with SPECI inbetween as needed. < 1492911161 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :@metar CYUL < 1492911162 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 230000Z 31005KT 30SM SCT040 BKN052 09/02 A3001 RMK SC3SC3 SLP164 < 1492911282 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? metar < 1492911283 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :metar is a service Taneb invented that allows nerds to talk about the weather. < 1492911304 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`cwlprits metar < 1492911311 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachäf oerjän < 1492911354 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1492911720 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :ACTION reads an adpt quote on the 'Net: „The job of a soldier is to die for his country“ -unknown. < 1492912020 0 :dingbat!uid70835@gateway/web/irccloud.com/x-bqsdnxxcgembignw JOIN :#esoteric < 1492912275 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`relcome dingbat < 1492912276 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​06dingbat: 13Welcome 04to 07the 08international 09hub 02for 06esoteric 13programming 04language 07design 08and 09deployment! 02For 06more 13information, 04check 07out 08our 09wiki: 02. 06(For 13the 04other 07kind 08of 09esoterica, 02try 06#esoteric 13on 04EFnet 07or 08DALnet.) < 1492912294 0 :dingbat!uid70835@gateway/web/irccloud.com/x-bqsdnxxcgembignw PRIVMSG #esoteric :holy batman everything is rainbows! < 1492912308 0 :dingbat!uid70835@gateway/web/irccloud.com/x-bqsdnxxcgembignw PRIVMSG #esoteric :to what do I owe this flamboyant greeting? < 1492912326 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :newcomers to this fine channel are always welcomed. < 1492912336 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :(`relcomed if I happen to be here. mwah ah ah.) < 1492912545 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dingbat is hardly a newcomer < 1492912601 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :04f08l09a11m12b13o04y08a09n11t < 1492912784 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :oh hm. eh. < 1492912799 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :knew him all way back. long time ago. la la la <_<... >_>... < 1492913094 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn dingbat is a famous font designer for Microsoft. < 1492913096 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'dingbat': dingbat is a famous font designer for Microsoft. < 1492913132 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you sure you're not confusing dingbat with dingbatman < 1492913175 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nah. nah nah nah nah nah nah nah. < 1492913208 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you actually know that from the Batman music or just from people talking about the Batman music on the Internet? < 1492913568 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :>_>'... < 1492913599 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION should maybe listen to it sometime. < 1492913775 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm that sounds to me like da da da not na na na < 1492914109 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :na na na na na na na katamari damacy ♪ < 1492914386 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I asked because I'd never listened to it before. < 1492914408 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :me neither! at least that i can recall < 1492914470 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? bananaphone < 1492914471 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bananaphone? ¯\(°​_o)/¯ < 1492914790 0 :dingbat!uid70835@gateway/web/irccloud.com/x-bqsdnxxcgembignw PRIVMSG #esoteric :i don't like bananas, therefore bananaphones are similarly icky < 1492914875 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :bell peppers were declared scow, and now bananas? that's horrible! < 1492914897 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bananas are good, as long as they are just the right ripeness. < 1492914916 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aka for about 5 minutes. < 1492914979 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :as long as there is no green showing, they're delicious. < 1492914997 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :avocadoes, on the other hand... < 1492915038 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION guacks boily with a mole ~~~(===)o < 1492915076 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Plantains are good at many levels of ripeness. < 1492915080 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :From green to black. < 1492915089 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I cooked three green plantains today. < 1492915099 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1492915110 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like plantains? < 1492915113 0 :MoALTz!~no@77-254-9-16.adsl.inetia.pl QUIT :Quit: Leaving < 1492915198 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Hmm, did you get a sword after fighting your snake? < 1492915304 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :ACTION uses a tortilla shield to protect himself from the... what the hell is that flying thing? < 1492915312 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i may not have tasted plantains. norwegian wikipedia says they have essentially nothing in common with ordinary bananas other than the shape. < 1492915338 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think when they're ripe they have a bananish flavor. < 1492915341 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But now I'm not sure. < 1492915356 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :English Wikipedia says there's nothing that distinguishes them from ordinary bananas. < 1492915372 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"The term "plantain" is loosely applied to any banana cultivar that is eaten when cooked. However, there is no formal botanical distinction between bananas and plantains. Cooking is also a matter of custom, rather than necessity." < 1492915450 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Google translates the Norwegian Wikipedia text to "Plantain have quite different properties than usual banana , and it can be more considered a vegetable than fruit , as it, among other things can not be eaten raw." < 1492915454 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 JOIN :#esoteric < 1492915459 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :English Wikipedia says "Ripe plantains can be eaten raw, since the starches are converted to sugars as they ripen." < 1492915480 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :greetings! < 1492915484 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hellorby! < 1492915493 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good afternorby < 1492915532 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :fried plantain is delicious, along with pilaf and oxtail stew. < 1492915544 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :mmmm plantains are indeed delicious < 1492915597 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now I made mashed plantains with fried halloumi. < 1492915608 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :ooo, what's halloumi? < 1492915622 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A squeaky cheese. < 1492915634 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :what does it taste like? < 1492915646 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like halloumi. < 1492915650 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric ::) < 1492915670 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's white, firm, and is often grilled. < 1492915687 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :how does one fry it? is it typically breaded? or placed on bread? < 1492915703 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One can fry it all sorts of ways. < 1492915715 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It has a high melting point so it doesn't melt. < 1492915730 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I see, I don't think I've ever dealt with a cheese with a high melting point. < 1492915762 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I have a terrible habit of using commas where I should use periods, < 1492915774 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :halloumi and havarti are the perfect cheeses for râclette. < 1492915781 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you should try some halloumi. < 1492915792 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I'll have to try it. I love trying new things :) < 1492915804 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :What is râclette? < 1492915822 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When you bite halloumi, it squeaks against your teeth. < 1492915842 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :That doesn't sound very pleasant... < 1492915884 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"Halloumi is set with rennet" < 1492915906 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Raclette < 1492915920 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Non-animal rennet in this case. < 1492915921 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :you know your poutine is true if the cheese squeaks. < 1492915957 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :orby: forget the ^. that's my accent slipping. < 1492915983 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :Gotcha, sounds lovely < 1492916070 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :rennet is one of those tricky things for us vegetarians that I most often ignore but secretly feel guilty about ignoring < 1492916086 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :but I'm too lazy to be vegan :) < 1492916125 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :halloumi is also quite good in palak paneer :D < 1492916138 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :yummy < 1492916223 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :* [...] what the hell is that flying thing? <-- a mole, i said. they're somewhat competing with the moons for my lawn. < 1492916298 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a mole of what? < 1492916374 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :oerjan: ah! that kind of mole! < 1492916398 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: a mole of guacks < 1492916595 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1492916624 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :are there any functional languages on the wiki that deal only with boolean values that anyone knows about? < 1492916650 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I was thinking today about a functional language whose only operator is nand < 1492916702 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it true that no property of computable reals is decidable? < 1492916759 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :wouldn't the decidability of properties of computable reals be a property of computable reals? < 1492916776 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1492916799 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, no nontrivial property. < 1492916832 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I do not know. I suppose it depends upon how you define nontrivial. Oerjan is probably a good person to ask. Oerjan is smart. < 1492916846 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION waves < 1492916870 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :we have several languages with nand in the name but i'm not sure if any of them are functional. < 1492916874 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In the same sense as Rice's theorem -- a property is trivial if it's true for all computable reals or false for all of them. < 1492916881 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :might depend on your definition. < 1492916881 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1492916899 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are concatenative languages functional? < 1492916919 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I do not know what a concatenative language is < 1492916921 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :good question. < 1492916933 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :orby: underload is one. < 1492916991 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I see < 1492917034 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and although it's standard definition uses stacks, you can also think of it as a rewriting system. < 1492917038 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*its < 1492917054 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :cool :) < 1492917289 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: FOREWORD CHICKEN < 1492917297 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I was thinking, a functional language that only contains nand as an operator could define its functions with 3 tokens: a b c where a is the name of the function and it's return value is "b nand c" where b and c are function calls. If you wanted to get fancy you could do partial evaluation and first class functions but I don't think it's necessary. < 1492917325 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ok, if a property of reals is nontrivial, then by applying the least upper bound property you can find a real that has no open neighborhood that doesn't intersect both sets, which would imply what you want if it were computable... but i'm not sure it must be. < 1492917359 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(both sets being the ones that have the property and those that don't.) < 1492917362 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: If "decidable" means "clopen", then no property of the reals is decidable with the standard topology. < 1492917412 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :are computable reals dense in the reals? < 1492917419 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :orby: yes. < 1492917421 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1492917421 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I suppose they have to be since rationals are < 1492917458 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :neato < 1492917489 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: there are sets that are clopen in the relative topology of the computable reals, but they're probably then undecidable for other reasons. < 1492917513 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(e.g. "is this number > omega") < 1492917672 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1492917694 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :omega? < 1492917728 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1492917736 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :orby: your 3 tokens seem to be functionally defining a circuit of nand gates, then. you're going to need some initial variables too. < 1492917738 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1492917775 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: chaitin's omega, wasn't it? < 1492917797 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that omega. < 1492917826 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :oerjan: yes, that's what I'm thinking. What do you mean by initial variables? Like the ability to define f(x, y) := x nand y? < 1492917863 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: hm can't you take your decision algorithm and turn it around into a search for an element at the boundary of where it applies... < 1492917884 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :orby: yeah < 1492917911 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :Yeah, I was imagining something like: < 1492917919 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :and < 1492917919 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :nand(x, y) x y < 1492917920 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric : and(x, y) nand(x, y) nand(x, y). < 1492917925 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :etc. < 1492917951 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :but I'm still searching for a more elegant way to define the relationships between the functions because I think it can be written more simply < 1492918015 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Oops, there are some thing missing in GURPS. Such as, if you want your familar's wounds to affect you too but not other way around (it says how to do it both ways, and how to do it so that your wounds affect your familiar only, but it doesn't say how to do if your familiar's wounds affect you only). < 1492918181 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: hm i think you can do a bisection search, if you start with two computable reals that have different answers. < 1492918219 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that will give you a new computable real in the limit of both sets. < 1492918287 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and then it cannot halt for that real because then there would be a neighborhood where it also gave the same answer. < 1492918297 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Q.E.D. < 1492918330 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :s/it/the decision algorithm/ < 1492918488 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :orby: well you could leave out the variables if all the functions in the definition took the same list < 1492918499 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1492918501 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but that's not good for reuse. < 1492918526 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1492918538 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :oerjan: reuse is for sissies :) < 1492918552 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or you could identify them by index, then you can drop them on the result. < 1492918606 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :perhaps combine those, so the default is to have the same list < 1492918617 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :hmmm, well, what is really essential here? I think it's necessary that we be able to support different arities < 1492918642 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :would including first class functions make this simpler in any way? < 1492918657 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :or currying? < 1492918675 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not simpler < 1492918689 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :perhaps more concise < 1492918698 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :yeah, concise is a better word < 1492918703 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and nand nand < 1492918728 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1492918736 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes. < 1492918739 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :but how would we know that's not and(a, b, c, d) nand(a, b) nand(c, d) instead of and(a, b) nand(a, b) nand(a, b) < 1492918778 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :orby: because by default, that's equivalent to and(1,2,3,...) nand(1,2,3,...) nand(1,2,3,...) < 1492918790 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and nand only uses its first two arguments < 1492918815 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I see what you're saying < 1492918818 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i.e. make them all have infinite arguments, just don't use them. < 1492918825 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :right right < 1492918836 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :hmmm interesting < 1492918899 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or nand(1,1) nand(2,2) < 1492918911 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :exactly < 1492918925 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :do you think that is enough for turing completeness? < 1492918931 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not nand(1,1) nand(1,1) < 1492918932 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :w/o fcf? < 1492918940 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :not 1 1 < 1492918943 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no. you're not going to get infinite memory. < 1492918959 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*unbounded < 1492918971 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's enough for boolean completeness. < 1492919016 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm not 1 1 wasn't a syntax i was considering, but i guess it works < 1492919045 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh of course nand(1,1) was wrong. < 1492919060 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :f f(1) g(2) < 1492919074 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :err, f f(1, 2) g(2) < 1492919075 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :id nand(1,1) nand(1,1) < 1492919081 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :yeah < 1492919092 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :f f g(3) < 1492919093 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :there we go < 1492919141 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :resolving loops would be interesting < 1492919153 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :from an interpreters point of view < 1492919174 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :could give a paradox. < 1492919199 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if the circuit is time-dependent, it's no longer functional... < 1492919231 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I don't understand how that introduces time dependency < 1492919271 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :wouldn't it just be an infinite expression tree? < 1492919277 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it's either time dependency or potential paradox. < 1492919283 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1492919284 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ic < 1492919300 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you're not identifying any nodes... < 1492919310 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that might give nondeterminism instead. < 1492919320 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I do not know < 1492919328 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I haven't thought about it in depth < 1492919366 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no wait it doesn't create an infinite number of nodes. < 1492919382 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or... < 1492919389 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :argh < 1492919418 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :f f(1,2) g(2) means f(x,y) = nand(f(x,y),g(y)) < 1492919450 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :so if f f g(3), then f(true, true, false) := (((f(true, true, false) nand g(false)) nand g(false)) nand g(false))... < 1492919452 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's a paradox if g(y) is true. < 1492919474 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I don't think so, because each nand alternates < 1492919488 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :and g(y) is either true or false < 1492919499 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :so one of them trips a nand < 1492919511 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :or maybe I'm just confusing myself < 1492919535 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :What is the probability distribution of the difference of two independent uniform random variables with different ranges? < 1492919541 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :ACTION is thinking < 1492919548 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if you don't consider the inner f(x,y) to give the same result, then you have nondeterminism. < 1492919624 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :(And what is the way to figure it?) < 1492919693 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :yeah, I think you're right < 1492919757 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :but isn't that just the equivalent of an infinite loop? < 1492919761 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: you could draw a rectangle representing the ranges of each, then diagonal lines where the subtraction is constant, then the probability of a difference should be the length of the intersection. < 1492919777 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1492919797 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that looks like it would be a piecewise linear thing. < 1492919807 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1492919819 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes. < 1492919849 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*proportional to the length. < 1492919855 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I intend the equation rather than the graph, but OK < 1492919868 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well i'm too lazy to find the equation. < 1492919917 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :What is the method of figuring out the equation? < 1492919942 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :geometry? < 1492920071 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :orby: it's an infinite loop into the past, yeah < 1492920091 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :hmm, consider f 1 g, g 1 f, f(true) := (true NAND g(true)) = (true NAND (true NAND f(true)) < 1492920116 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :if we were using a reversible gate rather than NAND, then it'd be possible to isolate the f's < 1492920156 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :but it would be much less concise :( < 1492920541 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :oerjan: what if we introduced a third truth value for undeterminable < 1492920596 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: oh. subtracting is the same as adding after negating the range of the second variable. < 1492920601 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :so, in the case above, f(true) = undeterminable, f(false) = true < 1492920744 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :the problem of deciding whether or not a function is determinable is probably undecidable :( < 1492920749 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :oerjan: Yes, it is that. (I am still not quite sure how to figure it?) < 1492920758 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :(But I did realize that already) < 1492920955 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm i'm thinking wrong about the scaling factor < 1492921051 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok when adding ranges [0,a] and [0,b] where b >=a, i think the distribution function is x, 0 <= x <= a; sqrt(2), a <= x <= b; a+b-x, b <= x <= a+b < 1492921125 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :probability density function, that is. < 1492921130 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :er < 1492921182 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :make that sqrt(2) into 1, maybe. < 1492921194 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(it was left over after i fixed the scaling for the rest) < 1492921257 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: ^ < 1492921267 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I did think of setting the ranges to start at zero, actually, so I suppose it can help. Because, then you just have one more constant so, is more easily. < 1492921308 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :But then, I would need the cdf rather than the pdf. Can that be figured by the antiderivative? < 1492921318 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1492921326 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1492921331 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :x^2/2 for the first branch < 1492921358 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :1-(a+b-x)^2/2 for the last one, i should think < 1492921383 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(by symmetry) < 1492921429 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :OK < 1492921505 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :What if we allowed first class functions and used explicit function evaluation, so f f 1 would be ((f(x))(y))(z) := (((f nand x) nand y) nand z), wouldn't that allow for the equivalent of unbounded memory access? < 1492921694 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait i'm still messing up the scaling. < 1492921823 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a*x^2/(2*b), 1 - (a+b-x)^2/(2*a*b) < 1492922177 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait wat < 1492922183 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :x^2/(2*a*b) < 1492922377 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Ping timeout: 240 seconds < 1492922720 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :I think that makes more sense with tail recursion, so f 1 f would be (f(x))(y) ... := (x nand (y nand f)) ... then f would consume an infinite number of values and would halt and return 1 iff one of those values was 0 < 1492922834 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 PRIVMSG #esoteric :no that's not exactly right, it would return the parity of the position of the first 0 < 1492922871 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zzo38: x^2/(2*a*b) for x <= a; a/(2*b) + (x - a)/b for a <= x <= b; 1 - (a+b-x)^2/(2*a*b) for b <= x <= a+b < 1492922930 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :um the middle one is also x/b - a/(2*b) < 1492922981 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and that seems to fit together at least. < 1492923891 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :OK < 1492925836 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hbv < 1492927836 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: So if you want to put "Foo a" in a data type, you have three options: data T = T (forall a. Foo a); data T = forall a. T (Foo a); data T a = T (Foo a) < 1492927872 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What if you have a constraint? You can write data T = T (forall a. K a => Foo a); data T = forall a. K a => T (Foo a) < 1492927882 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there an equivalent for the parameterized version? < 1492927990 0 :dingbat!uid70835@gateway/web/irccloud.com/x-bqsdnxxcgembignw QUIT :Quit: Connection closed for inactivity < 1492928145 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Apparently literally every empire is denouncing Egypt < 1492928213 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@let data T a = forall b. (b ~ a, Ord a) => T (Maybe a) < 1492928215 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1492928224 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t T < 1492928225 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Ord a => Maybe a -> T a < 1492928305 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@let data U a = Ord a => T (Maybe a) < 1492928306 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:193:12: error: < 1492928306 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Multiple declarations of ‘T’ < 1492928306 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Declared at: .L.hs:191:12 < 1492928312 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@let data U a = Ord a => U (Maybe a) < 1492928314 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1492928324 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t U < 1492928325 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Ord a => Maybe a -> U a < 1492928330 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :seems equivalent, hm < 1492928359 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: anything wrong with that? < 1492928367 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With what? < 1492928372 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I see. < 1492928381 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You could also write data U a = U (Ord a => Maybe a) < 1492928395 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One is "existential", the other is "universal". < 1492928425 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But neither is a "parameter" < 1492928431 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whatever that would mean. Maybe it's meaningless. < 1492928433 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :how so? < 1492928446 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean that one is a tuple and the other is a function. < 1492928500 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Your U a = (Ord a *> Maybe a) < 1492928568 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i have no idea what you're asking, then. < 1492928725 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure either. < 1492928761 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are three standard ways to bind a variable, and only two standard ways to constrain it. < 1492928778 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, the *> version is the opposite of a constraint. Whatever that is. < 1492928791 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :An endowment. < 1492928910 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@data Ord a => AncientEvil a => A a < 1492928910 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1492928914 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@let data Ord a => AncientEvil a => A a < 1492928915 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Parse failed: Illegal data/newtype declaration < 1492928923 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ooops < 1492928927 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@let data Ord a => AncientEvil a = A a < 1492928927 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:195:6: error: < 1492928927 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Illegal datatype context (use DatatypeContexts): Ord a => < 1492928947 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's so evil my fingers refuse to type it correctly < 1492929819 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1492930222 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1492930239 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, there's that, but that's clearly not it. < 1492930242 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whatever it is. < 1492932067 0 :orby!60eaeacb@gateway/web/freenode/ip.96.234.234.203 QUIT :Ping timeout: 260 seconds < 1492932875 0 :augur!~augur@2601:640:8001:4222:1c2e:21ce:37b9:471f JOIN :#esoteric < 1492932883 0 :augur!~augur@2601:640:8001:4222:1c2e:21ce:37b9:471f QUIT :Remote host closed the connection < 1492932962 0 :augur!~augur@2601:640:8001:4222:1c2e:21ce:37b9:471f JOIN :#esoteric < 1492935779 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You must do X and you must do Y <-> you must do (X and Y) < 1492935794 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You may do X and you may do Y <-> you may do (X or Y) < 1492935815 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's a logic context for that? < 1492935829 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Constraints vs. freedoms. < 1492935886 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :deontic logic? < 1492935941 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, that's more specific an answer than I expected. < 1492936536 0 :augur!~augur@2601:640:8001:4222:1c2e:21ce:37b9:471f QUIT :Remote host closed the connection < 1492936559 0 :augur!~augur@2601:640:8001:4222:1c2e:21ce:37b9:471f JOIN :#esoteric < 1492936630 0 :augur!~augur@2601:640:8001:4222:1c2e:21ce:37b9:471f QUIT :Remote host closed the connection < 1492937274 0 :xfix!~konrad@unaffiliated/xfix QUIT :Read error: Connection reset by peer < 1492937350 0 :xfix!~konrad@unaffiliated/xfix JOIN :#esoteric < 1492937370 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 QUIT :Ping timeout: 246 seconds < 1492937412 0 :j-bot!eldis4@firefly.nu QUIT :Ping timeout: 260 seconds < 1492937674 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 JOIN :#esoteric < 1492938180 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hi < 1492938187 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue QUIT :Ping timeout: 255 seconds < 1492938306 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: But you have the same situation with e.g. Haskell-style constraints. < 1492938309 0 :FireFly!znc@freenode/staff/firefly QUIT :Ping timeout: 600 seconds < 1492938317 0 :AnotherTest!~turingcom@ptr-82l26ze56iary29dlu6.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1492938319 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think there's a more general thing I'm thinking of whose name I can't remember. < 1492938359 0 :FireFly!znc@freenode/staff/firefly JOIN :#esoteric < 1492938437 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: modal logic? the "alethic" section of that wikipedia page might also match dependent on exactly what you mean by "must" and "may". < 1492938459 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe. < 1492941918 0 :MoALTz!~no@77-254-9-16.adsl.inetia.pl JOIN :#esoteric < 1492942207 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1492943481 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1492944565 0 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :A modal logic programming language would be col < 1492945534 0 :LKoen!~LKoen@2a01:e35:2eed:a430:d862:f09:49f2:4dbc JOIN :#esoteric < 1492945586 0 :AnotherTest!~turingcom@ptr-82l26ze56iary29dlu6.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 260 seconds < 1492946249 0 :AnotherTest!~turingcom@ptr-82l26zfiysk602doptt.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1492946711 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :would you think, perhaps, that it would necessarily be cool? < 1492948593 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1492949006 0 :LKoen!~LKoen@2a01:e35:2eed:a430:d862:f09:49f2:4dbc QUIT :Remote host closed the connection < 1492949611 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1492949613 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :madness//madness lies thataway. < 1492949973 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :ACTION pushes a number onto the stack < 1492950064 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :ACTION observes rdococ pushing numbers on stacks < 1492950100 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :ACTION writes a blank onto the tape < 1492950147 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I've just realized why the universe is so weird at the microscopic level. < 1492950166 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :it runs on a hybrid of Entropy and Malbolge :P < 1492951854 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1492954718 0 :augur!~augur@2601:640:8001:4222:841c:e62a:5f4d:e3b2 JOIN :#esoteric < 1492955001 0 :augur!~augur@2601:640:8001:4222:841c:e62a:5f4d:e3b2 QUIT :Ping timeout: 260 seconds < 1492955480 0 :MoALTz!~no@77-254-9-16.adsl.inetia.pl QUIT :Quit: Leaving < 1492955643 0 :yorick!~yorick@oftn/oswg-member/yorick JOIN :#esoteric < 1492956763 0 :MoALTz!~no@77-254-9-16.adsl.inetia.pl JOIN :#esoteric < 1492958018 0 :bender!~Bender|@2404:e800:e61a:15a:f0c0:9871:b61a:1b03 JOIN :#esoteric < 1492958064 0 :LKoen!~LKoen@2a01:e35:2eed:a430:9892:669b:4b26:f035 JOIN :#esoteric < 1492958886 0 :bender!~Bender|@2404:e800:e61a:15a:f0c0:9871:b61a:1b03 QUIT :Quit: [rebooting] < 1492959084 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 JOIN :#esoteric < 1492960212 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1492960808 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: YAK CHICKEN < 1492962862 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1492965459 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1492966360 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1492968789 0 :augur!~augur@2601:640:8001:4222:d108:98d9:10d5:4f03 JOIN :#esoteric < 1492969364 0 :augur_!~augur@2601:640:8001:4222:1467:6b0e:bbb7:89b8 JOIN :#esoteric < 1492969486 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1492969506 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 QUIT :Ping timeout: 258 seconds < 1492969571 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1492969582 0 :augur!~augur@2601:640:8001:4222:d108:98d9:10d5:4f03 QUIT :Ping timeout: 240 seconds < 1492969590 0 :MoALTz_!~no@77-254-9-16.adsl.inetia.pl JOIN :#esoteric < 1492969743 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1492969782 0 :MoALTz!~no@77-254-9-16.adsl.inetia.pl QUIT :Ping timeout: 240 seconds < 1492969892 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 JOIN :#esoteric < 1492970338 0 :augur!~augur@2601:640:8001:4222:a465:d68:e294:901a JOIN :#esoteric < 1492970522 0 :augur_!~augur@2601:640:8001:4222:1467:6b0e:bbb7:89b8 QUIT :Ping timeout: 240 seconds < 1492970996 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 QUIT :Ping timeout: 260 seconds < 1492971162 0 :augur_!~augur@2601:640:8001:4222:a561:1a06:449c:27a6 JOIN :#esoteric < 1492971381 0 :augur!~augur@2601:640:8001:4222:a465:d68:e294:901a QUIT :Ping timeout: 260 seconds < 1492971390 0 :augur!~augur@2601:640:8001:4222:ede0:183:bef1:545a JOIN :#esoteric < 1492971549 0 :MoALTz_!?@? NICK :MoALTz < 1492971608 0 :augur_!~augur@2601:640:8001:4222:a561:1a06:449c:27a6 QUIT :Ping timeout: 255 seconds < 1492971892 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :when do le polls fermay in le fronsais election < 1492972350 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1492972564 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1492972832 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1492973601 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: More generally, you have F(A and B) = F(A) and F(B) vs. F(A or B) = F(A) and F(B) < 1492973635 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are those called? < 1492973884 0 :augur!~augur@2601:640:8001:4222:ede0:183:bef1:545a QUIT :Remote host closed the connection < 1492975465 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i feel like i'm letting oerjan down right now < 1492975499 0 :augur!~augur@2601:640:8001:4222:ede0:183:bef1:545a JOIN :#esoteric < 1492975506 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :he has that effect on people hth < 1492975533 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sitting in a theatef for a performance of the royal shakespeare company's matilda < 1492975714 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1492976053 0 :augur!~augur@2601:640:8001:4222:ede0:183:bef1:545a QUIT :Remote host closed the connection < 1492976778 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1492976822 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Read error: Connection reset by peer < 1492976857 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1492977247 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 JOIN :#esoteric < 1492977611 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 QUIT :Ping timeout: 260 seconds < 1492977638 0 :angrykoala!53316341@gateway/web/freenode/ip.83.49.99.65 JOIN :#esoteric < 1492977755 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 JOIN :#esoteric < 1492977932 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=De4-aF2DIiw < 1492978732 0 :Cale!~cale@2607:fea8:98e0:694:74dd:4402:5301:e694 QUIT :Remote host closed the connection < 1492978749 0 :angrykoala!53316341@gateway/web/freenode/ip.83.49.99.65 QUIT :Quit: Page closed < 1492978882 0 :Cale!~cale@2605:8d80:6a3:261f:dd2f:8e25:6a54:6bbd JOIN :#esoteric < 1492979238 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1492980284 0 :LKoen!~LKoen@2a01:e35:2eed:a430:9892:669b:4b26:f035 QUIT :Remote host closed the connection < 1492980441 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1492980722 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1492980936 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 QUIT :Ping timeout: 260 seconds < 1492981025 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1492981125 0 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1492981174 0 :Cale!~cale@2605:8d80:6a3:261f:dd2f:8e25:6a54:6bbd QUIT :Remote host closed the connection < 1492983211 0 :MoALTz!~no@77-254-9-16.adsl.inetia.pl QUIT :Quit: Leaving < 1492984626 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 JOIN :#esoteric < 1492984944 0 :Kanoxbox_!~Ryback@p79039fd9.kngwnt01.ap.so-net.ne.jp JOIN :#esoteric < 1492985275 0 :Kanoxbox_1!~Ryback@p79039fd9.kngwnt01.ap.so-net.ne.jp JOIN :#esoteric < 1492985382 0 :Kanoxbox_!~Ryback@p79039fd9.kngwnt01.ap.so-net.ne.jp QUIT :Ping timeout: 240 seconds < 1492985567 0 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1492985651 0 :Kanoxbox_!~Ryback@p79039fd9.kngwnt01.ap.so-net.ne.jp JOIN :#esoteric < 1492985730 0 :Kanoxbox_1!~Ryback@p79039fd9.kngwnt01.ap.so-net.ne.jp QUIT :Ping timeout: 240 seconds < 1492985759 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1492985857 0 :Kanoxbox_!~Ryback@p79039fd9.kngwnt01.ap.so-net.ne.jp PART #esoteric : < 1492987156 0 :AnotherTest!~turingcom@ptr-82l26zfiysk602doptt.18120a2.ip6.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1492987222 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1492987358 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=328TJP0WDvE < 1492987492 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Ping timeout: 258 seconds < 1492987759 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=Va9GbB-Meok&t=220s < 1492988297 0 :bender!~Bender|@2404:e800:e61a:15a:2969:89a1:3bf0:c84 QUIT :Ping timeout: 258 seconds < 1492990354 0 :LKoen!~LKoen@2a01:e35:2eed:a430:1d34:cc3a:214e:fa24 JOIN :#esoteric < 1492990436 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1492990473 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1492990479 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1492990722 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 240 seconds < 1492991391 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1492991497 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 240 seconds