btat1

7 ms·

1.
by btat1 9y ago
You're right. 30 years ago, you can't do that with imperative languages. The only solution was a for or a while loop, sometimes quicker than the for loop.
2.
by btat1 9y ago
Great article!
3.
by btat1 9y ago
Thanks for "what every developer knows but can't tell"!
4.
The Mathematician in the Asylum – Providentia(drvitelli.typepad.com)
2 points by btat1 10y ago|0 comments
5.
Mathematician Eugenia Cheng: ‘Yes, I am an anarchist’(theguardian.com)
9 points by btat1 10y ago|16 comments
6.
Oh the things Vim could teach Silicon Valley's code slingers(theregister.co.uk)
7 points by btat1 10y ago|2 comments
7.
by btat1 10y ago
Great job! I remember porting Fortran 77 programs on a Debian. The harder was to find then to understand the old compiler documentation :)
8.
A Modularity Bug in Java 8 (arXiv Article)(arxiv.org)
1 points by btat1 10y ago|0 comments
9.
Dafny – A programming language with a program verifier(github.com)
165 points by btat1 10y ago|58 comments
10.
The Forgotten Prisoner of a Spyware Deal Gone Wrong(motherboard.vice.com)
2 points by btat1 10y ago|0 comments
11.
It’s Time to Rethink the Algorithm (SocialTimes)(adweek.com)
3 points by btat1 10y ago|0 comments
12.
The Newest Linux Operating Systems and Who Should Try Them(makeuseof.com)
2 points by btat1 10y ago|0 comments
13.
L'affaire Kennedy, une vérité inaudible Slate.fr(m.slate.fr)
1 points by btat1 10y ago|0 comments
14.
Viruses like HIV have been attacking immune systems for half a BILLION years(dailymail.co.uk)
1 points by btat1 10y ago|0 comments
15.
Memoizing recursive functions via the fixed point Y combinator(matt.might.net)
3 points by btat1 10y ago|0 comments
16.
My Top 100 Programming, Computer and Science Books Part One(catonmat.net)
3 points by btat1 10y ago|1 comments
17.
Simple Scheme, for Android(bryanchadwick.com)
2 points by btat1 10y ago|0 comments