iiinova — where your digital self keeps evolving

laura @laura.viglioni.com · 30/09/2026

I was wondering that in this era where we (often) don't write code anymore, maybe (pun intended) it makes more sense to have our projects in a language like Haskell, where a slightly type diference makes your code not even compile

100

laura @laura.viglioni.com · 29/09/2026

Even Claude knows that gender is not binary

Claude snippet in haskell explaining FromField class with a gender example where it sets M, F and NB as possible options

020

Reposted by laura

Adriana @adrir.bsky.social · 24/09/2026

Ontem na sopa, Célia entregou um pacote com 3 bonecas que comprou com o dinheiro da quinzena que recebe trabalhando numa fábrica de sapatos Há 5 anos Celia tbm era uma das crianças dessa festinha É sobre gratidão🩷 Isso nos ensina que nao precisa ter muito para ajudar Adote 1 sorriso, doe brinquedos!

01615

laura @laura.viglioni.com · 25/09/2026

Desde 2018 no finado Twitter chega época de eleições e eu preciso postar: Vota 22? Aperta o botão de unfollow confirma pililili 2018 até dava pra dar desculpa por ser otario, mas 2026, depois de tudo o que já vimos, é falta de caráter mesmo, abs

030

laura @laura.viglioni.com · 25/09/2026

After a long period without actually coding I've decided to code a small web app. In HASKELL wish me luck 😂 (It's quite fun I'd say)

040

laura @laura.viglioni.com · 02/09/2026

Im very excited about the dnd adventure I will master

010

laura @laura.viglioni.com · 31/05/2026

Finally doing something I wanted to do for ages: MIT 6001 youtu.be/V_7mmwpgJHU?...

An e-ink tablet displays handwritten study notes in the foreground, while a television in the background plays a lecture from the MIT 6.001 computer science course featuring professor Gerald Jay Sussman.
The handwritten notes on the tablet screen compare programming concepts using text, Lisp-style code snippets, and mathematical formulas.
In the top section, the notes analyze iterative versus recursive processes, showing an expansion of nested parentheses representing deferred operations in a linear recursion alongside arrows indicating big-O notation for space and time.
The middle section contains a handwritten note that reads: The definitions are recursive for both, but the processes are different. Iteration is a process that has all its state on explicit variables. Recursion implies information under the hood.
The bottom section contains differential equations for a circle, dx/dt = -y and dy/dt = x, next to their discrete approximations, x_n+1 = x_n + (-y * dt) and y_n+1 = y_n + x_n * dt. A small sketch of a coordinate plane shows a circle drawn using these state updates, paired with a corresponding def circle code block in Lisp.

5161

laura @laura.viglioni.com · 13/05/2026

the tech community here used to be more active c'mon people, im curious to see other perspectives on it

110

laura @laura.viglioni.com · 13/05/2026

How's your current relation with coding in the claude code era? What about the tooling you've been using for years?

200

laura @laura.viglioni.com · 12/05/2026

What happens inside a monad, stays in a monad

041

laura @laura.viglioni.com · 12/05/2026

I've been using more and more claude code over the past few months, and it still impresses me sometimes

140

laura @laura.viglioni.com · 04/05/2026

uuuh golden tiktok era <3

131

laura @laura.viglioni.com · 23/04/2026

Good news, Hermeto Paschoal is back!

1174

laura @laura.viglioni.com · 29/12/2025

Next hipster goal: learn Dvorak

080

laura @laura.viglioni.com · 28/12/2025

Installing a Linux using a flash drive I can't remember what was the last time I've done it (Yes, I sold my soul to macOS a decade ago)

1100

laura @laura.viglioni.com · 23/12/2025

Hipster achivement unlocked

A split mechanical keyboard with some keys not assembled

3110

laura @laura.viglioni.com · 19/12/2025

Awesome talk from professor @felienne.bsky.social ! I think I never thought about it so clearly about this, but some of these thoughts have been in my mind at some point translating a brazilian meme/saying: you've just rented a triplex in my mind dank je professor!

111

laura @laura.viglioni.com · 16/12/2025

Also a lot of real world problems we solve today use maths discovered decades or centuries ago. Back then this math was "useless"

020

laura @laura.viglioni.com · 16/12/2025

I'm really anxious for the Banach-Tarski apples!

071

laura @laura.viglioni.com · 14/12/2025

Merged!!! Officially contributed to a very important emacs library! 🥹

180

laura @laura.viglioni.com · 02/12/2025

completely steven-wilsed

apple music 2025 replay:
1. steven wilson (2523min)
2. pink floyd (2444 min)
3. black sabbath (2.224min)
4. antonio carlos jobim (1912 min)
5. led zeppelin (1312 min)

albums:
1. steven wilson - the overview (1275 min)
2. di melo - di melo (335min)
3. racionais sobrevivendo no inferno (329min)
4. steven wilson - raven that refused to sing (328 min)
5. porcupine tree - in absentia (313 min)

songs:
1. comfortably numb - pink floyd (54 plays)
2. no quarter - led zeppelin (52 plays)
3. take five - dave brubeck (46 plays)
4. lindo lago do amor - gonzaginha (43 plays)
5. objects outlive us - steven wilson (41 plays)

020

laura @laura.viglioni.com · 27/11/2025

First breaking change in l.el!!! Added arrow syntax and direct values on pattern matching (like in elixir) github.com/viglioni/l-el 1.0.0 is live #emacs #lisp #elixirlang

screenshot of this section https://github.com/viglioni/l-el/blob/main/docs/breaking-changes.org#examples

010

laura @laura.viglioni.com · 26/11/2025

Now l.el has a way nicer type system for pattern matching :D Even with list checks (elixir doesn't have it 👀) to be release today or tomorrow, but the code is there already github.com/viglioni/l-el

Screenshot of this page https://github.com/viglioni/l-el/blob/main/docs/api.org#list_of showing list_of and list_of_instances

030

laura @laura.viglioni.com · 23/11/2025

After some time without touching l.el, I finished the compose macro that allows my custom lambda notation and placeholder! ((lcomp (l x -> (length x)) (reverse __) #'cdr) '(1 2 3 4)) which translates to (funcall (lambda (x) (length x)) (reverse (cdr '(1 2 3 4)) #emacs #lisp

screenshot showing a few tests of lcomp, for instance:

(lcomp
(l x -> (length x))
(reverse __)
#'cdr)

010

laura @laura.viglioni.com · 03/09/2025

{{ stares in molchat doma }} Rio de Janeiro, 🇧🇷

Brutalist building all in concrete showing open passagens from one side to the other on every floor

1131

laura @laura.viglioni.com · 11/08/2025

Implementing a blog from scratch in #elixirlang live view! funnier than i thought :D

040

laura @laura.viglioni.com · 09/08/2025

I’m very excited about some things that are happening now in my life I can’t say much rn, but send me good vibes

1100