Latin No volvere a mezclar lean con ron

KJ

KJ

Administrator
Top Poster Of Month
Joined
Jan 5, 2022
Messages
6,977
Reaction score
6,580
BC
฿4,654
Dividends
0
vas a terminar como Lil Wayne si sigues bebiendo esa mierda
 
  • :)
  • :trolljak:
  • :yb:
  • :thumbsupsoyjak
  • :meds:
  • :cigar:
  • :soy4:
  • :babysoyjak:
  • :blacksoyjak:
  • :wepa:
  • :devioussoyjak:
  • :closedeyedsoyjak
  • :neutralsoyjak:
  • :songus:
  • :soy3:
  • :soyddit:
  • :itsover:
  • :tunes:
  • :jfl:
  • :wat:
  • :shrek:
  • :soy:
  • :sand:
  • :bateman:
  • :real:
  • :peat:
  • :qrn:
  • :feelsuhh:
  • :macaco:
  • :ohreally:
  • :rnc2:
  • :soy2:
  • ;)
  • :(
  • :mad:
  • :confused:
  • :cool:
  • :p
  • :D
  • :eek:
  • :oops:
  • :rolleyes:
  • o_O
  • :cautious:
  • :censored:
  • :cry:
  • :love:
  • :LOL:
  • :ROFLMAO:
  • :sick:
  • :sleep:
  • :sneaky:
  • (y)
  • (n)
  • :unsure:
  • :whistle:
  • :coffee:
  • :giggle:
  • :alien:
  • :devilish:
  • :geek:
  • :poop:
  • :ninja:

Similar threads

Hacker News
LeanDojo: Theorem Proving in Lean Using LLMs
Replies
0
Views
188
Hacker News
Hacker News
Hacker News
New Foundations is consistent – a difficult mathematical proof proved using Lean
Replies
0
Views
323
Hacker News
Hacker News
Hacker News
For God's Sake, Follow the Lean Startup Method
Replies
0
Views
146
Hacker News
Hacker News
Hacker News
"A Plea for Lean Software" by Prof. Niklaus Wirth
Replies
0
Views
170
Hacker News
Hacker News
Hacker News
A 2024 Plea for Lean Software
Replies
0
Views
425
Hacker News
Hacker News

Users who are viewing this thread

Total: 2 (members: 0, guests: 2)
Top