Viewing profile — arialdomartini

My team and I are using the same approach since about 5 years. I collected a bit of notes about it here https://arialdomartini.github.io/when-im-done-i-dont-clean-u...

You will love reading Jorge Borges The Library of Babel. https://dn760100.eu.archive.org/0/items/TheLibraryOfBabel/ba...

Hint: use test assertions instead of print + comments for the examples.

Yes, that’s idiomatic in JJ. Honestly, I’ve been recommending the same workflow (first commit, then make changes) with Git too since years https://arialdomartini.github.io/pre-empt…

Fair point. I could try with a harder problem. This still does not explain why Claude Code felt the need to use Opus, and why Opus felt the need to burn 12$ or such an easy task. I…

This is anecdotal but just a couple days ago, with some colleagues, we conducted a little experiment to gather that evidence. We used a hierarchy of agents to analyze a requirement…

First time I see jj being mentioned in a post not about jj. Made me very happy.

Can you please elaborate on the use of sudo -u nobody? Do you use it interactively? I’m intrigued.

Brilliant! I would just suggest the author to replace the sentence “99% of the time, it refers to motion in one dimension” with “most of the time” since this is a mathematical arti…

TIL Thank you pal, it perfectly works!

You will be probably excited to give https://github.com/bolivier/jj-mode.el a try.

Laurent Bossavit wrote a whole book about similar cases occurred in the IT world, “The Leprechauns of Software Engineering How folklore turns into fact and what to do about it”

Just wonder if depth maps can be used to generate stereograms or SIRDS. I remember having playing with stereogram generation starting from very similar grey-scaled images.

Yep. But Event Sourcing comes with its own set of other problems. Also, I don't think this would apply to OP's post: with Event Sourcing you would not even have those DB tables.

While I like the YAGRI principle very much, I find that adding - updated_at - deleted_at (soft deletes) - created_by etc - permission used during CRUD to every table is a solution …

Shouldn’t it be macOS?

> see here and here I believe links are significantly more useful when they include descriptive text like the title or author, rather than just 'here'.

Eh eh, this is an interesting point of view, but it’s really not like this. Take the case of the event of “deleting a file”. There has been an interesting discussion between Linus …

I saw other times Git being related to event sourcing, but the argument is wrong. Most of the VCSs before Git (RCS, CVS, SVN) used to store deltas and to rebuild the state reapplyi…

Hint: instead of blocking them, serve pages of Lorem Ipsum.

PS: Type Driven Development with Idris is mentioned in the final notes. OP, I could not recommend it more!

I’m reading Type Driven Development with Idris and this post really resonates with what I’m learning. Especially the idea of writing down the function’s type to be guided how to im…

Neither to me. But it’s a matter in names: if it does not handle WIP limit it’s not a “Kanban Board”. It’s a Board, and that’s perfectly fine.