Tootfinder

Holy forking shirtballs! That is **such** a better film than the one they released! I don't feel so bad for spending the £4 when I already had the theatrical version. If they had shown that, we would have another film by now!
#JusticeLeague #Batman

This https://arxiv.org/abs/2311.00609 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Three surprising instances of dividing
We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type $p$ over a set $B$ does not divide over $C\subseteq B$, then no extension of $p$ to a complete type over $\text{acl}(B)$ divides over $C$. Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an NSOP$_1$ theory with a complete type that forks, but …

#GitHub is under attack.
“The flow of the campaign is simple:
1. Cloning existing repos (for example: TwitterFollowBot, WhatsappBOT, discord-boost-tool, Twitch-Follow-Bot, and hundreds more)
2. Infecting them with malware loaders
3. Uploading them back to GitHub with identical names
4. Automatically forking each thousands of times
5. Covertly promoting them across the …

GitHub besieged by millions of malicious repositories in ongoing attack
GitHub keeps removing malware-laced repositories, but thousands remain.

@… Just perusing the stars / follows / forks stats on random GH repos, it definitely feels like people are shying away from forking. Which is a shame, because it is such an amazing power to have!

💸 Forking council tax increase. 2,073.60 per year! 😵‍💫
#UK #UKPol #Brexitland #UnitedKingdomOfBrexit

We went for a bit of a walk upstream, by a forking stream earlier. #Stream

This https://arxiv.org/abs/2403.07616 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

On some Fraisse limits with free amalgamation
In the first section of this work we discuss some curiosities around stable Kim-forking. In the second section we give a general way of building some known and some new examples of NSOP1 theories as the limit of some Fraisse class satisfying some strong conditions. These limits will satisfy existence, that Kim independence and algebraic independence coincide over arbitrary sets, that forcing base monotonicity on Kim-independance gives forking independence, and they come with a stationary indepe…

💸 Forking council tax increase. 2,073.60 per year! 😵‍💫
#UK #UKPol #Brexitland #UnitedKingdomOfBrexit

On some Fraisse limits with free amalgamation
Yvon Bossut
https://arxiv.org/abs/2403.07616 https://arxiv.org/pdf/2403.07616

On some Fraisse limits with free amalgamation
In the first section of this work we discuss some curiosities around stable Kim-forking. In the second section we give a general way of building some known and some new examples of NSOP1 theories as the limit of some Fraisse class satisfying some strong conditions. These limits will satisfy existence, that Kim independence and algebraic independence coincide over arbitrary sets, that forcing base monotonicity on Kim-independance gives forking independence, and they come with a stationary indepe…