/sci/ - Science & Math » Thread #10147596

103KiB, 846x875, screenshot.png

View Same Google iqdb SauceNAO

Anonymous Sat 17 Nov 11:28:35 2018 No.10147596 View Reply Original Report

Quoted By: >>10147599 >>10147621 >>10148093

what's the most /sci/ programming language

and i mean actual /sci/, not data """"science""""

Anonymous

Anonymous Sat 17 Nov 2018 11:31:31 No.10147599 Report

Quoted By: >>10147600 >>10147602 >>10148002

>>10147596

Coq because /sci/ is gay.

Anonymous

View Same Google iqdb SauceNAO Coq_8.5_stdlib_proof.png, 94KiB, 1280x800

Anonymous Sat 17 Nov 2018 11:34:12 No.10147600 Report

Quoted By: >>10147604 >>10148013

>>10147599
looks scary, is it used for anything or just an academic circlejerk?

Anonymous

Anonymous Sat 17 Nov 2018 11:34:45 No.10147602 Report

Quoted By: >>10148004

>>10147599

Also Fortran because this piece of shit is used by old farts since times immemorial and they just don't have/know other libraries than the ones they use since decades.

It's real tragedy that young guys and gals in physics departments all over the globe are raped into submission and forced on with Fortran.

Anonymous

Anonymous Sat 17 Nov 2018 11:36:28 No.10147604 Report

Quoted By: >>10147606

>>10147600
lol it's not scary at all it can even be inferred just by looking at it.

Anonymous

Anonymous Sat 17 Nov 2018 11:37:22 No.10147606 Report

Quoted By:

>>10147604
>compare_succ

Anonymous

View Same Google iqdb SauceNAO program.png, 289KiB, 604x1640

Anonymous Sat 17 Nov 2018 12:04:48 No.10147621 Report

Quoted By: >>10147626

>>10147596

Anonymous

Anonymous Sat 17 Nov 2018 12:08:17 No.10147626 Report

Quoted By: >>10147644

>>10147621
why gnu?

Anonymous

Anonymous Sat 17 Nov 2018 12:23:51 No.10147644 Report

Quoted By:

>>10147626
Communism is cancer.

Anonymous

Anonymous Sat 17 Nov 2018 16:30:17 No.10148002 Report

Quoted By:

>>10147599
>coq
>programming language

Anonymous

Anonymous Sat 17 Nov 2018 16:31:35 No.10148004 Report

Quoted By:

>>10147602
Fortran isn't a bad language

Anonymous

Anonymous Sat 17 Nov 2018 16:35:04 No.10148013 Report

Quoted By:

>>10147600
there's a C compiler written in it (CompCert)

Wizard of Sage

Wizard of Sage Sat 17 Nov 2018 17:17:37 No.10148093 Report

Quoted By:

>>10147596
if you want to do your quick jerk-off simulation then use Python
C++ is for when you want to make comlex programs with actual structure

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches