Modern C++ and Lisp Programming Style
Modern C++, as defined in the C++11 standard has evolved to become an algorithmic language. This represents as much an idiomatic departure from Object Orientation as C++ was a departure from …
Getting Started with Functional Programming in F#
Video presentation by Reid Evans on Getting Started with Functional Programming in F#. Here are my takeaways and thoughts on this great talk.
The future of latency profiling in Go
The roadmap for latency profiling in Go
Generating all permutations, combinations, and power set of a string (2012)
Combinatorics is a branch of mathematics that deal with counting of discrete structures. Two concepts that often come up in the study of c...
What it means to be a Postgres extension
Because Citus is an extension to PostgreSQL and not a fork, the effort required to remain compatible with the latest versions of the open source PostgreSQL database has been dramatically reduced. After a new PostgreSQL version is released, Citus packages are often updated and in sync within days.
The Many Layers of Packaging: Why PyPI Isn't an App Store
Thoughts on FOSS and fintech, layered by Mahmoud Hashemi
Things about programming I learned with Go
Go has been gaining a significant popularity over last few months. Language-related articles and blog posts are written every day. New Go projects are started on Github. Go conferences and meetups attract more and more people. This language certainly has its time now. It became a language of the year 2016 according to…
Java 8: New features in ConcurrentHashMap
DEAD CODE TECH LAW Contact us Our Location Icon label Alaska Icon label Nevada Icon label New Mexico Icon label Arizona Understanding the Role of a Medical Malpractice Lawyer: A Comprehensive Guide Medical malpractice cases are complex legal undertakings that require a specific set of skills and expertise. When faced…
Undefined Behavior in 2017
Since you talk about the sanitizers and tools like Checked-C, I’ll note there’s also SaferCPlusPlus[1], which is essentially a memory-safe (and data race safe) subset of C++. The idea is that there are a finite number of C++ elements that contribute to memory unsafety, and since the advent of C++11, it is now…
Why I Don't Prepare for Job Interviews
Cramming may get a candidate a job. But they won’t succeed at the job if they don’t have the skills and experience needed.
PHP 7.2.0 Released
PHP is a popular general-purpose scripting language that powers everything from your blog to the most popular websites in the world.
The Three Ways of XOR
We all know the XOR operation. It’s the cousin of NOT, AND and OR. Like AND and OR, it is a binary boolean function. Unlike them, most programming languages ...
Analyzing Django requirement files on GitHub
Safety gives security teams real-time visibility and governance over every AI tool, package, MCP server, and IDE extension across their developer fleet.
A Foray into Go Assembly Programming
This blog post started last August when I was integrating the Spectator PercentileTimer concept into the metrics library in Rend so we could get better cross-fleet latency percentiles.
Streaming Combinators and Extracting Flat Parallelism
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Scaling Git, and some back story
A couple of years ago, Microsoft made the decision to begin a multi-year investment in revitalizing our engineering system across the company. We are a big company with tons of teams – each with their own products, priorities, processes and tools. There are some “common” tools but also a lot of diversity – with VERY…
Dolphin Progress Report: September 2017
While an emulator's primary job is to emulate, there's usually a lot more that goes into a good emulator. For Dolphin, it may feel like a lot of work has gone toward luxury features and optimizations rather than improving accuracy and compatibility. For example, Ubershaders is a wonderful, game-changing feature, but…
TLA+ in Practice and Theory, Part 4: Order in TLA+
We learn how to encapsulate and compose TLA+ specifications, of the precise mathematical definition of abstraction, and compare TLA+'s notion of abstraction with those of other formalisms. Plus some various cool stuff.
To type or not to type: quantifying detectable bugs in JavaScript
To type or not to type: quantifying detectable bugs in JavaScript Gao et al., ICSE 2017 This is a terrific piece of work with immediate practical applications for many project teams. Is it worth th…
The case against Kotlin
Ryan Cooke | Android Engineer, Core Experience
AWS Lambda – Best practices
In this post we are going to go through the best practices while building an AWS Lambda function. In order to go through this blog you should know what is it and you should ideally have built at le…
Clojure Linear Algebra Refresher: 1 – Vector Spaces
This article is a starting article in a series that is going to briefly skim through a good engineering textbook on linear algebra, making notes that help yo...