< 1443484803 497253 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wiser words have never been spoken < 1443484887 406382 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 M10 02http://esolangs.org/w/index.php?diff=44507&oldid=44506 5* 03Timwi 5* (+0) 10 < 1443484889 71816 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*Parry < 1443484999 325771 :bb010g!uid21050@gateway/web/irccloud.com/x-zknlxjhwnvfueabf QUIT :Quit: Connection closed for inactivity < 1443485303 457632 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1443485602 303099 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1443485686 690584 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 M10 02http://esolangs.org/w/index.php?diff=44508&oldid=44507 5* 03Timwi 5* (+29) 10/* Examples / Ekzemploj */ < 1443486169 642215 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1443486353 433524 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 10 02http://esolangs.org/w/index.php?diff=44509&oldid=44508 5* 03Timwi 5* (+162) 10some categories // kelkaj kategorioj < 1443486376 284166 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Works in progress14]]4 10 02http://esolangs.org/w/index.php?diff=44510&oldid=40574 5* 03Timwi 5* (+65) 10[[Espro]] < 1443486395 330473 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Works in progress14]]4 M10 02http://esolangs.org/w/index.php?diff=44511&oldid=44510 5* 03Timwi 5* (-65) 10Oh, sorry, didn’t notice the note about solo projects. < 1443486631 424665 :lemurian!~sh4n3@unaffiliated/lemurian QUIT :Ping timeout: 265 seconds < 1443486660 714107 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443486715 888452 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What weird formats could we encode languages in? < 1443486748 278534 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :TXT, MIDI, and PNG are the only ones I've seen so far < 1443486942 491256 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1443487201 608533 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1443487219 71668 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it QUIT :Ping timeout: 240 seconds < 1443487331 304482 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it JOIN :#esoteric < 1443487916 646297 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 M10 02http://esolangs.org/w/index.php?diff=44512&oldid=44509 5* 03Timwi 5* (+19) 10 < 1443487935 542486 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 M10 02http://esolangs.org/w/index.php?diff=44513&oldid=44512 5* 03Timwi 5* (+27) 10 < 1443489128 482757 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 M10 02http://esolangs.org/w/index.php?diff=44514&oldid=44513 5* 03Timwi 5* (+1) 10/* Types / Tipoj */ Oops! / Upse! < 1443489293 227453 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 M10 02http://esolangs.org/w/index.php?diff=44515&oldid=44514 5* 03Timwi 5* (-1) 10 < 1443489377 46586 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it QUIT :Quit: Sto andando via < 1443489504 65627 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I would like to see a language designed with the goal of being the exact opposite of TC < 1443489519 470644 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Like, an antiuring machine < 1443489545 521344 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how would you define the opposite of TC, though? < 1443489555 184813 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :hppavilion[1]: I have made a dozen evolution and ecology simulations as a hobby, do you want to collaborate? < 1443489598 686632 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :doesthiswork: On a later project, perhaps, but this one is for a school project. < 1443489625 528097 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: I don't know. Perhaps it has the power to decrease the computational class of /other/ things? < 1443489670 30635 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :doesthiswork: Do you have a GitHub? < 1443489733 826673 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :not anymore, my signing certificate is out of date and browsers obsolete < 1443489746 637728 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh :/ < 1443489748 596923 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, what? < 1443489749 844795 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :I should probably get it working again < 1443489760 364470 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I have no clue what any of that means xD < 1443489799 966198 :bb010g!uid21050@gateway/web/irccloud.com/x-bsmirljammywkujj JOIN :#esoteric < 1443489958 559816 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : What weird formats could we encode languages in? ais523: I don't know. Perhaps it has the power to decrease the computational class of /other/ things? < 1443489972 535186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I saw those, went to the toilet (for unrelated reasons), and had an esolang idea by the time I was back at the computer < 1443489980 307845 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :time to make an article < 1443489986 770993 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 10 02http://esolangs.org/w/index.php?diff=44516&oldid=44515 5* 03Timwi 5* (+395) 10/* Types / Tipoj */ < 1443490008 823546 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Read error: Connection reset by peer < 1443490020 906626 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Heh < 1443490064 410066 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :"PLEASE READ!!! < 1443490064 589983 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Facebook will begin stealing your undergarments at midnight tonight if you don't copy & paste this message in the next hour, forward it to everyone in your mailing list, print a hard copy for your grandmother & call your third grade teacher. This is real. I got the message first hand from Elvis who was having lunch with Bigfoot, while riding the Loch Ness monster. It was even on the inside back cover of every tabloid in the grocery store < 1443490064 590062 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :checkout line. Not only will Facebook start charging you tomorrow, they are also going to bill your credit card for the past 3 years of services. Luckily, each person who copies & pastes this status will receive a FREE unicorn in the mail tomorrow. However, if you don't repost this status, Facebook code has been set up to automatically set your computer on fire & harm an innocent bunny in the forest! It's all true, it was on the news! It's < 1443490066 963274 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :official! Facebook users will believe anything their friends copy & paste into their status (Don't forget the hearts!! All good copy and pastes gotta have hearts if not maybe no unicorn!!)" < 1443490135 652455 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 M10 02http://esolangs.org/w/index.php?diff=44517&oldid=44516 5* 03Timwi 5* (+242) 10 < 1443490173 190023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: what's your Esolang username? < 1443490310 229410 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 M10 02http://esolangs.org/w/index.php?diff=44518&oldid=44517 5* 03Timwi 5* (+284) 10/* Statements / Ordonoj */ < 1443490515 838605 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Timwi14]]4 10 02http://esolangs.org/w/index.php?diff=44519&oldid=35304 5* 03Timwi 5* (+69) 10 < 1443490528 321855 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1443490576 141853 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Mornington Crescent14]]4 M10 02http://esolangs.org/w/index.php?diff=44520&oldid=44154 5* 03Timwi 5* (+0) 10 < 1443490738 31261 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Mornington Crescent14]]4 M10 02http://esolangs.org/w/index.php?diff=44521&oldid=44520 5* 03Timwi 5* (+0) 10/* Environment */ < 1443491088 611147 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Mornington Crescent14]]4 10 02http://esolangs.org/w/index.php?diff=44522&oldid=44521 5* 03Timwi 5* (-25) 10No longer output-only since the accumulator now starts with the value of STDIN < 1443491733 471388 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[079014]]4 N10 02http://esolangs.org/w/index.php?oldid=44523 5* 03Ais523 5* (+3635) 10new language < 1443491754 637276 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Ais52314]]4 10 02http://esolangs.org/w/index.php?diff=44524&oldid=44003 5* 03Ais523 5* (+8) 10+[[90]] < 1443491781 286364 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=44525&oldid=44399 5* 03Ais523 5* (+9) 10/* Non-alphabetic */ +[[90]] < 1443491785 743456 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there we go < 1443491795 615198 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :any opinions on http://esolangs.org/wiki/90 ? < 1443491821 452701 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is possibly my weirdest language ever, given that it violates my normal assumptions about what a programming language /is/ < 1443492211 461942 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also one of the least likely to be implemented, I guess, even though it's actually quite easy to implement < 1443492223 232616 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and one highest up in the "if I'm going to test this, I'll use a VM" stakes < 1443492621 217034 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1443492632 743101 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1443493222 287796 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: does a 90 program operate on itself? < 1443493236 144548 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :coppro: no, although two 90 programs operate on each other < 1443493262 754629 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if it did operate on itself, the details of the compiler would have a large impact on the way the program behaved < 1443493268 530926 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and thus would probably need to be specified < 1443493284 135983 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and one possibility would be to intentionally avoid generating patterns where possible) < 1443493297 411370 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(so that it would be equivalent to the current case) < 1443494284 109456 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Unless you have lots of 1- or 2-byte patterns, it should be possible to avoid all patterns in the source < 1443494331 296052 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Actually no, there are things like syscall arguments, which can't be obfuscated < 1443494429 189092 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I'm a bit disappointed that this language wasn't invented by kmc < 1443494496 287352 :hppavilion[1]!~Devourero@133-171-58-66.gci.net JOIN :#esoteric < 1443494514 949219 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: why kmc in particular? < 1443494805 470555 :hppavilion[1]!~Devourero@133-171-58-66.gci.net PRIVMSG #esoteric :ais523: That language is amazing < 1443494814 929047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thanks < 1443494822 641481 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1443494984 694227 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, this is a language that can turn a system into a theme park of nopslides < 1443495008 725732 :hppavilion[1]!~Devourero@133-171-58-66.gci.net PRIVMSG #esoteric :ANUUUUUU < 1443495099 33474 :hppavilion[1]!~Devourero@133-171-58-66.gci.net PRIVMSG #esoteric :Here's an idea for a language: < 1443495114 242704 :hppavilion[1]!~Devourero@133-171-58-66.gci.net PRIVMSG #esoteric :One that revolves entirely around doing things with pi AND is TC < 1443495621 429525 :hppavilion[1]!~Devourero@133-171-58-66.gci.net PRIVMSG #esoteric :Someone should design languages named after /other/ circles of Hell < 1443496313 266341 :hppavilion[1]!~Devourero@133-171-58-66.gci.net QUIT :Ping timeout: 256 seconds < 1443497288 374164 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :dis and malbolge aren't circles of hell though < 1443497323 441101 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :dis is a city in hell and malbolge is a series of pits < 1443497361 398087 :Frooxius!~Frooxius@173-167-121-101-sfba.hfc.comcastbusiness.net JOIN :#esoteric < 1443497578 398412 :qwertyo!~qwertyo1@wn-res-nat-129-97-125-68.dynamic.uwaterloo.ca JOIN :#esoteric < 1443498096 437468 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1443498742 938279 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443498743 299449 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1443499133 702828 :Froox!~Frooxius@173-167-121-101-sfba.hfc.comcastbusiness.net JOIN :#esoteric < 1443499332 406583 :Frooxius!~Frooxius@173-167-121-101-sfba.hfc.comcastbusiness.net QUIT :Ping timeout: 264 seconds < 1443501616 403270 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1443502178 501916 :Froox!~Frooxius@173-167-121-101-sfba.hfc.comcastbusiness.net QUIT :Quit: *bubbles away* < 1443504433 889368 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1443504634 476301 :hppavilion[1]!~Devourero@133-171-58-66.gci.net JOIN :#esoteric < 1443505078 989189 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 260 seconds < 1443505569 464844 :J_Arcane!~chatzilla@37-219-59-230.nat.bb.dnainternet.fi QUIT :Ping timeout: 255 seconds < 1443507959 705578 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 264 seconds < 1443509509 540115 :JesseH!~JesseH@oftn/member/JesseH QUIT :Read error: Connection reset by peer < 1443509675 342891 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07J-why14]]4 10 02http://esolangs.org/w/index.php?diff=44526&oldid=44113 5* 03Jabutosama 5* (+129) 10 < 1443509986 719698 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07J-why14]]4 10 02http://esolangs.org/w/index.php?diff=44527&oldid=44526 5* 03Jabutosama 5* (+73) 10 < 1443511428 459109 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 272 seconds < 1443512256 390547 :qwertyo!~qwertyo1@wn-res-nat-129-97-125-68.dynamic.uwaterloo.ca QUIT :Ping timeout: 264 seconds < 1443512266 897181 :qwertyo!~qwertyo1@2620:101:f000:3006::894 JOIN :#esoteric < 1443512689 421863 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :You know, the holy war about the one true version control system is worse in some ways than the holy wars about editors or linux-based desktop environments. < 1443512757 736496 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the editor wars have mostly died down < 1443512765 914434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the DE wars have gone into reverse, since a few years ago < 1443512779 16865 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The problem is that a lot of free software history of the last decade is stored in version control repositories. Most of the time, you just have to take snapshots or releases out of these, or submit unified diffs to maintainers. But when you have to figure out the history of a really messed up bug, you need to be able to read the original version control repo, < 1443512780 623442 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because people have gone from claiming a particular DE is the best, to trying to find any DE that doesn't suck < 1443512800 310270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: :-( < 1443512803 331094 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and so you eventually may need to understand how seven or more major version control software works. < 1443512805 78794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :too accurate < 1443512869 22595 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And it's not really installing the version control software that's difficult, but understanding how they work and how to use them, because each of them have completely different ideas about what version history is about and what data is stored. < 1443512920 602394 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, those are mostly wars of the past, though now I mostly have that problem with editors. When I have time (i.e. never), I should write my own editor and my own irc client (the two could share a little of their code). < 1443512955 674142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, there are still lots of editors I like < 1443512969 827227 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although my main editor is Emacs, which isn't exactly easy to learn < 1443513056 877183 :qwertyo!~qwertyo1@2620:101:f000:3006::894 QUIT :Ping timeout: 268 seconds < 1443513116 886281 :qwertyo!~qwertyo1@2620:101:f000:3006::894 JOIN :#esoteric < 1443513136 733643 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"like", sure. but none of them is perfect, and there are changes that are impossible to add to an editor later. < 1443513179 415117 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in particular, I use joe-editor often, and there are patches for it that make it better than the vanilla (eg. fix the longstanding bug that it often can't use the last column of the terminal), but there's one thing that's really hardwired and can't be changed without rewriting most of it: < 1443513196 948781 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :namely that it insists on displaying one line of the text file in one line of the screen only. < 1443513214 649097 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Most editors can break a line of the text file to multiple screen lines, which is often useful. < 1443513267 890791 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :When you only want to fix minor things, such as the behavior of particular commands, or the keyboard layout, sure, you can do those in many editors. < 1443513292 612173 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Part of the problem is also that I'm not sure what exactly I want from an editor, and I have to figure that out too. < 1443513336 703744 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1443513404 798005 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :In particular, I can't decide if I want an modeless editor, a moded editor (with a separate insert and normal mode like vim), or a hybrid. < 1443513442 347499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I just got a spam email offering to publish my thesis as a book, but I could tell it was spam from the fact that it had clearly been mail-merged and not written very well < 1443513463 69950 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(then I decided to websearch the name of the company, and it confirmed my suspicions) < 1443513467 946475 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :So when I write the editor, I should probably try to make the best moded layout I can, and try to use it for a while, then decide if that's what I want. < 1443513478 126565 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: oh, academic spam? < 1443513484 526992 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I "like" the fact that they tried to buy the rights to the thesis without even reading it < 1443513496 654887 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(from shachaf's experience recently, I know that they haven't read it) < 1443513515 41319 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(unless shachaf works for them, which I seriously doubt given the email contents) < 1443513572 878131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my plan is to make a fortune selling illicit copies of ais523's thesis to the unsuspecting public *MWAHAHAHA* < 1443513593 116278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :here: https://en.wikipedia.org/wiki/VDM_Publishing#Criticism < 1443513633 736640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I may have seen some of their books. < 1443513646 417692 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And the worst part of the version control war is the developers that don't make releases and insist that "the easiest way" to get their software or to get old versions is to use their favourite version control software and check out a snapshot (or tagged version) from their archive. < 1443513654 55465 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or at least some people selling Wikipedia books on Amazon. < 1443513654 233493 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: if that was your plan, you'd probably have asked me for permission as shachaf, rather than pretending to be a spammer < 1443513681 723261 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :They seem to think that the easiest way to get software is for you to speak all seven or more version control software. < 1443513683 509365 :qwertyo!~qwertyo1@2620:101:f000:3006::894 QUIT :Read error: Connection reset by peer < 1443513685 324452 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44528&oldid=44487 5* 03Rdebath 5* (+468) 10Would BF still be TC with do-while loops? --> TC demonstrated < 1443513696 462236 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: which part of "illicit" was unclear < 1443513699 702332 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Is it even possible for someone to know six or more of them? I think the knowledge may be mutually exclusive. < 1443513737 56450 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :b_jonas: I think it's not that hard to use whatever VCS to check out the software, especially if they have instructions < 1443513741 855135 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: OK, put it a different way round: if you were going to illicitly publish copies of my thesis you probably wouldn't have asked for permission < 1443513748 570982 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :in particular, you don't really need to know it to do that < 1443513788 225157 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: let's see, I know git and darcs quite well, have used svn and rcs without real issues (rcs sucks but there's not much to learn), know the basics of hg, and sporadically work on the design of scapegoat < 1443513800 894824 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :olsner: yes, luckily if you just want to check it out, then it's generally not too hard. at least that's what you think until you realize that some versions of one of those seven version control system automatically executes on-checkout hooks on your client system when you checkout a version. < 1443513816 90812 :qwertyo!~qwertyo1@rn-nat-129-97-131-0.dynamic.uwaterloo.ca JOIN :#esoteric < 1443513816 268900 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: wait, rcs still exists? < 1443513831 432052 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: without asking for permission, and not getting it, how can i guarantee that the copies are illicit? < 1443513857 783509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :posing as a spammer may be the best way to not get permission < 1443513857 983145 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: yes; basically because it's an executable that can be freely copied, nobody's suceeded in eradicating all copies from existence yet < 1443513892 511358 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: a VCS that executes checkout hooks stored in a remote repository on your local system contains a security bug < 1443513897 525463 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :But by posing as a spammer, ais523 is almost certainly not going to reply, so you will not get denied permission < 1443513899 70426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and would likely be excluded from repos on that basis < 1443513928 685614 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yeah, I know, that's the problem, once one of these version controls are used, they'll exist forever. that's the whole problem. < 1443513994 495389 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, most people think so. but some people apparently think that the only thing you'd ever want to checkout with a vcs is software that you'd immediately compile and run with the same permissions on the same machine so it's not really a security bug, or something like that. it's crazy. < 1443514026 197595 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: hopefully distro package maintainers aren't those people < 1443514075 395900 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think they fixed that in later versions of that vcs or something. I hope. < 1443514093 320065 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm not even sure which vcs it was. I should try to find it out. < 1443514163 304244 :hppavilion[1]!~Devourero@133-171-58-66.gci.net QUIT :Ping timeout: 256 seconds < 1443514280 53699 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44529&oldid=44528 5* 03Rdebath 5* (+364) 10/* Would BF still be TC with do-while loops? */ < 1443514312 100508 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think it was darcs that executed such commands on a darcs get < 1443514357 370150 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : --prompt-posthook prompt before running posthook [DEFAULT] < 1443514365 811838 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I wonder if the --prompt-posthook can be overriden by the repo itself? < 1443514376 492048 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if not, it's not actually a bug (although it is a bit dubious UI-wise) < 1443514399 585164 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's also --no-posthook, but the question is, is that the default with newer versions of darcs? < 1443514438 599519 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :--prompt-posthook is the default in my currently installed version (that's what my paste was about) < 1443514508 609340 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how does it prompt? (as you know, I really prefer prefix switches over unexpected prompts ui-wise) < 1443514522 94142 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I hope it doesn't just, like, say "press enter to run posthook" or something < 1443514565 913225 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or even print "posthook? " to mimic a password prompt, but with the terminal echo on. < 1443514597 112979 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :btw, password prompts should really tell more than just "password: " < 1443514605 118930 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's probably a yn prompt < 1443514606 130074 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :most do, but some software is still stupid < 1443514616 850277 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also darcs prompts a lot, so you're already in yn prompt mode at that point < 1443514622 659628 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the docs don't imply that hooks can be copied between repos < 1443514639 409177 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me test this < 1443514680 49632 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I can't even find much info about this darcs-get thing. maybe it never really existed, just some people who preferred another vcs has accidentally made the info up when he didn't understand darcs. < 1443514689 708943 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(some mercurial people probably) < 1443514816 675168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: so I tested: a) there doesn't seem to be any prompt about the posthook by default (contrary to the docs), but b) cloning/pulling from a repo doesn't copy hooks at all < 1443514829 423079 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so there's no security issue there < 1443514850 649894 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, it's probably some mercurial guys that made that problem up then < 1443514851 959714 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :whew < 1443514897 143816 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there is a warning in the docs that you should never create a hook that runs files in the repo itself < 1443514906 30706 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is a generally applicable rule, not darcs-specific < 1443514906 208764 :qwertyo!~qwertyo1@rn-nat-129-97-131-0.dynamic.uwaterloo.ca QUIT :Ping timeout: 240 seconds < 1443514914 204816 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: sure, that makes sense < 1443514915 88064 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and that's actually a good point, I should probably fix that in NH4 < 1443514925 843453 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if I am doing that < 1443514928 401159 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I don't think I am < 1443514930 261951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm just running git < 1443514972 594132 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and in an access-controlled central repo, be VERY careful if you want to store the files defining permissions or authentication inside the repo < 1443514973 89285 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah yes, the script in the repo gets /copied/ to the hook dir, and then isn't referenced thereafter < 1443514974 688695 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I'm fine < 1443514985 86740 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: people do that? < 1443514994 32974 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: rarely, but some do < 1443515089 559749 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think it might be the same people that put the file containing the administrator password of a web-based something system (possibly also reused as THE password for everything in house) to a file that's remotely accessible under over http with a predictable name; < 1443515114 322285 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or the ones who put database server hostnames and passwords into the source files they upload to github. < 1443515154 819695 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :In theory it's possible to do safely, if you use the same access control files to make sure those files can't be accessed through the vcs server, but it's a bad idae. < 1443515204 984683 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1443515273 831611 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it's still dangerous in that it gives anyone with the rights to write to the repo the rights to do anything with the repo < 1443515321 843689 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: no, this is for repos that are per-path access controlled < 1443515347 149274 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so you give access to people to write only some paths and read only some paths < 1443515363 471069 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's rarely useful, but some people want some things < 1443515587 911896 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :svn has that thing for the servers, but I don't think I've heard of anyone putting the ACLs inside. Still, I don't doubt it isn't done. < 1443515684 993496 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1443515689 635246 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a long are-you-sure section about the path-based access control in the SVN book < 1443515691 366841 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1443515827 698555 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"don't doubt it isn't done" hehehe < 1443515875 418920 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There were too many negatives for me to survive through writing that. < 1443516000 365738 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 264 seconds < 1443516501 221587 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :incidentally, https://en.wikipedia.org/wiki/Comparison_of_version_control_software is a huge table giving a lot of info < 1443517235 453857 :heddwch!heddwch@76.8.3.189 QUIT :Read error: Connection reset by peer < 1443517271 745187 :Effilry!firefly@oftn/member/FireFly JOIN :#esoteric < 1443517281 443155 :heddwch!heddwch@76.8.3.189 JOIN :#esoteric < 1443517459 983924 :FireFly!firefly@oftn/member/FireFly QUIT :Ping timeout: 268 seconds < 1443517557 921183 :Effilry!firefly@oftn/member/FireFly NICK :FireFly < 1443519783 631894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1443519785 246551 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 290920Z 07004KT 020V130 CAVOK 14/08 Q1029 NOSIG RMK WIND 670FT 16009KT < 1443520216 269234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell shachaf But "free Z-module" is shorter than "signed multiset". <-- i think the former is a set of the latter hth < 1443520216 486435 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1443520758 375394 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh, program randomly crashes sometimes < 1443520827 427054 :J_Arcane!~chatzilla@37-219-59-230.nat.bb.dnainternet.fi JOIN :#esoteric < 1443520934 397154 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :better than randomly crashing always hth < 1443521988 452720 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :possibly < 1443522379 213641 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1443522907 287085 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1443524073 773370 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :stupid question. is there any compiler (C or other language) where as an optimization you can give hints (in eg. function attributes) that two functions are linked so that if you want to compute the result of both on the same input arguments then it's faster to call a third function that computes the result of both? eg. you'd declare a function that computes both sin and cos, or sinh and cosh. < 1443524136 435322 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for the more difficult version, the same but for objects that point to heap-allocated data that changes its values, such as bigints or bignums, where you'd use it for bigint quo-rem, div-mod, sin-cos, sinh-cosh < 1443524191 10075 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, maybe I should ask this on Haskell < 1443524193 343248 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1443524195 432155 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :on #haskell < 1443524786 274998 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1443524964 860891 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44530&oldid=44529 5* 03Int-e 5* (+420) 10/* Would BF still be TC with do-while loops? */ what a coincidence < 1443525161 309231 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: I'm tempted to say that using quotRem constitutes such a hint... but it's very unsubtle. < 1443525180 436874 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: well sure, you can call the combined function explicitly < 1443525255 553907 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and *fixint* quotient and remainder (and possibly also for machine float sin-cos and sinh-cosh) often want to be compiler intrinsics again where the compiler performs both this optimization and often other specific optimizations. < 1443525278 93065 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I wonder if there's a compiler that can automatically do this transformation for user-defined functions < 1443525304 77296 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443525405 249119 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :In particular, you can certainly call mpfr_sin_cos or mpfr_sinh_cosh explicitly on libmpfr bignums < 1443525877 753791 :boily!~alexandre@96.127.201.149 QUIT :Quit: AUTOSOMAL CHICKEN < 1443525935 106874 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1443525961 481936 :bender|!~benderx2@unaffiliated/bender/x-9459530 NICK :bender < 1443526044 80374 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 268 seconds < 1443526176 889070 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1443528563 112151 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :study[i]ng < 1443528566 198970 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :h[i]tler < 1443528569 191425 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :open your eyes < 1443528635 692931 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: hi there < 1443528636 83842 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: lli' fnord nkith ni fnord jonkun. two semicolons work much better. < 1443528653 43727 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, that could have gone better < 1443529767 876080 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1443529790 108272 :qwertyo!~qwertyo1@2620:101:f000:700:4c36:274:eb8:3e78 JOIN :#esoteric < 1443529852 167846 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1443529853 449098 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07GolfScript14]]4 10 02http://esolangs.org/w/index.php?diff=44531&oldid=43913 5* 03160.85.232.142 5* (+30) 10/* External resources */ < 1443529928 468513 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Category:Golfing language14]]4 N10 02http://esolangs.org/w/index.php?oldid=44532 5* 03160.85.232.142 5* (+110) 10Created page with "Golfing languages are languages specifically designed for [https://en.wikipedia.org/wiki/Code_golf| Codegolf]." < 1443530207 911372 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Category:Golfing language14]]4 M10 02http://esolangs.org/w/index.php?diff=44533&oldid=44532 5* 03Ais523 5* (-18) 10fix broken link syntax; also, IP, you probably shouldn't be creating new categories without discussion < 1443530259 99165 :qwertyo!~qwertyo1@2620:101:f000:700:4c36:274:eb8:3e78 QUIT :Ping timeout: 240 seconds < 1443530348 602111 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FlogScript14]]4 10 02http://esolangs.org/w/index.php?diff=44534&oldid=43161 5* 03160.85.232.142 5* (+29) 10/* External resources */ +cat: golfing language < 1443530370 265952 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FlogScript14]]4 10 02http://esolangs.org/w/index.php?diff=44535&oldid=44534 5* 03160.85.232.142 5* (+1) 10/* External resources */ ! missing closing bracket. < 1443530464 228467 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07CJam14]]4 10 02http://esolangs.org/w/index.php?diff=44536&oldid=43813 5* 03160.85.232.142 5* (+30) 10+ cat:golfing language < 1443530503 208334 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Burlesque14]]4 10 02http://esolangs.org/w/index.php?diff=44537&oldid=44133 5* 03160.85.232.142 5* (+30) 10/* Links */ + cat:golfing language < 1443531062 942120 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1443531071 38518 :mroman_!~mroman@160.85.232.142 JOIN :#esoteric < 1443531090 214430 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :ais523: pardon. I'm guilty of that @creating category < 1443531119 251579 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I've actually even added a link from Wikipedia to that category. < 1443531120 309837 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman_: so the story goes, that back in the days when Graue was Dictator Of The Wiki, a well-meaning new user decided to sort the esolangs by year < 1443531131 241388 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and created a bunch of new categories < 1443531136 385144 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Graue got annoyed at this and banned the user < 1443531159 304845 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :To discourage people from adding their own languages as "well-known" to the wikipedia code golf article < 1443531162 304708 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the "don't create new categories without permission" rule was added in an attempt to inform people about what happened < 1443531176 157767 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman_: I actually saw the link at Wikipedia < 1443531181 682779 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we have more than one golfing language, though < 1443531187 239023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I'm not sure we currently categorize by language purpose < 1443531192 398481 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443531269 500149 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :ais523: It wouldn't make sense for most probably. < 1443531294 852040 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, I think esolangs can be classified into a few purposes < 1443531305 186183 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :Well, I'm not saying they can't. < 1443531310 382201 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :Obviously I'm already doing exactly that :D < 1443531337 184073 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Pyth14]]4 10 02http://esolangs.org/w/index.php?diff=44538&oldid=42402 5* 03160.85.232.142 5* (+31) 10/* External resources */ + cat:golfing language < 1443531363 437342 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :btw: Does the esowiki have a cache pre-hooked to the webserver? < 1443531389 641745 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some esolangs are designed to be art, or ask philosophical questions about what a language is (there's sort-of an overlap there) < 1443531397 507090 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some esolangs are designed to be a language with specific properties < 1443531421 501696 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some are designed to be easy to implement (often but not always because the creator isn't that good at implementing languages, e.g. Deadfish) < 1443531441 194970 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some are designed in an attempt to find new computational models < 1443531445 899286 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and some are designed to look weird < 1443531447 961120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :any other groups? < 1443531481 442030 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I just don't think that promoting your esolang on wikipedia unless it has really picked up a lot of relevance and/or existed for several years is what wikipedia would really want. < 1443531490 638943 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :So the place to promote them is the esowiki in my opinion. < 1443531526 39611 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :Does "mimick brainfuck" count? :D < 1443531542 593903 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :oh that already exists anyway < 1443531564 465843 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :My languages are ALWAYS defined to be easily parseable with parsec < 1443531603 557994 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman_: actually I think part of the original motivation for creating Esolang was to help keep Wikipedia tidy (or to put it another way: to save all the languages that people were posting to Wikipedia even though it violated Wikipedia policy) < 1443531627 569783 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was heavily involved in that from the Wikipedia side < 1443531650 189993 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :which was a good choice. Otherwise you'd clobber wikipedia with thousands of esolangs and most of them barely have any relevance. < 1443531670 194852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :here's links to the history: https://en.wikipedia.org/wiki/User:Ais523/esolangafd < 1443531674 662846 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :wait... wrong verb < 1443531676 206922 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :clutter? < 1443531711 188047 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :Well, I guess beating up wikipedia is fine in that context too. < 1443531803 35852 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :Interesting @link < 1443531807 258161 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :Didn't know that happened. < 1443532106 239206 :zadock!~outsider@cthulhu.tuiasi.ro JOIN :#esoteric < 1443532154 534716 :zadock!~outsider@cthulhu.tuiasi.ro QUIT :Remote host closed the connection < 1443532191 193816 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :also tournaments by language on wp is wrong anyway < 1443532200 752197 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :jagc doesn't feature all those languages in the list < 1443532205 515702 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :that's only the list for anagol < 1443532217 881904 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :and I'm not even sure if you'd want to list all the languages available on anagol there < 1443532303 759182 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :jagc features perl, python, erlang, ruby, haskell bash and php < 1443532366 594577 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :shorten on spoj features a lot of languages but not as much esolangs as anagol does < 1443532913 805133 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: how about http://codegolf.stackexchange.com/ ? < 1443533172 550413 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :If you want you can add it to the wp article. Stackexchange is mentioned under "external links" < 1443533228 93999 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I personally don't like codegolf.stackexchange.com since it has no means of validation/byte count whatever < 1443533252 830705 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :It tends to have more complex problems though. < 1443533257 949882 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :as on other site with automatic validation < 1443533287 445492 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :*sites < 1443533298 567155 :XorSwap!~XorSwap@140.193.116.110 JOIN :#esoteric < 1443533341 114888 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :there are two external links, one to stackoverflow with tag and one to codegolf.stackexchange < 1443533350 564985 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I guess codegolf.stackexchange is newer < 1443533395 621173 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: yes, that's the problem, no automatic validation. it does have simple golf problems though. < 1443533403 800016 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :both simple ones and very complicated ones. < 1443533485 940271 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :That's why I don't like it. Problems are often broad. < 1443533503 247926 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :Do they want a program? Or just a function. Is input passed as arguments, read from stdin or is in a variable < 1443533506 258850 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :whatever < 1443533548 143847 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I get that people don't like anagol that much because it looks like a site from the 19** something :D < 1443533563 802958 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: yes, the specs are sometimes too broad < 1443533579 662144 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :and there's no social media involvement with anagol and that stuff < 1443533588 111481 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :you can't comment on other people's solution < 1443533601 230987 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: there's an irc channel but yeahs < 1443533601 409012 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I guess that's why most who'd consider golfing don't like anagol too much < 1443533617 441712 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe there should be an officially recommended mailing list for it? < 1443533635 171237 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I sadly don't have the resources available to make a more friendly page < 1443533642 923630 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :otherwise I'd already done that. < 1443533643 540874 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't care about friendly page < 1443533658 487842 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :me neither < 1443533680 112061 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but if the site recommended an official off-site forum, such as a mailing list, that might help < 1443533680 290169 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :there's the IRC channel @mailling list < 1443533736 38216 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :lol < 1443533741 702818 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :my hosters mailling list service is broken < 1443533747 860446 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :and they aren't going to fix that < 1443533750 483393 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :what the f*ck < 1443533774 254163 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1443533794 890670 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :that surely can't be legal < 1443533804 436771 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :if they advertise it, they have to actually provide it I'd say < 1443533808 886302 :nycs!~nycs@gw.hq.meetup.com NICK :`^_^v < 1443534027 494023 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1443534177 154594 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1443534506 946534 :TieSoul!~TieSoul@86.89.119.147 QUIT :Ping timeout: 260 seconds < 1443534610 490656 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e JOIN :#esoteric < 1443534645 395610 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1443534887 566380 :XorSwap!~XorSwap@140.193.116.110 QUIT :Ping timeout: 265 seconds < 1443534893 288900 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is there an article about that golf prelude for ruby1.8 on the esowiki yet? < 1443534927 142959 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:B jonas14]]4 10 02http://esolangs.org/w/index.php?diff=44539&oldid=44275 5* 03B jonas 5* (+23) 10 < 1443534963 547926 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1443535032 139038 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I don't know. < 1443536826 172802 :ineiros!~itniemin@dsl-hkibrasgw1-58c3fe-184.dhcp.inet.fi JOIN :#esoteric < 1443537057 23372 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1443537136 592928 :Melvar`!~melvar@dslb-178-012-157-039.178.012.pools.vodafone-ip.de JOIN :#esoteric < 1443537236 535524 :idris-bot!~idris-bot@dslb-092-072-145-004.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 265 seconds < 1443537236 750705 :Melvar!~melvar@dslb-092-072-145-004.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 265 seconds < 1443537525 625095 :Melvar``!~melvar@dslb-178-012-159-231.178.012.pools.vodafone-ip.de JOIN :#esoteric < 1443537630 599442 :Melvar`!~melvar@dslb-178-012-157-039.178.012.pools.vodafone-ip.de QUIT :Ping timeout: 240 seconds < 1443537741 355027 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :http://codepad.org/jXREgoR1 <- my brain's idea or a new board game < 1443537744 738033 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :*for < 1443537870 167663 :Melvar!~melvar@dslb-092-072-137-181.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1443538007 919356 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :I'm tempted to write a program that spawns to programs battling each other < 1443538016 577015 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :while feeding them the data through stdin/stdout < 1443538024 98891 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :so you can battle programs and strategies < 1443538035 561242 :mroman_!~mroman@160.85.232.142 PRIVMSG #esoteric :*two < 1443538048 411605 :Melvar``!~melvar@dslb-178-012-159-231.178.012.pools.vodafone-ip.de QUIT :Ping timeout: 265 seconds < 1443538112 88932 :neo1-9-7-S!~neo@p4FC75EFB.dip0.t-ipconnect.de JOIN :#esoteric < 1443538299 114533 :Melvar!~melvar@dslb-092-072-137-181.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 240 seconds < 1443538327 450660 :Melvar!~melvar@dslb-178-004-081-121.178.004.pools.vodafone-ip.de JOIN :#esoteric < 1443538477 361493 :Melvar`!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1443538636 449636 :Melvar!~melvar@dslb-178-004-081-121.178.004.pools.vodafone-ip.de QUIT :Ping timeout: 272 seconds < 1443539038 639427 :Melvar`!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de NICK :Melvar < 1443539623 324676 :APic!apic@apic.name QUIT :Ping timeout: 268 seconds < 1443539821 535480 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1443539831 45604 :APic!apic@apic.name JOIN :#esoteric < 1443540459 177314 :trn!jhj@trnsz.com QUIT :Ping timeout: 240 seconds < 1443540986 13792 :trn!jhj@trnsz.com JOIN :#esoteric < 1443542409 161624 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Quit: [Thou shalt not take the name of the Lord, thy God, ChanServ in vain] < 1443542455 485540 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hi < 1443542750 382607 :neo1-9-7-S!~neo@p4FC75EFB.dip0.t-ipconnect.de QUIT :Remote host closed the connection < 1443543235 883970 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1443543441 460431 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh no. more macros with short names. just what this code needs. < 1443543499 138737 :trn!jhj@trnsz.com QUIT :Ping timeout: 240 seconds < 1443543701 315128 :trn!jhj@trnsz.com JOIN :#esoteric < 1443543948 753112 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443544048 612302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: true < 1443544060 382719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@massages < 1443544187 941020 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1443544247 715782 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 264 seconds < 1443544347 608690 :mroman_!~mroman@160.85.232.142 QUIT :Quit: Lost terminal < 1443544627 764806 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Espro14]]4 10 02http://esolangs.org/w/index.php?diff=44540&oldid=44518 5* 03Timwi 5* (+0) 10/* Examples / Ekzemploj */ < 1443545862 274417 :MoALTz!~no@78.11.179.104 JOIN :#esoteric < 1443546496 558063 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1443548550 604808 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1443548559 450262 :mihow!~mihow@50.206.98.70 JOIN :#esoteric < 1443549323 246806 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Not really here < 1443549799 596023 :bb010g!uid21050@gateway/web/irccloud.com/x-bsmirljammywkujj QUIT :Quit: Connection closed for inactivity < 1443550027 315533 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443551117 839363 :bb010g!uid21050@gateway/web/irccloud.com/x-wwcgshwycftucfcz JOIN :#esoteric < 1443551167 466841 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 268 seconds < 1443551459 125811 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443551589 138041 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1443551592 202652 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Hi < 1443551615 427504 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :@msg oerjan What's the Funge98 vulnerability? Or can you not tell me? < 1443551615 605374 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Not enough privileges < 1443551622 390954 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :@tell oerjan What's the Funge98 vulnerability? Or can you not tell me? < 1443551622 569059 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1443551697 302791 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Read error: Connection reset by peer < 1443551791 969118 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1], hm? < 1443551795 872655 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :what is that about? < 1443551827 923227 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1], as a Funge-98 implementer I'm curious < 1443551844 779764 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Unless he is talking about the thing I found in my own implementation the other day < 1443551985 924176 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vorpal: I think it was about that. < 1443551995 826374 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1443551999 127066 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vorpal: I don't think oerjan said anything else than just setting the topic. < 1443552017 803557 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: It's the topic xD < 1443552022 281664 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1443552032 737518 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I don't see that much, since I never leave < 1443552039 184450 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :With the bouncer that is < 1443552062 680464 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, yeah the only thing I found since then is that nested k can get you stack overflow (unsurprisingly) < 1443552092 840204 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :It won't even be possible to rewrite it into tail recursion in the general case I believe < 1443552103 306367 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 250 seconds < 1443552104 328615 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Nope < 1443552161 40446 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, but that is unavoidable < 1443552292 53593 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, anyway, how goes jitfunge? < 1443552775 626554 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No news there. < 1443552796 910555 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've been quite busy lately, what with the job and finishing up the thesis, to be fair. < 1443552817 238717 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Which reminds me, time to start getting home, it's almost 8pm here. -> < 1443552837 786621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1443552840 74118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :drizzie < 1443552840 794223 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, it appears all random variable behaviour involves HRTI, TIME or y < 1443552964 41462 :nortti!nortti@ayu.smar.moe NICK :rhyfel < 1443552976 250890 :rhyfel!nortti@ayu.smar.moe NICK :nortti < 1443553407 762151 :idris-bot!~idris-bot@dslb-092-072-164-249.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1443553605 388119 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bah. The network of my mobile phone operator is otherwise reasonably okay, but there's this one corner of Victoria Station where I just can't get any sort of signal. < 1443553625 470369 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not even all of the station, just these few platforms. < 1443553974 204509 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I'd like to see a list-like data structure where the length can be any hypercomplex number < 1443553978 942793 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Or at least gaussian integers < 1443554054 344049 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1], how would it work < 1443554056 982566 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Or perhaps a past-tense programming language < 1443554064 775006 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If there are any nurses or doctors on this station, please make your way to platform 13, where your assistance is needed." < 1443554073 264704 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: That is left as an excersise for the reader < 1443554074 430716 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :xD < 1443554081 735196 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I thought that was something they only did on planes. < 1443554083 768997 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I have no clue, really. How would imaginary items work in a list? < 1443554139 821246 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Won't that just be a linked plane? < 1443554147 855478 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :fizzie: Maybe < 1443554176 432920 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Perhaps a programming language like python, but where all data has an actual spatial relation to each other (sort of like a BFian tape, but with actual variables) < 1443554260 54806 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Object-Oriented Brainfuck14]]4 N10 02http://esolangs.org/w/index.php?oldid=44541 5* 03Hppavilion1 5* (+157) 10Reserved Page < 1443554282 131464 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1], well, that is called memory? Given, say int a and int b, then &a - &b is the distance measurement between them in C < 1443554292 602442 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Oh right xDF < 1443554294 627326 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Some casting required if we are dealing with disparate types < 1443554298 96882 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :s/F// < 1443554307 611303 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :This if of course one-dimensional < 1443554315 44238 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :But in python, memory location is irrelevant < 1443554326 307643 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Yes, but I was not talking about python < 1443554334 411465 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Anyway you can get it using id() < 1443554340 176883 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vorpal: Also very undefined by standard if we're referring to separate objects. < 1443554361 780110 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :A function which always annoy me, since I think it should be identity (for use with higher order functions) < 1443554375 179291 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, well yes < 1443554388 94151 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I know you weren't < 1443554892 879807 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1443554908 185745 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :"Flappy Bird Combinator" < 1443556122 739162 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Are negative Church Numerals possible? < 1443556140 78158 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :no < 1443556152 518633 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Oh :/ < 1443556174 151033 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Even with some convoluted λ-calcular operations on normal Chruch Numerals? < 1443556180 587065 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :no < 1443556186 615344 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Like, the document I just read defined the predecessor function < 1443556194 45627 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :What would happen if I called P(0) < 1443556211 364134 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :1 f x = f x < 1443556236 621856 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :OK... < 1443556237 967480 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Um... < 1443556344 342070 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :(-1 + 1) f x = -1 f (1 f x) = -1 f (f x) = 0 f x = x < 1443556380 741879 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :thus -1 f is the inverse of f, but lambda expressions do not have inverses in general < 1443556404 479137 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1443556576 252576 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Oh :/ < 1443556592 888979 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Wiki seems to think it's possible with Church Pairs or something < 1443556624 766184 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :well you can come up with a different encoding, yeah < 1443556647 419114 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Something about a pair with the first being the positive and the second being the negative, then swapping the values < 1443556673 664449 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :but i wouldn't call it a church numeral because church numerals are, to me, repeated function application < 1443556733 54477 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Ah < 1443556796 450141 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Well I think it'd make the most sense to represent a number as some sort of pair if definining complex numbers... < 1443556802 828517 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I mean, duh < 1443556814 906861 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :honestly? you're best off abstracting < 1443556823 986456 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :How so? < 1443556836 282964 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I don't know enough about λ-calculus to understand what that means xD < 1443556853 968011 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :(Assuming it's not the traditional meaning of "abstraction") < 1443556860 683611 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it is the traditional meaning < 1443556861 51180 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :(That is, a special meaning) < 1443556887 207003 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you have naturals, pairs and equality, you can just build the rest of your types from there < 1443556888 252549 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Ah < 1443556912 36381 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Perhaps I could define some sort of "~" function that takes a number in whatever encoding I use and returns its inverse < 1443556914 570495 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :don't really need to waste time coming up with clever, elegant encodings < 1443556941 990115 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :And i that takes an argument and returns its complex equivalent < 1443556949 625623 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Of course no cleverness can be done xD < 1443556971 467146 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Sgeo: Figure out @'s λ encoding xD < 1443557040 533855 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I still barely understand the λ-calculus < 1443557052 657557 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I understand that it has to do with moving around variables. I think. That's about it. < 1443557058 64351 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I need to read the expressions better < 1443557060 63915 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :https://github.com/rwg/aes-horror-shows/tree/master/msp430-microcorruption < 1443557070 366217 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net JOIN :#esoteric < 1443557180 344329 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I /think/ I get how it works, but it's hard to wrap my head around. λxy.yxXY = YX, correct? < 1443557193 500540 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 255 seconds < 1443557229 145597 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Phantom_Hoover: You seem to know enough about it to tell me if I'm right. Am I? < 1443557277 200509 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yes < 1443557296 885983 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i never wasted that much time on learning the variable substitution semantics though < 1443557309 404117 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :they're functions, they behave the way you expect functions to < 1443557311 472197 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :OK < 1443557342 944902 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I decided to remove special operations from my λ-calculator, as I feel it isn't very λ-calculy < 1443557362 809733 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :So you can't do 2+2. You have to do +22 < 1443557365 639772 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :And *22 < 1443557378 859982 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :And E(+22)(*22) < 1443557437 236590 :[1]blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net JOIN :#esoteric < 1443557538 613728 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Which evaluates to T < 1443557553 739531 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I love how 0 is lambdaly equivalent to F < 1443557555 133991 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I think < 1443557557 643518 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net QUIT :Ping timeout: 246 seconds < 1443557557 909084 :[1]blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net NICK :blurelIse < 1443557882 703105 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44542&oldid=44167 5* 0350.206.146.226 5* (+118) 10added Portal < 1443557905 441898 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hppavilion[1], 0 is \x y.y < 1443557931 32833 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it doesn't really have a name apart from that < 1443557937 768711 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :1 is id, though < 1443557962 63479 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh duh, you mean 0 is false < 1443558000 421956 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Phantom_Hoover: Exactly. λsz.z == λxy.y < 1443558033 983086 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Where λsz.z is how the document I read defines Church 0 and λxy.y is how it defines the Boolean False < 1443558034 876456 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :isn't it K? < 1443558061 222483 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :no, k is true is \x y.x < 1443558161 317742 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net QUIT :Ping timeout: 250 seconds < 1443558587 835252 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :of course that's just a convention; the idea is that if-then-else can be the identity function. < 1443558630 334264 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e QUIT :Read error: Connection reset by peer < 1443558737 458562 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so if-then-else b t f = b t f, and the truth values are \t f.t (i.e., K) and \t f.f (i.e., K I) < 1443558899 97511 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443559014 155058 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1443559326 522301 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 255 seconds < 1443559819 125578 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443560830 562752 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1443560896 966887 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1443561358 969273 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1443561398 934200 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1443561711 821689 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1443561736 810240 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: ZNC - http://znc.in < 1443561935 66751 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1443562003 700073 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1443562062 27549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1443562082 578091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: just joking about Vorpal's discovery < 1443562090 613707 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Oh xD < 1443562189 884358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otoh it _does_ allow arbitrary native code execution, otoh you can probably do that from funge98 in more direct ways. < 1443562209 273979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well, probably allows) < 1443562394 193279 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :What kind of logic is this from: \forall(x): (x->y)->(w->z) ? < 1443562404 611517 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 255 seconds < 1443562634 899674 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1443562819 895405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: something that allows quantifying over propositions... probably not very specific. < 1443562838 398912 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :OK < 1443562852 782824 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I really just need to know about the (x->y)->(w->z) part < 1443562867 358783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. -> is probably implication. < 1443562867 694998 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I published LIME < 1443562888 362250 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :It is; the if-then of mathematics < 1443562891 886358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what kind of implication would depend on the logic. < 1443562926 20234 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :x->y means that if x is true, then y is true. x and y are booleans, or some similar type. < 1443562942 295742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well in that case, classical logic < 1443562968 91031 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :LIME is now up and has a BUNCH of planned calculators, including the GUM calculator (Grand Unified Math) < 1443562984 973777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i suppose it depends on what "x is true" means. < 1443562995 907920 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Also, everything is unicode :) < 1443562997 266452 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you could interpret that as intuitionistic too. < 1443563014 945198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :x <-> true = x is valid for intuitionistic predicates as well. < 1443563040 219587 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I'm currently doing the Arithmetic engine because it's needed for Set Theory < 1443563043 875969 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1443563051 87877 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Should I support complex numbers in it? < 1443563056 741850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why not < 1443563057 636047 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Perhaps in a different, derived one < 1443563061 590694 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :OK < 1443563138 475339 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I'll write the arithmetical calculator, then prealgebraic calculator derived from it < 1443563189 430117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: classical logic is what ordinary math tends to use. but intuitionistic logic is more popular for theorem provers because it fits better to the curry-howard "programs as proofs" correspondence. < 1443563197 956440 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :OK < 1443563285 268170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in intuitionistic logic, (x -> false) -> false is not equal to x < 1443563304 302468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(generally) < 1443563314 675455 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :really, HOL, Coq and Isabelle/HOL, Isabelle/FOL, Isabelle/ZF all use classical logic (the Isabelle/Pure framework is intuitionistic though, I believe) < 1443563326 721390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in the other channel we were talking about "at least one" and "at most one" < 1443563342 867271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm ok < 1443563345 276244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :exists, +, surjective, total, relevant, at least one < 1443563358 492628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :unique, ?, injective, functional, affine, at most one < 1443563365 18499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so many names for the same concepts < 1443563402 867037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that means there has to be something categorical unifying them, right? < 1443563419 488283 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess I should write the first HOL and HOL4. < 1443563570 340967 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: does it? < 1443563582 19439 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: of course if you want to run a proof as code, you better avoid classical tools like the axiom of choice and the law of excluded middle. but in Coq they're still available for proving properties of functions. < 1443563591 785325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i'm just trying to make a joke that's probably true hth < 1443563636 244869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: ok, so i guess it depends on where you are on the sliding scale between theorem prover and dependently typed PL < 1443563644 231882 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :indeed. < 1443563704 999314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i had somehow the impression that Coq was intuitionistic at the core but classical logic was just one added axiom if you needed it. < 1443563820 80898 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :uh, I guess we're also discussing where the theorem prover ends and where user-written theories start < 1443563825 952045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1443563863 474249 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION hasn't ever got around to do much more than staring blankly at Coq's startup screen.
< 1443563921 186680 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I haven't used Coq seriously either, but I'm using Isabelle quite a bit. < 1443563962 17229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :afk < 1443564034 576252 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Which is definitely at the theorem prover end of the spectrum. But it supports functional programming style function definitions and can export them as code. So you can produce verified software with it.) < 1443564146 711406 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Commercial14]]4 10 02http://esolangs.org/w/index.php?diff=44543&oldid=43977 5* 03LegionMammal978 5* (+23) 10/* Hello, world! */ < 1443564219 76984 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443564274 260743 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1443564366 272958 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1443564798 374458 :trn!jhj@trnsz.com QUIT :Quit: quit < 1443564813 897946 :trn!jhj@trnsz.com JOIN :#esoteric < 1443565217 274447 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443565626 213798 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 244 seconds < 1443565668 923498 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ABCD14]]4 10 02http://esolangs.org/w/index.php?diff=44544&oldid=35541 5* 03LegionMammal978 5* (+1294) 10 < 1443565987 418553 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it JOIN :#esoteric < 1443566001 392985 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it PRIVMSG #esoteric :hi! < 1443566311 561215 :XorSwap!~XorSwap@wnpgmb1154w-ds01-161-81-114.dynamic.mtsallstream.net JOIN :#esoteric < 1443566329 967531 :XorSwap!~XorSwap@wnpgmb1154w-ds01-161-81-114.dynamic.mtsallstream.net QUIT :Remote host closed the connection < 1443566874 631322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi! < 1443566886 195638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION thinks the number of italians is going up steeply
< 1443566895 47596 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ciao < 1443566897 981009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :!list < 1443566909 304628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry, shachaf, you're not allowed to be italian too < 1443566979 306416 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it PRIVMSG #esoteric :ciao < 1443566992 929045 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it PRIVMSG #esoteric :shachaf < 1443567023 42302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you don't sound sorry < 1443567033 112915 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: did you see my failed attempt at oerjaning earlier < 1443567034 823941 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it PRIVMSG #esoteric :oerjan I'm italian :') < 1443567041 334701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sound transmits badly through irc hth < 1443567061 180297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_denis_: that's what i noticed, and you're the second to arrive recently < 1443567078 668045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who was the first one < 1443567083 411090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :was it also _denis_ < 1443567086 920946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION points at izabera
< 1443567097 254452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin is also italian hth < 1443567103 255634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SKEPTICAL < 1443567130 481792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i remember that copumpkin has a funny last name that's not at all italian-sounding. i just don't remember what it is. < 1443567150 567561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://plus.google.com/+DanielPeebles/about < 1443567241 838993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what order are those places in < 1443567250 845691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*is < 1443567286 947141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION thinks norwegian UI nationalization looks eery on that page
< 1443567355 832664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the most annoying thing about nationalized UIs is that you never know how to explain or search for things < 1443567425 965815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :turn it to english hth < 1443567454 792848 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :copumpkin: how are the working conditions of a sponge, anyway? maybe i should consider a new career... < 1443567510 636293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what is your current career? < 1443567524 927189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :disabled hth < 1443567556 665407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i have a feeling that i might be able to cope with being a sponge < 1443567590 311036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sponge (animal) or sponge (material)? < 1443567599 76252 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443567619 669107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm tricky < 1443567640 865003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i might not be that good with underwater conditions < 1443568684 796346 :mihow!~mihow@50.206.98.70 QUIT :Quit: mihow < 1443568802 453174 :hppavilion[1]!~Devourero@66.58.171.133 JOIN :#esoteric < 1443569095 342750 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oerjan: it's a lot of fun < 1443569114 789556 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I'm not really italian, but I grew up in italy and fit in pretty well < 1443569155 619432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1443569573 333895 :vifino!vifino@tty.sh QUIT :Ping timeout: 246 seconds < 1443569573 333937 :Gregor!dlopen@libdl.so QUIT :Ping timeout: 246 seconds < 1443569580 955213 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1443569585 281528 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Ping timeout: 246 seconds < 1443569585 459660 :fizzie!fis@unaffiliated/fizzie QUIT :Ping timeout: 246 seconds < 1443569591 653696 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1443569603 352668 :vifino!vifino@tty.sh JOIN :#esoteric < 1443569652 98640 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1443569807 299775 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :helO! < 1443569921 607011 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :wut is Du criticL funj nInE At vulnRabilitE? < 1443570037 127376 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it QUIT :Quit: Sto andando via < 1443570192 820325 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it JOIN :#esoteric < 1443570530 276172 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1443570650 875608 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan. critical funge vuln? < 1443570754 953110 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1443570910 23715 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :boily: I think it's in Vorpal's Funge-98 interpreter < 1443570936 681736 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavellon[1]! the horror! < 1443570947 839896 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Vellorpal. do you corroborate? < 1443571045 342333 :heroux!sandroco@gateway/shell/insomnia247/x-jmetzrkgnlfyzzjp QUIT :Ping timeout: 256 seconds < 1443571093 138454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc it involved stack stack operations giving access to out of bound memory