> 1759795372 114019 PRIVMSG #esolangs :14[[07?brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=165751&oldid=165750 5* 03HyperbolicireworksPen 5* (+67) 10
> 1759795534 853152 PRIVMSG #esolangs :14[[07?brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=165752&oldid=165751 5* 03HyperbolicireworksPen 5* (+61) 10
> 1759795746 735687 PRIVMSG #esolangs :14[[07?brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=165753&oldid=165752 5* 03HyperbolicireworksPen 5* (+67) 10
> 1759795947 515927 PRIVMSG #esolangs :14[[07?brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=165754&oldid=165753 5* 03HyperbolicireworksPen 5* (+104) 10
< 1759796471 890453 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1759797095 543538 :bongino!~bongino@user/bongino QUIT :Ping timeout: 256 seconds
< 1759797185 564361 :bongino!~bongino@user/bongino JOIN #esolangs bongino :bongino
> 1759798707 143106 PRIVMSG #esolangs :14[[07LogicGates14]]4 10 02https://esolangs.org/w/index.php?diff=165755&oldid=165695 5* 03None1 5* (+4) 10/* Looping counter */ Fix
> 1759798747 541196 PRIVMSG #esolangs :14[[07LogicGates14]]4 10 02https://esolangs.org/w/index.php?diff=165756&oldid=165755 5* 03None1 5* (+1640) 10
< 1759799056 403800 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in
< 1759799084 483985 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1759799580 606608 PRIVMSG #esolangs :14[[07?brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=165757&oldid=165754 5* 03HyperbolicireworksPen 5* (+149) 10
< 1759799661 685118 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in
> 1759800605 471959 PRIVMSG #esolangs :14[[07LogicGates14]]4 10 02https://esolangs.org/w/index.php?diff=165758&oldid=165756 5* 03Aadenboy 5* (+182) 10/* Commands */ list equivalences for each gate
< 1759802169 348050 :amby!~ambylastn@host-92-17-32-126.as13285.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement
< 1759803911 957491 :sftp!~sftp@user/sftp QUIT :*.net *.split
< 1759803912 77229 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca QUIT :*.net *.split
< 1759803947 584076 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1759803957 972539 :sftp!~sftp@79.174.36.182 JOIN #esolangs * :sftp
< 1759803962 902578 :sftp!~sftp@79.174.36.182 CHGHOST ~sftp :user/sftp
< 1759804014 851239 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1759804052 634252 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 259 seconds
< 1759804094 440132 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1759804143 205440 :Sgeo__!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1759804157 700297 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 260 seconds
< 1759804397 366940 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
< 1759804427 605028 :Sgeo_!~Sgeo@user/sgeo QUIT :Ping timeout: 256 seconds
> 1759805867 513698 PRIVMSG #esolangs :14[[07LogicGates14]]4 10 02https://esolangs.org/w/index.php?diff=165759&oldid=165758 5* 03Aadenboy 5* (+2097) 10/* Interpreter */ add a lua interpreter
< 1759807609 285472 :Melvar!~melvar@dslb-002-200-068-028.002.200.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds
< 1759807609 426408 :bongino!~bongino@user/bongino QUIT :Ping timeout: 256 seconds
< 1759807616 977814 :bongino_!~bongino@user/bongino JOIN #esolangs bongino :bongino
< 1759807641 625243 :Melvar!~melvar@dslb-002-200-068-028.002.200.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar
< 1759808131 513520 :A_Dragon!A_D@libera/staff/dragon QUIT :Quit: ZNC - https://znc.in
< 1759808145 300560 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist
< 1759808980 978422 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs lisbeths :lisbeths
> 1759809295 602875 PRIVMSG #esolangs :14[[07LogicGates14]]4 M10 02https://esolangs.org/w/index.php?diff=165760&oldid=165759 5* 03Aadenboy 5* (+27) 10/* Lua */ credit
< 1759813565 305944 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :Quit: ZNC 1.8.2+deb2+deb11u1 - https://znc.in
< 1759813775 871541 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :Hooloovoo
< 1759814306 255719 :slavfox!~slavfox@193.28.84.183 QUIT :Ping timeout: 256 seconds
< 1759814333 632687 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 256 seconds
< 1759814384 307445 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in
< 1759814392 550845 :slavfox!~slavfox@193.28.84.183 JOIN #esolangs slavfox :slavfox
< 1759814837 54673 :A_Dragon!A_D@libera/staff/dragon NICK :gAy_Dragon
< 1759816735 402083 :lisbeths!uid135845@id-135845.lymington.irccloud.com QUIT :Quit: Connection closed for inactivity
< 1759817050 481466 :slavfox!~slavfox@193.28.84.183 QUIT :Ping timeout: 256 seconds
< 1759817058 564841 :slavfox!~slavfox@193.28.84.183 JOIN #esolangs slavfox :slavfox
< 1759817546 579719 :Sgeo__!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
> 1759817932 256880 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Sophocrat 5*  10New user account
< 1759818068 953388 :tromp!~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922 JOIN #esolangs * :Textual User
> 1759818164 866174 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=165761&oldid=165739 5* 03Sophocrat 5* (+184) 10/* Introductions */ introduced myself
< 1759819732 561326 :bongino_!~bongino@user/bongino QUIT :Ping timeout: 260 seconds
< 1759819765 936413 :bongino!~bongino@user/bongino JOIN #esolangs bongino :bongino
< 1759820128 83810 :tromp!~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1759821630 863244 :slavfox!~slavfox@193.28.84.183 QUIT :Ping timeout: 256 seconds
< 1759821641 599358 :slavfox!~slavfox@193.28.84.183 JOIN #esolangs slavfox :slavfox
< 1759824065 450455 :tromp!~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922 JOIN #esolangs * :Textual User
< 1759825341 680658 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :Hi *
> 1759828216 688490 PRIVMSG #esolangs :14[[07ETC14]]4 M10 02https://esolangs.org/w/index.php?diff=165762&oldid=165682 5* 03Elbereth 5* (+151) 10/* Examples */
> 1759828372 60414 PRIVMSG #esolangs :14[[07User:XKCD Random Number14]]4 10 02https://esolangs.org/w/index.php?diff=165763&oldid=165702 5* 03Elbereth 5* (+119) 10[[ETC]]
< 1759828851 893610 :tromp!~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1759830809 259779 PRIVMSG #esolangs :14[[07User:Iddi0114]]4 10 02https://esolangs.org/w/index.php?diff=165764&oldid=147356 5* 03Elbereth 5* (+8873) 10/* Programming games */ This section is **seriously outdated**: the last edit is from 2024, and the new "[[BF Joust champions#2025|epsilon]]" was absent here; and i found several high-ranking [[Redcode]] programs by him at the "Koenigstuhl" (one of them is also named epsil
< 1759833383 574788 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Mhm. I think I've heard it's generally against the etiquette to edit someone else's user page, but that was clearly done in good faith.
> 1759836761 266571 PRIVMSG #esolangs :14[[07Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=165765&oldid=96284 5* 03B jonas 5* (+76) 10
< 1759836871 850650 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1759836874 877806 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 246 seconds
< 1759836949 902821 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
> 1759838050 801249 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=165766&oldid=164128 5* 03PrySigneToFry 5* (+453) 10
> 1759839810 15094 PRIVMSG #esolangs :14[[07Teleporto14]]4 10 02https://esolangs.org/w/index.php?diff=165767&oldid=163557 5* 03Hotcrystal0 5* (+4) 10more corrections/polishing
< 1759839934 685436 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Hah, corporate security sent me a note they'd flagged as "anomalous" when I curl -I'd iddi01's raw-paste.vercel.app URL to figure out why the 429s from zemhill the other day, because allegedly they've seen that site be used to host malware in the past. Had to explain them what I was doing.
< 1759839950 427055 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Well, maybe they'll start doing BF joust too, who knows.
< 1759839961 129055 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Shouldn't've done it on the work laptop, I guess, it's just a reflex to use the "scratchpad" terminal key binding for any quick command-line thing.
< 1759841986 515125 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1759842059 275627 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'm trying to read a paper, but the code samples are written in C/C++-like syntax except that they allocate memory with new and deallocate it with free
< 1759842077 315440 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this is really aggravating for some reason, I guess my brain finds it hard to overlook the allocator mismatch
< 1759842382 899013 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess it's a better reaction to have than *not* noticing something like that
< 1759842596 651789 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: how old is the paper?
< 1759842611 688571 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it was presented at a conference in 2013
< 1759842618 13780 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yeah, then it's annoying
< 1759842620 93348 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so not ancient enough for new and malloc to be synonyms
< 1759842637 566607 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :if it were from the 1996 then it would be somewhat more excusable
< 1759842658 395964 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I don't think the syntax is intended to be actual C or C++, just pseudocode
< 1759842664 450932 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :you mean using the same allocator, right? as in synonymous for trivial types?
< 1759842672 445386 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right
< 1759842681 536838 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I should probably have said free and delete, which were actual synonyms at the time
< 1759842692 256781 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hmm… when did delete[] become required to delete arrays?
< 1759842751 507230 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :something I've been thinking about for a while is that allocating arrays may want to use a different algorithm than allocating non-arrays, because arrays are often realloced larger and other things almost never are
< 1759842765 198905 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so having separate delete/delete[] may make sense
< 1759842772 592572 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :the "just pseudocode" codes can be very annoying, it seems that sometimes people do it because their code is buggy but they want to make it harder for a reader to prove that it's buggy. the ill-fated psz interpreter was an attempt to prove that some pseudocode was buggy, only I was very inexperienced so I made some big mistakes in it, but I at least learned a few things about parsing and interpreters
< 1759842811 895736 :amby!~ambylastn@host-92-17-32-126.as13285.net JOIN #esolangs amby :realname
< 1759842815 698789 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :that one may count as the first esolang that I created, if you define "created" and "esoteric" broad enough (it's at least definitely a language)
< 1759842838 102513 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it also uses a somewhat quirky indentation style with no newline before } but I can live with that (I even used it myself for something, but can't remember why)
< 1759842857 840428 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: is that to fit more easier in a printed journal page limit?
< 1759842862 926290 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :probably
< 1759842871 334259 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :alternately because a lisp programmer wrote it
< 1759842896 153943 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it isn't that bad as indentation styles go, the whitespace matches Python and yet it's unambiguous
< 1759842910 843798 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but it isn't very popular for some reason
> 1759842963 50055 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03ZachMadeAnAltBecauseHeLostThePassword 5*  10New user account
< 1759842970 673280 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :wait, why does pseudocode care about deallocation in first place? can't it just leak memory?
< 1759843013 618772 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :because the paper is about proving that the memory can be deallocated safely
< 1759843017 524450 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( maybe it's pseudo code for an allocator )
< 1759843029 796951 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ah
< 1759843040 856603 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so the exact deallocation timings are relevant
< 1759843100 337244 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and it doesn't just happen to use an identifier `free` that refers to something other than the function from the C standard, right? that'd still be a bad idea, but less bad
< 1759843121 970519 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it doesn't explain it, it's presumably meant to be obvious
< 1759843188 565599 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(also I just realised that free and delete were never true synonyms, delete runs destructors, free doesn't)
> 1759843198 435655 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=165768&oldid=165761 5* 03ZachMadeAnAltBecauseHeLostThePassword 5* (+344) 10
< 1759843204 509228 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :…which is presumably why C++ needed new names for the operations in the first place
< 1759843263 323580 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, that's why I was trying to say "synonymous for trivial types", trivial type implies it has a trivial destructor so it is ok to elide calling the destructor
< 1759843361 439708 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :having types that aren't trivial is what I consider the main difference between C and C++, and between zig and rust, at least from the design sense rather than the source compatibility sense
< 1759843370 415867 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :though some people disagree
< 1759843454 918388 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :recently I've been working on trying to create memory models
< 1759843464 987669 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :atomics, provenance, etc.
< 1759843504 888578 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are two fundamentally different ways to do it, and C / C++ / Zig cannot be compiled to one of them because there is not enough information in the source code
< 1759843535 737324 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :whereas safe Rust can meaningfully be compiled to either but the semantics for unsafe code are very different (with existing unsafe code using the C / C++ / Zig model, unsurprisingly because it's made to be compiled with LLVM)
< 1759843571 402189 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :you'll have to be more specific because there's more than two ways to create memory models
< 1759843587 896303 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :though being able to compile rust to it is at least a restriction
< 1759843589 697709 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :a good example is with atomic reference counting (std::shared_ptr in C++, Arc in Rust) – in the C / C++ / Zig model a decrement of the release count has to be release-ordered, in the other model it can be relaxed-ordered
< 1759843607 496411 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh yes, a lot more specificity is needed
< 1759843613 339089 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'm still trying to work out the details
< 1759843670 738150 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but the basic insight is to define provenance to be "the thing that prevents race conditions from occurring" and then to reverse engineer all its properties from that
< 1759843703 466545 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(note that even single-threaded code can have race conditions if the compiler makes incorrect aliasing assumptions to reorder two instructions that actually depended on each other – this is in effect equivalent to running them simultaneously and getting a race)
< 1759843755 467034 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Rust statically prevents race conditions, but there doesn't really seem to be a consensus on *how* it does that
< 1759843786 46589 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :if you manage to specify the memory model, can you extend it to multiple user-space processes sharing mapped memory with at least one able to write? or did posix pthreads already do that?
< 1759843801 391901 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the unsafe code in the Rust standard library doesn't have a meaningful set of rules for how much synchronization is needed, for example, so it's been implemented in a somewhat ad-hoc way
< 1759843878 724850 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: that's awkward because you can do it trivially if you place constraints on how the processes write from the memory model's point of view, and it's impossible otherwise
< 1759843924 537086 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :e.g. you could say "all writes by any process are considered to be, at least, relaxed-atomic writes of each written byte of memory individually" because, on most hardware, it is impossible to do any write that violates that requirement
< 1759843948 442311 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and then you can safely read it with relaxed-atomic reads ("safe" in the sense of not being undefined behaviour, you might of course still get torn reads)
< 1759843977 774882 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but you need some memory model for what the other processes are able to do
< 1759844062 727213 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :if, however, you imagine hardware on which a read/write race produces undefendable-against bad effects (UB, the OS killing your process, etc.) then there is no way to read data written by a process unless it offers you some means of avoiding the race condition
< 1759844078 75303 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :is that the problem you talked about some day, a primitive to do a speculative atomic read that may give a bogus value but no undefined behavior if it races with a non-atomic write
< 1759844095 169199 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's definitely related, I've been thinking about that one a lot
< 1759844152 206658 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I recently read a blog post which pointed out that the "obvious" algorithm for atomically pushing onto a list (write the current list head into the new element's next pointer, then CAS the new element over the head of the list if the pointer is still correct) is technically incorrect under current provenance rules
< 1759844179 826420 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :because you might read an old provenance from the current list head, and the CAS might replace a newer pointer with a different provenance
< 1759844193 776751 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(https://people.kernel.org/paulmck/what-on-earth-does-lifetime-end-pointer-zap-have-to-do-with-rcu)
< 1759844203 396768 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but it viewed it as a problem in the current provenance definition
< 1759844254 26966 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I see it differently, though: when you read from the pointer at the start of the algorithm, you are reading the address from the *current* pointer, but speculatively taking the provenance from the *future* pointer (which might have the same address due to the ABA problem)
< 1759844288 27022 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :then you write the future pointer's provenance into the list element, and do the compare-and-swap, now if the swap succeeded the provenance is correct because we read it in advance
< 1759844336 87668 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think this is the same basic phenomenon, but with much more reasonable-looking code
< 1759844355 801509 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :oh, mostly unrelated, is it possible to safely do database-style atomic updates on a file with fallocate(fd, FALLOC_FL_COLLAPSE_RANGE, off, len) or fallocate(fd, FALLOC_INSERT_RANGE, off, len), in the sense that if all writing processes adhere to a protocol but occasionally a process can be unexpectedly killed then the file will always stay in a recoverable state? the linux man page doesn't seem to say 
< 1759844361 980136 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :anything about the atomicity guarantees
< 1759844447 919478 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: see the glibc documentation for posix_fallocate, it talks about plain fallocate too
< 1759844485 566521 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :based on this, it seems like "if the filesystem supports it, it is safe; if the filesystem doesn't support it, posix_fallocate gives you a racy version, plain fallocate gives you an error code"
< 1759844520 185067 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh, but posix_fallocate doesn't support range inserts/collapses
< 1759844540 658077 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so that documentation isn't useful for your case
< 1759844567 536571 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but my conclusion is probably "any atomicity guarantees would be made by the filesystem, not by the system call"
< 1759844626 666255 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in general the Linux manpages aren't very good, they often seem to get out of sync with actual kernel behaviour (e.g. during the fastest-FizzBuzz thing, multiple people noticed that the behaviour of vmsplice(2) didn't match its documentation)
< 1759844654 959132 :int-e!~noone@int-e.eu PRIVMSG #esolangs :"a sufficiently all-knowing compiler"
< 1759844667 431180 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :https://sourceware.org/glibc/manual/latest/html_node/Storage-Allocation.html I don't think that's definitive, that only talks about emulating the normal mode fallocate(fd, 0, off, len) 
< 1759844720 195849 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :that doesn't mean it would try to emulate FALLOC_FL_COLLAPSE_RANGE too, and that'd probably be a bad idea to emulate from glibc
< 1759844789 649550 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: right, unfortunately I only realised that problem after I told you to look at the documentation
< 1759844807 126664 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(and concluded that any guarantees would probably be made by the filesystem rather than the kernel)
< 1759844814 620288 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, the file system itself has to support the atomicity too, but only a few file systems support fallocate(fd, FALLOC_FL_COLLAPSE_RANGE, off, len) in first place, so maybe the people who added that mode decided on some minimum requirements in first place for the backends
> 1759845307 166533 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=165769&oldid=165735 5* 03Hotcrystal0 5* (+377) 10
> 1759846298 75986 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=165770&oldid=165603 5* 03PrySigneToFry 5* (-2) 10
> 1759847834 985303 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Sandbox/My Rate to the user that I know14]]4 10 02https://esolangs.org/w/index.php?diff=165771&oldid=153499 5* 03PrySigneToFry 5* (+686) 10
< 1759848484 565465 :FreeFull!~freefull@79.186.63.32.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull
> 1759848714 625835 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry/Sandbox/My Rate to the user that I know14]]4 10 02https://esolangs.org/w/index.php?diff=165772&oldid=141990 5* 03Aadenboy 5* (+304) 10
> 1759850577 690035 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03PrySigneToFry 5*  10uploaded "[[02File:Fun video game Wenyan.jpg10]]"
> 1759850665 118016 PRIVMSG #esolangs :14[[07Fun Video Game14]]4 10 02https://esolangs.org/w/index.php?diff=165774&oldid=160499 5* 03PrySigneToFry 5* (+116) 10
< 1759850713 943437 :bongino!~bongino@user/bongino QUIT :Ping timeout: 246 seconds
> 1759850870 286486 PRIVMSG #esolangs :14[[07Fun Video Game14]]4 10 02https://esolangs.org/w/index.php?diff=165775&oldid=165774 5* 03PrySigneToFry 5* (+1) 10
> 1759850893 544669 PRIVMSG #esolangs :14[[07Fun Video Game14]]4 M10 02https://esolangs.org/w/index.php?diff=165776&oldid=165775 5* 03PrySigneToFry 5* (+13) 10
> 1759850929 208949 PRIVMSG #esolangs :14[[07Fun Video Game14]]4 10 02https://esolangs.org/w/index.php?diff=165777&oldid=165776 5* 03PrySigneToFry 5* (-6) 10
< 1759851183 576206 :joast!~joast@2603:90d8:500:31cf:5e0f:3f4b:1cfe:5060 QUIT :Quit: Leaving.
> 1759851344 575447 PRIVMSG #esolangs :14[[07Fun Video Game14]]4 10 02https://esolangs.org/w/index.php?diff=165778&oldid=165777 5* 03Aadenboy 5* (+701) 10implement in [[Iterate]] (not that interesting), and golf in Lua (interesting)
> 1759853593 477081 PRIVMSG #esolangs :14[[07Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=165779&oldid=165736 5* 03Aadenboy 5* (+37) 10/* Hello, world! */ replace with an automatically generated program that minimizes loops
> 1759853631 169003 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (H-M)14]]4 10 02https://esolangs.org/w/index.php?diff=165780&oldid=165427 5* 03Aadenboy 5* (+37) 10/* Iterate */ replace with an automatically generated program that minimizes loops
< 1759854168 337118 :chloetax!~chloe@user/chloetax QUIT :Quit: Ping timeout (120 seconds)
< 1759854905 974184 :chloetax!~chloe@user/chloetax JOIN #esolangs chloetax :chloe
< 1759855341 904376 :bongino!~bongino@user/bongino JOIN #esolangs bongino :bongino
< 1759856346 952433 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 248 seconds
< 1759856389 364192 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 265 seconds
> 1759856610 331524 PRIVMSG #esolangs :14[[0799 bottles of beer14]]4 10 02https://esolangs.org/w/index.php?diff=165781&oldid=162849 5* 03Aadenboy 5* (+10136) 10implement 99 bottles of beer in [[Iterate]]. I'm not gonna list it on the page since it's largely uninteresting but it's a fun showcase of my printing optimizer
< 1759857096 488766 :Everything!~Everythin@172-232-54-192.ip.linodeusercontent.com JOIN #esolangs Everything :Everything
< 1759858027 884047 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Excess Flood
< 1759858283 612832 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1759859035 949952 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist
< 1759859233 751924 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1759859266 757472 :sftp_!~sftp@79.174.36.182 JOIN #esolangs * :sftp
< 1759859466 117411 :gAy_Dragon!A_D@libera/staff/dragon QUIT :*.net *.split
< 1759859466 273085 :sftp!~sftp@user/sftp QUIT :*.net *.split
< 1759859466 449979 :sftp_!~sftp@79.174.36.182 NICK :sftp
< 1759859466 477909 :sftp!~sftp@79.174.36.182 CHGHOST ~sftp :user/sftp
< 1759860241 60197 :A_Dragon!A_D@libera/staff/dragon QUIT :Quit: ZNC - https://znc.in
< 1759860257 97157 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist
< 1759860298 281928 :A_Dragon!A_D@libera/staff/dragon NICK :Awoobis
< 1759860592 802367 :Everything!~Everythin@172-232-54-192.ip.linodeusercontent.com QUIT :Quit: leaving
< 1759860604 816905 :bongino!~bongino@user/bongino QUIT :Ping timeout: 246 seconds
< 1759860730 728828 :thorium1256!~cube@idlerpg/player/thorium1256 JOIN #esolangs thorium1256 :It's just a cube of computing!
< 1759861622 558072 :bongino!~bongino@user/bongino JOIN #esolangs bongino :bongino
> 1759862277 171147 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03StikyPiston 5*  10New user account
> 1759862587 863843 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=165782&oldid=165768 5* 03StikyPiston 5* (+272) 10Add my introduction
< 1759863658 537990 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in
< 1759863967 585340 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in
> 1759864834 665995 PRIVMSG #esolangs :14[[07Iterate/Turing-completeness proof14]]4 10 02https://esolangs.org/w/index.php?diff=165783&oldid=154085 5* 03Aadenboy 5* (+1133) 10turns out that this was close to perfect! fixed some bugs and added an output stream of the data. it is extremely slow but it DOES in fact work
> 1759865116 927014 PRIVMSG #esolangs :14[[07Frigate14]]4 N10 02https://esolangs.org/w/index.php?oldid=165784 5* 03StikyPiston 5* (+1425) 10Created page with "# Frigate  Frigate is an esoteric programming language based on Logic Gates!  ## Interpreter needed!  Currently, Frigate has no interpreter, since I haven't a clue as to how one goes about making one.   If you'd like to make one, then please do so. Link it in the is
> 1759865249 413951 PRIVMSG #esolangs :14[[07Frigate14]]4 10 02https://esolangs.org/w/index.php?diff=165785&oldid=165784 5* 03StikyPiston 5* (-1204) 10
> 1759865529 335117 PRIVMSG #esolangs :14[[07Frigate14]]4 10 02https://esolangs.org/w/index.php?diff=165786&oldid=165785 5* 03Aadenboy 5* (+1318) 10translate markdown into wikitext and categorize
> 1759865576 847210 PRIVMSG #esolangs :14[[07Frigate14]]4 10 02https://esolangs.org/w/index.php?diff=165787&oldid=165786 5* 03Aadenboy 5* (+2) 10h3 to h2 and link
> 1759866642 210012 PRIVMSG #esolangs :14[[07Talk:Iterate/Turing-completeness proof14]]4 N10 02https://esolangs.org/w/index.php?oldid=165788 5* 03Aadenboy 5* (+2005) 10Created page with "hmm... something's gone wrong. the page for [[BCT]] shows the execution of the program as: <pre> Commands     Executed   Data-string --------   -------------   10       1   11       10   11       101    0       1011 * 11        011   10  
> 1759866707 126688 PRIVMSG #esolangs :14[[07Iterate/Turing-completeness proof14]]4 10 02https://esolangs.org/w/index.php?diff=165789&oldid=165783 5* 03Aadenboy 5* (+1307) 10
> 1759867044 236046 PRIVMSG #esolangs :14[[07Fun Video Game14]]4 10 02https://esolangs.org/w/index.php?diff=165790&oldid=165778 5* 03Aadenboy 5* (-4) 10/* Lua */ switch to assert to shave off some characters
> 1759868133 500527 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=165791&oldid=165769 5* 03Hotcrystal0 5* (+42) 10
> 1759869684 815359 PRIVMSG #esolangs :14[[07Talk:Iterate/Turing-completeness proof14]]4 10 02https://esolangs.org/w/index.php?diff=165792&oldid=165788 5* 03Salpynx 5* (+358) 10bug in BCT program, not interpreter (I think)
> 1759870089 390551 PRIVMSG #esolangs :14[[07Talk:Iterate/Turing-completeness proof14]]4 M10 02https://esolangs.org/w/index.php?diff=165793&oldid=165792 5* 03Salpynx 5* (+73) 10fix typo, and provide a breakdown
> 1759870320 857278 PRIVMSG #esolangs :14[[07Talk:Iterate/Turing-completeness proof14]]4 10 02https://esolangs.org/w/index.php?diff=165794&oldid=165793 5* 03Aadenboy 5* (+475) 10
< 1759871609 78650 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :Good Night
< 1759872051 235678 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :apparentliy I should have said "trivially copiable type" rather than "trivial type", because C++ uses "trivial type" for a more restricted and less interesting concept
< 1759872064 826141 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I should try to remember this
< 1759872305 632402 :chloetax!~chloe@user/chloetax QUIT :Read error: Connection reset by peer
< 1759872911 475654 :ajal!~ambylastn@host-92-17-32-126.as13285.net JOIN #esolangs * :realname
> 1759873044 517810 PRIVMSG #esolangs :14[[07BitBitJump14]]4 10 02https://esolangs.org/w/index.php?diff=165795&oldid=127057 5* 03Aadenboy 5* (+13) 10/* External resources */ dead link
> 1759873055 937653 PRIVMSG #esolangs :14[[07BitBitJump14]]4 M10 02https://esolangs.org/w/index.php?diff=165796&oldid=165795 5* 03Aadenboy 5* (-1) 10/* External resources */
< 1759873144 36111 :amby!~ambylastn@host-92-17-32-126.as13285.net QUIT :Ping timeout: 246 seconds
> 1759874291 812389 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03NoWhy 5*  10New user account
> 1759874556 86742 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=165797&oldid=165782 5* 03NoWhy 5* (+233) 10/* Introductions */
> 1759874630 958986 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=165798&oldid=165797 5* 03NoWhy 5* (-6) 10/* Introductions */
> 1759875124 319263 PRIVMSG #esolangs :14[[07User:NoWhy14]]4 N10 02https://esolangs.org/w/index.php?oldid=165799 5* 03NoWhy 5* (+18) 10Created page with "Hi I'm Owen Storni"
< 1759876127 560092 :joast!~joast@2603:90d8:500:31cf:5e0f:3f4b:1cfe:5060 JOIN #esolangs joast :joast
> 1759876262 143172 PRIVMSG #esolangs :14[[07NONPLUSSED14]]4 N10 02https://esolangs.org/w/index.php?oldid=165800 5* 03NoWhy 5* (+1884) 10created NONPLUSSED page
> 1759876310 593298 PRIVMSG #esolangs :14[[07User:NoWhy14]]4 10 02https://esolangs.org/w/index.php?diff=165801&oldid=165799 5* 03NoWhy 5* (+27) 10
< 1759878845 884627 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1759879590 562404 PRIVMSG #esolangs :14[[07Neko14]]4 10 02https://esolangs.org/w/index.php?diff=165802&oldid=165731 5* 03Dmiz 5* (-55) 10
> 1759879951 572373 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03WebNiko 5*  10uploaded "[[02File:Holyfuckicon.jpg10]]"
> 1759880074 105934 PRIVMSG #esolangs :14[[07HolyFuck14]]4 10 02https://esolangs.org/w/index.php?diff=165804&oldid=165471 5* 03WebNiko 5* (+47) 10
> 1759880122 584605 PRIVMSG #esolangs :14[[07?brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=165805&oldid=165757 5* 03HyperbolicireworksPen 5* (+543) 10
> 1759880215 45761 PRIVMSG #esolangs :14[[07Neko14]]4 10 02https://esolangs.org/w/index.php?diff=165806&oldid=165802 5* 03Dmiz 5* (-78) 10
> 1759880466 89213 PRIVMSG #esolangs :14[[07Neko14]]4 10 02https://esolangs.org/w/index.php?diff=165807&oldid=165806 5* 03Dmiz 5* (+45) 10
> 1759880609 692357 PRIVMSG #esolangs :14[[07?brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=165808&oldid=165805 5* 03HyperbolicireworksPen 5* (+147) 10
> 1759881038 128783 PRIVMSG #esolangs :14[[07NONPLUSSED14]]4 M10 02https://esolangs.org/w/index.php?diff=165809&oldid=165800 5* 03NoWhy 5* (+2) 10small errors
< 1759881370 917207 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca QUIT :Ping timeout: 248 seconds
> 1759881473 227339 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=165810&oldid=165697 5* 03NoWhy 5* (+17) 10added NONPLUSSED
< 1759881572 630775 :hydrogen1243!~cube@idlerpg/player/thorium1256 JOIN #esolangs thorium1256 :It's just a cube of computing!