Kuuke's SterrenbeeldenAug 13, 2025
Altaïr – Alpha Aquilae
Altair, Alpha Aquilae (alpha Aquilae) is een witte hoofdreeksster die 16,73 lichtjaar van de Aarde is verwijderd in de richting
#AlphaAquilae #altair #arend #delphinus #dolfijn #nieuw #pijl #sagitta #zomerdriehoek
https://www.kuuke.nl/altair-wegwijzer-naar-kleine-sterrenbeelden/
José A. AlonsoMay 15, 2025
Readings shared May 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/14-readings_shared_05-14-25 #Arend #CategoryTheory #ITP #LLMs #LeanProver #OCaml #Rocq
Readings shared May 14, 2025

The readings shared in Bluesky on 14 May 2025 are Formal P-category theory and normalization by evaluation in Rocq. ~ David G. Berry, Marcelo P. Fiore. #ITP #Rocq #CategoryTheory Verified purely func

Vestigium
José A. AlonsoMay 14, 2025
Theorem prover Arend. ~ Fedor Part, Valery Isaev, and Sergey Sinchuk. https://arend-lang.github.io/assets/lang-paper.pdf #ITP #Arend
RTV Drenthe RSSJan 16, 2025

[18:46] Hoogeveen test met nieuwe palen de oplossingen voor een regionaal funderingsprobleem

In Hoogeveen - naast flat De Arend - vinden bijzondere proeven plaats. De gemeente en twee leveranciers van hei- en funderingspalen doen tests met nieuwe typen palen die in de grond worden geboord.

https://www.rtvdrenthe.nl/nieuws/17141156/hoogeveen-test-met-nieuwe-palen-de-oplossingen-voor-een-regionaal-funderingsprobleem

#Arend #twee

Hoogeveen test met nieuwe palen de oplossingen voor een regionaal funderingsprobleem

In Hoogeveen - naast flat De Arend - vinden bijzondere proeven plaats. De gemeente en twee leveranciers van hei- en funderingspalen doen tests met nieuwe typen palen die in de grond worden geboord.

RTV Drenthe
Dagblad Van het Noorden RSSNov 18, 2024

[09:47] Test met funderingspalen naast de Arend heeft grote invloed op toekomstige bouwprojecten

Bij de Arend in de Hoogeveense wijk Zuid worden testen gedaan met andere soort funderingspalen dan dat momenteel gebruikt mogen worden in Hoogeveen en De Wolden. Zodra de draagkracht van deze palen is vastgesteld kunnen bouwbedrijven eventueel ook voor deze funderingspalen kiezen in onze regio.

https://www.dvhn.nl/drenthe/hoogeveen/Test-met-funderingspalen-naast-de-Arend-heeft-grote-invloed-op-toekomstige-bouwprojecten-29280320.html

#Arend #Hoogeveense #Zuid #Hoogeveen #DeWolden #Zodra

Test met funderingspalen naast de Arend heeft grote invloed op toekomstige bouwprojecten

Bij de Arend in de Hoogeveense wijk Zuid worden testen gedaan met andere soort funderingspalen dan dat momenteel gebruikt mogen worden in Hoogeveen en De Wolden. Zodra de draagkracht van deze palen is vastgesteld kunnen bouwbedrijven eventueel ook voor deze funderingspalen kiezen in onze regio.

Dagblad van het Noorden
RTV Drenthe RSSNov 17, 2024

[20:00] Arend (87) zit liever op de motor dan achter de geraniums

De motor is nog steeds belangrijk in het leven van Arend.

https://www.rtvdrenthe.nl/nieuws/16856969/arend-87-zit-liever-op-de-motor-dan-achter-de-geraniums

#Arend

Arend (87) zit liever op de motor dan achter de geraniums

De motor is nog steeds belangrijk in het leven van Arend.

RTV Drenthe
OVnieuws-InfoAug 29, 2024

In beeld: Incidentenbestrijders van ProRail zetten ontspoorde stoomlocomotief De Arend weer terug op de rails - https://www.mp-produktie.nl/2024-08-21_Hersporen_van_De_Arend_in_Het_Spoorwegmuseum.html

#Spoorwegmuseum #Utrecht #Arend #Incidentenbestrijders #Incidentenbestrijding #Treinennieuws #OVnieuws #Treinleven #Railways

OVnieuws.info

Kuuke's SterrenbeeldenApr 16, 2024

Meest massieve stellaire zwarte gat in onze Melkweg gevonden

Astronomen hebben het meest massieve stellaire zwarte gat geïdentificeerd dat tot nu toe in ons sterrenstelsel is gevonden. Dit zwarte gat werd opgemerkt in gegevens van de Europese GAIA-missie omdat het een vreemde “wiebelende” beweging oplegt aan de bege

https://www.kuuke.nl/meest-massieve-stellaire-zwarte-gat-in-onze-melkweg-gevonden/

#aquila #arend #BH3 #eso #gaia #MeestNabijeZwarteGat #StellairZwartGat #VLT #ZwartGat

Meest massieve stellaire zwarte gat in onze Melkweg gevonden

Astronomen hebben het meest massieve stellaire zwarte gat geïdentificeerd dat tot nu toe in ons sterrenstelsel is gevonden. Dit zwarte gat werd opgemerkt in gegevens van de Europese GAIA-missie omd…

Kuuke's Sterrenbeelden
Dirk BachhausenMar 22, 2024

Zum Inhalt springen

Unsere stellvertretende Fraktionsvorsitzende Maria Helmis-Arend ist heute als herausragende Kommunalpolitikerin mit dem Helene-Weber-Preis ausgezeichnet worden. Der Preis ist eine bundesweite Initiative für die Förderung der politischen Partizipation von Frauen in Deutschland und wird vom Bundesministerium für Familie, Senioren, Frauen und Jugend (BMFSFJ) verliehen.

Unser Fraktionsvorsitzender Christian Joisten freut sich über die Preisverleihung: „Maria Helmis-Arend setzt sich in ihrer täglichen politischen Arbeit für ein sozial gerechteres und kulturell stark aufgestelltes Köln ein. Mit ihrer starken politischen Arbeit als Führungsfigur unserer Fraktion ist sie ein Vorbild für viele Mädchen und Frauen. Denn sie ermutigt damit andere Frauen in die Kommunalpolitik zu gehen, unsere Gesellschaft aktiv mitzugestalten und die Geschicke der Städte und Kommunen zu lenken. Herzlichen Glückwunsch, liebe Mia – die ganze SPD-Fraktion ist stolz auf Dich!”

Bis zu 170.000! Um diese Zahl an Menschen soll Köln in den nächsten 20 Jahren wachsen. Das heißt: 3,5 Mal ein ausverkauftes Rheinenergiestadion, 8,5 Mal eine volle Lanxess-Arena und bis zu 200 Mal ein voller Saal im Gürzenich!

Jetzt weiterlesen

Die Lage ist dramatisch, die Mieten explodieren. Bezahlbares Wohnen ist die große Herausforderung unserer Stadt. Die Stadt muss jetzt handeln. Wir fordern 500 Millionen Euro für den Kölner Wohnungsbau in den nächsten fünf Jahren. In unseren FAQ erklären wir, wie das gelingen kann.

Jetzt weiterlesen

Jetzt anmelden!

Jetzt weiterlesen

Hier weiter lesen…

https://www.bachhausen.de/helene-weber-preis-2024-an-maria-helmis-arend-verliehen/

#arend #helene #helmis #maria #preis #verliehen #weber

Jesper Agdakx 🔸Nov 9, 2023
Tomorrow is already the deadline for the third edition of #WITS, the Workshop on the Implementation of Type Systems, colocated with #POPL 2024 in London. The page limit is one page, but just a single-paragraph abstract with an interesting idea for a talk is also very welcome! In particular contributors to #Haskell #OCaml #Rust #Scala #Coq #Lean #Agda #Idris #Cedille #Arend #CoolTT and even #TypeScript are warmly invited to give a talk about their experiences with implementing type systems.

Call for papers: popl24.sigplan.org/home/wits-2024#Call-for-Participation
Submission link: wits24.hotcrp.com/
The Agda Club