Waarnemen – de Arend

De beste tijd om de Arend waar te nemen vanaf het noordelijk halfrond is aan het einde van de zomer en vroeg in de herfst. Omdat ons sterrenstelsel zorgt voor een achtergrond vol sterren zijn er veel sterrenhopen en nevels binnen de grenzen van de Arend te vinden.

https://www.kuuke.nl/waarnemen-de-arend/

#alshain #altair #aquila #arend #sterrenbeeld #tarazed #waarnemen #zomerdriehoek

Ludzie od Arenda wypuścili drugą część przewodnika po języku. Druga część przewodnika jest o homotopicznej teorii typów: https://arend-lang.github.io/documentation/tutorial/PartII/
#arend

Zakaz wychodzenia z domu szkodzi na mózg
Wczoraj odkryłem Arenda, a dzisiaj już czepiam się drobnostek
https://github.com/JetBrains/arend-lib/issues/16
#arend