Articles archive

Listened: SE Radio: Joe Armstrong
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Read: Towards native higher-order remote procedure calls
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Read: A tutorial on the universality and expressiveness of fold
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Read: Why dependent types matter
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
What if you get your dependent type backwards?
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
When is a proof not a proof?
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
An Idris metaprogramming "hello world"
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Updating Plex on Synology NAS
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Agile
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Do more of less
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Housekeeping
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Go Versions and the Open-Closed Principle
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Review: SE-0026: Abstract classes and methods
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Embedded Content Contains Swift
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
XCTestExpectation Gotchas
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Here's to iOS apps in F#
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Beyond Our Ken
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Beyond Type Wars: Types Can Be Tests Too
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Types Complement Tests Complement Types
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Father's Day: Happy Hurricane
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Why I'm Meh About JSON API
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
The Internet Speaks: Testing FP Code
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
A Practical Example of FlatMap
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
How to Work Around an Empty Zenfolio Zip File
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Iterative Development
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
The Gist of Regex
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Microservices vs Distributed Objects
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Cards: Closing Out a Wikipedia Crawl
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Downtime & Recovery: Bludgeoning DigitalOcean Arch into Working Again
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Mixed-Language Testing: Fixing "fatal error: 'App-Swift.h' file not found"
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
What could MPI's evolution say about when to use CSP-style channels?
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Google Room and The Definitive Guide to SQLite
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Collected TILs
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
A Month of Terraform
From: Jeremy W. Sherman’s Blog
Added: Jan. 16, 2021
Introducing Considerate Apps
From: Jeff Watkins’ Blog
Added: Jan. 16, 2021
The Case for Considerate Apps
From: Jeff Watkins’ Blog
Added: Jan. 16, 2021
Considerate Apps Sound Good
From: Jeff Watkins’ Blog
Added: Jan. 16, 2021
Considerate Apps Use Dynamic Type
From: Jeff Watkins’ Blog
Added: Jan. 16, 2021
Considerate Apps Sample Code
From: Jeff Watkins’ Blog
Added: Jan. 16, 2021
Misusing Appearance Selectors
From: Jeff Watkins’ Blog
Added: Jan. 16, 2021