I've been playing a ton of Caves of Qud recently, so I thought I'd do a few player tiles for folks in my server and get some pixel art practice while at it c:
This first batch is all moths!!

Readings shared March 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/07-readings_shared_03-07-25 #Agda #CategoryTheory #Coq #HoTT #ITP #LLMs #LeanProver #Math #Programming #Reasoning #Rocq #TypeTheory

Un beau coucher de soleil, un arbre en bourgeon, un croissant de lune... Un belle soirée romantique pour les amoureux.
Update: 15 jours après, madame couve
#Coq #Poule #Nature #FarmLife #Chickenstodon #Rooster #Hen #Romance #Spring #Sunset

Waterproof: Transforming a proof assistant into an educational tool. ~ Aalt Jelle Wemmenhove. https://research.tue.nl/nl/publications/waterproof-transforming-a-proof-assistant-into-an-educational-too #ITP #Coq #Math #Education

Cocorico! Cock-a-doodle-doo! Kikeriki! What’s yours?
#watercolour #watercolor #aquarelle #acuarela #aquarell #acquerello #aquarela #MastoArt #mastodon #art #artist #painting #drawing #illustration #paint #draw #rooster #coq #animal #animals #nature #bird #birds #BirdsOfMastodon

Readings shared February 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/13-readings_shared_02-13-25 #AI #Autoformalization #Coq #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Programming #Prolog #Rocq

Live and Drinks, Friends: Caves of Qud 1.0 Now Live

https://fullcleared.com/news/live-and-drinks-friends-caves-of-qud-1-0-now-live/

hax - A #Rust #verification tool

https://github.com/hacspec/hax

hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.

1/2

Listening to Ride of the Valkyries while playing #CoQ is glorious.

I did the #daily #CavesOfQud build. Died horribly (this is the way) quite proud of what I achieved though. It was a fun break from reality. exploring a procedurally generated high tech-low-life fantasy swamp. Love me a good chrome revolver and salve injector.

Is there anyone here willing to do the #CavesOfQud #Daily with me?

I am drinking the glorious cocktail known as the Whiskey Milk, while playing #CoQ. And meeting my frequent death to wilderness furry conventions.

The Caves: A Caves Of Qud drabble.

--==++==--

I did not tell my father I was leaving. I hadn’t told him much for years. I took his sword, his chainmail, his buckler. I laced my boots–a gift from my mother. I marched. Down the long road. Through the dark forest. Over the high mountains. Trudging through salt marshes.

I sucked buttons because I was thirsty, and without water. I slashed at crocodiles. I threw rocks back to the baboons. I set foot in Joppa.

My father would never know. I became a ghost when I left–something transient that never returns.

I had no home now, but the caves.

--==++==--

time for an #introduction

I'm Tuula Aurora, a trans woman living in Finland and trying to figure out the world.

I tend to switch from hobby to hobby when it strikes my fancy.

I like coding and switch from language to language (#python, #hy, #haskell). Sometimes I try to wrap my head around #coq or #rust.

I also like #drawing and doodle silly things on the margins now and then.

Also, tell me about your cool project. I love hearing what people are creating.

Reactivating — Hello! I’m into:
• Functional programming, especially #haskell, #ocaml, #elmlang, #purescript
• Proof systems & software correctness tools #coq, #idris, #agda, #rustlang
• Scientific data acquisition & analysis, #gpu frameworks
• Reproducible builds, #nixos, #nixpkgs
• Non-traditional families (#queer, interracial)
• #ADHD strategies & other #neurodivergent perspectives
• Black natural hair care, for Ms. 7yo
• #Classical & electronic music, dabbling at piano as a busy adult