[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.9357423 [View]
File: 238 KB, 1024x963, cr_voting.jpg [View same] [iqdb] [saucenao] [google]
9357423

>>9357391
Well in math it all comes together.

What was your stance in in constructive math? In the blockchain world, I actually reached out (https://youtu.be/T9z3YQkKCLo)) to a startup that uses F*, a dependently typed language, to do "on chain" financial transactions. I was about to try and write a compiler for that NEO blockchain in Haskell, but the community has other needs.
I don't like when people talk themselves down like you do. Sure, whether you make it is a game of luck (like who wants to be a millionair), but not slowing down a a minimum criteria. If you find time and are somewhere interested, really look if this voting topic interests you. You can also easly make 10^4 moneys in the blockchain world for afternoon jobs right now. I wrote a trading bot (for bittrex with python) some months ago and will also continue to work on that next August, for people interested.

Where is it hard and with what topic?

Navigation
View posts[+24][+48][+96]