< 1664150635 495233 :Soni!~quassel@autistic.space QUIT :Ping timeout: 250 seconds > 1664152649 120384 PRIVMSG #esolangs :14[[07User:Theki/Dummy14]]4 10 02https://esolangs.org/w/index.php?diff=103512&oldid=101262 5* 03Theki 5* (+1233) 10 > 1664152894 406032 PRIVMSG #esolangs :14[[07Yet Another Musical Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=103513&oldid=103243 5* 03ALBANIAN-LAUNDROMAT 5* (+3) 10/* Acciaccaturas */ > 1664152962 652886 PRIVMSG #esolangs :14[[07User:Theki/Dummy14]]4 10 02https://esolangs.org/w/index.php?diff=103514&oldid=103512 5* 03Theki 5* (+705) 10 > 1664153014 337438 PRIVMSG #esolangs :14[[07User:Theki/Dummy14]]4 M10 02https://esolangs.org/w/index.php?diff=103515&oldid=103514 5* 03Theki 5* (+55) 10/* Conditional statements */ > 1664153343 301202 PRIVMSG #esolangs :14[[07Yet Another Musical Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=103516&oldid=103513 5* 03ALBANIAN-LAUNDROMAT 5* (+19) 10/* Notes and rhythms */ < 1664154014 275853 :Soni!~quassel@autistic.space JOIN #esolangs SoniEx2 :Genders: Autgender, 💜⬜💚; Soni L. > 1664156517 361284 PRIVMSG #esolangs :14[[07Three variable modification language14]]4 10 02https://esolangs.org/w/index.php?diff=103517&oldid=103504 5* 03Lemonz 5* (+116) 10/* Programs */ > 1664156616 574106 PRIVMSG #esolangs :14[[07Three variable modification language14]]4 10 02https://esolangs.org/w/index.php?diff=103518&oldid=103517 5* 03Lemonz 5* (-115) 10/* Counter */ < 1664160684 262331 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1664160834 626188 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1664173955 642710 :Oshawott!~archenoth@2604:3d09:1785:d900:416c:8f:82e4:26a8 JOIN #esolangs Archenoth :archenoth < 1664174184 242763 :archenoth!~archenoth@2604:3d09:1785:d900:8916:7f4c:43a1:fd6a QUIT :Ping timeout: 264 seconds < 1664175658 202754 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1664181768 50459 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas > 1664181840 728995 PRIVMSG #esolangs :14[[07Conom14]]4 M10 02https://esolangs.org/w/index.php?diff=103519&oldid=103384 5* 03TTG-Emily 5* (+96) 10Add new file extensions to side-panel > 1664181900 165560 PRIVMSG #esolangs :14[[07Conom14]]4 M10 02https://esolangs.org/w/index.php?diff=103520&oldid=103519 5* 03TTG-Emily 5* (-20) 10Fix formatting in side panel < 1664182704 431588 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1664184564 481103 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1664186188 680722 PRIVMSG #esolangs :14[[07User:TheTermProgrammer14]]4 10 02https://esolangs.org/w/index.php?diff=103521&oldid=93909 5* 03TheTermProgrammer 5* (+0) 10 < 1664186446 383977 :underpantsgnome[!~tinybronc@2001:470:69fc:105::2:1af6 QUIT :Quit: Bridge terminating on SIGTERM < 1664186719 120925 :underpantsgnome[!~tinybronc@2001:470:69fc:105::2:1af6 JOIN #esolangs * :@tinybronca:sibnsk.net < 1664190641 479046 :Joao003!~Joao003@187.85.87.1 JOIN #esolangs * :[https://web.libera.chat] Joao003 < 1664190878 281757 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :the wikimedia overlords killed the friendly dino teaching words on en.wikipedia < 1664191048 736776 :Joao003!~Joao003@187.85.87.1 QUIT :Quit: Client closed < 1664191058 485461 :Joao003!~Joao003@187.85.87.1 JOIN #esolangs * :[https://web.libera.chat] Joao003 < 1664191206 305916 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :ayo? < 1664191228 967523 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`dir < 1664191231 135388 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​🌱 Burlesque JoaoDir pd test \ a.o carrot.txt just pd.c test.sh \ a.out compiled_brachylog.pl karma pikhqbow_tst this.py \ asmbf-1.2.7 egel-master le program tmp \ banana.txt egel-scripts nonoodl -.s wisdomls.txt \ bef2 egel.zip olist.new spline xaa \ bfi eGtbSgN68aHU output.b spout \ bin foo paste stall < 1664191271 750378 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run :(){ :|:; };: < 1664191292 896530 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :environment: fork: retry: Resource temporarily unavailable \ environment: fork: retry: Resource temporarily unavailable \ environment: fork: retry: Resource temporarily unavailable \ environment: fork: retry: Resource temporarily unavailable \ environment: fork: retry: Resource temporarily unavailable \ environment: fork: retry: Resource temporarily unavailable \ environment: fork: retry: Resource temporarily unavailable \ environment: fork: retry: Resourc > 1664196009 965773 PRIVMSG #esolangs :14[[071line14]]4 N10 02https://esolangs.org/w/index.php?oldid=103522 5* 03DockedChutoy 5* (+970) 10Page Created. < 1664196183 536762 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :so quiet < 1664196447 456424 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 252 seconds < 1664196447 532540 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 250 seconds < 1664197094 253697 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1664197178 637942 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in > 1664197323 249555 PRIVMSG #esolangs :14[[07Three variable modification language14]]4 10 02https://esolangs.org/w/index.php?diff=103523&oldid=103518 5* 03Joaozin003 5* (+471) 10 > 1664197342 541996 PRIVMSG #esolangs :14[[07Three variable modification language14]]4 10 02https://esolangs.org/w/index.php?diff=103524&oldid=103523 5* 03Joaozin003 5* (+3) 10/* Computational Class */ > 1664197372 524242 PRIVMSG #esolangs :14[[07Three variable modification language14]]4 10 02https://esolangs.org/w/index.php?diff=103525&oldid=103524 5* 03Joaozin003 5* (+0) 10/* Computational Class */ > 1664197382 173826 PRIVMSG #esolangs :14[[07Three variable modification language14]]4 10 02https://esolangs.org/w/index.php?diff=103526&oldid=103525 5* 03Joaozin003 5* (+2) 10/* Computational Class */ < 1664197416 193810 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`dir < 1664197417 400497 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​🌱 Burlesque JoaoDir pd test \ a.o carrot.txt just pd.c test.sh \ a.out compiled_brachylog.pl karma pikhqbow_tst this.py \ asmbf-1.2.7 egel-master le program tmp \ banana.txt egel-scripts nonoodl -.s wisdomls.txt \ bef2 egel.zip olist.new spline xaa \ bfi eGtbSgN68aHU output.b spout \ bin foo paste stall < 1664197502 493132 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run echo -e 'First line\nSecond line' < 1664197504 57675 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :First line \ Second line < 1664197600 419959 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run echo -e '#include \nint main(){\nprintf("Hello, World!");\nreturn 0;\n}' > JoaoDir/hello.c < 1664197601 661228 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :No output. < 1664197609 382015 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :cat JoaoDir/hello.c < 1664197620 894484 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`cat JoaoDir/hello.c < 1664197622 164828 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​#include \ int main(){ \ printf("Hello, World!"); \ return 0; \ } < 1664197634 721648 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run gcc JoaoDir/hello.c < 1664197637 473060 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :No output. < 1664197656 194011 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`dir JoaoDir < 1664197657 336982 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :hello.c < 1664197671 360700 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :JoaoDir/a.out < 1664197680 841057 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`JoaoDir/a.out < 1664197682 185155 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :JoaoDir/a.out? No such file or directory < 1664197695 482798 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run JoaoDir/a.out < 1664197697 135067 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :bash: JoaoDir/a.out: No such file or directory < 1664197702 98075 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :it's in . , not in the subdirectory < 1664197712 673230 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run ./a.out < 1664197714 85353 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Hello, World! < 1664197717 447896 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :yooooo < 1664197734 266189 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run as --version < 1664197735 606514 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :GNU assembler (GNU Binutils for Debian) 2.31.1 \ Copyright (C) 2018 Free Software Foundation, Inc. \ This program is free software; you may redistribute it under the terms of \ the GNU General Public License version 3 or later. \ This program has absolutely no warranty. \ This assembler was configured for a target of `x86_64-linux-gnu'. < 1664197752 261048 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`runc #include \n int main(void) { printf("we've got things for that"); } < 1664197754 102007 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :we've got things for that < 1664197801 359537 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`` url $(which runc) # the implementation is very dumb < 1664197803 774543 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :https://hack.esolangs.org/repo/file/tip/bin/runc < 1664197837 641025 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run echo '#include \nint main(){\nprintf("But I'm doing it old school");\nreturn 0;\n}' > JoaoDir/hello.c < 1664197838 735662 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file < 1664197852 938442 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run echo -e '#include \nint main(){\nprintf("But I'm doing it old school");\nreturn 0;\n}' > JoaoDir/hello.c < 1664197854 94271 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file < 1664197873 317747 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run echo -e '#include \nint main(){\nprintf("But I\'m doing it old school");\nreturn 0;\n}' > JoaoDir/hello.c < 1664197874 423041 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file < 1664197883 615529 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run echo '#include \nint main(){\nprintf("But Im doing it old school");\nreturn 0;\n}' > JoaoDir/hello.c < 1664197884 694779 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :No output. < 1664197897 978122 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run gcc JoaoDir/hello.c < 1664197899 802773 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :JoaoDir/hello.c:1:19: warning: extra tokens at end of #include directive \ #include \nint main(){\nprintf("But Im doing it old school");\nreturn 0;\n} \ ^ \ /usr/bin/ld: /usr/lib/gcc/x86_64-linux-gnu/8/../../../x86_64-linux-gnu/Scrt1.o: in function `_start': \ (.text+0x20): undefined reference to `main' \ collect2: error: ld returned 1 exit status < 1664197933 992458 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`cat JoaoDir/hello.c < 1664197935 36918 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​#include \nint main(){\nprintf("But Im doing it old school");\nreturn 0;\n} < 1664197959 405386 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run echo -e '#include \nint main(){\nprintf("But Im doing it old school");\nreturn 0;\n}' > JoaoDir/hello.c < 1664197960 507688 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :No output. < 1664197969 194046 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run gcc JoaoDir/hello.c < 1664197971 251277 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :No output. < 1664197978 924653 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run ./a.out < 1664197980 53001 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :But Im doing it old school < 1664198194 158413 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`hello U < 1664198195 362448 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Hello, World! < 1664198326 888708 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`hello no < 1664198328 94274 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :hello World. < 1664198345 524734 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`hello NO U < 1664198346 595111 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :hello World. < 1664198352 752010 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :it's my multi-hello program, can print 64 different versions of hello world < 1664198369 677162 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :(only the first byte of the argument matters) < 1664198452 423976 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`? `hello < 1664198454 339200 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​`hello prints variants of hello, world. To control format, pass a single letter as command-line argument. "@"=>"hello, world", "H"=>"hello, world.", P=>"hello, world!", "X"=>"hello, world,", take 1 letter later to s/h/H/, 2 letter later to s/o,/o/, 4 letter later to s/w/W/, lowercase to remove newline. < 1664198468 365533 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`hello fwiw, a lowercase hello and an uppercase World looks weird < 1664198469 439057 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :hello World < 1664198505 672647 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`hello d < 1664198506 826650 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :hello, World < 1664198536 229509 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`hello c < 1664198537 339199 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Hello world < 1664198674 932862 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`` for i in $(seq 64 95); do hello $(printf "\x"$(printf "%02x" $i)); done < 1664198680 143223 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :hello, world \ Hello, world \ hello world \ Hello world \ hello, World \ Hello, World \ hello World \ Hello World \ hello, world. \ Hello, world. \ hello world. \ Hello world. \ hello, World. \ Hello, World. \ hello World. \ Hello World. \ hello, world! \ Hello, world! \ hello world! \ Hello world! \ hello, World! \ Hello, World! \ hello World! \ Hello World! \ hello, world, \ Hello, world, \ hello world, \ Hello world, \ hello, World, \ Hello, World, \ he < 1664198712 500484 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`run set -e; cd /hackenv/wisdom; ls -dbF \`* # wow, I thought we only had like five of these in the wisdome < 1664198713 942486 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​` \ `! \ `# \ `? \ `?\ `? \ `\@ \ `1 \ `2 \ `2017 \ `3 \ `4 \ `5 \ `cbt \ `culprits-c \ `doag \ `doat \ `dowg \ `dowt \ `edit \ `fetch \ `hello \ `help \ `hoag \ `hoat \ `howg \ `howt \ `learn \ `mk \ `n \ `ngevd \ `revert \ `rlexp \ `run \ `sled \ `slwd \ `spam \ `whoops \ `words < 1664198780 562060 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`? wise < 1664198782 652375 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Uninstalling software installed by the Wise Installation Wizard is unwise. It's neither clockwise nor counterclockwise nor otherwise. < 1664198789 991131 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I keep being amused by that, even though it has no point. < 1664198975 86261 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :wow, that printf < 1664199002 896887 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`` for i in $(seq 63 95); do hello "$(printf %c $i)"; done < 1664199008 861398 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :hello World!hello World!hello World!hello World!hello World!hello World!hello World!Hello World!Hello World!Hello World!Hello World!Hello World!Hello World!Hello World!Hello World!Hello World!Hello World!hello, world,hello, world,hello, world,hello, world,hello, world,hello, world,hello, world,hello, world,hello, world,hello, world,Hello, world,Hello, world,Hello, world,Hello, world,Hello, world,Hello, world, < 1664199029 728231 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :That's not what %c does. < 1664199036 424030 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`` printf %c 123 < 1664199037 824357 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1 < 1664199038 409913 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :indeed < 1664199130 381732 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`` for i in $(seq 63 95); do hello "$(perl "-eprint chr $i")"; done < 1664199136 347552 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Hello World,hello, world \ Hello, world \ hello world \ Hello world \ hello, World \ Hello, World \ hello World \ Hello World \ hello, world. \ Hello, world. \ hello world. \ Hello world. \ hello, World. \ Hello, World. \ hello World. \ Hello World. \ hello, world! \ Hello, world! \ hello world! \ Hello world! \ hello, World! \ Hello, World! \ hello World! \ Hello World! \ hello, world, \ Hello, world, \ hello world, \ Hello world, \ hello, World, \ Hello, < 1664199150 287224 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`2 for i in $(seq 63 95); do hello "$(perl "-eprint chr $i")"; done < 1664199156 942928 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :2/2:, World, \ Hello, World, \ hello World, \ Hello World, < 1664199182 966585 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`n < 1664199184 287703 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1/2:Hello World,hello, world \ Hello, world \ hello world \ Hello world \ hello, World \ Hello, World \ hello World \ Hello World \ hello, world. \ Hello, world. \ hello world. \ Hello world. \ hello, World. \ Hello, World. \ hello World. \ Hello World. \ hello, world! \ Hello, world! \ hello world! \ Hello world! \ hello, World! \ Hello, World! \ hello World! \ Hello World! \ hello, world, \ Hello, world, \ hello world, \ Hello world, \ hello < 1664199187 659999 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :huh < 1664199217 799791 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`` for i in $(seq 96 126); do hello "$(perl "-eprint chr $i")"; done < 1664199223 327544 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :hello, worldHello, worldhello worldHello worldhello, WorldHello, Worldhello WorldHello Worldhello, world.Hello, world.hello world.Hello world.hello, World.Hello, World.hello World.Hello World.hello, world!Hello, world!hello world!Hello world!hello, World!Hello, World!hello World!Hello World!hello, world,Hello, world,hello world,Hello world,hello, World,Hello, World,hello World, < 1664199225 634186 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :right < 1664199236 939221 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :that's the second half < 1664199658 172763 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :perl in bash > 1664201626 813429 PRIVMSG #esolangs :14[[07BrainFuckFart14]]4 M10 02https://esolangs.org/w/index.php?diff=103527&oldid=78207 5* 03Esolang1 5* (-3) 10Fixed typos: '[' and ']' > 1664201691 433426 PRIVMSG #esolangs :14[[07BrainFuckFart14]]4 M10 02https://esolangs.org/w/index.php?diff=103528&oldid=103527 5* 03Esolang1 5* (+0) 10Fixed typos: '(' > 1664202602 766276 PRIVMSG #esolangs :14[[07Talk:Binary14]]4 N10 02https://esolangs.org/w/index.php?oldid=103529 5* 03Joaozin003 5* (+627) 10Created page with "== My opinions == === Optimizations that i'd make === First off, opcode size can be reduced by a whopping 6: OP|CMD --+--- 00|out 01|imv 10|mov 11|vot Second: adding wh..." > 1664202616 344132 PRIVMSG #esolangs :14[[07Talk:Binary14]]4 10 02https://esolangs.org/w/index.php?diff=103530&oldid=103529 5* 03Joaozin003 5* (+95) 10 < 1664203325 635691 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :Joao003 < 1664203393 34251 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run for i in $(seq 1 100); do echo 'Joao003'; done < 1664203394 170056 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ < 1664203409 601667 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :everyone < 1664203475 63 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`yes Joao003 < 1664203476 310624 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ < 1664203497 710491 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`yes < 1664203498 957483 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ < 1664203507 721742 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`yes wib_jonas < 1664203508 765342 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_jonas \ wib_ < 1664203526 755748 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`yes ^[ < 1664203527 783305 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ \ ^[ < 1664203532 795079 :int-e!~noone@int-e.eu PRIVMSG #esolangs :fungot: what is redundancy? < 1664203533 292990 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :int-e: he was shot in 1991 he was awarded one of the big problems with scheme, you don't < 1664203546 608054 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`yes fungot < 1664203546 716338 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :Joao003: on x86 that is < 1664203547 919376 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ fungot \ f < 1664203568 759760 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :> var$cycle"Joao003 \\ " < 1664203574 104122 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao00... < 1664203591 807479 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :[ 777$'Joao003 \ ' < 1664203592 13255 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :wib_jonas: Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao... < 1664203620 695946 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`run while(1) do; echo 'wib_jonas'; done < 1664203621 928887 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :bash: -c: line 0: syntax error near unexpected token `;' \ bash: -c: line 0: `while(1) do; echo 'wib_jonas'; done' < 1664203622 965833 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot eval "Joao003 \\ " x77 < 1664203625 109115 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ Joao003 \ ... [Output truncated. http://perl.bot/p/sxldud ] < 1664203635 67154 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :huh < 1664203636 993821 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :[ < 1664203644 212126 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :since when does perlbot do that "Output truncated" thing? < 1664203644 243698 :int-e!~noone@int-e.eu PART :#esolangs < 1664203676 997451 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :how do you call j-bot < 1664203691 43999 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :j-bot: 'hi' < 1664203691 284734 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :wib_jonas: hi < 1664203692 504223 :Joao003!~Joao003@187.85.87.1 QUIT :Quit: Client closed < 1664203693 745279 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :[ 'hi' < 1664203693 944300 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :wib_jonas: hi < 1664203699 919422 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :either of those > 1664204295 902429 PRIVMSG #esolangs :14[[07TPLTSSPP14]]4 10 02https://esolangs.org/w/index.php?diff=103531&oldid=92394 5* 03Esolang1 5* (+57) 10Added details: I/O and Memory Structure and Code Structure > 1664205040 158935 PRIVMSG #esolangs :14[[07UPE14]]4 M10 02https://esolangs.org/w/index.php?diff=103532&oldid=92517 5* 03Jan Gamecuber 5* (+82) 10Adding text wrap for long numbers < 1664205191 310240 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1664205267 858283 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1664205927 729729 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1664206633 896174 PRIVMSG #esolangs :14[[071line14]]4 10 02https://esolangs.org/w/index.php?diff=103533&oldid=103522 5* 03DockedChutoy 5* (+734) 10Added more. > 1664206796 862923 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=103534&oldid=103495 5* 03DockedChutoy 5* (+12) 10added 1line < 1664206926 291776 :int-e!~noone@int-e.eu JOIN #esolangs int-e :Bertram < 1664207233 553772 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1664210100 643228 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed > 1664210372 267838 PRIVMSG #esolangs :14[[07TPLTSSPP14]]4 M10 02https://esolangs.org/w/index.php?diff=103535&oldid=103531 5* 03PythonshellDebugwindow 5* (+25) 10/* Interpreters or Compilers */ Category > 1664210888 640460 PRIVMSG #esolangs :14[[07SanFran14]]4 M10 02https://esolangs.org/w/index.php?diff=103536&oldid=89917 5* 03PythonshellDebugwindow 5* (+9) 10Stub > 1664210907 968544 PRIVMSG #esolangs :14[[07SanFran14]]4 M10 02https://esolangs.org/w/index.php?diff=103537&oldid=103536 5* 03PythonshellDebugwindow 5* (+31) 10/* Commands */ Category < 1664211627 470079 :immibis_!~hexchat@i689751E6.versanet.de QUIT :Ping timeout: 252 seconds < 1664212314 513153 :FreeFull!~freefull@user-5-173-176-88.play-internet.pl JOIN #esolangs FreeFull :FreeFull < 1664213692 62579 :razetime!~quassel@117.193.2.113 JOIN #esolangs razetime :razetime > 1664214118 548377 PRIVMSG #esolangs :14[[07ABPLWNL14]]4 10 02https://esolangs.org/w/index.php?diff=103538&oldid=103366 5* 03Mario0Fan 5* (+26) 10 > 1664214875 482215 PRIVMSG #esolangs :14[[07Promo14]]4 10 02https://esolangs.org/w/index.php?diff=103539&oldid=70901 5* 03Structuresend 5* (+161) 10 > 1664215580 864284 PRIVMSG #esolangs :14[[07Sharp14]]4 10 02https://esolangs.org/w/index.php?diff=103540&oldid=97694 5* 03Nick-1666 5* (+78) 10 < 1664215646 758823 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1664216287 671161 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1664216832 552471 :razetime!~quassel@117.193.2.113 QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1664217195 470975 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 250 seconds < 1664217273 635275 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 268 seconds < 1664217605 287837 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Excess Flood < 1664217713 23123 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664217844 155790 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Excess Flood < 1664217916 65327 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664218099 127061 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Excess Flood < 1664218147 920717 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in > 1664218205 78595 PRIVMSG #esolangs :14[[07Alphaton14]]4 10 02https://esolangs.org/w/index.php?diff=103541&oldid=103505 5* 03ColonelMatthew97 5* (+170) 10 < 1664218238 861406 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1664218299 473137 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664218428 65247 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1664218492 20801 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 265 seconds < 1664218507 27907 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1664218657 942666 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Excess Flood < 1664219728 771708 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1664219992 237202 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664220241 45333 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Excess Flood < 1664220456 771915 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664220601 477809 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Excess Flood < 1664220904 810698 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664221374 246120 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Read error: Connection reset by peer < 1664221467 467817 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron > 1664223040 150125 PRIVMSG #esolangs :14[[07One Time Cat14]]4 M10 02https://esolangs.org/w/index.php?diff=103542&oldid=101794 5* 03PythonshellDebugwindow 5* (+70) 10Stub, see also, category > 1664223057 861831 PRIVMSG #esolangs :14[[07Cat program14]]4 M10 02https://esolangs.org/w/index.php?diff=103543&oldid=86606 5* 03PythonshellDebugwindow 5* (+33) 10/* Reverse cat */ See also > 1664223724 161346 PRIVMSG #esolangs :14[[07Sharp14]]4 M10 02https://esolangs.org/w/index.php?diff=103544&oldid=103540 5* 03Nick-1666 5* (+0) 10fixed description > 1664223747 577906 PRIVMSG #esolangs :14[[07Sharp14]]4 M10 02https://esolangs.org/w/index.php?diff=103545&oldid=103544 5* 03Nick-1666 5* (+0) 10Caps < 1664225851 446120 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Remote host closed the connection < 1664227315 349323 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664227968 912493 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Excess Flood < 1664228076 127949 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664228267 258305 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1664228728 987950 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :Ping timeout: 265 seconds < 1664229677 56984 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :ZNC - https://znc.in < 1664231787 9862 :immibis_!~hexchat@i689751E6.versanet.de JOIN #esolangs * :realname < 1664232479 725290 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :If I have several objects with a numerical value and several slots each with a numerical value, and I want to assign each slot to one object (an object can have multiple slots assigned, but each slot must have exactly one object), so that the total value of the slots is close to the value of the object, but it is OK if it is a little bit high or low as long as it is close enough? < 1664232821 130817 :b_jonas!~x@catv-176-63-4-116.catv.fixed.vodafone.hu PRIVMSG #esolangs :zzo38: and what's your question? < 1664233177 482183 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :What is the best way to calculate that when there are many possibilities < 1664233319 435256 :int-e!~noone@int-e.eu PRIVMSG #esolangs :so... approximate bin-packing? < 1664233324 345519 :b_jonas!~x@catv-176-63-4-116.catv.fixed.vodafone.hu PRIVMSG #esolangs :do you know all those numerical values? < 1664233350 100506 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(the objects are bins; the slots are objects to be packed into those bins) < 1664233353 522466 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Yes, all of the values are known, but they are not necessarily all the same; most are different. < 1664233360 598701 :b_jonas!~x@catv-176-63-4-116.catv.fixed.vodafone.hu PRIVMSG #esolangs :int-e: no < 1664233371 140987 :b_jonas!~x@catv-176-63-4-116.catv.fixed.vodafone.hu PRIVMSG #esolangs :oh wait < 1664233384 973057 :b_jonas!~x@catv-176-63-4-116.catv.fixed.vodafone.hu PRIVMSG #esolangs :yes, it's bin-packing < 1664233390 694834 :b_jonas!~x@catv-176-63-4-116.catv.fixed.vodafone.hu PRIVMSG #esolangs :sorry, I got confused < 1664233409 813756 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And you have to use up all objects, but you can vary the bin sizes slightly. < 1664233454 815915 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Still, a variation on that theme. So it's NP-hard. Might just as well throw it at an SMT solver? < 1664233725 315198 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(formulating it as an ILP) < 1664233980 772176 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :What does "ILP" means? (Also, I don't know how to do SMT solver; while I have heard of it, it is not something that I am familiar with working) < 1664234030 164715 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ILP = integer linear program, a linear optimization problem with integer variables < 1664234156 98894 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :OK < 1664234259 13343 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1664234278 805859 :int-e!~noone@int-e.eu PRIVMSG #esolangs :SMT solvers (like CVC4, Z3, or yices) generally understand the SMT-LIB format... which has a lisp-like syntax for writing down constraints: http://smtlib.cs.uiowa.edu/examples.shtml ...the point of them is to avoid having to write your own intelligent solver and heuristics. They're pretty good, though it's often possible to beat them if you actually have good domain-specific heuristics. < 1664234302 895140 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Or if the heuristics fail and it comes down to sheer brute force. That's rarer. < 1664234377 588609 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :yices2 4 ever > 1664234389 963963 PRIVMSG #esolangs :14[[07Talk:Numberlist14]]4 N10 02https://esolangs.org/w/index.php?oldid=103546 5* 03Dtp09 5* (+170) 10Created page with "yeah remember that crappy interpreter i wrote last year? im about to fix it for real now. --~~~~" < 1664234421 685200 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh yeah, I meant yices2. < 1664234519 846063 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I generally try all three of them... there's no clear best SMT solver. It's also been a while... is there a notable newcomer to the field? < 1664234549 63213 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I guess I should check the latest SMT competition... < 1664234613 997842 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oh there's CVC5 < 1664234629 141896 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(A version bump) < 1664234650 662886 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And something called SMTS that seems new < 1664234685 815467 :int-e!~noone@int-e.eu PRIVMSG #esolangs :well, new-ish < 1664234737 575780 :int-e!~noone@int-e.eu PRIVMSG #esolangs :which seems to do something on top of Z3... what's that, distributing the computation? < 1664234823 250837 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I just mean Yices in general, I don't know anything about Yices 1. < 1664234831 727585 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I just like Yices 2 because its code is very readable. < 1664234916 295612 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Anyway... https://smt-comp.github.io/2022/results/qf-linearintarith-single-query has some others as well. > 1664235684 981173 PRIVMSG #esolangs :14[[07User talk:Lemonz14]]4 10 02https://esolangs.org/w/index.php?diff=103547&oldid=103498 5* 03Slava Ukraini Heroyam Slava 123 5* (+240) 10/* Is there an official implementation of Three variable modification language */