00:19:58 -!- b_jonas has quit (Ping timeout: 252 seconds). 00:34:04 -!- b_jonas has joined. 00:44:28 -!- amby has quit (Remote host closed the connection). 00:58:25 -!- user3456 has quit (Ping timeout: 265 seconds). 01:18:54 -!- user3456 has joined. 01:35:46 bash_macros(){ while read -r i; do eval "$( printf "%s" "$i" | awk "$1" ; )" ; done ; } ; 01:43:28 Some sort of feeder for awk scripts? 01:44:29 esolangs: What is an example of a computation that cannot be expressed with a pushdown automaton? 01:45:04 korvo: A classic example of a computation not expressible by a pushdown automaton is the **Halting Problem**. This problem asks whether a given program will eventually halt (finish execution) or run forever. A pushdown automaton can only process finite state machines, and the Halting Problem involves determining the halting behavior of an arbitrary... 01:45:04 program, which requires an infinite amount of information. 01:45:34 esolangs: What is an example of a computation that cannot be expressed with a Turing-complete automaton? 01:45:50 korvo: A computation that cannot be expressed with a Turing-complete automaton is the halting problem. This problem asks whether a given program will eventually halt (stop running) or run forever. There's no algorithm that can definitively answer this question for all programs, making it a fundamental undecidable problem. 01:47:29 esolangs: What is an example of a computation that cannot be expressed with a Turing-complete automaton, even with an oracle for the Halting Problem? 01:48:12 korvo: The halting problem itself is a classic example. A Turing-complete automaton can't definitively determine if any given program will halt or loop forever. This is because the Halting Problem is undecidable, meaning there's no algorithm that can solve it for all programs. Even with an oracle for the Halting Problem, the automaton would still be... 01:48:12 unable to solve the problem for all programs. 01:55:26 esolangs: What is the Turing degree of the Halting Problem? 01:57:06 korvo: The Halting Problem is **undecidable** in the sense that there is no algorithm that can determine, for any given program and input, whether the program will halt or run forever. Therefore, the Halting Problem is **not Turing-complete**. It's a fundamental problem in computer science, demonstrating the limits of what can be computed by a Turing... 01:57:06 machine. 02:22:47 -!- molson_ has joined. 02:23:40 -!- dbohdan has quit (Quit: ZNC 1.8.2+deb3.1 - https://znc.in). 02:23:58 -!- dbohdan has joined. 02:25:53 -!- molson has quit (Ping timeout: 248 seconds). 02:36:12 [[Talk:]] https://esolangs.org/w/index.php?diff=151740&oldid=150309 * Cycwin * (+224) /* No Tag */ new section 02:40:12 [[Talk:]] https://esolangs.org/w/index.php?diff=151741&oldid=151740 * Cycwin * (+113) /* No Tag */ 02:40:42 [[User talk:Aadenboy]] https://esolangs.org/w/index.php?diff=151742&oldid=150799 * PrySigneToFry * (+159) 02:43:03 [[User:PrySigneToFry/About more Categories]] https://esolangs.org/w/index.php?diff=151743&oldid=136940 * PrySigneToFry * (+135) 02:47:31 [[User:PrySigneToFry/Sandbox/Some useless code]] https://esolangs.org/w/index.php?diff=151744&oldid=150033 * PrySigneToFry * (+115) 02:50:04 Hm. 02:50:18 esolangs: What is the Turing degree of the Beeping Busy Beaver Problem? 02:50:22 This might not be in the wiki. 02:50:33 korvo: The Beeping Busy Beaver Problem is **incomputable** in the Turing degree. Here's why: * **The problem:** It involves a program that runs forever, and its halting problem is undecidable. * **Turing degree:** The Turing degree measures the complexity of a problem. A problem is considered "incomputable" if it cannot be solved by any Turing machine. *... 02:50:33 **Conclusion:** The Beeping Busy Beaver Problem is a classic example of a problem that cannot be solved by any Turing machine, making it incomputable. 02:51:04 I was hoping for "one" and "two" respectively. Oh well. 02:53:11 [[Talk:Ook!]] https://esolangs.org/w/index.php?diff=151745&oldid=101131 * PrySigneToFry * (+23) 02:53:37 -!- craigo has joined. 02:53:56 -!- m5zs7k has quit (Ping timeout: 268 seconds). 03:01:05 -!- chiselfuse has quit (Remote host closed the connection). 03:01:26 -!- chiselfuse has joined. 03:03:27 [[MSFE++]] https://esolangs.org/w/index.php?diff=151746&oldid=151720 * Cycwin * (+265) 03:05:15 [[MSFE++]] https://esolangs.org/w/index.php?diff=151747&oldid=151746 * Cycwin * (-1) /* Truth Machine */ 03:33:34 -!- m5zs7k has joined. 04:06:50 [[Talk:Memorial language list]] https://esolangs.org/w/index.php?diff=151748&oldid=146042 * PrySigneToFry * (+269) /* Criticism to this list */ new section 04:09:11 [[`Romn/Examples]] https://esolangs.org/w/index.php?diff=151749&oldid=151712 * MihaiEso * (+57) 04:11:42 [[`Romn/Examples]] https://esolangs.org/w/index.php?diff=151750&oldid=151749 * MihaiEso * (+5) 04:13:20 [[!Romanian]] https://esolangs.org/w/index.php?diff=151751&oldid=141398 * MihaiEso * (+110) /* Hello, world! */ 04:13:38 [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=151752&oldid=151525 * PrySigneToFry * (+47) 04:17:47 [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=151753&oldid=151752 * PrySigneToFry * (+930) 04:20:09 [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=151754&oldid=151753 * PrySigneToFry * (+11291) 04:54:10 -!- m5zs7k has quit (Ping timeout: 248 seconds). 04:58:53 -!- m5zs7k has joined. 05:42:40 [[MSFE++]] https://esolangs.org/w/index.php?diff=151755&oldid=151747 * Cycwin * (+7) /* Cat program */ 05:44:28 [[MSFE++]] https://esolangs.org/w/index.php?diff=151756&oldid=151755 * Cycwin * (-39) /* Examples */ 05:47:40 [[MSFE++]] M https://esolangs.org/w/index.php?diff=151757&oldid=151756 * Cycwin * (+114) /* Examples */ 05:50:28 [[MSFE++]] https://esolangs.org/w/index.php?diff=151758&oldid=151757 * Cycwin * (+138) /* Interpreter */ 05:51:32 [[MSFE++]] https://esolangs.org/w/index.php?diff=151759&oldid=151758 * Cycwin * (-4) /* Interpreter */ 05:52:07 [[MSFE++]] https://esolangs.org/w/index.php?diff=151760&oldid=151759 * Cycwin * (+0) /* Interpreter */ 05:59:43 [[Infinite commands???]] https://esolangs.org/w/index.php?diff=151761&oldid=151210 * PrySigneToFry * (+52) 07:33:51 [[Special:Log/upload]] overwrite * 47 * uploaded a new version of "[[File:My github profile read me.png]]": how many times did i chainge this image again? 07:46:57 [[SLet]] https://esolangs.org/w/index.php?diff=151763&oldid=151717 * I am islptng * (+71) 07:47:06 -!- chomwitt has joined. 08:15:42 [[Talk:Memorial language list]] https://esolangs.org/w/index.php?diff=151764&oldid=151748 * 47 * (+82) /* Criticism to this list */ 08:17:15 [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=151765&oldid=151754 * 47 * (-12221) pointless bytes removed 08:31:14 -!- chomwitt has quit (Ping timeout: 244 seconds). 08:43:41 -!- arbe has joined. 08:45:23 -!- Sgeo has quit (Read error: Connection reset by peer). 08:57:47 [[User:Tommyaweosme/BRING BACK THE OLD SANDBOX]] https://esolangs.org/w/index.php?diff=151766&oldid=151765 * PrySigneToFry * (+15) This garbled text is more in line with the code style of the language. 09:28:57 [[Compass]] https://esolangs.org/w/index.php?diff=151767&oldid=151739 * Ractangle * (+110) /* Language syntax */ 09:30:48 [[Compass]] https://esolangs.org/w/index.php?diff=151768&oldid=151767 * Ractangle * (+75) /* Hello, world! */ 09:40:26 -!- wib_jonas has joined. 09:56:03 ``` pkg-config --cflags --libs cairo 09:56:05 Package cairo was not found in the pkg-config search path. \ Perhaps you should add the directory containing `cairo.pc' \ to the PKG_CONFIG_PATH environment variable \ No package 'cairo' found 09:56:35 ``` find /usr/include -iname "*cairo*" 09:56:37 No output. 09:56:51 ``` find /usr/include /usr/lib -iname "*cairo*"; echo all done 09:57:02 hmm why would hackeso have cairo 09:57:14 ​/usr/lib/x86_64-linux-gnu/libcairo.so.2.11600.0 \ /usr/lib/x86_64-linux-gnu/libcairo.so.2 \ /usr/lib/x86_64-linux-gnu/libpangocairo-1.0.so.0 \ /usr/lib/x86_64-linux-gnu/libpangocairo-1.0.so.0.4200.3 \ all done 09:58:21 ``` /bin/ls -aF /usr/lib/pkgconfig 09:58:23 ​./ \ ../ 09:58:26 ``` /bin/ls -aF /usr/local 09:58:27 ​./ \ ../ \ bin/ \ etc/ \ games/ \ include/ \ lib/ \ man@ \ sbin/ \ share/ \ src/ 09:58:40 ``` /bin/ls -dl /usr/local 09:58:41 drwxrwsr-x 10 0 50 4096 Apr 6 2018 /usr/local 09:59:00 ``` /bin/ls -aF /usr/local/lib 09:59:01 ​./ \ ../ \ python2.7/ \ python3.7/ 09:59:04 ``` /bin/ls -aF /usr/local/include 09:59:06 ​./ \ ../ 09:59:11 ``` /bin/ls -aF /usr/local/share 09:59:12 ​./ \ ../ \ ca-certificates/ \ fonts/ \ man/ \ pkgconfig/ 09:59:21 ``` /bin/ls -aF /usr/local/share/pkgconfig 09:59:22 ​./ \ ../ 09:59:25 ``` /bin/ls -aF /usr/share/pkgconfig 09:59:26 ​./ \ ../ \ gnome-icon-theme.pc \ shared-mime-info.pc \ swipl.pc \ systemd.pc 09:59:47 ``` /bin/ls -ld /usr/include 09:59:48 drwxr-xr-x 41 0 0 16384 Jul 1 2024 /usr/include 09:59:54 ``` /bin/ls -ld /usr/share 09:59:56 drwxr-xr-x 107 0 0 4096 May 1 2022 /usr/share 10:00:02 ``` /bin/ls -aF /usr/share 10:00:05 ​./ \ ../ \ X11/ \ aclocal/ \ aclocal-1.16/ \ adduser/ \ alsa/ \ applications/ \ apport/ \ apps/ \ autoconf/ \ automake-1.16/ \ base-files/ \ base-passwd/ \ bash-completion/ \ binfmts/ \ bison/ \ bug/ \ build-essential/ \ ca-certificates/ \ ca-certificates-java/ \ calendar/ \ cdbs/ \ common-licenses/ \ dbus-1/ \ debconf/ \ debhelper/ \ debianutils/ \ dh-autoreconf/ \ dict/ \ distro-info/ \ doc/ \ doc-base/ \ dpkg/ \ emacs/ \ emacsen-common/ \ exim4/ \ fi 10:00:18 ``` /bin/ls -aF /usr/share | tail -n+20 10:00:19 ca-certificates/ \ ca-certificates-java/ \ calendar/ \ cdbs/ \ common-licenses/ \ dbus-1/ \ debconf/ \ debhelper/ \ debianutils/ \ dh-autoreconf/ \ dict/ \ distro-info/ \ doc/ \ doc-base/ \ dpkg/ \ emacs/ \ emacsen-common/ \ exim4/ \ file/ \ fontconfig/ \ fonts/ \ games/ \ gcc-8/ \ gcj/ \ gdb/ \ gettext/ \ gettext-0.19.8/ \ gforth/ \ git-core/ \ gitweb/ \ glib-2.0/ \ gnupg/ \ groff/ \ guile/ \ i18n/ \ icons/ \ icu/ \ info/ \ initramfs-tools/ \ intltool-deb 10:00:24 ``` /bin/ls -aF /usr/share | tail -n+40 10:00:25 fonts/ \ games/ \ gcc-8/ \ gcj/ \ gdb/ \ gettext/ \ gettext-0.19.8/ \ gforth/ \ git-core/ \ gitweb/ \ glib-2.0/ \ gnupg/ \ groff/ \ guile/ \ i18n/ \ icons/ \ icu/ \ info/ \ initramfs-tools/ \ intltool-debian/ \ java/ \ javascript/ \ keyrings/ \ libc-bin/ \ libthai/ \ libtool/ \ lintian/ \ locale/ \ man/ \ man-db/ \ maven-repo/ \ menu/ \ mercurial/ \ metainfo/ \ mime/ \ misc/ \ mysql-common/ \ numpy3/ \ pam/ \ pam-configs/ \ perl/ \ perl5/ \ pixmaps/ \ pkg- 10:00:32 ``` /bin/ls -aF /usr/include 10:00:33 ​./ \ ../ \ FlexLexer.h \ X11/ \ aio.h \ aliases.h \ alloca.h \ ar.h \ argp.h \ argz.h \ arpa/ \ asm-generic/ \ assert.h \ bsd/ \ byteswap.h \ c++/ \ complex.h \ cpio.h \ crypt.h \ ctype.h \ curses.h \ cursesapp.h \ cursesf.h \ cursesm.h \ cursesp.h \ cursesw.h \ cursslk.h \ dialog.h \ dirent.h \ dlfcn.h \ dlg_colors.h \ dlg_config.h \ dlg_keys.h \ editline/ \ elf.h \ endian.h \ envz.h \ err.h \ errno.h \ error.h \ eti.h \ etip.h \ execinfo.h \ fcntl.h \ 10:02:41 sorry, I should have done that in private message 10:17:53 -!- arbe has quit (Ping timeout: 248 seconds). 10:21:59 -!- ManDeJan has quit (Remote host closed the connection). 10:21:59 -!- dcreager has quit (Remote host closed the connection). 10:22:02 -!- ursa-major has quit (Remote host closed the connection). 10:38:41 [[User talk:PrySigneToFry/Sandbox/Some useless code]] N https://esolangs.org/w/index.php?oldid=151769 * I am islptng * (+91) Created page with " ++c=c++ + ++c; warning: multiple unsequenced modifications to 'C' C=C*2+6" 10:53:10 -!- arbe has joined. 11:10:23 Hi 11:35:03 -!- dcreager has joined. 11:35:07 -!- ManDeJan has joined. 11:35:10 -!- ursa-major has joined. 11:40:09 [[User:Ractangle]] https://esolangs.org/w/index.php?diff=151770&oldid=151101 * PrySigneToFry * (-1) Fix typo 11:45:52 -!- arbe has quit (Read error: Connection reset by peer). 11:49:57 [[User:PrySigneToFry/Sandbox/StormLang discussion]] https://esolangs.org/w/index.php?diff=151771&oldid=151721 * PrySigneToFry * (+669) 11:53:20 web.Tomos: points -42.10, score 0.81, rank 47/47 12:16:40 -!- wib_jonas has quit (Quit: Client closed). 12:33:33 https://github.com/memesmith0/mcrsh 12:46:52 [[User:PrySigneToFry/Sandbox/StormLang discussion]] https://esolangs.org/w/index.php?diff=151772&oldid=151771 * None1 * (+174) /* None1's Design */ 13:10:52 -!- tromp has joined. 13:41:48 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 13:50:56 web.Tomos: points -28.83, score 3.80, rank 47/47 (--) 13:52:08 Every time someone posts a program I get this warning in the logs: "Deprecation warning: Beginning with version 2.2.0, Channel#msg should not be used anymore. Use Channel#send instead." 13:58:00 web.Invincible: points -21.83, score 7.16, rank 47/47 14:11:57 -!- ais523 has joined. 14:13:52 [[User:PrySigneToFry/Sandbox/StormLang discussion]] https://esolangs.org/w/index.php?diff=151773&oldid=151772 * PrySigneToFry * (+824) 14:14:59 [[User:PrySigneToFry/Sandbox/StormLang discussion]] https://esolangs.org/w/index.php?diff=151774&oldid=151773 * PrySigneToFry * (+20) 14:17:51 [[User talk:PrySigneToFry/Sandbox/Some useless code]] https://esolangs.org/w/index.php?diff=151775&oldid=151769 * PrySigneToFry * (+112) 14:33:54 -!- tromp has joined. 14:43:11 [[Talk:Introduce yourself]] https://esolangs.org/w/index.php?diff=151776&oldid=129436 * PrySigneToFry * (+1051) /* */ new section 14:43:37 [[Talk:Introduce yourself]] https://esolangs.org/w/index.php?diff=151777&oldid=151776 * PrySigneToFry * (+0) 14:45:30 [[IPAfuck]] https://esolangs.org/w/index.php?diff=151778&oldid=124840 * PrySigneToFry * (+9) 15:28:11 -!- craigo has quit (Ping timeout: 252 seconds). 15:59:18 -!- chomwitt has joined. 16:03:19 -!- FreeFull has quit (Ping timeout: 260 seconds). 16:03:52 -!- FreeFull has joined. 16:06:50 -!- wib_jonas has joined. 16:11:04 ok, I found something weird about Windows. so on my work notebook, Windows 10 was originally installed with hungarian selected as UI language. I changed the UI language to english in settings long ago. Most of the interface of programs shipped with windows shows up correctly in english. 16:14:43 in the main windows of File Explorer, if I show the system menu either by left-clicking on the icon in the top left corner of the title bar or pressing alt+space or shift+right clicking the tray icon of the windows, the system menu of that window has its labels in hungarian. BUT if I right-click the title-bar, it shows the system menu with its 16:14:43 labels in english, and from that point on something changes about that specific file explorer window, and if I later show the system menu of the same window in any of the previous mentioned way, it shows up with labels in english. this doesn't affect other File Explorer windows. 16:15:21 -!- FreeFull has quit. 16:20:21 I had noticed earlier that the language of the system menu is inconsistent between programs, but I assumed it just depended on which program or window it was. 16:21:19 This is mostly cosmetic except in case of cmd consoles, that's why I wasn't paying attention to it. 16:22:43 [[Morshu]] https://esolangs.org/w/index.php?diff=151779&oldid=120871 * Squidmanescape * (+1248) 16:38:09 -!- dawids has joined. 17:19:59 -!- wib_jonas has quit (Quit: Client closed). 17:38:35 ais523: I now found a very epic Sokoban-Solver named „Festival“, which works together very nicely with the GUI YASC 17:38:51 ais523: Win64 though, but works epically well under WINE 😌 17:39:11 ais523: Thanks for Your previous Hints regarding Sokoban (‑ aaaaand Sudoku also 😉) 17:39:15 *purrrrrr* 😸 =^.^= 17:45:10 -!- dawids has quit (Quit: Leaving). 18:05:47 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:17:39 -!- chomwitt has quit (Remote host closed the connection). 18:18:00 -!- tromp has joined. 18:24:48 -!- lisbeths has quit (Quit: Connection closed for inactivity). 18:30:33 -!- Celeo has joined. 18:39:55 -!- Lord_of_Life_ has joined. 18:40:48 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 18:41:18 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 19:01:34 Apic: I assume you know about the sokoban level generator https://www.linusakesson.net/games/autosokoban/ 19:10:13 b_jonas: No, but i can imagine 😌 19:54:00 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 19:57:20 b_jonas: I have some level of academic interest in Sokoban generators, but haven't seen that one 19:57:28 I had a plan of my own but didn't fully get it to work 19:59:05 ais523: mostly unrelated to sokoban, have you ever found out if there's a fast algorithm to find two walks that share both endpoints in an input digraph? 19:59:44 b_jonas: no, I think I discussed that with you a while ago but didn't think about it more since 20:00:45 ok 20:00:48 my actual problem was more complicated and that was one possible approach towards an approximate solution 20:00:59 yes, you asked that question here and we discussed it 20:01:14 but it didn't seem any easier than the alternative routes 20:01:58 -!- amby has joined. 20:02:02 (the more general problem I am trying to solve is the problem of compressing the reachability relation of a directed graph, in a way that's small on disk and efficient to query) 20:15:53 -!- tromp has joined. 20:27:32 b_jonas: hmm, I'm not too impressed by that Sokoban generator, I didn't find a difficult puzzle until puzzle 21, and that one was only difficult because it was hard to figure out which boxes are entirely trapped/useless to the solution and which ones aren't 20:27:49 these puzzles have lots of parts of the solution that are entirely independent of other parts, which seems inelegant to me 20:29:05 of course, the puzzles are random so you won't see the same ones I do (but I am using seed 2001748222, so you could check that way) 20:35:18 I don't like to play sokoban so I can't really judge their quality 20:36:58 but these levels are mostly solvable by the strategy of "avoid making moves that make the game unwinnable" 20:37:17 and just differ in how obvious the causes of unwinnability are 20:40:38 I once spent a month very ill and hardly able to do anything, I solved (handmade) Sokoban puzzles to pass the time – a month doing almost nothing but Sokoban gives you quite some insights into it 20:45:57 hmm, 26 is good 20:46:22 the first proper storage puzzle I've seen, and those are really the heart of Sokoban 20:46:45 (the problem being finding places to put boxes temporarily so that you can move boxes past them and then put them back) 20:54:50 [[User:BoundedBeans]] https://esolangs.org/w/index.php?diff=151780&oldid=151457 * BoundedBeans * (+36) 20:58:07 Can other puzzles such as Hero Hearts puzzles be generated also? 21:11:46 28 is the first one that feels anything like a traditional Sokoban puzzle 21:13:03 and 29 is trivially easy, so the difficulty curving doesn't seem to be going so well 21:15:13 30 is also quite easy, and gave me quite some insight into the algorithm (it looks like the sort of problem a computer might incorrectly think is hard) 21:15:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:21:32 [[Compass]] https://esolangs.org/w/index.php?diff=151781&oldid=151768 * Ractangle * (-16) /* Language syntax */ 21:21:55 [[Compass]] https://esolangs.org/w/index.php?diff=151782&oldid=151781 * Ractangle * (-2) /* Hello, world! */ 22:00:01 after a row of moderate-difficult puzzles, 40 was really really easy 22:04:38 I skipped ahead to 100 and 1000, neither of those was too hard either 22:04:56 I think that algorithm probably isn't the way forward when it comes to making interesting Sokobans, only a small proportion are interesting 22:11:36 -!- zzo38 has quit (Ping timeout: 246 seconds). 22:12:04 1001 is pretty good though 22:13:05 -!- zzo38 has joined. 22:17:06 I see 22:42:25 ☺ 22:42:28 Good Night! 23:45:10 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=151783&oldid=151700 * NNlk05 * (+69) /* Introductions */ 23:45:17 [[StereotypeAssembly]] N https://esolangs.org/w/index.php?oldid=151784 * NNlk05 * (+150) Created page with "{{WIP}} StereotypeAssembly is a stereotype, hackerly language built to resemble assembly language by [[User:NNlk05]]. [[Category:Works-in-Progress]]"