If I could make a request, I'd love to see resource like this for Linear type systems. I tried reading Henry Baker's Linear Lisp papers, but they were way beyond my skill level.
Readit NewsHexDecOctBin commented on Typechecker Zoo sdiehl.github.io/typechec... · Posted by u/todsacerdoti
HexDecOctBin commented on The future of large files in Git is Git tylercipriani.com/blog/20... · Posted by u/thcipriani
That would prevent old revisions from working... Why would that be ideal?
Why would it stop old revisions from working? What would be the difference between cloning with filter on and delete local versions from old commits?
HexDecOctBin commented on The future of large files in Git is Git tylercipriani.com/blog/20... · Posted by u/thcipriani
It's really not clear which behaviour you want though. For example when you do lots of bisects you probably want to keep everything downloaded locally. If you're just working on new things, you may want to prune the old blobs. This information only exists in your head though.
The ideal behaviour is so have a filter on push too, meaning that files above a certain size should be deleted from non-latest history after push.
HexDecOctBin commented on The future of large files in Git is Git tylercipriani.com/blog/20... · Posted by u/thcipriani
So this filter argument will reduce the repo size when cloning, but how will one reduce the repo size after a long stint of local commits of changing binary assets? Delete the repo and clone again?
HexDecOctBin commented on Don't “let it crash”, let it heal zachdaniel.dev/p/elixir-m... · Posted by u/ahamez
How does restarting the process fix the crash? If the process crashed because a file was missing, it will still be missing when the process is restarted. Is an infinite crash-loop considered success in Erlang?
HexDecOctBin commented on Epic Recall, Epic Fail taipology.substack.com/p/... · Posted by u/hunglee2
> bunch of people were wearing T-shirts with the slogan “I am the impurity.”
Reminds me of what happened in Bangladesh. Protestors opposed the leader, the leader calls them razakar (genociders, referring to the 1971 genocide), and they ironically started chanting "Who are we? Razakar, razakar!".
Of course, once she fled the country, the actual razakars ended up making a bid for power based on all the apparent support they had gotten ("look at our numbers!") and now are in line to run the country. And those who called themselves razakars now seem to regret it, realising that they were used and thrown away. This kind of negative polarisation ends up hurting way more.
Important rule of war-strategy: Always give your enemy a way out. Or they will carve a way out, and that would get ugly.
HexDecOctBin commented on The Big OOPs: Anatomy of a Thirty-Five Year Mistake computerenhance.com/p/the... · Posted by u/SerCe
There is a good book on DDD in F#, Domain Modelling Made Functional
Is there a similar recommended book using ML/OCaml or some other language of the family? i am hesitant to learn F#, knowing Microsoft's tendencies.
HexDecOctBin commented on Artisanal handcrafted Git repositories drew.silcock.dev/blog/art... · Posted by u/drewsberry
IIRC it already uses content defined chunking for finding object deltas.
Not really, which is why bup had to implement their own CDC instead of using Git's storage directly.
HexDecOctBin commented on Artisanal handcrafted Git repositories drew.silcock.dev/blog/art... · Posted by u/drewsberry
Okay, there's something I have been thinking about recently. Is it possible to somehow make Git use the Content Defined Chunking algorithm from rsync? Maybe somehow using clean/smudge? If not git, then maybe Mercurial, Fossil or any other DVCS?
This would help with large binary assets without having to deal with the mess that is LFS, as long as the assets were uncompressed.
HexDecOctBin commented on Gaslight-driven development tonsky.me/blog/gaslight-d... · Posted by u/theodorejb
I like seeing what users are currently viewing the same page, but man the constant jostling of users coming and going made it hard to read the post.
Reminded me so much of a game called Chess Royale that I used to play, the avatars and the flags (screenshot [1]). It was really good too; and then Ubisoft being Ubisoft, they killed it even though the game had bots and could have been made single-player.
[1]: https://game-guide.fr/wp-content/uploads/2020/02/Might-and-M...
