-
Using a Loop Invariant to Help Think About a Programdrdobbs.com
Last week, I talked about how to write a loop invariant. I would like to continue this discussion by paraphrasing a beautifully elegant example that Dijkstra used in A Discipline of Programming. -
news.ycombinator.com
-
FBI & Secret Service Files: Aaron Swartztheblackvault.com
Aaron Hillel Swartz (November 8, 1986 – January 11, 2013) was an American computer programmer, writer, political organizer and Internet Hacktivist. Swartz was involved in the development of the web feed format RSS, the organization Creative Commons, th -
cdc.gov
-
support.apple.com
-
fwd.us
- peterjonason.com
-
World Wide Web inventor slams Internet fast lanes: ‘It’s bribery.’washingtonpost.com
America will lose its tech advantage without strong net neutrality rules,according to Timothy Berners-Lee. -
Signature Maker - Create your electronic signature onlinesignature-maker.net
Signature Maker helps you create digital signature online. Signature creator is a simple, fast and free tool for making custom electronic signature. -
news.ycombinator.com
-
billinghamj/iOS8-NearFieldgithub.com
Contribute to iOS8-NearField development by creating an account on GitHub. - bashbooster.net
-
3 Unique Values of Minecraft That Microsoft Needs to Learngagah.me
Several key values of Minecraft that is different from other game. This Makes Minecraft unique, and Microsoft needs to understand in order to not mess up. -
tsdr.uspto.gov
-
Tor Challenge Inspires 1,635 Tor Relayseff.org
Good news for whistleblowers, journalists, and everyone who likes to browse the Internet with an added cloak of privacy: the Tor network got a little stronger. Tor—software that lets you mask your IP address—relies on an international network of commit... -
Dutch student fakes entire 5-week vacation in Asia with just Photoshopsingaporeseen.stomp.com.sg
Dutch student fakes entire 5-week vacation in Asia with just Photoshop -
github.com
-
Rust lifetimes: Getting away with things that would be reckless in C++ | Random Hacksrandomhacks.net
Random code snippets, projects and musings about software from Eric Kidd, a developer and entrepreneur. -
A proof of Löb's theorem in Haskell - Less Wronglesswrong.com
I'm not sure if this post is very on-topic for LW, but we have many folks who understand Haskell and many folks who are interested in Löb's theorem (see e.g. El -
bbc.com
