721
One Line of Code That Compromises Your Server
Demonstrating how a weak session secret can allow an attacker to take control of a server
722
The Power of Tmux Hooks
The default tmux prefix key is Ctrl - b , for the remainder of this article, we will refer to the prefix key as prefix .
723
The Asynchronous Computability Theorem
In this post I describe the Asynchronous Computability Theorem, which uses tools from Algebraic Topology to show whether a task is solvable…
724
725
Lightmap Compression in the Witness
In my initial implementation of our lightmapping technology I simply stored lightmap textures in RGBA16F format. This produced excellent results, but at a very high memory cost. I later switched to the R10G10B10A2 fixed point format to reduce the memory footprint of our lightmaps, but that introduce
726
Metaprogramming is less fun in D
Despite the speaker’s calm voice and the slides showing almost nothing but code in C++ (which isn’t what you’d normally expect from a keynote), Louis Dionne’...
727
728
729
730
731
Why does Heap's algorithm work? (2016)
Heap's algorithm for constructing all permutations is efficient and simple but not easy to understand. This article explains Heap's algorithm by example.
732
Getting started with vim
Luca Pette's website
733
734
Idiomatic Redux: Implementation and Intent
Thoughts on what Redux requires, how Redux is intended to be used, and what is possible with Redux
735
736
Mathematical Notation in Emacs
Any combination of these tools may be chosen; Fira Code is not required to utilize prettify-symbols or pretty-mode. Similarly, the entire Fira Code font is not required to use Fira’s ligatures.
737
Love Your Bugs
In early October I gave a keynote at Python Brasil in Belo Horizonte. Here is an aspirational and lightly edited transcript of the talk. There is …
738
739
740
Building a Lisp from scratch with Swift
This article describes how you can build a simple LISP, based on the 1978 article <i>'A Micro Manual For LISP - Not The Whole Truth'</i> with Swift, taking advantage where possible of the features the language offers.
741
742
Hunting Performance in Python Code: Measuring Memory Consumption
In this post I will talk about some tools that can help us solve a painful problem in Python, especially when using PyPy: memory consumption. Why are we concerned with this in the first place? Why …
743
Chris Lattner on the Realm WWDC 2017 Swift Panel
I typed up some quotes from Chris Lattner on a recent panel discussion about Swift.
744
Taming Undefined Behavior in LLVM
Interesting post, but you lost me at “Let’s try to do that using undef”. Why bother with notions of an “undef value” (or “deferred UB”), when plain UB is all you need?
745
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.
746
.NET Core Web API on AWS Lambda Performance
In order to understand what I’m going to talk about, you must know what is AWS Lambda, I talked about in this blog post where I went through getting started with Visual studio code and AWS Lambda, …
747
748
Patching is hard; so what?
It’s now been about a week since Equifax announced the record-breaking breach that affected 143 million Americans. We still don’t know enough — but a few details have begun to com…
749
Build your own Terminal using Qt
I'm a huge fan of Unix as an IDE and so the terminal is the core of my computational environment: I run everything from my development tools and text editor to my chat apps and email. There are a variety of terminals out there with their own set of pros and cons, but here we'll find out how to build our own terminal…
750
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