Message from @fuguer

Discord ID: 647795256997183498


2019-11-23 13:43:01 UTC  

fake math news

2019-11-23 13:43:07 UTC  

or frzit news

2019-11-23 13:43:10 UTC  

*fruit

2019-11-23 13:43:11 UTC  

do you not know gradient math @You feel safe with an account

2019-11-23 13:43:35 UTC  

memes always come in gradients

2019-11-23 13:43:39 UTC  

because consciousness

2019-11-23 13:44:02 UTC  

it's easy to see how the terms limit each other

2019-11-23 13:44:09 UTC  

Hello guys, I am back after 2years. where is tay, beef and the asian thot? What is the current state of kraut?

2019-11-23 13:44:26 UTC  

i got really close with solving it with computers but because there is so many converges computers have a really hard time

2019-11-23 13:44:51 UTC  

using fmin search with matlab

2019-11-23 13:44:52 UTC  

i solved it on a 2x2 inch piece of scrap paper

2019-11-23 13:44:54 UTC  

i got to like

2019-11-23 13:45:55 UTC  

@Branky tay is rip kraut is rip beef is still yummy and asian hoes stil give the suckie suckie to white men

2019-11-23 13:46:02 UTC  

That problem is nasty

2019-11-23 13:46:09 UTC  

What you want to solve? I am mathematician

2019-11-23 13:46:33 UTC  

Apples and Pineapples

2019-11-23 13:46:53 UTC  

Pineapple pen

2019-11-23 13:47:02 UTC  

Am I right guys

2019-11-23 13:47:04 UTC  

@fuguer hey dude how is it going?

2019-11-23 13:47:04 UTC  

You can solve it with fractions then using the fact that you can multiply all variables by same amount you use common divisors to make them integers

2019-11-23 13:47:09 UTC  

@Branky if the cookie monster can bake 1000 cookies a day, how many years will it take for him to bake 6 million cookies? (Joke)

2019-11-23 13:47:14 UTC  

the clue lies in the first line

2019-11-23 13:47:19 UTC  

I had to write a program to solve it

2019-11-23 13:47:57 UTC  

pineapple = 4373612677928697257861252602371390152816537558161613618621437993378423467772036 apple = 154476802108746166441951315019919837485664325669565431700026634898253202035277999

banana = 36875131794129999827197811565225474825492979968971970996283137471637224634055579

2019-11-23 13:48:24 UTC  

@fuguer are you the coq expert?

2019-11-23 13:48:33 UTC  

He is indeed the cock expert

2019-11-23 13:48:36 UTC  

What’s a coq

2019-11-23 13:48:55 UTC  

I’m good

2019-11-23 13:49:03 UTC  
2019-11-23 13:49:23 UTC  

It’s easy for non positive you can do -1, 4, 11

2019-11-23 13:49:33 UTC  

lol x e12

2019-11-23 13:49:57 UTC  

nerds

2019-11-23 13:49:59 UTC  

<:dab:395562678153904128>

2019-11-23 13:50:18 UTC  
2019-11-23 13:50:30 UTC  

@fuguer a french software for machine assisted proving of math theorems

2019-11-23 13:50:33 UTC  

Why did I just found out about it'

2019-11-23 13:51:01 UTC  

1 1 3

2019-11-23 13:51:12 UTC  

@fuguer talked to some guy here years ago who was an expert

2019-11-23 13:51:18 UTC  

No I never worked with software to solve theorems sounds interesting

2019-11-23 13:52:08 UTC  

@fuguer 1,1, 3 is correct no?