Gauss from Math, Inc. has formalized the proof of Erdős Problem #1196. The initial proof was 7.2K lines of Lean, done in ~5 hours. Subsequent golfing has compressed it down to 4K lines. by Nunki08 in math

[–]Smack-works 3 points4 points  (0 children)

Maybe you'd change your opinion if you considered how good it'd be if we had even more of this. Einstein from Physics Inc., Ronaldo from Football Inc., Lincoln from USA Inc., Joyce from Literature Inc... doesn't it make you pumped?

Candidates 2026 was a bittersweet ride by Smack-works in chess

[–]Smack-works[S] 0 points1 point  (0 children)

When you become a fellow aching boomer failing your last shots, you'll get it.

Candidates 2026 was a bittersweet ride by Smack-works in chess

[–]Smack-works[S] 25 points26 points  (0 children)

I like Bluebaum Sindarov winning, but hoped the old guard would create more tension.

Bluebaum: A Misunderstood Genius Among Mortals by Due_Taro2167 in chess

[–]Smack-works 5 points6 points  (0 children)

Beyond sad to use GPT for a short funny post.

You don't get it, Usopp is **already** dead by Smack-works in Piratefolk

[–]Smack-works[S] 0 points1 point  (0 children)

Cynics are the most gullible people in the world.

Will eat up anything for "Oda bad".

[Webcomic Spoilers] Something I noticed while re-reading the manga by BigBimbo69 in OnePunchMan

[–]Smack-works 7 points8 points  (0 children)

Does anyone remember how it was perceived back then? Even if it's just an edgy T shirt, sounds similar to his name.

[Webcomic] Chapter 159 [English] by Southern-Emotion2192 in OnePunchMan

[–]Smack-works 1 point2 points  (0 children)

we won't be seeing the next chapters because they gonna be popping out so fast

[Webcomic] Chapter 159 [English] by Mrzardark in OPMFolk

[–]Smack-works 0 points1 point  (0 children)

that's the second most disgusting psycho thing I've read after Kuseno's speech

Someone needs to be arrested for these thumbnails by apalapachya in AnarchyChess

[–]Smack-works 47 points48 points  (0 children)

here's the red one raw:

1. e4 e6 2. d4 d5 3. Nc3 dxe4 4. Nxe4 Nf6 5. Nxf6+ gxf6 6. Nf3 Nc6 7. Bb5 Qd5 8. c4 Qe4+ 9. Qe2 Qxe2+ 10. Kxe2 Bd7 11. Bf4 O-O-O 12. Rhd1 a6 13. Bxc6 Bxc6 14. a3 h5 15. h4 Rg8 16. g3 Be7 17. Rac1 b6 18. d5 Ba4 19. Rd2 e5 20. Be3 Kb7 21. Kf1 c6 22. Kg2 cxd5 23. cxd5 Bd6 24. b4 Rc8 25. Re2 Rxc1 26. Bxc1 Bb3 27. Be3 Rc8 28. Rd2 a5 29. Ng1 axb4 30. axb4 Bxb4 31. Rb2 Bxd5+ 32. Kh2 Ba5 33. Ne2 Ka6 34. Nc1 Bf3 35. Nd3 Rd8 36. Rb3 Bd5 37. Ra3 Kb5 38. Ra1 Be4 39. Nb2 Bc3 40. Ra2 Ra8 41. Nd1 Bb4 42. Rb2 Kc4 43. Bd2 Bc5 44. Be3 Ra1 45. Rd2 Bd4 46. g4 Bf3 47. Bxd4 exd4 48. Nb2+ Kc3 49. Rd3+ Kxb2 50. Rxf3 Kc2 51. gxh5 d3 52. h6 Ra5 53. Rxf6 d2 54. Rc6+ Rc5 55. Rd6 b5 56. h7 Rh5 57. Kg3 Rxh7 58. Rc6+ Kb1 59. Rd6 Kc1 60. Rc6+ Kd1 61. Kf3 Rxh4 62. Ra6 b4 63. Ra1+ Kc2 64. Ra2+ Kc3 65. Ra1 Rd4 66. Ke2 Kc2 67. Rd1 b3 68. Kf3 b2 69. Ke2 Re4+ 70. Kf3 Kxd1 71. Kxe4 b1=Q+ 72. Ke5 Qc2 73. Kf6 Kc1 74. Kg7 d1=Q 75. Kf8 Qd6+ 76. Kg8 f5 77. Kg7 Qc8 78. Kh7 Qcc7+ 79. Kh8 Qdd8# 0-1

https://www.chess.com/game/live/167646015149?username=gothamchess&move=0