Slop by nitromannitol

github.com/nitromannitol — not a slopsmith (yet).

1. the trawling net

   The Cap'm's net dragged everything below this line out of public GitHub: nobody submitted it, and he wrote the paperwork himself from what the owner already said. Trawled listings sort under every repo that opted in, stay out of the RSS feed, and can't win awards. An owner can claim one with a slopscore.md of their own, or have it removed in a click. How the trawl works.

2. 10 crowdincl. 1 critic
   
   listed nitromannitol · listed 1 hour ago

   percolation-after-anthropic

   github.com/nitromannitol/percolation-after-anthropic

   Lean proofs of Kozma–Nitzan inequalities, independent hyperedge gluing, and critical site percolation

   Lean · ★ 1 · paperwork by the Cap'mmostly ai (inferred)light human (inferred)works-on-my-machine (inferred)other
   0 comments report