Submissions by setra

Urbit Update Release Notes

A Dependently Typed Date

Why I Hate Programming Language Advocacy

SQL Schema design question – delete flags

Using Z3 to solve a simple logic puzzle

Yale team finds nicotinic receptor essential for cognition

Unwanted Haskell triangle

Nykredit, the 33M dollars mistake

Reflecting on Haskell in 2017

Enter 'petro': Venezuela to launch oil-backed cryptocurrency

How I raised $400,000 in two weeks, from 61 investors, through AngelList

Google-scale, the monolithic source control repository and Piper

Logical replication with PostgreSQL 10: Replicate individual tables

Exceptions Best Practices in Haskell

Half-Life and Team Fortress Networking

SSH vs. OpenVPN for Tunneling

Constraints are for methods, not data

Green Threads Are Like Garbage Collection

Kivaloo: high-performance key-value store

How to Encrypt Traffic to Redis with Spiped

John Titor

PureVPN: A bundle of WTF

Red Hat Enterprise Linux for ARM arrives after seven years of development

Quick and minimal Haskell hacking with Nix