What's a concrete example of LIN ⊊ NLIN?
P-Hacking in Startups | Briefer
yang-mills mass gap
How do you find the center of two concentric circles with just a straightedge?
Full Berkeley Lectures on Group Theory
Is there an interesting set of natural numbers defined by a number-theoretic property that is finite?
Is there a question about a purely finite structure that's independent of ZF, or just ZF-infinity?
What's an example of an ordered set other than R that obeys the first 3 Suslin conditions?
Interesting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)
Matrix Theory: From Generalized Inverses to Jordan Form
What are some interesting fiber bundles with a disk or plane as the base?
Has someone written a proof of an empty Cartesian product of non-empty sets in ZF¬C?
What do you call the problem of "factoring" a group member into group generators?
Bottle, Burger, Beer, Hot Dog Viral Puzzle – Mind Your Decisions
How well known is the consistency of large-cardinal theories?
open source math textbooks
some older machine learning books
"Prompt Gisting:" Train two models such that given inputs "Translate French<G1><G2>" and "<G1>G2>The cat," then G1 and G2 represent the entire instruction.
Taming AI Bots: Prevent LLMs from entering "bad" states using continuous guidance from the LLM ("is this good? bad?") to avoid bad states.
The TeX book