4711
4712
4713
Division by zero in type theory: a FAQ
How can a theorem prover use the convention that 1/0=0 and still be consistent?
4714
Postmortem of the failure of one hosting storage unit on Jan. 8, 2020
On January 8, 2020 at 14:51 UTC, one of our storage units used for our hosting services hosted at LU-BI1 went down.
4715
Nobody Cares (2011)
All the mental energy you waste complaining would be far better used trying to find the one, seemingly impossible way out of your current mess.
4716
New hard drive rituals (2018)
Over the last 10 years that I've been messing around with Linux servers (hence the name of the site by the way) there's been one thing above all else that's always required special care - hard drives. They are mechanical beasts just waiting to eat your data at any time. Entire businesses are built around their…
4717
A survey of recent iOS kernel exploits
Posted by Brandon Azad, Project ZeroI recently found myself wishing for a single online reference...
4718
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.
4719
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.
4720
4721
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
4722
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
4723
GitLab acquires Peach Tech and Fuzzit
Acquisitions will make GitLab the first security solution to offer both coverage-guided and behavioral fuzz testing
4724
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.
4725
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 ...
4726
4727
Feature Casualties of Large Databases
Databases shed important RDMS features as they get big. Examining why this tends to be the case, and some ideas for preventing it.
4728
How to put machine learning models into production
The goal of building a machine learning model is to solve a problem, and a machine learning model can only do so when it is in production and actively in use by consumers. As such, model deployment is as important as model building.
4729
Bread, How Did They Make It?
Bret Devereaux (A Collection of Unmitigated Pedantry)2020120 points32 commentscited by 30History & Retro Computing details
Thanks to our helpful volunteer narrator, this entire post series is now also available in audio format! This essay will hopefully be the first post in a series (II, III, IV, A) covering some of th…
4730
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…
4731
Python Generated Sequence Diagrams
Understanding a system or software architecture simply, truly, absolutely, undoubtedly requires an occasional sequence diagram. I left ...
4732
The Hyperbezier Pen Tool
Introduction
4733
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…
4734
Asterisk
Challenged to write about a single Unicode character, I chose the humble asterisk. In this post, Julia takes a back seat but it’s working hard behind the scenes. [1] The font used for the examples is JuliaMono.
4735
Mishap during experiment led quantum researchers to crack a 58-year-old puzzle
A mishap during an experiment led UNSW quantum computing researchers to crack a mystery that had stood since 1961.
4736
Pilo: Raspberry Pi-Powered Lights-Out Remote Server Management
The completed Pilo controller, before final installation. The USB capture card and Arduino Nano USB serial are soldered to the underside of the 3B+.
4737
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.
4738
Combinatris: Tetris with SKI Combinators
Combinatris
4739
Hiring for tech jobs has increased more than 100% in these Midwestern cities
The Midwest tech startup scene is growing. Jobs data show tons of Midwest tech companies are hiring, making the region worth looking into for tech workers.
4740
GitHub Won’t Help You with Hiring
One of the things I'm working on right now is a project that's aggregating data found in developers GitHub profiles. Since there are a couple of problems with using GitHub profiles as a data source like this, I wanted to first list out some of the issues I have with trying to assess developers by looking only at their…