fovc

9 ms·

61.
by fovc 3y ago
Phil Tetlock is there. Would love to see him and NN Taleb jointly publish on expertise!
62.
by fovc 3y ago
Ah thank you! Quoting the link for others; > TRUNCATE is not MVCC-safe. After truncation, the table will appear empty to concurrent transactions, if they are using a snapshot taken before the truncation occurred. See Section 13.6 for mor
63.
by fovc 3y ago
It would be nice if you added a how it works section to the readme. Knowing that it does `begin; ${query}; rollback;` under the hood is important. The example with truncate in fact made me think the opposite was true, since truncate violate
64.
by fovc 3y ago
CMV is also strongly associated with pregnancy complications
65.
by fovc 3y ago
https://reorg.github.io/pg_repack/ Dead easy to run and no long-held locks
66.
by fovc 4y ago
Did you buy it on Amazon by any chance? I had this issue with another branded toy and it turned out to be a knockoff
67.
by fovc 4y ago
How much are 2x 3090 + the rig to run them? I think that’s enough to run a 4 bit quantized llama 65B
68.
by fovc 4y ago
Please don’t automate the climate controls further. If it’s 20F outside, I’m probably bundled up and happy with 55F cabin temperature. If it’s 85 I’ll be wearing a tshirt and will freeze in 65F. Then there’s a separate issue of the control
69.
How Frank Gehry Delivers on Time and on Budget(hbr.org)
4 points by fovc 4y ago|0 comments
70.
by fovc 4y ago
Ran into the opposite problem with Node streams, which will buffer by default, even if not doing IO on either end. That made it challenging to profile and manage throughout in a long ish pipeline, so we wound up disabling the native bufferi
71.
by fovc 4y ago
A common variant of this is the Boolean argument to flip between function modes doAOrB(args, aOrB: bool) Especially if the toggle gets used in 3-4 places or more in the body, control flow is a nightmare to follow. Instead of 2 path
72.
by fovc 4y ago
In imperative code I would write it like: odd := {hd: 1} even := {hd: 0, tail: odd} odd.tail := even blink x := x ? odd : even I guess the cofixpoint does that loop tying sort of like this? fix({odd, even} => {
73.
by fovc 4y ago
Can someone ELI5 coinductive data types and cofixpoints? Also curious how they interact with the termination checker
74.
by fovc 4y ago
Would you count the compiler against their LOC? The article describes the VPRI goal as a full system in 20k LOC, including graphics rendering, multiprocessing, etc. The infrastructure for this specific piece (IIRC, mostly Ohm) was used acro
75.
by fovc 4y ago
What I'd love is to have one of those 90s mice, that was just the ball part but super-sized, embedded in the middle with two mice buttons
76.
by fovc 4y ago
Blendle. Not quite a penny, but <$1 last time I checked
77.
by fovc 4y ago
Ha! I tried this at one point. Spent way more than 20 minutes and just got a partial collection of poems done https://github.com/felipeochoa/rsspoetry/
78.
by fovc 4y ago
If I could get those segments via RSS...
79.
by fovc 4y ago
SEEKING FREELANCER | Remote, contract work I'm looking for a cryptographer to help design a protocol, and either write or audit security-sensitive code. We are not a "crypto" company in the web3 sense of the term. We allow
80.
by fovc 4y ago
Inc-Query | Senior Full Stack Engineer | Remote (anywhere) | Full-time | https://inc-query.com I’m the founder at Inc-Query, a ~70-person, fully remote company that’s building a better survey platform. We are looking for a senio
81.
by fovc 4y ago
Nowadays not too much. For a while flymake languished while flycheck got faster, more, robust, added languages, etc. Probably just a function of when op started using Emacs
82.
by fovc 4y ago
Inc-Query | Senior Full Stack Engineer | Remote (anywhere) | Full-time | https://inc-query.com I’m the founder at Inc-Query, a ~60-person, fully remote company that’s building a better survey platform. We are looking for a senio
83.
by fovc 4y ago
> The writer Umberto Eco belongs to that small class of scholars who are encyclopedic, insightful, and nondull. He is the owner of a large personal library (containing thirty thousand books), and separates visitors into two categories: t
84.
by fovc 4y ago
Inc-Query | Senior Full Stack Engineer | Remote (anywhere) | Full-time | https://inc-query.com I’m the founder at Inc-Query, a ~50-person, fully remote company that’s building a better survey platform. We are looking for a senio
85.
by fovc 5y ago
Inc-Query | Senior Full Stack Engineer | Remote (anywhere) | Full-time | https://inc-query.com I’m the founder at Inc-Query, a ~50-person, fully remote company that’s building a better survey platform. We are looking for a senio
86.
by fovc 5y ago
Inc-Query | Senior Full Stack Engineer | Remote (anywhere) | Full-time | https://inc-query.com Interested in formal methods, programming language design, or type theory? We are a low-code/no-code survey solution that reduce
87.
by fovc 5y ago
Inc-Query | Solutions Eng. (not dev) | Full-time | REMOTE [Americas/Japan/China/India] | https://inc-query.com Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for pr
88.
by fovc 5y ago
Inc-Query | Senior Full Stack Engineer | Remote (anywhere) | Full-time | https://inc-query.com Want to see how formal verification techniques help businesses get more accurate answers? We are a low-code/no-code survey solut
89.
by fovc 5y ago
Why do big investments get tax breaks but not smaller ones? Is there a rationale other than ~~corruption~~ political power having great economies of scale?
90.
by fovc 5y ago
Inc-Query | Solutions Eng. (not dev) | Full-time | REMOTE [Americas/EMEA] | https://inc-query.com Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for private equity and manage

More ›