1261
Emacs as Email Client
Email with mu4e and offlineimap
1262
A REST View of GraphQL
In this article, we will talk about: What does the REST architectural style mean? What is GraphQL? What problems does it solve? How is GraphQL incompatible with REST?
1263
Domain Logic and SQL (2003)
A long-form article entitled: "Domain Logic and SQL"
1264
Implementing Rust's dbg! in Python
Rust has an amazing dbg macro that lets you quickly set up an expression printer that will also put in the source line. It also returns the value of the expression so you can even easily inline the printing when you want to!
1265
1266
Towards Crystal 1.0
Currently the main goal of the Crystal core team is to reach 1.0 in the near future. Since achieving that goal involves a number of non-obvious tradeoffs, we want to use this post to shed some light on those inherent tensions and how they drive our work and priorities for the next few releases.
1267
Autonomous Rust Unikernels in Google Cloud
What if you could reboot an entire server in seconds in response to an active attack and get a brand new memory layout? While not feasible under linux it's an uniquely unikernel feature.
1268
The Importance of End-to-End Thinking in System Design
I once attended a talk by Yoky Matsuoka when I was young – so young, in fact, that I don’t remember when or where the talk was. What I do remember is her telling the story of designing…
1269
Reasons to Learn Redux as a JavaScript Developer
Redux greatly shaped how we develop modern JavaScript applications nowadays. Here I want to give a walkthrough on all the mindset changes we went through as JavaScript developers ...
1270
GDPR guide for developers
Is this guide only for developers? This guide is mainly aimed at developers working alone or in teams, team leaders, service providers but also at anyone interested in web or application development. It provides advice and best practices, and thus gives useful keys to understand the GDPR for every stakeholder…
1271
1272
Division by zero in type theory: a FAQ
How can a theorem prover use the convention that 1/0=0 and still be consistent?
1273
My Favorite Shortcuts for JetBrains' IDEs
JetBrains, the makers of the popular IntelliJ IDEA, offer a range of powerful IDEs for all kinds of programming languages. I would like to share my favorite shortcuts for their IDEs.
1274
Using Visual Studio Code for Qt Applications
In this short blog series, I will show you how to get up to speed with a Qt project using Visual Studio Code in more detail.
1275
CQRS: Command Query Responsibility Segregation (2011)
CQRS (Command Query Responsibility Segregation) is the notion that you can use a different model to update information than the model you use to read information
1276
How we test the TeamCity UI
Developing a working piece of software is difficult. Just like building an airplane, it requires talented people, working components, and a testing framework. No plane leaves the hangar before everyth
1277
PP-YOLO Surpasses YOLOv4 – State-of-the-art object detection techniques
Baidu publishes PP-YOLO and pushes the state of the art in object detection research by building on top of YOLOv3, the PaddlePaddle deep learning framework, and cutting edge computer vision research.
1278
CuPy Accelerates NumPy on the GPU? Hold My Cider, Here's Clojure
Everyone knows that Java is slow and Clojure is not a great choice for number crunching, but as soon as I dig anywhere with my software, I discover that the ...
1279
Curl will now output JSON
This is not a command line option of the week post, but I feel a need to tell you a little about our brand new addition! --write-out [format] This option takes a format string in which there are a number of different "variables" available that let's a user output information from the previous transfer. For … Continue…
1280
Python Generated Sequence Diagrams
Understanding a system or software architecture simply, truly, absolutely, undoubtedly requires an occasional sequence diagram. I left ...
1281
Lisp: Good News, Bad News, How to Win Big (1991)
Lisp has done quite well over the last ten years: becoming nearly standardized, forming the basis of a commercial sector, achieving excellent performance, having good environments, able to deliver applications. Yet the Lisp community has failed to do as well as it could have. In this paper I look at the successes, the…
1282
Actix Web: Optimization Amongst Optimizations
It’s already been a great reading day for retrospectives on the last ten years / predictions for the next. Here’s to hoping that everyone had a good break (or at least a few days off), set or didn’t set resolutions, and is refreshed and ready for what comes next.
1283
Combinatris: Tetris with SKI Combinators
Combinatris
1284
Investigating the Performance Overhead of C++ Exceptions
C++ exceptions have their place, but using an alternative is recommended for general program flow control.
1285
I can't believe I'm praising Tcl (2008)
So the other day I both defined Tcl procedures all by myself and used them interactively, and I liked it, to the point where it felt like some kind of local optimum. This entry is an attempt to cope with the trauma of liking Tcl, by means of rationalizing it. I'll first tell the story of my fascinating adventures, and…
1286
Syntax changes from C++11 to C++20
Let’s start the week with Lambda Expressions. The plan is to have a set of concise articles presenting core elements of lambda expressions. Today you can see how the syntax has evolved starting since C++11 and what are the latest changes in C++20. The Series This blog post is a part of the series on lambdas:
1287
Implementing a Type-safe printf in Rust
I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf arguments.
1288
Computational Category Theory in Python III: Monoids, Groups, and Preorders
Parts 1 and 2 are found here and here
1289
Can we do better than our C compiler?
Today, I wanted to see if I could out-compile my C compiler. I added a hand-compiled assembly version of echo from our previous coding exercise and added a new make target, make asm , that will assemble it. Let's look at our hand-compiled assembly and compare it to our C compiler and ask whether or not it was worth it.
1290
A new RISC-V version of uLisp
The RISC-V version of uLisp is designed to support microcontroller boards based on the RISC-V processor.