Viewing profile — danidiaz

"ponderous pensées on human frailty by an apologetic autocrat" From this article about a different emperor: https://www.lrb.co.uk/the-paper/v41/n04/christopher-kelly/a-...

The memoir "Street without a Name: Childhood and Other Misadventures in Bulgaria" by Kapka Kassabova (2008) covers similar ground. https://www.goodreads.com/book/show/3808716-stree…

I would also recommend the site "Science Fiction Ruminations": https://sciencefictionruminations.com/ Lots of thoughtful sf book reviews with a heavy (but not exclusive) focus on t…

I'm not a mathematician, but I feel the "syntethic"/"analythic" distinction in mathematics is an interesting and useful concept. "In modern mathematics, an analytic theory is one w…

https://qntm.org/mmacevedo > However, even for these tasks, its performance has dropped measurably since the early 2060s and is now considered subpar compared to more recent upload…

> Purifying an (unnecessarily-) IO function into an ordinary function is a good exercise. Agree! And I would add that you can "purify" a monadic function without having to rewrite …

> Consequently, while al-Qazwīnī was wont to include tales about islands at the end of the world where women grew on trees and other dubious mirabilia, his purpose was lofty indeed…

There's also jOOQ for Java. https://www.jooq.org/

Adult Swim's "Lords of Synth" comedy short contains a homage to Wendy Carlos in the form of a certain "Carla Wendos" https://www.youtube.com/watch?v=WXgNo5Smino There's also the do…

> My own solution was to keep no entity state in memory and translate everything into DB updates immediately Did you encounter some part of the domain which was difficult to "push …

> Consis­tent with my loyalty to the func­tional-program­ming idiom, I designed my initial bf imple­men­ta­tion so that each instruc­tion would copy the existing bytes into a new a…

A related answer in the CS Stack Exchange: https://cs.stackexchange.com/a/91345/5296 > type theory is not about syntax. It is a mathematical theory of constructions, just like set …

> If we need to compose these errors in a larger program we can simply wrap previous errors in a bigger sumtype This approach is being adopted in GHC itself to compose errors happe…

Maybe Grothendieck, like Avicenna's conception of God, only knew particulars "in as much as they are universal". Grothendieck once flunked an exam due to—in his own words— "une err…

A recent video about -fdefer-type-errors: https://www.youtube.com/watch?v=hPVjA3TO9OI

Another useful feature of Spring is aspect-oriented-programming (like when we manage transactions boundaries with @Transactional). Spring takes care of that, but doing it manually …

I think that, when talking about idempotency, there's the implicit assumption that the "rest of the world" stays the same while the sequence of operations is performed. rfc2616 say…

So that means that, without a cache, repeating a QUERY might create two response resources but, with a cache, only one will be created. I find that odd. My understanding of HTTP id…