391
Typed Properties in PHP 7.4
PHP 7.4 adds typed properties to classes
392
Typestates in Rust (2018)
A long time ago, the Rust language was a language with typestate. Officially, typestates were dropped long before Rust 1.0. In this entry, I’ll get you in on the worst kept secret of the Rust community: Rust still has typestates.
393
Metronomes in JavaScript
Monica Dinculescu's blog
394
Twelve LaTeX packages to get your paper accepted (2017)
(with Abhik Roychoydhury and Aditya Kanade) Why do some people get all their papers accepted, and others do not? You may already know th...
395
80x25
Every now and then, my brain clamps on to obscure trivia like this. It takes so much time. “Because the paper beds of banknote presses in 1860 were 14.5 inches by 16.5 inches, a movie industry cartel set a standard for theater projectors based on silent film, and two kilobytes is two kilobytes” is as far back as I…
396
397
24 Hours of Rust Game Development
In this post I'll talk about a small game I've been developing in about 24 hours in total (mostly in a few hour blocks during evenings or…
398
Building a constraint programming solver in Julia
How to build a constraint programming solver in Julia. Part 1: Solving Sudoku using backtracking
399
C++ Patterns: The Badge
This post describes the C++ Badge template used to enhance member function access control in Serenity Operating System.
400
The “Bug-O” Notation
What is the 🐞(n) of your API?
401
Introduction to Datalog
In contrast to the imperative programming paradigm, declarative programming expresses the logic of a computation without explicitly specifying its control flow. That is, declarative programming focuses on the what , not the how . If you have tentatively researched declarative programming before, you have likely read…
402
The Programmers' Stone (2014)
Hi, and welcome to The Programmers' Stone. The purpose of this site is to recapture, explore and celebrate the Art of Computer Programming. By so doing we hope to help the reader either become a better programmer, understand what less experienced programmers are struggling with, or communicate more effectively with…
403
Solving Every Sudoku Puzzle (2006)
Every square has exactly 3 units and 20 peers. For example, here are the units and peers for the square C2 :
404
A proof that Unix utility sed is Turing complete
Many people are surprised to learn that `sed`, a seemingly simple text filtering program, is actually Turing complete. This realization prompts the question: how can a text processing utility achieve such computational power? The answer lies in sed's fundamental operations. Essentially, sed functions as a miniature...
405
WebGL + Rust: Basic Water Tutorial
In this tutorial we’ll discuss the ideas and concepts behind rendering water and then talk through some demo code.
406
XML is almost always misused
In 1996, XML was invented. No sooner than it was created, it was adopted for all manner of misconceived applications for which it was a poor choice.
407
408
Surprising Bash Variables
Continuing in the series of posts about lesser-known bash features , here I take you through seven variables that bash makes available that you may not have known about.
409
410
411
Mathematica Version 12 Released
New functionality in Wolfram Language 12 and Mathematica covers: ComplexPlot3D, computation with uncertainty, polygon operations, polyhedra, Euclidean geometry, AxiomaticTheory, NBodySimulation, machine learning superfunctions, neural nets, computing with images, SpeechRecognize, AudioIdentify, natural language…
412
413
Statically-typed error handling in Python using Mypy
mypy assisted error handling, exception mechanisms in other languages, fun with pattern matching and type variance
414
What senior engineers do: fix knowledge holes
I had a bad week a few weeks back, and got together with a friend and former colleague. We started trading war stories. He mentioned one time when he was working for a company which had both a desktop client and a server component. The communication between the two pieces of the system was completely, utterly…
415
Perils of Constructors
One of my favorite blog posts about Rust is Things Rust Shipped Without by Graydon Hoare. To me, footguns that don't exist in a language are usually more important than expressiveness. In this slightly philosophical essay, I want to tell about a missing Rust feature I especially like: constructors.
416
TLA+ model checking made symbolic
TLA+ model checking made symbolic Konnov et al., OOPSLA’19 TLA+ is a formal specification language (Temporal Logic of Actions) particularly well suited to reasoning about distributed algorith…
417
It is perfectly OK to only code at work, you can have a life too
There is often pressure inside Software development for Software developers to code outside of work hours. Whether you are a Python, Ruby, Java, or any other developer... There is absolutely no need to code outside of work if you don't want too. Coding is considered a passion for some, but others they don't think this…
418
419
Taking ML to production with Rust
Hands-on technical leader, Rust expert.
420
A Go implementation of Poly1305 that makes sense
Cryptography code could be understandable if only we commented it. This Poly1305 implementation is an attempt to prove it. It should be readable with just an idea of what MACs are for, a beginner level of Go, and high school math.