4741
Using git to manage a website
How to update a web site automatically with git push, Author: Abhijit Menon-Sen
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 11,894 posts.
4742
4743
4744
Beware of hacked ISOs if you downloaded Linux Mint on February 20th
We were exposed to an intrusion today. It was brief and it shouldn’t impact many people, but if it impacts you, it’s very important you read the information below.
4745
An Iron Curtain Has Descended Upon Psychopharmacology
Imagine if a chemist told you offhandedly that the Russians had different chemical elements than we did. Here in America, we use elements like lithium and silicon and bismuth. We have figured out l…
4746
4747
4748
How to assign partial credit on an exam of true-false questions?
Note: the following is a record of some whimsical mathematical thoughts and computations I had after doing some grading. It is likely that the sort of problems discussed here are in fact well studi…
4749
4750
4751
Zero-Knowledge Contingent Payment
The first successful Zero-Knowledge Contingent Payment
4752
What Is the Secure Enclave?
The big tech news this week is that the FBI is trying to force Apple to unlock a suspect's iPhone. One of the interesting points around this story is that the iPhone in question is an older one, an iPhone 5c. Newer phones have what Apple calls the Secure Enclave, which some say protects against requests of this…
4753
Experimenting with Post-Quantum Cryptography
Posted by Matt Braithwaite, Software Engineer Quantum computers are a fundamentally different sort of computer that take advantage of aspec...
4754
Postmortem for Kernel Soundness Bug #14576
Leonardo de Moura — Creator of Lean and Z3
4755
Multimodal Neurons in Artificial Neural Networks
We’ve discovered neurons in CLIP that respond to the same concept whether presented literally, symbolically, or conceptually. This may explain CLIP’s accuracy in classifying surprising visual renditions of concepts, and is also an important step toward understanding the associations and biases that CLIP and similar…
4756
Realizing Hackett, a metaprogrammable Haskell
Almost five months ago, I wrote a blog post about my new programming language, Hackett , a fanciful sketch of a programming language from a far-off land with Haskell’s type system and Racket’s macros. At that point in time, I had a little prototype that barely worked, that I barely understood, and was a little bit of…
4757
The Whitworth Three Plates Method (2017)
A visual step-by-step guide to Joseph Whitworth’s three-plate method for creating very flat reference surfaces.
4758
Differences with other Lisps
This information is provided for programmers familiar with Common Lisp or Scheme.
4759
4760
4761
4762
Lessons Learned from Reading Post Mortems
I love reading postmortems. They're educational, but unlike most educational docs, they tell an entertaining story. I've spent a decent chunk of time reading postmortems at both Google and Microsoft. I haven't done any kind of formal analysis on the most common causes of bad failures (yet), but there are a handful of…
4763
A Rebuttal for Python 3
Zed Shaw, of Learn Python the Hard Way fame, has now written The Case Against Python 3. I’m not involved with core Python development. The only skin I have in this game is that I like Python 3. It’s a good language. And one of the big factors I’ve seen slowing its adoption is that respected people in the Python commu
4764
GitHub and US Government Developers
At GitHub, we believe in empowering developers around the world. We also believe in basic human rights and treating people with respect and dignity. Today, I wanted to share a message I sent to all employees yesterday that is related to this, as it is important that we share our views on immigration policy with the…
4765
Verified cryptography for Firefox 57
Traditionally, software is produced in this way: write some code, maybe do some code review, run unit-tests, and then hope it is correct. Hard experience shows that it is very ...
4766
LL and LR Parsing Demystified (2013)
My first adventures in parsing theory came when I was doing anindependent study of programming languages in college. When I got tothe part about algorithms s...
4767
4768
A dive into the AMD driver workflow
I ended up getting a response from high level people at AMD. It was still very light on any real technical information, but it did include some great phrases like “I am able to replicate the issues you are facing” and some mockable phrases like “We are hoping that this will improve your perception of AMD products and…
4769
The Native File System API allows web apps to save directly to files
The File System Access API enables developers to build powerful web apps that interact with files on the user's local device, such as IDEs, photo and video editors, text editors, and more. After a user grants a web app access, this API allows them to read or save changes directly to files and folders on the…
4770
