9181
Playing with Lasp and CRDTs
For a long time I was looking for some time to play with Lasp: Lasp is a suite of libraries aimed at providing a comprehensive programming system for planetary scale Elixir and Erlang applications. Ye
New
The latest blog posts to take off on Hacker News. 14,543 posts.
9182
9183
9184
9185
9186
To Serve Man, with Software
I didn’t choose to be a programmer. Somehow, it seemed, the computers chose me. For a long time, that was fine, that was enough; that was all I needed. But along the way I never felt that being a programmer was this unambiguously great-for-everyone career field with
9187
Some excerpts from recent Alan Kay emails
Most of the funding of research efforts I've been involved in since ARPA-Parc have been with various profit making companies -- Atari, Apple, Disney, HP, SAP, Infosys, etc. And there have been various kinds of compromises involved. And some good work on smaller scales did get done. Others of my colleagues in the…
9188
Good books for deep hacks
For the past few months I’ve been compiling a list of books for a deep dive into interesting technical topics. My theory is that working on projects based on these topics will be like strong individual threads I can weave into epic hacks. This list is basically a curriculum for decades of learning about the wonders of…
9189
Brittleness comes from “One Thing”
Brittleness is when the company fails because just one component breaks. Learn some strategies for fixing Brittle Points.
9190
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…
9191
Things I have learnt as the software engineering lead of a multinational
A surprisingly long cycle has just closed for me and I think it’s a good time to share some lessons learned. I have been collecting these points in the last six months, but none of them poppe…
9192
9193
Cracking Encrypted PDFs
I performed a brute-force attack on the password of an encrypted PDF and a brute-force attack on the key of (another) encrypted PDF, both PDFs are part of a challenge published by John August. The …
9194
Building a Distributed Log from Scratch: Data Replication
In part one of this series we introduced the idea of a message log, touched on why it’s useful, and discussed the storage mechanics behind it. In part two, we discuss data replication. We have our log. We know how to write data to it and read it back as well as how data is persisted. The caveat to this is, although we…
9195
C++17 constexpr everything, or as much as the compiler can
Case study in constexpr with C++17 compilers
9196
My Favorite Deep Learning Papers of 2017
Here are five deep learning papers I felt rose above the rest in 2017.
9197
9198
How I learned to program
Tavish Armstrong has a great document where he describes how and when he learned the programming skills he has . I like this idea because I've found that the paths that people take to get into programming are much more varied than stereotypes give credit for, and I think it's useful to see that there are many possible…
9199
Hardening C/C++ Programs – Executable-Space Protection and ASLR
In the first part of this series we discussed the mechanics of an exploit, the general concept of hardening, and the stack protector hardening technique in particular. Some of the concepts explained there will be
9200
A different view on Functional Programming
If you have never heard about functional programming before, I’ll have the honor to instill in you my view on it. If you have, you might know that it’s usually defined by some of …
9201
Writing GUI Apps Using the Red Programming Language
Chinese Translation by oschina.net
9202
Undefined vs. Unsafe in Rust
Recently Julia Evans wrote an excellent post about debugging a segfault in Rust. (Go read it, it’s good) One thing it mentioned was I think “ …
9203
9204
Formal Verification: The Gap Between Perfect Code and Reality
Thanks to Vlad Brown and Drawings Team for Russian and Uzbek translations. In Fall 2017, I took MIT’s 6.826, Principles of Computer Systems, taught by Turing Award-winner Butler Lampson, Nickolai Z
9205
Open Source .NET three years later
A little over 3 years ago Microsoft announced that they were open sourcing large parts of the .NET framework and as Scott Hanselman said in his Connect 2016 keynote, the community has been contributing in a significant way:
9206
How to Print Integers Really Fast
Paul Khuong's personal blog. Some Lisp, some optimisation, mathematical or computer.
9207
Writing a personal automation API
Yes, you need to write yourself an API. You'll thank me later.
9208
Keras Tutorial – Traffic Sign Recognition
In this tutorial Tutorial assumes you have some basic working knowledge of machine learning and numpy., we will get our hands dirty with deep learning by solving a real world problem.The problem we...
9209
Jsonb: Stories about performance
As such, there’s really no “standard” benchmark that will inform you about the best technology to use for your application. Only your requirements, your data, and your infrastructure can tell you what you need to know.
9210
