iiinova — where your digital self keeps evolving

oeiuwq @oeiuwq.com · 26/06/2026

Hasta el próximo año taquito sprint

030

oeiuwq @oeiuwq.com · 03/01/2026

always late to the party, here's my gh wrapped github.com/vic

020

oeiuwq @oeiuwq.com · 23/10/2025

github.com/vic/flake-aspects Somewhat complex example, (not-very real world) just trying to show the new inter-aspect dependencies system I implemented in flake-aspects repo. #Dendritic #Nix

110

oeiuwq @oeiuwq.com · 29/08/2025

If you also feel like tuiter was much better back in 2006, I'm building something for you! A new (old and obsolete by design) Bluesky appview. Login using your existing account. Still very very alpha, I don't even have a fail whale page. RT for reach tuiter.alwaysdata.net

021

oeiuwq @oeiuwq.com · 28/08/2025

Can you see this image or is my browser still blocking them?

100

oeiuwq @oeiuwq.com · 26/08/2025

oh oh oh: ackchyually - a place where men can explain things no body asked for . (only men can join, you will be requested a proff-of-manhood at signup -- actually you wont be requested, but real-men will have already tried to prove their manhood somehow)

000

oeiuwq @oeiuwq.com · 14/08/2025

flashing enthium V10 github.com/sunaku/enthi...

021

oeiuwq @oeiuwq.com · 01/08/2025

Heeeeey look at this beautiful graph !! jjui has a PR with experimental coloring on lanes, and dimming unrelated commits to avoid distraction. How cool is that ! #Go try it and give us feedback on how it feels ! github.com/idursun/jjui...

030

oeiuwq @oeiuwq.com · 27/07/2025

AceJump PR for quickly moving over revisions in #jjui. github.com/idursun/jjui...

010

oeiuwq @oeiuwq.com · 17/07/2025

This week I've contributed two new features to JJUI, both inspired by vim btw! Allow `:` key for executing jj or shell commands. Customizable Leader key shortcuts that execute keyboard macros on the UI. github.com/idursun/jjui... github.com/idursun/jjui...

000

oeiuwq @oeiuwq.com · 11/07/2025

On this week's trending #Nix developers: github.com/vic/dendrix

000

oeiuwq @oeiuwq.com · 03/07/2025

Also, it has a cute ouroboros as mascot. eating itself because the flake.nix file is produced by the flake itself.

000

oeiuwq @oeiuwq.com · 09/02/2025

Yo contestandome mis propias dudas en el zulip chat de Leanprover. leanprover.zulipchat.com#narrow/chann...

010

oeiuwq @oeiuwq.com · 01/02/2025

learning how to create your own Lean4 tactics and how proving is about meta program construction can be a fun really rewarding experience. (made an unsafe tactic that reads a meta variable from the local context and other to inspect what's missing so far)

021

oeiuwq @oeiuwq.com · 17/12/2024

maripostea tu pantalla de bloqueo

030

oeiuwq @oeiuwq.com · 27/11/2024

are gifs working now ?

000

oeiuwq @oeiuwq.com · 25/11/2024

Having #Zed editor trying to download and run dynamically linked executables just wont work on #NixOS. At times this is frustrating, but it could also be seen as a security measure 😅.

110

oeiuwq @oeiuwq.com · 18/11/2024

My git receipt (maybe one day I'll be back at coding something at GitHub) gitreceipt.vercel.app

020

oeiuwq @oeiuwq.com · 09/05/2022

hoy mi hermana @aranceliborja defendiendo su tesis de doctorado. 💜🤓 use the force in your defence.

000

oeiuwq @oeiuwq.com · 29/04/2022

today was beautiful

000

oeiuwq @oeiuwq.com · 29/04/2022

this kid does not exists, the hand does. *talk to the hand*

000

oeiuwq @oeiuwq.com · 15/04/2022

manguito peña nieto.

000

oeiuwq @oeiuwq.com · 12/04/2022

rimel de miel pa corregir la tristeza

000

oeiuwq @oeiuwq.com · 30/03/2022

Merged a PR without noticing CI was red. I find it amusing how that big red line will be walking over words on left. :D

000

oeiuwq @oeiuwq.com · 29/03/2022

-funroll-progress-bars

000

oeiuwq @oeiuwq.com · 26/03/2022

Me estan reemplazando por un robot y para nada es queja.

000

oeiuwq @oeiuwq.com · 18/03/2022

This is how not-sleeping at 3am was for me yesterday. Prototyping zuKanren: a @zioscala streams based µKanren in Scala3. It's goal is to research what zio lazy-streams and resource safety can bring to the table on logic/relational programming.

000

oeiuwq @oeiuwq.com · 15/03/2022

hey @garnix_io! pushed to another repo of mine, this time it contains default packages. everything built great! now the only issue is, looks like we still don't have log-streaming during build, and had to wait for it to finish to see something. but so far, so good :) great work!

000

oeiuwq @oeiuwq.com · 11/03/2022

el único símbolo patrio que me interesa

000

oeiuwq @oeiuwq.com · 09/03/2022

Best kind of commits.

000

oeiuwq @oeiuwq.com · 04/03/2022

[ cries in "Everything is fine" meme ] *JVM mem leak on canvas*

000

oeiuwq @oeiuwq.com · 21/12/2021

If you'd like to try out @gleamlang and are using nix, now you are just one command away to start using any version of it! `nix shell github:vic/gleam-nix -c gleam --help` It can also provide you a local development environment for hacking on Gleam.

000

oeiuwq @oeiuwq.com · 17/12/2021

This afternoon I'm prototyping an Algebraic Effects library named Scalability.

000

oeiuwq @oeiuwq.com · 07/12/2021

Scala people, what's the state of the art in F[_] based RPCs? I'm thinking of something like Sloth clients with Twitter Finagle Mux as transport-layer. I'd like single connection, no gRPC, nor IDL. +1 ZIO

000

oeiuwq @oeiuwq.com · 04/12/2021

No está mal hacer fork de mi código -si lo comparto es para que sirva a otros-, lo que esta chafa es copiar, eliminar la licencia, documentación y cambiar las referencias al repo original. Aparte, haciendo fork estabas a un `git pull` de obtener mis últimas actualizaciones.

000

oeiuwq @oeiuwq.com · 28/11/2021

Just got this indie game on switch and it is so hilarious!. I'm having a lot of fun with the protagonist's 80s cheesy lines. The voice even reminds me of kungfury's 😂 #UnMetal

000

oeiuwq @oeiuwq.com · 28/11/2021

ah si... good old 1999 cuando aparte de pasar mi tiempo programando emacs me ponía en ratos de ocio a escribir papers sobre salud pública 😂. NOT

000

oeiuwq @oeiuwq.com · 11/11/2021

that time of year again, say hi !

000

oeiuwq @oeiuwq.com · 09/11/2021

ah, sí, totalmente, me!

000

oeiuwq @oeiuwq.com · 09/11/2021

me gustan las fotos malas

000

oeiuwq @oeiuwq.com · 06/11/2021

dime cosas marcianas.

000

oeiuwq @oeiuwq.com · 05/11/2021

órale prros y otros animals crossing caiganle a mi isla que tengo un desmadre y hay chingos de weed que juntar. Dodo Code: 0CGK2. adults only, está lloviendo pero hay maquinitas y Raspberry pies.

000