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 <esolangs> [[ machine]] M https://esolangs.org/w/index.php?diff=184983&oldid=184761 * PrySigneToFry * (+152)
02:21:28 <esolangs> [[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 <esolangs> [[Trapdoor]] N https://esolangs.org/w/index.php?oldid=184985 * AndrewBayly * (+4141) Trapdoor Initial Page
03:16:07 <esolangs> [[User:AndrewBayly]] https://esolangs.org/w/index.php?diff=184986&oldid=184957 * AndrewBayly * (+68) added trapdoor
03:20:26 <esolangs> [[Square]] https://esolangs.org/w/index.php?diff=184987&oldid=184982 * AndrewBayly * (+7712) Square full initial content
03:23:02 <esolangs> [[Square]] https://esolangs.org/w/index.php?diff=184988&oldid=184987 * AndrewBayly * (-52) corrected links
03:24:52 <esolangs> [[User:AndrewBayly]] M https://esolangs.org/w/index.php?diff=184989&oldid=184986 * AndrewBayly * (+27)
03:26:31 <esolangs> [[User:AndrewBayly]] M https://esolangs.org/w/index.php?diff=184990&oldid=184989 * AndrewBayly * (+55) Changed Square description
03:34:29 <esolangs> [[Trapdoor]] M https://esolangs.org/w/index.php?diff=184991&oldid=184985 * AndrewBayly * (+10) added link to demo
03:51:00 <esolangs> [[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 <esolangs> [[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 <esolangs> [[User:None1/ToDo]] https://esolangs.org/w/index.php?diff=184994&oldid=181350 * None1 * (+115) /* Content */
07:48:41 <esolangs> [[PrimeScript]] M https://esolangs.org/w/index.php?diff=184995&oldid=184959 * None1 * (+0) /* References */ Fix category
07:53:33 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=184996&oldid=184952 * None1 * (+5811)
07:54:00 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=184997&oldid=184996 * None1 * (-7614)
07:54:43 <esolangs> [[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 <esolangs> [[Coin]] https://esolangs.org/w/index.php?diff=184999&oldid=184998 * None1 * (-2324)
07:56:22 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=185000&oldid=184881 * None1 * (+11) /* C */
07:56:55 <esolangs> [[User:None1]] https://esolangs.org/w/index.php?diff=185001&oldid=182783 * None1 * (+54)
07:57:44 <esolangs> [[Coin]] https://esolangs.org/w/index.php?diff=185002&oldid=184999 * None1 * (+53)
07:58:01 <esolangs> [[One time cat]] N https://esolangs.org/w/index.php?oldid=185003 * None1 * (+26) Redirected page to [[One Time Cat]]
08:21:12 <esolangs> [[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 <esolangs> [[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 <isabella> https://en.cppreference.com/cpp/numeric/random/uniform_random_bit_generator
10:54:02 <isabella> "g() has amortized constant complexity."
10:54:18 <isabella> there is no way to express that in c++, but i wonder
10:55:18 <isabella> in a hypothetical future language
10:55:35 <isabella> what kind of language could possibly assert that such a property holds?
10:56:04 <APic> isabella: Only the uncountably infinetely Futures will tell
10:56:05 <isabella> this feels like rice theorem kinda territory
10:56:26 <APic> Viewed holistically and transcendentally, every single Language
10:56:38 <APic> Every Language evolves
10:56:46 <APic> Welcome to the Matrcies, Neo
10:57:34 <APic> Also: WELCOME TO WARP ZONE
10:59:09 <isabella> 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 <esolangs> [[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 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=185007&oldid=184892 * CoolFoolGabagool * (+184) introduction
14:54:16 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=185008&oldid=185007 * CoolFoolGabagool * (+106)
14:55:53 <esolangs> [[User:CoolFoolGabagool]] N https://esolangs.org/w/index.php?oldid=185009 * CoolFoolGabagool * (+77) i am cool
15:01:16 <esolangs> [[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 <esolangs> [[]] 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 <esolangs> [[8ial]] https://esolangs.org/w/index.php?diff=185012&oldid=180331 * ChuckEsoteric08 * (+38) Not TC due to bounded registers
15:20:27 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185013&oldid=185011 * CoolFoolGabagool * (-24)
15:22:17 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185014&oldid=185013 * CoolFoolGabagool * (+239)
15:22:24 <esolangs> [[Talk:8ial]] https://esolangs.org/w/index.php?diff=185015&oldid=169518 * ChuckEsoteric08 * (+201) /* Not Turing complete */ new section
15:23:54 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185016&oldid=185014 * CoolFoolGabagool * (+1)
15:24:21 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185017&oldid=185016 * CoolFoolGabagool * (+1)
15:24:31 <esolangs> [[Talk:8ial]] https://esolangs.org/w/index.php?diff=185018&oldid=185015 * ChuckEsoteric08 * (+194) /* Not Turing complete */
15:24:45 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185019&oldid=185017 * CoolFoolGabagool * (-26)
15:26:11 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185020&oldid=185019 * CoolFoolGabagool * (+282)
15:26:42 <esolangs> [[Talk:Dafne]] https://esolangs.org/w/index.php?diff=185021&oldid=185006 * Miui * (+710) /* Description? */
15:26:42 <esolangs> [[8ial]] https://esolangs.org/w/index.php?diff=185022&oldid=185012 * ChuckEsoteric08 * (+18) /* Syntax */ Condition wasn't specified
15:27:30 <esolangs> [[Talk:8ial]] https://esolangs.org/w/index.php?diff=185023&oldid=185018 * ChuckEsoteric08 * (-194) Already fixed it myself
15:27:33 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185024&oldid=185020 * CoolFoolGabagool * (+56)
15:27:40 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185025&oldid=185024 * CoolFoolGabagool * (+1)
15:32:15 <esolangs> [[]] 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 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185027&oldid=185026 * CoolFoolGabagool * (-53)
15:35:32 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185028&oldid=185027 * CoolFoolGabagool * (+19)
15:35:49 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185029&oldid=185028 * CoolFoolGabagool * (+1)
15:36:01 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185030&oldid=185029 * CoolFoolGabagool * (-1)
15:36:25 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185031&oldid=185030 * CoolFoolGabagool * (+0)
15:36:50 <esolangs> [[]] 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 <korvo> 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:36 <korvo> More generally, you might want descriptive complexity theory, where logical descriptions of possible mathematical objects are naturally associated to complexity classes.
17:55:19 <korvo> 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: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 <APic> 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 <zzo38> 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 <esolangs> [[]] 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 <esolangs> [[Special:Log/upload]] upload * Miui * uploaded "[[File:Dafne affine orbits.png]]"
21:57:46 <esolangs> [[Dafne]] https://esolangs.org/w/index.php?diff=185035&oldid=184984 * Miui * (+89) /* Vedic square */ add visual
21:58:14 <esolangs> [[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 <esolangs> [[Combinatory logic]] https://esolangs.org/w/index.php?diff=185037&oldid=184666 * Bobby Jacobs * (+91) subscripts
22:20:39 <esolangs> [[]] M https://esolangs.org/w/index.php?diff=185038&oldid=185033 * CoolFoolGabagool * (+436) i added math and also added unicode support
22:21:56 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185039&oldid=185038 * CoolFoolGabagool * (+0)
22:23:26 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185040&oldid=185039 * CoolFoolGabagool * (+12)
22:26:21 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185041&oldid=185040 * CoolFoolGabagool * (+208)
22:26:44 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185042&oldid=185041 * CoolFoolGabagool * (-2)
22:27:03 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185043&oldid=185042 * CoolFoolGabagool * (-6)
22:28:15 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185044&oldid=185043 * CoolFoolGabagool * (+13)
22:32:57 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185045&oldid=185044 * CoolFoolGabagool * (-1)
22:39:02 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185046&oldid=185045 * CoolFoolGabagool * (+114)
22:39:16 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185047&oldid=185046 * CoolFoolGabagool * (-63)
22:46:36 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185048&oldid=185047 * CoolFoolGabagool * (-1)
22:53:05 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185049&oldid=185048 * CoolFoolGabagool * (+479)
22:53:27 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185050&oldid=185049 * CoolFoolGabagool * (+3)
22:53:43 -!- amby has joined.
22:56:05 <esolangs> [[PrimeIndex]] N https://esolangs.org/w/index.php?oldid=185051 * AndrewBayly * (+11) Created page with "placeholder"
23:07:10 <esolangs> [[PrimeIndex]] https://esolangs.org/w/index.php?diff=185052&oldid=185051 * AndrewBayly * (+9899) PrimeIndex initial page
23:11:09 <esolangs> [[PrimeIndex]] M https://esolangs.org/w/index.php?diff=185053&oldid=185052 * AndrewBayly * (-792) fixed categories
23:11:44 <esolangs> [[]] https://esolangs.org/w/index.php?diff=185054&oldid=185050 * CoolFoolGabagool * (+45)
23:13:21 <esolangs> [[PrimeIndex]] M https://esolangs.org/w/index.php?diff=185055&oldid=185053 * AndrewBayly * (+22) added languages category
23:21:45 <esolangs> [[Hard]] https://esolangs.org/w/index.php?diff=185056&oldid=184993 * AndrewBayly * (+7011) initial page
23:22:44 <esolangs> [[Huit]] https://esolangs.org/w/index.php?diff=185057&oldid=150857 * TheCanon2 * (+84) Added = operator
23:23:29 <esolangs> [[Hard]] M https://esolangs.org/w/index.php?diff=185058&oldid=185056 * AndrewBayly * (-24) fixed links
23:25:51 <esolangs> [[Hard]] M https://esolangs.org/w/index.php?diff=185059&oldid=185058 * AndrewBayly * (+77) added links
23:26:33 <esolangs> [[PrimeIndex]] M https://esolangs.org/w/index.php?diff=185060&oldid=185055 * AndrewBayly * (-26) small fix
23:57:56 <esolangs> [[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