Concurrency Is Not Parallelism (2013)
Watch Rob Pike's talk, _Concurrency is not parallelism._
Topics /
The most popular blog posts about programming languages on Hacker News. 5,634 posts.
Watch Rob Pike's talk, _Concurrency is not parallelism._
No general procedure for bug checks will do. Now, I won’t just assert that, I’ll prove it to you. I will prove that although you might work till you drop, you cannot tell if computation will stop. For imagine we have a procedure called P that for specified input permits you to see whether specified source code, with…
Hello, My name is Nadav and I am a PhD candidate, researching compilers for embedded systems and high-level synthesis. This is an excellent post and I enjoyed reading it. I have a few comments. 1. I agree about verification and optimization joining forces. We already see it to some extent with compiler warnings. 2…
How Michael Hoisie used Go to build SmartTwitter and web.go.
Access to this page requires authorization. You can try signing in or changing directories .
Tim Lopez published an elegant and tiny LISP interpreter for Python on his blog. Inspired by Norvig’s Paradigms of Artificial Intelligence Programming. I developed an interpreter as well as a…
Hi all, Just a quick note to tell you that we are progressing on the JIT front. Here are the running times of the richards benchmark on ...
October 1997: It has been six years since I finished Paradigms of AI Programming (or PAIP ), and now seems like a good time to look back at how Lisp and AI programming have changed.
Though Frank Sinatra says it best , “I’m leaving today” isn’t exactly accurate; my last day as a Microsoft employee was July 23rd, 2010. This post is almost two weeks delayed as Felicia and I have been on the road since the 26th, driving cross-country to the east coast; we also decided to leave Seattle in favor of New…
It’s said that every Haskell programmer writes their own monad tutorial, and with good reason: once you finally understand the definition and capabilities of a monad, you’ll be eager to…
Recently I had to go through some code that uses the uIP TCP/IP stack, which reminded me, it has been a long time since I did something in C so I ended up spending the weekend implementing the 10 rules John McCarthy described in his paper A Micro-Manual for Lisp - not the whole Truth .
This post explains why Rust made sense for Discord to reimplement: how it was done, and the resulting performance improvements.
Using the C preprocessor to achive basic generic collection types.
08/01/2009 - 09/01/2009 09/01/2009 - 10/01/2009 10/01/2009 - 11/01/2009 11/01/2009 - 12/01/2009 12/01/2009 - 01/01/2010 01/01/2010 - 02/01/2010 02/01/2010 - 03/01/2010 04/01/2010 - 05/01/2010
I'm Tav, a 28-year old from London. I enjoy working on large-scale social, economic and technological systems.
How strings work in Go, and how to use them.
Announcing the Go Playground, https://play.golang.org/.
(You probably already have realized this.) The reason the compiler produced code that terminated was based upon the fact that the values being altered (i.e., a, b and c) within the “while” loop are never referenced again after the loop. But, once you added code which printed the resulting values it was forced to…
An introduction to Zig's curious concurrent programming API.
Great domain names provide SEO, branding, and a memorable experience for your users. Get a premium domain today.