Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

MINDLESS C0DING

Name: Anonymous 2014-06-16 18:31

https://github.com/jonleivent/mindless-coding

Specifications, such as the dependently-typed inductive definitions of avltree and rbtree, and the dependently-typed arguments and results of their functions, are made sufficiently complete so as to constrain any implementation that type-checks to be fully correct. For example, the avltree and rbtree types both include a contents index that constrains each tree to contain exactly the specified contents in exactly the specified (sorted) order. Performance-related properties are not included - but this might be pursued in the future.

Name: Anonymous 2014-06-16 19:03

>>1
At least dependent types are actually useful, unlike Haskell's zygohistomorphic masturbatomorphisms.

Name: Anonymous 2014-06-16 19:27

>>2
Fucking idiot.

Name: Anonymous 2014-06-16 19:29

>>2
Toilet scrubbing pseudo-intellectual cretinoid stackboi go bang a million autistic niggers.

Name: Anonymous 2014-06-16 20:40

>>3,4
0/10 you're just butthurt

Name: Anonymous 2014-06-17 9:26

Please, stop. Being a nigger and presenting type-systems as something other than aspie toy is not an excuse to play type tetris, instead of doing actual work, like helping people and earning bucks. While you nigger-rigging your factorial correctness proof, the Ruby guy would already roll out several rails sites.

Name: Anonymous 2014-06-17 11:30

>>6
And all of them are vulnerable. Automated verification is the only thing that will save us. Not people building more shit on top if insecure shit.

Name: Anonymous 2014-06-17 11:40

>>6
earning bucks
Fuck off, amerikkkapitalist.

Name: Anonymous 2014-06-17 12:06

americlap

Name: Anonymous 2014-06-17 18:41

>>7
Automated verification only takes the time out of things. You need smart superior people building things and not just anybody. A retard making an automated verification system is going to make that system be fundamentally insecure.

Name: Anonymous 2014-06-18 1:12

>>10
But then you can just verify the automated verification system using an automat--oh.

Name: Anonymous 2014-06-18 3:16

>>1
man, why did he write most of the code in cock? rofl

Name: Anonymous 2014-06-18 3:28

It's what I call "mental masturbation", when you engage is some pointless intellectual exercise that has no possible meaning. -- Linus Torvalds

Name: Anonymous 2014-06-18 6:29

>>13
It calls, C C C P.

Name: Anonymous 2014-06-18 6:43

>>10
A team of EXPERT LOGICIANS could invest a large effort in creating a verification system that is proven correct with peer reviewed human-written proofs. Then once this verifier is reasonably trusted it can review other sources and produce results, so that many programmers, qualified and unqualified, will have the benefit of seeing its reports on their sources.

Name: Anonymous 2014-06-18 7:02

>>15
It's called Coq.

Name: Anonymous 2014-06-18 15:06

>>13
Is that the same idiot who thinks that pi = 3.14 for some reason?

Name: Anonymous 2014-06-18 15:25

>>17

http://en.wikipedia.org/wiki/Indiana_Pi_Bill

Name: Anonymous 2014-06-19 11:32

>>17

http://zerosbakainu.tumblr.com/post/1615479592/

Name: Anonymous 2014-06-19 15:56

>>19
Ugly Japanese cartoons inside, do not click.
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -