I love google maps because i just discovered the coolest freaking coast ever. Aniva Lighthouse on the Russian island of Sakhalin, built by Japan in 1939
June 17, 2025 at 12:52 AM
I love google maps because i just discovered the coolest freaking coast ever. Aniva Lighthouse on the Russian island of Sakhalin, built by Japan in 1939
Abandoned Aniva lighthouse Russia 🇷🇺
#nature #photo #landscapephotography #travel #photography #sunset #sky #mountain #building #lighthouse #sea #beach #Russia #places
#nature #photo #landscapephotography #travel #photography #sunset #sky #mountain #building #lighthouse #sea #beach #Russia #places
December 5, 2024 at 8:29 PM
Abandoned Aniva lighthouse Russia 🇷🇺
#nature #photo #landscapephotography #travel #photography #sunset #sky #mountain #building #lighthouse #sea #beach #Russia #places
#nature #photo #landscapephotography #travel #photography #sunset #sky #mountain #building #lighthouse #sea #beach #Russia #places
Referenced from The Lighthouse at Cape Aniva, Sakhalin Island, Russia
Background Study
#manga #background
Background Study
#manga #background
November 17, 2024 at 2:14 PM
Referenced from The Lighthouse at Cape Aniva, Sakhalin Island, Russia
Background Study
#manga #background
Background Study
#manga #background
Art fight attack for @wmdiscovery93.bsky.social
Featuring Aniva using elemental powers to close a black hole, and artfight.net/~owlyfisher 's Awebo snoozing despite it all ^^
#artfight #artfight2026 #teammystery #taur #centaur #teamcomedy #multifur #multi #galaxy #elemental #art #digitalart #furry
Featuring Aniva using elemental powers to close a black hole, and artfight.net/~owlyfisher 's Awebo snoozing despite it all ^^
#artfight #artfight2026 #teammystery #taur #centaur #teamcomedy #multifur #multi #galaxy #elemental #art #digitalart #furry
August 6, 2026 at 8:34 PM
Art fight attack for @wmdiscovery93.bsky.social
Featuring Aniva using elemental powers to close a black hole, and artfight.net/~owlyfisher 's Awebo snoozing despite it all ^^
#artfight #artfight2026 #teammystery #taur #centaur #teamcomedy #multifur #multi #galaxy #elemental #art #digitalart #furry
Featuring Aniva using elemental powers to close a black hole, and artfight.net/~owlyfisher 's Awebo snoozing despite it all ^^
#artfight #artfight2026 #teammystery #taur #centaur #teamcomedy #multifur #multi #galaxy #elemental #art #digitalart #furry
Aniva Lighthouse sketching
#sketching #sketchbook #handdrawn #art
#inkart #inkdrawing #artshare #illustration #traditionalart #art
#sketching #sketchbook #handdrawn #art
#inkart #inkdrawing #artshare #illustration #traditionalart #art
May 3, 2025 at 11:55 AM
Aniva Lighthouse sketching
#sketching #sketchbook #handdrawn #art
#inkart #inkdrawing #artshare #illustration #traditionalart #art
#sketching #sketchbook #handdrawn #art
#inkart #inkdrawing #artshare #illustration #traditionalart #art
Hi #beeps
#happy Sunday
my first ever #orginal #art #blackandwhite #painting
Aniva nuclear #lighthouse Russia
using my new #sakura #sketch pad lovely little pad
Hope your all well and have #joy
#monocrome #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink
#happy Sunday
my first ever #orginal #art #blackandwhite #painting
Aniva nuclear #lighthouse Russia
using my new #sakura #sketch pad lovely little pad
Hope your all well and have #joy
#monocrome #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink
September 20, 2026 at 2:37 PM
Hi #beeps
#happy Sunday
my first ever #orginal #art #blackandwhite #painting
Aniva nuclear #lighthouse Russia
using my new #sakura #sketch pad lovely little pad
Hope your all well and have #joy
#monocrome #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink
#happy Sunday
my first ever #orginal #art #blackandwhite #painting
Aniva nuclear #lighthouse Russia
using my new #sakura #sketch pad lovely little pad
Hope your all well and have #joy
#monocrome #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink
The Stanford University class CS99: Functional Programming and Theorem Proving in Lean 4, taught by Leni Aniva (@aniva.bsky.social), features Cirno and Rumia as teaching tooltips throughout the slides in the course about the proof assistant Lean.
web.stanford.edu/class/cs99/
web.stanford.edu/class/cs99/
January 9, 2026 at 7:24 PM
The Stanford University class CS99: Functional Programming and Theorem Proving in Lean 4, taught by Leni Aniva (@aniva.bsky.social), features Cirno and Rumia as teaching tooltips throughout the slides in the course about the proof assistant Lean.
web.stanford.edu/class/cs99/
web.stanford.edu/class/cs99/
Hi #beeps hope ur all well
Another Aniva nuclear #lighthouse Russia
Wanted more cliffs but I’m not happy with it :(
Still learning :)
Hope your all well and have #joy
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink #art #minimal #seascape #sakura
Another Aniva nuclear #lighthouse Russia
Wanted more cliffs but I’m not happy with it :(
Still learning :)
Hope your all well and have #joy
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink #art #minimal #seascape #sakura
September 22, 2026 at 6:55 PM
Hi #beeps hope ur all well
Another Aniva nuclear #lighthouse Russia
Wanted more cliffs but I’m not happy with it :(
Still learning :)
Hope your all well and have #joy
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink #art #minimal #seascape #sakura
Another Aniva nuclear #lighthouse Russia
Wanted more cliffs but I’m not happy with it :(
Still learning :)
Hope your all well and have #joy
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink #art #minimal #seascape #sakura
To address the reproducibility crisis in computer science, I made codeberg.org/aniva/Manife... (also available on GitHub). Create reproducible #Nix builds for your #JuliaLang experiments!
Manifest2Nix.jl
A Nix library for building Julia Projects
codeberg.org
October 9, 2025 at 11:16 PM
To address the reproducibility crisis in computer science, I made codeberg.org/aniva/Manife... (also available on GitHub). Create reproducible #Nix builds for your #JuliaLang experiments!
Aniva Lighthouse, Sea of Okhotsk, Russia.
..
Farol de Aniva, Mar de Okhotsk, Rússia
..
#sketching #sketchart #sketches #sketchdaily #sketchbook #sketchaday #drawingpractice #drawingart #drawinginprogress #drawingbeginner #drawinfoftheday #aniva #urbex #abandonedplaces #russia #lugaresabandonados
..
Farol de Aniva, Mar de Okhotsk, Rússia
..
#sketching #sketchart #sketches #sketchdaily #sketchbook #sketchaday #drawingpractice #drawingart #drawinginprogress #drawingbeginner #drawinfoftheday #aniva #urbex #abandonedplaces #russia #lugaresabandonados
April 16, 2024 at 11:42 AM
Aniva Lighthouse, Sea of Okhotsk, Russia.
..
Farol de Aniva, Mar de Okhotsk, Rússia
..
#sketching #sketchart #sketches #sketchdaily #sketchbook #sketchaday #drawingpractice #drawingart #drawinginprogress #drawingbeginner #drawinfoftheday #aniva #urbex #abandonedplaces #russia #lugaresabandonados
..
Farol de Aniva, Mar de Okhotsk, Rússia
..
#sketching #sketchart #sketches #sketchdaily #sketchbook #sketchaday #drawingpractice #drawingart #drawinginprogress #drawingbeginner #drawinfoftheday #aniva #urbex #abandonedplaces #russia #lugaresabandonados
Hi #blueskyartist
Sharing the last of my Aniva nuclear #lighthouse Russia
5min #artchallenge to see how much detail I could draw in a #loosestyle
Hope your all well
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #mentalhealth #ink #art #minimal #seascape #sakura #loose #joy
Sharing the last of my Aniva nuclear #lighthouse Russia
5min #artchallenge to see how much detail I could draw in a #loosestyle
Hope your all well
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #mentalhealth #ink #art #minimal #seascape #sakura #loose #joy
September 23, 2026 at 6:40 PM
Hi #blueskyartist
Sharing the last of my Aniva nuclear #lighthouse Russia
5min #artchallenge to see how much detail I could draw in a #loosestyle
Hope your all well
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #mentalhealth #ink #art #minimal #seascape #sakura #loose #joy
Sharing the last of my Aniva nuclear #lighthouse Russia
5min #artchallenge to see how much detail I could draw in a #loosestyle
Hope your all well
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #mentalhealth #ink #art #minimal #seascape #sakura #loose #joy
Well, it's been a busy old social media day today....
Maybe next I should revisit the Soviet Nuclear Lighthouses?
Maybe next I should revisit the Soviet Nuclear Lighthouses?
September 6, 2026 at 5:36 PM
Well, it's been a busy old social media day today....
Maybe next I should revisit the Soviet Nuclear Lighthouses?
Maybe next I should revisit the Soviet Nuclear Lighthouses?
May 15, 2026 at 5:10 AM
Introducing codeberg.org/aniva/Prismr..., a #leanprover formalization of #musictheory and #music DSL with flexible support for xenharmonic systems and algorithmic composition. #lean4
Prismriver
Formalization of music in Lean 4
codeberg.org
March 23, 2026 at 8:37 AM
Introducing codeberg.org/aniva/Prismr..., a #leanprover formalization of #musictheory and #music DSL with flexible support for xenharmonic systems and algorithmic composition. #lean4
Hi #beeps
#happy Monday
2nd attempt at the Aniva nuclear #lighthouse Russia
But from a different angle
using my new #sakura #sketch pad
Hope your all well and have #joy
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink #art #minimal #seascape
#happy Monday
2nd attempt at the Aniva nuclear #lighthouse Russia
But from a different angle
using my new #sakura #sketch pad
Hope your all well and have #joy
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink #art #minimal #seascape
September 21, 2026 at 9:13 PM
Hi #beeps
#happy Monday
2nd attempt at the Aniva nuclear #lighthouse Russia
But from a different angle
using my new #sakura #sketch pad
Hope your all well and have #joy
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink #art #minimal #seascape
#happy Monday
2nd attempt at the Aniva nuclear #lighthouse Russia
But from a different angle
using my new #sakura #sketch pad
Hope your all well and have #joy
#sea #ocean #watercolor #artshare #urbansketchers #urbansketching #bluskyartist #mentalhealth #ink #art #minimal #seascape
Needle felted seal.
Available at the Aniva self-service shop in Gmünd.
#nadelfilzen #needlefelting #seal #PilzPrinzip #MushroomMethod 🧶
Available at the Aniva self-service shop in Gmünd.
#nadelfilzen #needlefelting #seal #PilzPrinzip #MushroomMethod 🧶
September 30, 2026 at 12:42 PM
Needle felted seal.
Available at the Aniva self-service shop in Gmünd.
#nadelfilzen #needlefelting #seal #PilzPrinzip #MushroomMethod 🧶
Available at the Aniva self-service shop in Gmünd.
#nadelfilzen #needlefelting #seal #PilzPrinzip #MushroomMethod 🧶
Aniva Lighthouse in Sakhalin, Russia, built in 1939. One of my favs.
June 10, 2026 at 10:45 PM
Aniva Lighthouse in Sakhalin, Russia, built in 1939. One of my favs.
Czy wiesz,że latarnia morska Aniva,położona na wyspie Sajalin w Rosji,to kultowa budowla zbudowana w 1939 roku podczas okupacji japońskiej. Ta latarnia morska znajduje się na skalistej wysepce na południe od wyspy i została zaprojektowana,aby kierować łodziami przez zdradliwe wody Cieśniny LaPérouse
December 11, 2024 at 5:10 PM
Czy wiesz,że latarnia morska Aniva,położona na wyspie Sajalin w Rosji,to kultowa budowla zbudowana w 1939 roku podczas okupacji japońskiej. Ta latarnia morska znajduje się na skalistej wysepce na południe od wyspy i została zaprojektowana,aby kierować łodziami przez zdradliwe wody Cieśniny LaPérouse
Jon Apisa. ʻAniva | Hōkūnohoaupuni (Milky Way). 2024. watercolor on paper, 4.25 x 2.75" x (10.8cm x 6.985cm).
Milky Way is:
ʻAniva Sāmoa
Hōkūnohoaupuni in Hawaiʻi
Kaniva in Tonga
Vai ora a Tane in Tahiti
Te Ikaroa in Māori
#milkyway #astronomy #art #painting #watercolor #samoanart #polynesianart
Milky Way is:
ʻAniva Sāmoa
Hōkūnohoaupuni in Hawaiʻi
Kaniva in Tonga
Vai ora a Tane in Tahiti
Te Ikaroa in Māori
#milkyway #astronomy #art #painting #watercolor #samoanart #polynesianart
December 16, 2024 at 6:22 PM
Jon Apisa. ʻAniva | Hōkūnohoaupuni (Milky Way). 2024. watercolor on paper, 4.25 x 2.75" x (10.8cm x 6.985cm).
Milky Way is:
ʻAniva Sāmoa
Hōkūnohoaupuni in Hawaiʻi
Kaniva in Tonga
Vai ora a Tane in Tahiti
Te Ikaroa in Māori
#milkyway #astronomy #art #painting #watercolor #samoanart #polynesianart
Milky Way is:
ʻAniva Sāmoa
Hōkūnohoaupuni in Hawaiʻi
Kaniva in Tonga
Vai ora a Tane in Tahiti
Te Ikaroa in Māori
#milkyway #astronomy #art #painting #watercolor #samoanart #polynesianart
Chair of FARM '26 (Mae Milano): "Do you think I'm not online enough to know why your paper is called Prismriver"
(Presenting codeberg.org/aniva/Prismr... with @lambdaclaire.bsky.social)
#tsukumoyatsuhashi #cosplay
#九十九八橋 #東方コスプレ
(Presenting codeberg.org/aniva/Prismr... with @lambdaclaire.bsky.social)
#tsukumoyatsuhashi #cosplay
#九十九八橋 #東方コスプレ
August 26, 2026 at 3:11 AM
Chair of FARM '26 (Mae Milano): "Do you think I'm not online enough to know why your paper is called Prismriver"
(Presenting codeberg.org/aniva/Prismr... with @lambdaclaire.bsky.social)
#tsukumoyatsuhashi #cosplay
#九十九八橋 #東方コスプレ
(Presenting codeberg.org/aniva/Prismr... with @lambdaclaire.bsky.social)
#tsukumoyatsuhashi #cosplay
#九十九八橋 #東方コスプレ
PRIGORODNOYE SHITNYA LNG DOWN
17 days with no LNG loading. But LNG tanker Grand Aniva has been anchored 4 nm off the coast for 5 days, ready for tug escort.
17 days with no LNG loading. But LNG tanker Grand Aniva has been anchored 4 nm off the coast for 5 days, ready for tug escort.
July 3, 2026 at 6:01 PM
PRIGORODNOYE SHITNYA LNG DOWN
17 days with no LNG loading. But LNG tanker Grand Aniva has been anchored 4 nm off the coast for 5 days, ready for tug escort.
17 days with no LNG loading. But LNG tanker Grand Aniva has been anchored 4 nm off the coast for 5 days, ready for tug escort.
Information sign: Search and coupling (Metavariables, coupling, and formal proofs). ~ Leni Aniva (@aniva.bsky.social). leni.sh/post/informa... #ITP #LeanLang #Lean4
December 9, 2024 at 7:51 AM
Information sign: Search and coupling (Metavariables, coupling, and formal proofs). ~ Leni Aniva (@aniva.bsky.social). leni.sh/post/informa... #ITP #LeanLang #Lean4
Needle felted sleeping elephant.
Available at the Aniva self-service shop in Gmünd.
#elephant #Elefant #nadelfilzen #needlefelting #handmadeinaustria #PilzPrinzip #MushroomMethod 🧶
Available at the Aniva self-service shop in Gmünd.
#elephant #Elefant #nadelfilzen #needlefelting #handmadeinaustria #PilzPrinzip #MushroomMethod 🧶
July 24, 2026 at 12:42 PM
Needle felted sleeping elephant.
Available at the Aniva self-service shop in Gmünd.
#elephant #Elefant #nadelfilzen #needlefelting #handmadeinaustria #PilzPrinzip #MushroomMethod 🧶
Available at the Aniva self-service shop in Gmünd.
#elephant #Elefant #nadelfilzen #needlefelting #handmadeinaustria #PilzPrinzip #MushroomMethod 🧶
Monitoring of pink salmon run in the rivers of the western coast of Aniva Bay. (in Russian) dx.doi.org/10.36038/230...
dx.doi.org
January 13, 2025 at 6:45 PM
Monitoring of pink salmon run in the rivers of the western coast of Aniva Bay. (in Russian) dx.doi.org/10.36038/230...