Betelgeuse

just an ordinary geek

Europe Joined on Mar 3, 2020

This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least six years.

This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least five years.

This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least four years.

Awarded for writing and sharing your first DEV post! Continue sharing your work to earn the 4 Week Writing Streak Badge.

This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.

This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.

This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.

3 posts published

0 comments written

4 tags followed

Jun 19 '22

Ty cloudy

#cloud #go #postgres #docker

3 min read

Feb 23 '22

#agda #coq #idris

2 min read

Feb 21 '22

#agda #coq #idris

3 min read