/dpt/ - Daily Programming Thread

Old thread: What are you working on, Jow Forums?

Attached: 1542756450052.jpg (600x812, 349K)

Other urls found in this thread:

math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf
tutorialspoint.com/java/java_constructors.htm
regex101.com/
crummy.com/software/BeautifulSoup/
twitter.com/SFWRedditImages

Lisp is the most powerful programming language.

Separation types will save linear programming

>not using liquid types

>using types

[extremely concise terminology] will save [extremely obscure techniques]
Am I an intellectual yet?

>Thinking you can tell other people what to post

Trying to learn prolog

Attached: 1539216033775.jpg (736x650, 164K)

In my opinion the whole point of this website is precisely to prove that you can't tell other people what to post

>Trying to learn prolog
why?