[ 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.

/biz/ - Business & Finance

View post   
File: 4 KB, 285x177, index.png [View same] [iqdb] [saucenao] [google]
6347518 No.6347518 [Reply] [Original]

Besides vaporware

Reminder you fucking pajeets:
Formal verified language COQ and runtime, all science community writing "muh math proof security formally verified programs"

Then one day, a random faggot proved in COQ language, that FALSE IS TRUE.

Which invalidates every fucking COQ program written to that date, and questions the integrity and validity of every MUH FORMALLY VERIFIED proof program

Your Cardano ADA "formally verified" "science" is only moving the goalpost one step up - your theorem prover can have security bugs, both logical and in implementation. LULZ

The only security can come from experience, like bitcoin, and ethereum (not despite all the hacks, but thanks to them its more secure now than without, and its more secure than Ada will be 5 years from now).

fartano pajeets

>> No.6347619
File: 22 KB, 653x566, 1515609318311.png [View same] [iqdb] [saucenao] [google]
6347619

cardano does not use COQ faggot

>> No.6347846

>>6347619
Any "formally verified" language and runtime also has the same class of bugs dumbass

In other words, just beacuse you do formal verification does not mean your software is secure. LOL fardano

>> No.6348341

Whats the matter /biz/ cant take any serious thinking?
Thats alright, be a bagholder

>> No.6348446
File: 598 KB, 500x213, Tyler-Durden-Fight-Club-I-Want-You-to-Hit-Me-as-Hard-As-You-Can.gif [View same] [iqdb] [saucenao] [google]
6348446

>>6347518

How high can this shit coin even go?

>> No.6348634

Its a bagholder generator

>> No.6348878
File: 1.69 MB, 423x234, 1515718865067.gif [View same] [iqdb] [saucenao] [google]
6348878

>>6347518
You think I'd trust /biz/ over /g/ and over /sci/? I've made threads asking what they thought of mathematically proven security, your statement only applies to the theory not the implementation of COQ. If this was the case then there would be no point to MIT continuing to teach mathematical security proofs. Talk outta your ass more.

>> No.6348879
File: 199 KB, 1000x847, but-im-not-a-pepe.jpg [View same] [iqdb] [saucenao] [google]
6348879

>>6347518
>Then one day, a random faggot proved in COQ language, that FALSE IS TRUE.

being active in dev community and always making fun of theoretics, this made me giggle out loud

>> No.6348904

alright Op just cuz u seem like a mr smartypants wtff is the next 10-20x coin lemme knowpls

>> No.6348935

>>6348904
FUN, but you didn't hear it from OP.

>> No.6348967

>>6348935
god dam it who let the funchad in

>> No.6349018

>>6348878
m8 all of that is important, the thing is market will bring you so much more opportunities in other positions, because trx chink like shilling gonna be bigger short term. Long term yes looks good, but you know, who the fuck knows what happens long term.

>> No.6349077

>>6349018
>he fuck knows what happens long term.
i mean it would be better find some low mc gem long term rght?

>> No.6349122

>>6348878
My statement applies to both theory and implementation.

Why dont you go ask a car salesman if care salesmen are really needed? Thats what you're doing. Hey mathematcician, is mathematicians work really worth it? Hey you computer science guy getting off on your own theorems - is computer science really the answer to all questions? Why, yes of course. Have a bag, sir.

Security is practical, as COQ example shows, both implementation and theory can have logical flaws. Just like any other software. BWAAHAHAHA

>> No.6349149
File: 23 KB, 344x344, 1483540171710.jpg [View same] [iqdb] [saucenao] [google]
6349149

>>6347518
> he doesn't understand HOL

look at this baka... OP formally proved to be a huge faggot again.

>> No.6349225
File: 123 KB, 1000x1000, 69654817830dfa5d8ad402958f843c8380790335a8781f5804822e16a597a22a.jpg [View same] [iqdb] [saucenao] [google]
6349225

biz hate? ahhh comfy

>> No.6349231

>>6349018
Yeah friend I completely understand that, I'm bleeding out my ADA now because its once again overvalued and I need more monies to put down on my laptop fund. This FUD is stupid though, cringey even to anyone who is into security and math.

>> No.6349313

>>6348879
You will have fun reading this https://news.ycombinator.com/item?id=9259790

BTW the other fag, when he asked /g/ and /sci/, ask them about Gödel theorem,

What must be trusted in any "muh formally verified language and runtime" is its theorem prover, and due to Gödel theorem - the answer is, its FUUUCKED, its rekt Anon, rekt. It cant prove itself, it can not completely verify itselt, Anon.

>> No.6349396

>>6349122
Man this is so post-modern I don't even know anymore. What does the word mutual-exclusivity means?

>> No.6349468
File: 485 KB, 575x523, 1515790913849.png [View same] [iqdb] [saucenao] [google]
6349468

>>6349313
>>6349396
Do, you, know, what, mutual-exclusivity, means?

>> No.6349650

>>6348904
I am developing it anon, only take brakes to take a shit on other primitive coins here on /biz/ for shits and giggles

My coin will be released soon, its name is BAZINGACOIN

>> No.6349781

Just messin, the coin Im developing which is sexier than Ada, smarter than Ethereum, coinier than bitcoin, twistier than iota, safer than zcash, faster than Rai, has no name yet.

>> No.6349811
File: 45 KB, 570x487, oky.jpg [View same] [iqdb] [saucenao] [google]
6349811

>>6349313
Thanks for this one
>>6349650
>>6349781
LeMAO

>> No.6350129

>>6349313

Bugs in a formal verifier are easier to find and fix than bugs in crypto code. I mean you do get that the point of it is engineering better code right? It's not about proving their code when compiled to x86 is mathematically provably going to work -- you can never do that. Everyone knows that. Do you think the PHDs and grad students teams working on this at universities don't know about Godel's theorem?

Honestly confused here OP