the j
banner
j0.lol
the j
@j0.lol
ARM & WebGPU evangelist, efficiency > power, fan of functional languages, cilantro soaper, BSc. Computer Science

🌐 https://j0.lol
💬 Signal: j0lol.01

it/they/she 🟨⬜️🟪⬛️
iii dont liike it
December 4, 2025 at 11:52 AM
uh oh
December 3, 2025 at 10:37 AM
may you find a fan and an ice cream soon
December 2, 2025 at 7:24 PM
i hate being ill! blegh!
December 2, 2025 at 4:05 PM
we love type systems :)
December 2, 2025 at 12:45 AM
fsharp is cool! would love to get an excuse to use it some day
December 1, 2025 at 11:56 PM
i usually tap out about day 5,, part two really tricked me into thinking it was easier than it was
December 1, 2025 at 11:54 PM
its whole thing is that functions are stored in a db instead of a file. its really interesting
December 1, 2025 at 11:53 PM
(i hope im doing this right!)
December 1, 2025 at 11:37 PM
here's my (probably messy) unison project share.unison-lang.org/@j0lol/aoc25
@j0lol/aoc25 | Unison Share
Explore, read docs about, and share Unison libraries
share.unison-lang.org
December 1, 2025 at 11:35 PM
i like unison though. its like a funky haskell
December 1, 2025 at 11:27 PM
come to the dark side... (web editor & sql db)
December 1, 2025 at 9:42 AM
Untitled
...
codepen.io
November 30, 2025 at 11:05 PM
oh i mean it would just be an easy way to put a warning banner up without messing with anything but css
November 30, 2025 at 11:04 PM
you could always just body::before { content: "RIP"; width: "100%"; color: white; background-color: red; }

or something to that effect
November 30, 2025 at 11:01 PM
maybe this is a my-specific-brand-of-autism thing but i despise being in a space where it feels like if i post something i'm either:

1. drawing attention away from somebody elses conversaion
2. fighting for attention against a flow of conversation
November 30, 2025 at 3:07 PM
i generally dont want to be in a large discord server because once you surpass a critical threshold (maybe 100, 1000 people) it becomes a suboptimal forum instead of a good chatroom
November 30, 2025 at 3:00 PM