Slop by vltanh

github.com/vltanh — 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. 00 crowd
   
   listed vltanh · listed 1 hour ago

   lean4-moving-sofa

   github.com/vltanh/lean4-moving-sofa

   Lean 4 formalization of Baek's proof that Gerver's sofa is optimal (the moving sofa problem), with an audit of the paper

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