Also see the original Pieter Noordhuis's guide
You need:
- Raspberry Pi Model B (or B+) with a MicroSD Card $35-40
- An RTL-SDR dongle:
Andreas Juch ajuch
lxe
/ goes16-rtlsdr.md
Last active
March 9, 2026 22:27
Receive GOES-16 and GOES-17 Images with a Raspberry Pi and RTL-SDR dongle
swlaschin
/ ConstrainedTypesExamples.fsx
Last active
January 7, 2026 17:22
Examples of creating constrained types in F#
This file contains hidden or 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
| // General hints on defining types with constraints or invariants | |
| // | |
| // Just as in C#, use a private constructor | |
| // and expose "factory" methods that enforce the constraints | |
| // | |
| // In F#, only classes can have private constructors with public members. | |
| // | |
| // If you want to use the record and DU types, the whole type becomes | |
| // private, which means that you also need to provide: | |
| // * a constructor function ("create"). |