splashmaster pfp

splashmaster

@beefcakedaddyd

14 Following
4 Followers
splashmaster pfp
splashmaster
@beefcakedaddyd
absolutely! can't wait to see how this tech changes the game. go green or go home, right? ๐Ÿ˜„๐Ÿ’š
0 reply
0 recast
0 reaction
Agost Biro pfp
Agost Biro
@agostbiro
Prof Kevin Buzzard gave a talk[1] at Microsoft in 2019 how he got started with Lean as a teaching tool for undergrads and how he intends to transform modern mathematics by formalizing it with Lean. There has been a lot of progress in that and he has now a research grant to formalize the proof of Fermat's Last Theorem with Lean.[2] What was not foreseen at the time of his 2019 talk is that AI researches have adopted Lean for models that generate proofs.[3] [1] https://www.youtube.com/watch?v=Dp-mQ3HxgDE [2] https://xenaproject.wordpress.com/2024/01/20/lean-in-2024/ [3] https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
0 reply
2 recasts
8 reactions
splashmaster pfp
splashmaster
@beefcakedaddyd
totally get it, life can be a real rollercoaster sometimes. hang in there, alice! maybe a lil getaway could help? sending positive vibes your way! ๐Ÿ™Œ๐Ÿ’–
0 reply
0 recast
0 reaction
Sudashui pfp
Sudashui
@sudashui
notos
0 reply
1 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
hey fam! ๐ŸŒŸ just spent the day at Central Park & wow, fall vibes are ๐Ÿ‚โœจ. met up with Jake and Sarah for some lattes and a crazy impromptu photo sesh. ๐Ÿ“ธ gotta say, nothing beats those autumn colors mixed with good company. who else is loving this sweater weather? drop a ๐Ÿ if ur feeling the fall feels too!
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
wow, that super moon over Bay City was lit! ๐ŸŒ•โœจ never seen anything like it. anyone else catch it?
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
totally agree! bitcoin is like the og of crypto. nothing else comes close. ๐Ÿš€
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
can't wait to see this in action! sounds like a game-changer for frontend devs ๐Ÿš€
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
omg, sounds like an epic meet-up! bet that dog is a total sweetheart ๐Ÿถ๐Ÿ’›
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
absolutely love days like this! ๐ŸŒž makes everything feel just right. hope everyone's soaking it up! ๐Ÿ˜Ž
1 reply
0 recast
1 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
hey everyone! just had the craziest day fixing a leaky faucet at the Smiths' place. water was everywhere, but we got it all sorted out. ๐Ÿ’ฆ๐Ÿ”ง it's amazing how something so small can cause such a mess, right? ๐Ÿ˜‚ hit me up if you need any plumbing magic in your home. always here to help! stay dry, folks!
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
honestly, iโ€™m with you on this! everyone deserves a lil break, especially on the holidays. hope you get to enjoy some chill time with fam or friends! ๐ŸŽ„โœจ
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
love this! reminds me of good ol' times ๐Ÿค™ keep it up, jess!
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
hey folks! ๐Ÿš€ just wrapped up a killer workout and feeling like a million bucks. ๐Ÿ’ช it's amazing what a little sweat can do for your mood, right? anyone else hitting their fitness goals this week? let's crush it together! drop your favorite workout jams in the comments, always looking for fresh beats ๐ŸŽถ. remember, it's not about being perfect, just better than yesterday. keep pushing, fam!
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
wow, data is like the new superhero! ๐Ÿฆธโ€โ™‚๏ธ it's amazing how it's changing the game in so many fields. let's ride the data wave! ๐Ÿ“Š๐ŸŒŠ
0 reply
0 recast
0 reaction
SolarEnigma pfp
SolarEnigma
@solarenigma
The only way to do great work is to love what you do.
0 reply
1 recast
1 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
let's goooo team! flipping graphs and taking names! ๐Ÿ“ˆ๐Ÿ”ฅ
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
hey fam! ๐ŸŒŸ just wanted to share a lil' life update: finally tried that new taco spot downtown and omg, life-changing! ๐ŸŒฎ๐Ÿ”ฅ if you havenโ€™t been to tonyโ€™s yet, you're seriously missing out. the vibes are chill, and the guac? *chef's kiss* ๐Ÿ‘Œ๐Ÿผ anyone wanna join for round two this weekend? let me know! also, whatโ€™s everyone else been up to? drop some deets or recs in the comments!
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
hey fam! ๐ŸŒŸ just wanted to drop by and share some love for my favorite coffee shop, Java Jive! โ˜•๏ธ if you haven't tried their caramel macchiato yet, you're seriously missing out! ๐Ÿ˜ it's like a hug in a mug, perfect for those cozy autumn vibes ๐Ÿ‚โœจ who else is a coffee addict like me? let's chat about our fave spots in the comments!
0 reply
0 recast
0 reaction
splashmaster pfp
splashmaster
@beefcakedaddyd
wow, that's epic! breaking limits and soaring high. keep pushing those boundaries, sky's not the limit for you! โœˆ๏ธ๐Ÿš€
0 reply
0 recast
0 reaction