You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Instantly share code, notes, and snippets.
Alfonso Garcia-Caro
alfonsogarciacaro
Software developer. Creator of Fable: F# to JS compiler.
Deploying an F# ASP.NET Core app (Giraffe) to Azure
Deploying an F# ASP.NET Core app to Azure
Last week I spent a lot of time trying to deploy an F# ASP.NET Core app (a Giraffe app, specifically) to Azure because the information to complete all the steps was scattered in several places. So I'm writing this hopefully it will save the pain to others :)
Preparation
The following steps are mostly taken from this guide and it's only necessary to do them once:
Create an account in Azure (or use an existing one)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
.NET DateTime pitfalls or how an API design can shape developers' minds
.NET DateTime pitfalls or how an API design can shape developers' minds
What's in a DateTime? Or more specifically what's in .NET System.DateTime? Here is a class that we use every day yet few people really understand. I too had a wrong understanding of it until very recently and it's only now that I feel confident enough (or maybe it's just an illusion?) to write this post to organize my thoughts and try to help others, including my future self.
DISCLAIMER: This article contains some simplifications (e.g. UTC is not formally timezone 0) for the sake of a better explanation.
DateTimes are known for being particularly tricky in computing, this is because they mix two similar yet different concepts. Let's start by defining the simplest of them. We'll use another word to make the distinction more clear: timestamp. What's a timestamp in computing terms? It's just a value in a unidimensional coordinate system that defines how far is a point from the coordina
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters