oeiuwq
@oeiuwq.com
SDA. ser feliz es mi color de identidad.
navego en el mar de las cosas exactas.
let this = lib.flip that; in lib.flip this;
Nix/Rust/Go/Scala
vborja at apache.org
github.com/vic
Jardines de agua.
Nenúfares, sal.
Lanif led lanif le atsah!
x.com/oeiuwq
navego en el mar de las cosas exactas.
let this = lib.flip that; in lib.flip this;
Nix/Rust/Go/Scala
vborja at apache.org
github.com/vic
Jardines de agua.
Nenúfares, sal.
Lanif led lanif le atsah!
x.com/oeiuwq
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
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
October 23, 2025 at 1:43 AM
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
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
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
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
August 29, 2025 at 12:03 PM
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
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
Can you see this image or is my browser still blocking them?
August 28, 2025 at 3:52 AM
Can you see this image or is my browser still blocking them?
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)
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)
August 26, 2025 at 8:58 PM
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)
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)
August 14, 2025 at 9:39 PM
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...
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...
August 1, 2025 at 5:33 PM
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...
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...
July 27, 2025 at 11:21 AM
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...
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...
July 17, 2025 at 12:36 AM
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...
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...
July 10, 2025 at 11:32 PM
Also, it has a cute ouroboros as mascot.
eating itself because the flake.nix file is produced by the flake itself.
eating itself because the flake.nix file is produced by the flake itself.
July 3, 2025 at 3:59 AM
Also, it has a cute ouroboros as mascot.
eating itself because the flake.nix file is produced by the flake itself.
eating itself because the flake.nix file is produced by the flake itself.
Yo contestandome mis propias dudas en el zulip chat de Leanprover.
leanprover.zulipchat.com#narrow/chann...
leanprover.zulipchat.com#narrow/chann...
February 9, 2025 at 7:20 PM
Yo contestandome mis propias dudas en el zulip chat de Leanprover.
leanprover.zulipchat.com#narrow/chann...
leanprover.zulipchat.com#narrow/chann...
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)
(made an unsafe tactic that reads a meta variable from the local context and other to inspect what's missing so far)
February 1, 2025 at 3:24 AM
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)
(made an unsafe tactic that reads a meta variable from the local context and other to inspect what's missing so far)
maripostea tu pantalla de bloqueo
December 17, 2024 at 3:05 AM
maripostea tu pantalla de bloqueo
November 18, 2024 at 7:19 PM
hoy mi hermana @aranceliborja defendiendo su tesis de doctorado. 💜🤓 use the force in your defence.
November 23, 2024 at 8:03 AM
hoy mi hermana @aranceliborja defendiendo su tesis de doctorado. 💜🤓 use the force in your defence.
this kid does not exists, the hand does.
*talk to the hand*
*talk to the hand*
November 23, 2024 at 7:58 AM
this kid does not exists, the hand does.
*talk to the hand*
*talk to the hand*
rimel de miel pa corregir la tristeza
November 23, 2024 at 7:52 AM
rimel de miel pa corregir la tristeza
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
November 23, 2024 at 7:50 AM
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