00:09:21 -!- lisbeths has joined. 01:13:42 -!- amby has quit (Remote host closed the connection). 01:49:54 -!- MizMahem_ has joined. 02:18:40 [[ machine]] M https://esolangs.org/w/index.php?diff=184983&oldid=184761 * PrySigneToFry * (+152) 02:21:28 [[Dafne]] https://esolangs.org/w/index.php?diff=184984&oldid=184964 * Miui * (+5415) /* Lattice */ vibecoded a formalism please forgive me if this is wrong 02:41:44 -!- DHeadshot has joined. 03:07:18 -!- DHeadshot has quit (Remote host closed the connection). 03:07:33 -!- DHeadshot has joined. 03:09:39 -!- DHeadshot has quit (Remote host closed the connection). 03:13:43 [[Trapdoor]] N https://esolangs.org/w/index.php?oldid=184985 * AndrewBayly * (+4141) Trapdoor Initial Page 03:16:07 [[User:AndrewBayly]] https://esolangs.org/w/index.php?diff=184986&oldid=184957 * AndrewBayly * (+68) added trapdoor 03:20:26 [[Square]] https://esolangs.org/w/index.php?diff=184987&oldid=184982 * AndrewBayly * (+7712) Square full initial content 03:23:02 [[Square]] https://esolangs.org/w/index.php?diff=184988&oldid=184987 * AndrewBayly * (-52) corrected links 03:24:52 [[User:AndrewBayly]] M https://esolangs.org/w/index.php?diff=184989&oldid=184986 * AndrewBayly * (+27) 03:26:31 [[User:AndrewBayly]] M https://esolangs.org/w/index.php?diff=184990&oldid=184989 * AndrewBayly * (+55) Changed Square description 03:34:29 [[Trapdoor]] M https://esolangs.org/w/index.php?diff=184991&oldid=184985 * AndrewBayly * (+10) added link to demo 03:51:00 [[Trapdoor]] M https://esolangs.org/w/index.php?diff=184992&oldid=184991 * AndrewBayly * (+19) added link to Reference implementation and specification 05:07:13 -!- sprock has joined. 05:39:11 [[Hard]] N https://esolangs.org/w/index.php?oldid=184993 * AndrewBayly * (+33) Created page with "Hard is an esolang ( more later )" 05:51:22 -!- sprock has quit (Ping timeout: 256 seconds). 06:20:57 -!- moony has joined. 07:14:57 -!- lisbeths has quit (Quit: Connection closed for inactivity). 07:27:52 -!- tromp has joined. 07:40:31 [[User:None1/ToDo]] https://esolangs.org/w/index.php?diff=184994&oldid=181350 * None1 * (+115) /* Content */ 07:48:41 [[PrimeScript]] M https://esolangs.org/w/index.php?diff=184995&oldid=184959 * None1 * (+0) /* References */ Fix category 07:53:33 [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=184996&oldid=184952 * None1 * (+5811) 07:54:00 [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=184997&oldid=184996 * None1 * (-7614) 07:54:43 [[Coin]] N https://esolangs.org/w/index.php?oldid=184998 * None1 * (+7718) Created page with "{{lang|a=User:None1}} As the name suggests, this esolang operates on random integer variables called '''coins'''. ==Memory== This esolang is variable-based, and there's only one type: coin. You must assign a variable before reading it. ===The built-in constant: C=== There's 07:55:38 [[Coin]] https://esolangs.org/w/index.php?diff=184999&oldid=184998 * None1 * (-2324) 07:56:22 [[Language list]] https://esolangs.org/w/index.php?diff=185000&oldid=184881 * None1 * (+11) /* C */ 07:56:55 [[User:None1]] https://esolangs.org/w/index.php?diff=185001&oldid=182783 * None1 * (+54) 07:57:44 [[Coin]] https://esolangs.org/w/index.php?diff=185002&oldid=184999 * None1 * (+53) 07:58:01 [[One time cat]] N https://esolangs.org/w/index.php?oldid=185003 * None1 * (+26) Redirected page to [[One Time Cat]] 08:21:12 [[Polynomix/Symbols]] https://esolangs.org/w/index.php?diff=185004&oldid=184708 * I am islptng * (+248) 08:25:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 08:26:13 -!- sprock has joined. 09:11:38 -!- tromp has joined. 09:19:11 -!- lisbeths has joined. 09:28:38 -!- Sgeo has quit (Read error: Connection reset by peer). 09:59:33 -!- Lord_of_Life has quit (Excess Flood). 10:19:00 -!- Lord_of_Life has joined. 10:21:50 [[Nya~]] https://esolangs.org/w/index.php?diff=185005&oldid=108816 * OniKrisNeptune * (-113) /* Implementations */ 10:46:36 -!- sprock has quit (Ping timeout: 256 seconds). 10:50:16 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 10:53:49 https://en.cppreference.com/cpp/numeric/random/uniform_random_bit_generator 10:53:58 (completely random example) 10:54:02 "g() has amortized constant complexity." 10:54:18 there is no way to express that in c++, but i wonder 10:55:08 Hi 10:55:11 hi APic 10:55:14 i was wondering 10:55:18 in a hypothetical future language 10:55:35 what kind of language could possibly assert that such a property holds? 10:55:40 Yo isabella ☺ 10:55:42 :) 10:56:04 isabella: Only the uncountably infinetely Futures will tell 10:56:05 this feels like rice theorem kinda territory 10:56:12 that's too many APic 10:56:22 i don't have that much time 10:56:26 Viewed holistically and transcendentally, every single Language 10:56:29 ;=P 10:56:38 Every Language evolves 10:56:46 Welcome to the Matrcies, Neo 10:57:34 Also: WELCOME TO WARP ZONE 10:57:35 😉 10:59:09 i'm trying to come up with an example that requires solving the halting problem in some cases 11:06:21 -!- cactushead has quit (Quit: Leaving). 11:10:44 -!- cactushead has joined. 11:28:32 -!- lisbeths has quit (Quit: Connection closed for inactivity). 11:33:11 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 12:11:52 -!- Lord_of_Life has joined. 12:22:19 -!- tromp has joined. 12:30:56 -!- DOS_User_webchat has joined. 12:35:10 -!- DOS_User_webchat has quit (Client Quit). 12:38:22 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 12:44:29 -!- tromp has joined. 12:59:58 -!- amby has joined. 13:06:35 -!- DOS_User_webchat has joined. 13:08:24 -!- msv has quit (Remote host closed the connection). 13:08:49 -!- msv has joined. 13:34:50 -!- DOS_User_webchat has quit (Quit: Client closed). 13:35:06 -!- DOS_User_webchat has joined. 13:38:50 -!- DOS_User_webchat has quit (Client Quit). 13:39:02 -!- DOS_User_webchat has joined. 13:58:53 -!- DOS_User_webchat has quit (Quit: Client closed). 13:59:07 -!- DOS_User_webchat has joined. 13:59:55 -!- DOS_User_webchat has quit (Client Quit). 14:03:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 14:07:08 [[Talk:Dafne]] https://esolangs.org/w/index.php?diff=185006&oldid=184845 * Yayimhere2(school) * (+204) 14:08:13 -!- tromp has joined. 14:39:37 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 14:44:25 -!- ^[ has quit (Ping timeout: 248 seconds). 14:46:39 -!- ^[ has joined. 14:53:10 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=185007&oldid=184892 * CoolFoolGabagool * (+184) introduction 14:54:16 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=185008&oldid=185007 * CoolFoolGabagool * (+106) 14:55:53 [[User:CoolFoolGabagool]] N https://esolangs.org/w/index.php?oldid=185009 * CoolFoolGabagool * (+77) i am cool 15:01:16 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=185010&oldid=185008 * CoolFoolGabagool * (+5) 15:15:35 -!- tromp has joined. 15:19:59 [[]] N https://esolangs.org/w/index.php?oldid=185011 * CoolFoolGabagool * (+118) Created page with ", or "backwards tilde", is a language made to purposely have similar characters. ==Virtual Machine implementation==" 15:20:07 [[8ial]] https://esolangs.org/w/index.php?diff=185012&oldid=180331 * ChuckEsoteric08 * (+38) Not TC due to bounded registers 15:20:27 [[]] https://esolangs.org/w/index.php?diff=185013&oldid=185011 * CoolFoolGabagool * (-24) 15:22:17 [[]] https://esolangs.org/w/index.php?diff=185014&oldid=185013 * CoolFoolGabagool * (+239) 15:22:24 [[Talk:8ial]] https://esolangs.org/w/index.php?diff=185015&oldid=169518 * ChuckEsoteric08 * (+201) /* Not Turing complete */ new section 15:23:54 [[]] https://esolangs.org/w/index.php?diff=185016&oldid=185014 * CoolFoolGabagool * (+1) 15:24:21 [[]] https://esolangs.org/w/index.php?diff=185017&oldid=185016 * CoolFoolGabagool * (+1) 15:24:31 [[Talk:8ial]] https://esolangs.org/w/index.php?diff=185018&oldid=185015 * ChuckEsoteric08 * (+194) /* Not Turing complete */ 15:24:45 [[]] https://esolangs.org/w/index.php?diff=185019&oldid=185017 * CoolFoolGabagool * (-26) 15:26:11 [[]] https://esolangs.org/w/index.php?diff=185020&oldid=185019 * CoolFoolGabagool * (+282) 15:26:42 [[Talk:Dafne]] https://esolangs.org/w/index.php?diff=185021&oldid=185006 * Miui * (+710) /* Description? */ 15:26:42 [[8ial]] https://esolangs.org/w/index.php?diff=185022&oldid=185012 * ChuckEsoteric08 * (+18) /* Syntax */ Condition wasn't specified 15:27:30 [[Talk:8ial]] https://esolangs.org/w/index.php?diff=185023&oldid=185018 * ChuckEsoteric08 * (-194) Already fixed it myself 15:27:33 [[]] https://esolangs.org/w/index.php?diff=185024&oldid=185020 * CoolFoolGabagool * (+56) 15:27:40 [[]] https://esolangs.org/w/index.php?diff=185025&oldid=185024 * CoolFoolGabagool * (+1) 15:32:15 [[]] https://esolangs.org/w/index.php?diff=185026&oldid=185025 * CoolFoolGabagool * (+382) 15:32:26 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 15:34:33 [[]] https://esolangs.org/w/index.php?diff=185027&oldid=185026 * CoolFoolGabagool * (-53) 15:35:32 [[]] https://esolangs.org/w/index.php?diff=185028&oldid=185027 * CoolFoolGabagool * (+19) 15:35:49 [[]] https://esolangs.org/w/index.php?diff=185029&oldid=185028 * CoolFoolGabagool * (+1) 15:36:01 [[]] https://esolangs.org/w/index.php?diff=185030&oldid=185029 * CoolFoolGabagool * (-1) 15:36:25 [[]] https://esolangs.org/w/index.php?diff=185031&oldid=185030 * CoolFoolGabagool * (+0) 15:36:50 [[]] https://esolangs.org/w/index.php?diff=185032&oldid=185031 * CoolFoolGabagool * (+0) 15:39:47 -!- tromp has joined. 16:02:26 -!- msv has quit (Remote host closed the connection). 16:13:09 -!- ajal has joined. 16:15:08 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:15:47 -!- amby has quit (Ping timeout: 240 seconds). 16:18:58 -!- tromp has joined. 16:32:59 -!- Lord_of_Life has quit (Excess Flood). 16:36:22 -!- Lord_of_Life has joined. 16:57:10 -!- ajal has quit (Read error: Connection reset by peer). 17:00:20 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 17:21:19 -!- tromp has joined. 17:31:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 17:38:45 -!- tromp has joined. 17:53:01 isabella: The language Pola, which I think isn't documented on the wiki, is a decent example of what you might be looking for. Functions in Pola are definitionally polynomial-time; one of the ideas of Pola is that if anybody can implement any NP-complete algorithm in Pola then P=NP. 17:53:26 interesting 17:53:36 More generally, you might want descriptive complexity theory, where logical descriptions of possible mathematical objects are naturally associated to complexity classes. 17:55:19 https://www.researchgate.net/publication/266217730_Pola_a_language_for_PTIME_programming has a PDF download link. My eyes always get a little surprised at the author list; Cockett is a category theorist better known for their work on Turing categories. 18:13:17 thank you for the link 😊 18:21:53 -!- Sgeo has joined. 18:30:16 -!- MizMahem_ has quit (Quit: Connection closed for inactivity). 18:34:11 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:51:25 -!- Lord_of_Life has quit (Ping timeout: 276 seconds). 18:57:55 -!- tromp has joined. 19:24:04 Good Night 😴 😇 19:31:04 -!- Lord_of_Life has joined. 19:35:17 -!- Lord_of_Life has quit (Ping timeout: 244 seconds). 19:37:10 -!- Lord_of_Life has joined. 19:40:05 -!- Lord_of_Life has quit (Excess Flood). 19:44:59 I made a ISO-IR-71 font in the Super ZZ Zero editor (which currently only supports 8x14, so they do not quite fit exactly). (This gives me some ideas some commands to add into the font editor, such as various kind of fill commands; I already found the macro recording functions to be very helpful with this) 19:48:44 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 20:04:28 -!- Lord_of_Life has joined. 20:14:42 -!- tromp has joined. 21:12:11 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:28:00 [[]] https://esolangs.org/w/index.php?diff=185033&oldid=185032 * Aadenboy * (+72) cats; pretty sure this is a PDA with only a stack 21:57:23 [[Special:Log/upload]] upload * Miui * uploaded "[[File:Dafne affine orbits.png]]" 21:57:46 [[Dafne]] https://esolangs.org/w/index.php?diff=185035&oldid=184984 * Miui * (+89) /* Vedic square */ add visual 21:58:14 [[Dafne]] M https://esolangs.org/w/index.php?diff=185036&oldid=185035 * Miui * (-36) /* Vedic square */ fix gallery 22:03:12 -!- msv has joined. 22:10:28 [[Combinatory logic]] https://esolangs.org/w/index.php?diff=185037&oldid=184666 * Bobby Jacobs * (+91) subscripts 22:20:39 [[]] M https://esolangs.org/w/index.php?diff=185038&oldid=185033 * CoolFoolGabagool * (+436) i added math and also added unicode support 22:21:56 [[]] https://esolangs.org/w/index.php?diff=185039&oldid=185038 * CoolFoolGabagool * (+0) 22:23:26 [[]] https://esolangs.org/w/index.php?diff=185040&oldid=185039 * CoolFoolGabagool * (+12) 22:26:21 [[]] https://esolangs.org/w/index.php?diff=185041&oldid=185040 * CoolFoolGabagool * (+208) 22:26:44 [[]] https://esolangs.org/w/index.php?diff=185042&oldid=185041 * CoolFoolGabagool * (-2) 22:27:03 [[]] https://esolangs.org/w/index.php?diff=185043&oldid=185042 * CoolFoolGabagool * (-6) 22:28:15 [[]] https://esolangs.org/w/index.php?diff=185044&oldid=185043 * CoolFoolGabagool * (+13) 22:32:57 [[]] https://esolangs.org/w/index.php?diff=185045&oldid=185044 * CoolFoolGabagool * (-1) 22:39:02 [[]] https://esolangs.org/w/index.php?diff=185046&oldid=185045 * CoolFoolGabagool * (+114) 22:39:16 [[]] https://esolangs.org/w/index.php?diff=185047&oldid=185046 * CoolFoolGabagool * (-63) 22:46:36 [[]] https://esolangs.org/w/index.php?diff=185048&oldid=185047 * CoolFoolGabagool * (-1) 22:53:05 [[]] https://esolangs.org/w/index.php?diff=185049&oldid=185048 * CoolFoolGabagool * (+479) 22:53:27 [[]] https://esolangs.org/w/index.php?diff=185050&oldid=185049 * CoolFoolGabagool * (+3) 22:53:43 -!- amby has joined. 22:56:05 [[PrimeIndex]] N https://esolangs.org/w/index.php?oldid=185051 * AndrewBayly * (+11) Created page with "placeholder" 23:07:10 [[PrimeIndex]] https://esolangs.org/w/index.php?diff=185052&oldid=185051 * AndrewBayly * (+9899) PrimeIndex initial page 23:11:09 [[PrimeIndex]] M https://esolangs.org/w/index.php?diff=185053&oldid=185052 * AndrewBayly * (-792) fixed categories 23:11:44 [[]] https://esolangs.org/w/index.php?diff=185054&oldid=185050 * CoolFoolGabagool * (+45) 23:13:21 [[PrimeIndex]] M https://esolangs.org/w/index.php?diff=185055&oldid=185053 * AndrewBayly * (+22) added languages category 23:21:45 [[Hard]] https://esolangs.org/w/index.php?diff=185056&oldid=184993 * AndrewBayly * (+7011) initial page 23:22:44 [[Huit]] https://esolangs.org/w/index.php?diff=185057&oldid=150857 * TheCanon2 * (+84) Added = operator 23:23:29 [[Hard]] M https://esolangs.org/w/index.php?diff=185058&oldid=185056 * AndrewBayly * (-24) fixed links 23:25:51 [[Hard]] M https://esolangs.org/w/index.php?diff=185059&oldid=185058 * AndrewBayly * (+77) added links 23:26:33 [[PrimeIndex]] M https://esolangs.org/w/index.php?diff=185060&oldid=185055 * AndrewBayly * (-26) small fix 23:57:56 [[Falafel]] N https://esolangs.org/w/index.php?oldid=185061 * Las-r * (+3873) Created page with "{{infobox proglang |name = Falafel |paradigms = imperative, stack-based |author = [[:User:Las-r]] |year = [[:Category:2026|2026]] |class = [[:Category:Turing complete|Turing complete]] |majorimpl = [https://gist.github.com/las-r/76ad7af102f1b06095f4d7a16ebd2c44 GitHub Gi