function halts(f) {     Time = ask!Exception!     task :> launch(f)     if (doesNotHaltInTime(task)) {         print(k!Exception)     
> 1779126438 207363 PRIVMSG #esolangs :14[[07ExceptionTrackingCounterMachine14]]4 10 02https://esolangs.org/w/index.php?diff=182395&oldid=182394 5* 03Miui 5* (+36) 10
> 1779128071 422069 PRIVMSG #esolangs :14[[07Yggdraphyll14]]4 10 02https://esolangs.org/w/index.php?diff=182396&oldid=182386 5* 03Miui 5* (+566) 10/* golden products */
> 1779128148 735758 PRIVMSG #esolangs :14[[07Yggdraphyll14]]4 M10 02https://esolangs.org/w/index.php?diff=182397&oldid=182396 5* 03Miui 5* (+0) 10/* exceptional products */ -noop redundancy
> 1779129428 418461 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Etalon 5*  10New user account
> 1779129832 944169 PRIVMSG #esolangs :14[[07Yggdraphyll14]]4 M10 02https://esolangs.org/w/index.php?diff=182398&oldid=182397 5* 03Miui 5* (+246) 10
> 1779129844 778484 PRIVMSG #esolangs :14[[07Yggdraphyll14]]4 10 02https://esolangs.org/w/index.php?diff=182399&oldid=182398 5* 03Miui 5* (+1) 10/* Interpretation */
> 1779130038 931591 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=182400&oldid=182246 5* 03Etalon 5* (+198) 10/* Introductions */
> 1779130059 608738 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=182401&oldid=182400 5* 03Etalon 5* (+1) 10/* Introductions */
< 1779130139 577732 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :fizzie: is it possible to whitelist Special:Search in the anti-bot thing? the search box currently doesn't work while logged out
> 1779130176 759746 PRIVMSG #esolangs :14[[07Yggdraphyll14]]4 10 02https://esolangs.org/w/index.php?diff=182402&oldid=182399 5* 03Miui 5* (+272) 10/* Interpretation */
< 1779130185 559781 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or, well, special-case it from the block, it's not so much a list as an exception from the existing rules
> 1779130256 201388 PRIVMSG #esolangs :14[[07Yggdraphyll14]]4 M10 02https://esolangs.org/w/index.php?diff=182403&oldid=182402 5* 03Miui 5* (+8) 10/* Interpretation */
< 1779130487 915388 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :It is done.
< 1779130533 971535 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :
ACTION tests

< 1779130549 295587 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :yep, seems to be working now
< 1779130610 811845 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Nice.
> 1779130748 545974 PRIVMSG #esolangs :14[[07User talk:Etalon14]]4 N10 02https://esolangs.org/w/index.php?oldid=182404 5* 03Ais523 5* (+731) 10thanks for letting us know that search was broken
> 1779130803 696543 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=182405&oldid=182255 5* 03Blashyrkh 5* (+375) 10/* Is search restricted to logged-in users only? */ new section
> 1779130865 317503 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=182406&oldid=182405 5* 03Ais523 5* (+168) 10/* Is search restricted to logged-in users only? */ not any more
> 1779131121 117299 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=182407&oldid=182406 5* 03Blashyrkh 5* (+164) 10/* Is search restricted to logged-in users only? */
< 1779131137 837529 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :(FWIW, it is quite resource-intensive as far as pages go, and they are also crawling it. Maybe there's a scenario in which the UI can generate links to it. Hopefully that won't really make a difference; it's not _that_ frequent.)
< 1779131345 247662 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I suspect the correct solution involves every site coming up with its own different anti-crawling solution, in order to make it too expensive/difficult for the scrapers to special-case all of them
> 1779131707 727255 PRIVMSG #esolangs :14[[07Zymbol-Lang14]]4 10 02https://esolangs.org/w/index.php?diff=182408&oldid=178886 5* 03Zymbol.Lang 5* (+9843) 10
< 1779131709 863977 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :I was thinking of offering a page with the same Befunge-themed captcha as on our account registration page as an alternative mechanism for setting a (different) cookie if you don't want to make an account. That seems sufficient to exclude blindly following links or typing purely random text into forms. Besides, I don't know if the crawlers even have a cookie jar.
< 1779131785 273359 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :from what I've heard there are multiple different sets of crawlers, most of the bandwidth is used by crawlers that don't set cookies but there are some who do
< 1779131807 181868 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Debian have an anti-crawler thing that just checks to see whether cookies are enabled, and I don't think it checks anything else
> 1779131961 878185 PRIVMSG #esolangs :14[[07Yggdraphyll14]]4 10 02https://esolangs.org/w/index.php?diff=182409&oldid=182403 5* 03Miui 5* (+26) 10
< 1779131980 648666 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Mm. I guess that's also an option. Well, I won't have a chance to think about it more until the weekend at the earliest.
> 1779132264 349682 PRIVMSG #esolangs :14[[07Yggdraphyll14]]4 10 02https://esolangs.org/w/index.php?diff=182410&oldid=182409 5* 03Miui 5* (+103) 10/* Interpretation */
> 1779132564 249945 PRIVMSG #esolangs :14[[07Zymbol-Lang14]]4 10 02https://esolangs.org/w/index.php?diff=182411&oldid=182408 5* 03Corbin 5* (-53) 10Fix up categories. I'm using the same paradigms here as for Python; read [[imperative paradigm]] and [[functional paradigm]] for more information. Clearly still AI-generated; the website and GitHub have obvious signs of chatbotting.
> 1779133091 639482 PRIVMSG #esolangs :14[[07Template:AI-stub14]]4 N10 02https://esolangs.org/w/index.php?oldid=182412 5* 03Ais523 5* (+319) 10stub notice for articles about AI-generated languages
> 1779133232 810988 PRIVMSG #esolangs :14[[07Zymbol-Lang14]]4 10 02https://esolangs.org/w/index.php?diff=182413&oldid=182411 5* 03Ais523 5* (-25382) 10reduce AI-written article to a (human-written) stub  because the article is AI-written it is very likely to contain inaccuracies/hallucinations (and may contain copyright infringements), so we shouldn't list information here until it can be checked/determined by a human
< 1779133357 199273 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: despite being obviously AI-written, there's also the much more objecive tell that many commits to the specification in the repo are credited to Claude
< 1779133681 493447 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I've considered mixing in some inaccurate comments in code that I work on, human-written but in an obvious AI style, together with an explanation that comments in AI style are human-written but intended for the use of AIs
< 1779133706 606830 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :might make life harder for AI-driven licensewashers and the like
< 1779133797 379389 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(I'm not sure to what extent that's a real problem on code that's dissimilar to the training data, but may as well make the situation weirder in case it does come up)
> 1779133871 701078 PRIVMSG #esolangs :14[[07Zymbol-Lang14]]4 M10 02https://esolangs.org/w/index.php?diff=182414&oldid=182413 5* 03Ais523 5* (+5) 10fix category piping
< 1779133917 945921 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. https://paste.debian.net/hidden/e4aa236a <-- any guesses why the shapes encoding has those two \x01 bytes? (the \x06 is a tag, and then there's a string length and a string)
< 1779134062 907595 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I suppose there could be a version in there)
< 1779136529 857265 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net QUIT :Quit: Client closed
> 1779139387 284455 PRIVMSG #esolangs :14[[07Template:AI-stub14]]4 M10 02https://esolangs.org/w/index.php?diff=182415&oldid=182412 5* 03Somefan 5* (+74) 10add ai and stub cats
> 1779139508 282503 PRIVMSG #esolangs :14[[07Esolang talk:2026 topicality proposal14]]4 10 02https://esolangs.org/w/index.php?diff=182416&oldid=182390 5* 03IFcoltransG 5* (+903) 10/* Pages that are themselves art */ Test and cleanup actions
< 1779139539 613859 :ais523!~ais523@user/ais523 QUIT :Quit: quit
> 1779139975 701755 PRIVMSG #esolangs :14[[07Template:AI-stub14]]4 10 02https://esolangs.org/w/index.php?diff=182417&oldid=182415 5* 03Aadenboy 5* (-29) 10it would be worth only including the stub categoryonce the page isn't a stub and this is removed, one might forget to re-add the ai-gen category
< 1779141282 83803 :MizMahem!sid296354@user/mizmahem QUIT :Quit: Connection closed for inactivity
< 1779141497 59206 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I'm somewhat afraid that this may be something stupid: Having the \x01\0x01 there allows the color parser to recognize that it's parsing a shape. Oh well. Doesn't matter to me :)
< 1779141528 797839 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Unrelated, it's a good thing this game has no collision detection: https://int-e.eu/~bf3/tmp/Cursed-Trains-2.jpg (the red and blue boxes are train cars; they're moving rapidly to the right)
> 1779141634 535821 PRIVMSG #esolangs :14[[07Zymbol-Lang14]]4 M10 02https://esolangs.org/w/index.php?diff=182418&oldid=182414 5* 03Zymbol.Lang 5* (+25430) 10
< 1779141715 268228 :amby!~ambylastn@79-77-115-17.dynamic.dsl.as9105.com QUIT :Remote host closed the connection
< 1779142273 569783 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Server closed connection
< 1779142355 283308 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in
< 1779142355 330733 :ChanServ!ChanServ@services.libera.chat MODE #esolangs +v :perlbot
< 1779142366 569865 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Server closed connection
< 1779142447 107822 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in
< 1779142711 6085 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1779145931 948347 PRIVMSG #esolangs :14[[07-calculus (esoteric programming perspective)14]]4 N10 02https://esolangs.org/w/index.php?oldid=182419 5* 03NeurosamaLover 5* (+4464) 10Created page with "Lambda calculus (-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application. While it is **not formally classified as an esoteric programming language (esolang)
> 1779146155 206058 PRIVMSG #esolangs :14[[07-calculus (esoteric programming perspective)14]]4 10 02https://esolangs.org/w/index.php?diff=182420&oldid=182419 5* 03NeurosamaLover 5* (+28) 10
< 1779146259 366005 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :^^^ junk. Note that Neuro-sama is a vtuber chatbot; that is, it's a chatbot which animates a vtuber.
> 1779146691 870457 PRIVMSG #esolangs :14[[07G30M3TRY D45H14]]4 N10 02https://esolangs.org/w/index.php?oldid=182421 5* 03CodePentuplets48 5* (+1312) 10Created page with "'''G30M3TRY D45H''' is an esolang I made because I love Geometry Dash, lol. The instructions are all objects and triggers, like so:

 Parentheses are teleport portals; the trajectory of     (    )      ====     )    (  ============ is     (xxxx)    
> 1779146807 423053 PRIVMSG #esolangs :14[[07Lime Squeezer14]]4 M10 02https://esolangs.org/w/index.php?diff=182422&oldid=163142 5* 03Las-r 5* (+18) 10Add year category
< 1779146871 998011 :int-e!~noone@int-e.eu PRIVMSG #esolangs :WTF is the talk about consistency in the opening sentence of https://esolangs.org/wiki/Lambda%20calculus (ah, I guess it's about uniqueness of normal forms, usually captured by the stronger Church-Rosser property)
< 1779147021 493208 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Anyway, that other article is terrible, I'm sorry I read it. (One, noone will seriously suggest that it's not an esoteric programming language; it wasn't made for programming. Two, combinatory logic came first. Three, wtf is  TRUTH_MACHINE = λx.x (λ_. (OUTPUT_1) (TRUTH_MACHINE x)) (OUTPUT_0)... is this quasi-Lisp?
< 1779147147 113229 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I guess I don't hate Neurosama because Vedal trained her and supervises it... and there's no pretense that she's anything other than an AI made for entertainment purposes. I don't watch her either though.
< 1779147437 771932 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :fungot: Would you like to animate a vtuber? And if so, what would you say to the world?
< 1779147438 164907 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: where is apply being invoked? i thought it was an anime first, which had a very nice language, if there were
< 1779147585 623649 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hey, it mentioned anime, what are the odds of that :)
< 1779147671 366576 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :In principle there's an exact answer to that question, but I don't have a tool to calculate that.
< 1779147700 537823 :int-e!~noone@int-e.eu PRIVMSG #esolangs :the question is more entertaining to me than the answer would be anyway :)
< 1779147711 270892 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :I wonder if I should try to delete fungot's Twitter account, out of general principles. (Then again, I can't imagine its mere existence is really something Elon derives any financial value out of, so maybe it's not that important.)
< 1779147711 846035 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: i can forward fnord to any address you like the climate in atlanta? do you mean i am sure i have a whole big srfi full of twelve fnord beautiful shuffle algorithms due to also studying java and c
< 1779147726 23934 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :That was less coherent than usual.
< 1779147747 792849 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? srfi
< 1779147752 914282 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :srfi? ¯\(°​_o)/¯
< 1779147803 988237 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :(Scheme Request(s) For Implementation, in case anyone's curious.)
< 1779147858 794743 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I was, so thanks for that
< 1779147860 207750 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: That's roughly how I feel about her too. Some of the clips are extremely funny. However, I think it's mostly funny because Vedal is extremely vain and has a lot of chunnibyou energy.
< 1779147870 787988 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(though not quite curious enough to try a search engine)
< 1779148013 567392 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :It's a numbered set of documents, somewhat akin to RFCs, except many (most/all?) of them also describe a specific interface, and Scheme implementations may offer a method of loading them in as extensions. SRFI-1 includes a bunch of convenience procedures for dealing with lists that are missing from the (quite minimal) Scheme standard library, for example.