Report on the Sunway TaihuLight System (PDF), by Jack Dongarra. The new #1 on the TOP500.

Samsung acquires Joyent, and A CTO’s perspective

Discrete Logarithms in GF(p), 768 bits now broken.

Checked C is an extension to C that adds static and dynamic checking to detect or prevent common programming errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts.

ClickHouse is an open-source column-oriented database management system that allows generating analytical data reports in real time. From Yandex, Apache-2.0 licensed.

Loop-Oriented Programming: A New Code Reuse Attack to Bypass Modern Defenses (PDF), by Bingchen Lan, Yan Li, Hao Sun, Chao Su, Yao Liu, and Qingkai Zeng.

Twenty years of free software, Joey Hess on his projects.

Sisal is a unique parallel language that supports a clean, fully implicit parallelization model.

jadx, a Android Dex to Java decompiler.

Bob Dylan’s Secret Archive, “There have long been rumors that Mr. Dylan had stashed away an extensive archive. It is now revealed that he did keep a private trove of his work, dating back to his earliest days as an artist, including lyrics, correspondence, recordings, films and photographs.” What a treasure trove.

Typeset In The Future: Blade Runner, thorough analysis of Blade Runner typography.

Aus Nacht gemacht

Thoughts and Prayers

A Life Inspired by an Unexpected Genius, “The mathematician Ken Ono believes that the story of Srinivasa Ramanujan — mathematical savant and two-time college dropout — holds valuable lessons for how we find and reward hidden genius.”

Software Foundations, 4th edition.

Mastering Programming, an outline by Kent Beck.

Bone is an interpreter for a lexically scoped Lisp-1, featuring semi-automatic memory management: It uses explicit regions instead of garbage collection.

MetaPost for Beginners (PDF, 2008), good intro by Hartmut Henkel.

Gumball (1983), finally cracked by 4am and san inc.

Classic blue theme for Chromium 51+.

Unnecessariat, by Anne Amnesia. “Here’s the thing: from where I live, the world has drifted away. We aren’t precarious, we’re unnecessary.”

Simple Set Game Proof Stuns Mathematicians

How to Build Static Checking Systems Using Orders of Magnitude Less Code (PDF), by Fraser Brown, Andres Nötzli, and Dawson Engler. “[O]ur program checkers are based on drastically incomplete language grammars (“micro-grammars”) that describe only portions of a language relevant to a checker. As a result, our implementation is tiny—roughly 2500 lines of code […]”.

Efficient Design Strategies Based on the AES Round Function, by Jérémy Jean and Ivica Nikolic. “We show several constructions based on the AES round function that can be used as building blocks for MACs and authenticated encryption schemse.”

“mbox” is a family of several mutually incompatible mailbox formats. Good overview.

Silly String (YouTube) in a hydraulic press.