Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 822 posts.

Any topic
2017
781

Not Explicit

Oftentimes when I am conversing about the design of Rust with other users - as on RFCs or the internals forum - I witness a peculiar remark about “explicitness.” It usually goes something like this: I do not like Feature Design X because it is too implicit. Magic is okay in Other Language Y, but Rust is supposed to be…

791

Rediscovering the Intel AMT Vulnerability

On May 1, 2017 Intel disclosed the AMT vulnerability (INTEL-SA-00075), but details of that vulnerability were not made public. However, Tenable researchers were able to overcome this challenge and make Tenable the first to deliver Intel AMT vulnerability detection capabilities to customers, just minutes after Intel’s…

796

History of Emacs and vi Keys (2010)

In my study of keyboarding in the past 20 years, i've noticed that the choices of many shortcuts in many apps are adopted to the many aspects of the keyboard hardware of the time in use by the community. Emacs's keybinding is not simply based on the first letter of commands, but the QWERTY layout's key positions have…

804

ICOs and VCs

The Brave browser team concluded an ICO for their Basic Attention Token yesterday in about thirty seconds. This led to this tweet: The Basic Attention Token (BAT) ICO just raised 30 million dollars in 24 seconds. VC’s didn’t even have time to put on a sweater vest. — briantobal (@briantobal) May 31, 2017 Of course…

806

Principles of TLA+

TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.