Christmas List

December 24, 2020 - aarch64

To Do

  • Zettelkasten integration with Hakyll site kind of working ok
  • Tags would be very cool but not on the critical path.
  • Back button for electron viewer app - MVP: use the browser
  • Nice to get links working nicely

The Lambda Calculus Project

  • Come up with a name
  • Setup GitLab project and repos
  • Components:
    • QBE - found a unit test issues or two on aarch64
    • GHC/Cabal - 8.10
    • LLVM - 9
    • Nominal
    • Stuff all working on arm64 (ubuntu) Nvidia Jetson
    • CI

GHC Arm64 Dev

  • Extras:
    • Raspberry Pi 4 8Gb
      • aarch64 OS? ubuntu seems best supported
      • ghc dev?

Crazy facts about floating point

  • 4.9 × 10^-324 is the smallest de-normal IEE 754
  • FPCR is the aarch64 floating point control register.
    • denormalise to zero can be set