I've had my hair on fire because my app code shit the bed. I've never ever (throughout 15 years of using it in everything I do) had to even think about Postgres, and yes, I always set it up self-hosted. The only concern I've had is when I had to do migrations where I had to upgrade PG to fit with upgrades in the ORM database layer. Made for some interesting stepping-stone upgrades once in a while but mostly just careful sysadmining.
Readit NewsBeltiras commented on Go ahead, self-host Postgres pierce.dev/notes/go-ahead... · Posted by u/pavel_lishin
Hard scifi that goes from 1997 to beyond the heat death of the universe.
Beltiras commented on Project Verona: Fearless Concurrency for Python microsoft.github.io/veron... · Posted by u/ptx
Same as it ever was.
Beltiras commented on Getting forked by Microsoft philiplaine.com/posts/get... · Posted by u/phillebaba
It's also very possible they had been working on it already and wanted to compare notes, I certainly would if I were working on something internal and found a similar project, but I agree, ask them for a consultation fee. I don't see why they wouldn't pay it.
Both projects also share in license, so I have less of an issue with it personally. They're both MIT licensed.
Their trackrecord is such that if I got a similar call my first question when possible would be how I was being reimbursed. They are welcome to fork anything of mine if they observe the license attached. I will take a look at any PR. I will NOT spend time explaining anything to their engineers unless reimbursed at my regular rates.
Beltiras commented on Are SSDs more reliable than hard drives? (2021) backblaze.com/blog/are-ss... · Posted by u/fanf2
There is an important difference in failure modes between HDDs and SSDs for consumers though. An SSD that fails is likely to go into a read-only mode that still allows you to recover your data. The only way to recover your data from a HDD failure is to find a data recovery business.
However for a business like blackblaze that specializes in data storage, recovering data from an HDD is probably more reliable. After all, in the case of a complete failure recovering data from the platters inside the HDD is more likely to succeed than recovering data from the memory chips inside the SSD.
Backblaze can lose 3/20 hard drives and still recover the data from parity drives. They don't have to rely on recovering it from non-operative drives unless they become unbelievably unlucky.
I had an insight when learning about the Halting Problem. There is a class of programs for which the Halting Problem is solvable since you can use circuit analysis to see if well-formed loops halt. We should strive to write programs in that class since then we know that the execution, long as it may be, will yield a result.
mise en place is more efficient for restaurant kitchens, where you can get an assembly line rolling, but it is less efficient for home cooking.
Its a lot less stressful, but its clearly slower to not optimize your order of operations.
I found after starting to apply mise en place that when I wasn't doing it I was still quicker than before. I fetched more things from each cupboard or fridge when I opened them, even if I wasn't measuring out the item into a container beforehand.
I like the idea of Lojban. I hate the implementation. It’s basically spoken math notation for predicate logic, which falls flat well short of the goal. There are much better logical frameworks that have been developed for computational semantics (e.g. Davidsonian event semantics). Lojban’s formalism was out of date already when it was proposed as Loglan half a century ago.
If there is anyone out there who likes the idea of Lojban but want something more practical and with a firmer foundation to boot, contact me. I’ve got ideas and I’d love to find some people to work on this with.
I wonder if you could get the intended result for any language with a simple ruleset. You don't need a language to reduce/eliminate miscommunications, you need intent and understanding.
Beltiras commented on Run Llama 13B with a 6GB graphics card gist.github.com/rain-1/8c... · Posted by u/rain1
Most part if you actually need stuff done, you can afford 20$ for OpenAIs proven models.
These local projects are great because maybe eventually they will have a equivalent model that can be run on cheap parts
The knowledge cutoff date is brutal for some applications.