Skip to main content
Sifa ID

Activity for purefunctor.me

Active on:

Loading activity...

20 merged PRs in purefunctor/purescript-alexandrite
GitHub

I added a rotary knob to configure the oklch hue on my website

Bluesky network1mo ago

I strongly feel that types as _hints_ make them cumbersome (and annoying) to write vs. just making them a part of the language. Especially so if the type inference experience is a non-ideal.

Bluesky network1mo ago

I wonder if my project is being used for evals somewhere

GitHub insights graphs: Clones in the last 14 days peaks at 2318 Unique cloners in the last 14 days peaks at 161 Total views in last 14 days peaks at 126 Unique visitors in last 14 days peaks at 6
Bluesky network2mo ago

I have a really compelling at proto app idea and I should get to building it immediately

Bluesky network2mo ago

I fear for my SSD health

cargo clean Removed 739246 files, 90.7GiB total
Bluesky network2mo ago

used Amp's Rush 2.0 to write a super basic jj/git status for my starship setup

terminal powerline: apple logo > .../alexandrte > qk (justin/constraint-solver) [❄️~1][🔖~0]
Bluesky network2mo ago

new street sects streetsects.bandcamp.com/album/no-per...

No Percentage in Caution, by Street Sects
Bluesky network2mo ago

1 year of @kagi.com 💛

Kagi Member since 05/2025
Bluesky network2mo ago

oh jj

cargo clippy --fix, followed by jj absorb distributing the fixes into the correct revisions.
Bluesky network2mo ago

what do you mean I started played League 10 years ago

Bluesky network4mo ago

salonpas patches are the best

Bluesky network5mo ago

over a week of using jj and I'm ready to not look back on git

Bluesky network5mo ago

music.apple.com/ph/album/emb...

ember (aurora) by tonser & kimj on Apple Music
Bluesky network5mo ago

that's a first

Amp Code transcript No worries — restart and it should pick up the new permission rule. Try giving me a task after that and we'll see it in action! let's do it again 2 + 2 $ say -v "Bubbles" "Two plus two is four. Mafs. Quick mafs. The calculator trembles before my power." two plus two is four minus one that's... 3, quick maths! 🎤 $ say -v "Fred" "Three. Quick maths. Everyday mans on the block. Smoke trees."
Bluesky network5mo ago

Finally listened to Frailty in full yesterday. It's amazing. music.apple.com/ph/album/fra...

Frailty by Jane Remover on Apple Music
Bluesky network5mo ago

day 2 of jj and I already love how easy it is to abandon the current working set to go and add some other API that makes more sense being added in the 'past'

Bluesky network5mo ago

you're telling me you can just do that in jj?

Terminal screenshot showing `jj log --limit 5`, the latest 5 commits; then `jj sign` which trivially adds a signature for all of them
Bluesky network5mo ago

Opus is "What? I didn't tell you to do that?" Codex is "What? Why didn't you do that?"

Bluesky network5mo ago

"However, we wish to stay close to programming practice and define patterns as follows" moscova.inria.fr/~maranget/pa...

Excerpt from http://moscova.inria.fr/~maranget/papers/warn/warn003.html Patterns are used to discriminate amongst values. More precisely a pattern describes a set of values with a common prefix. That is, patterns are terms with variables and a given pattern p describes its instances σ(p) where σ ranges over substitutions. However, we wish to stay close to programming practice and define patterns as follows: p ::= Patterns _ wildcard c(p1,p2, … ,pa) constructed pattern a ≥ 0 (p1 ∣ p2) or-pattern
Bluesky network6mo ago