fovc

17 ms·

121.
by fovc 6y ago
What about sorting users by name?
122.
by fovc 6y ago
Contact: hn@inc-query.com
123.
by fovc 6y ago
SEEKING FREELANCER | REMOTE Looking for a freelancer with experience using proof assistants to help formalize and debug a couple of complex algorithms we've developed. Don't have a strong preference for a particular proof system,
124.
by fovc 6y ago
Won't get you graphql literals, but the new Emacs has much better JSX support. Reposting my setup: """ Disclosure: I'm the author of rjsx-mode) The best setup I've found is to use js2-mode for .js and rjsx-mode
125.
by fovc 6y ago
Super interesting, and cool technique. Do you have any insight into why CSA outperforms PP so often? I would have assumed the solvers were tuned for PP
126.
by fovc 6y ago
I would have thought the SMT queries would be the most time-consuming part of this, but the authors make a big deal of leveraging Datalog optimzations to drive performance. Especially given they purposefully don't re-use the SMT contex
127.
by fovc 6y ago
And a 3rd! Inc-Query | Operations (not-dev) | Full-time | REMOTE (US/Canada/EU only) | https://inc-query.com Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for private e
128.
by fovc 6y ago
We have a 2nd job post :) Inc-Query | Senior Full-Stack Engineer | REMOTE (US/Europe) Inc-Query is a small, profitable, rapidly growing, fully remote company in a sensitive B2B environment. This engineer will help us continue our crazy
129.
by fovc 6y ago
Inc-Query | Infrastructure Engineer | REMOTE Inc-Query is a small, profitable, rapidly growing, fully remote company in a sensitive B2B environment. This engineer will help us continue our crazy growth by building out our infrastructure. We
130.
by fovc 6y ago
Yes, thanks! Just edited
131.
by fovc 6y ago
Is HN still running on Racket via arc? Have you guys tried out the chez backend?
132.
by fovc 6y ago
It's crazy that even on the 'fast path' there are so many checks being run over and over. Provides an interesting alternative to the JavaScript Core article from a couple of days ago https://webkit.org/blog&#
133.
by fovc 6y ago
Looks cool! Is there a TOC and/or sample section available? Couldn't see one through the site but would like to get a sense of contents and style before buying
134.
by fovc 6y ago
Much more detail and link to original paper through here: https://medicalxpress.com/news/2020-07-delirium-rare-brain-i...
135.
by fovc 6y ago
This is apparently coming from an open-sourced component called Hakawai. Somebody had to scramble to remove the clipboard code ASAP: https://github.com/linkedin/Hakawai/commit/fa7e8497040f5c36e... Edit: Don&#
136.
by fovc 6y ago
Excel + SharePoint + PowerQuery is fantastic for small datasets. It takes a bit of discipline to do all joins through PQ instead of Excel, but then you can build all reporting with Excel which is very nice.
137.
by fovc 6y ago
The ECMAScript TC came to the same conclusion with promises and fetch. Instead of adding an `.abort` method to promises for the consumer to use, you need to wire in an AbortController so that the producer (fetch) can close the channel. The
138.
by fovc 6y ago
I've had a couple of X1s and T series throughout the years, and ran Ubuntu and Arch wonderfully. Save for the fingerprint sensor (where I think the issue is not drivers but rather that fingerprints don't have enough entropy for a
139.
by fovc 6y ago
SEEKING FREELANCER | Remote Looking for someone to help build some industrial-strength outlook add-ins. For $REASONS, we are tied to MS365, but would like to add some functionality for our unique workflows. I have a some experience doing VB
140.
by fovc 6y ago
Sure it would save everyone a lot of bother, but consider the alternate universe where you didn't release your code at all. There's no original repo, no idling PRs, no forks, no "community". Instead of having to figure o
141.
by fovc 6y ago
Wholeheartedly disagree. Vetting a possible maintener or fork is >0 work, and you don't owe us anything. If you had to go to the trouble of creating your library in the first place, it means either A) "the community" had n
142.
by fovc 6y ago
Coming from the opposite direction (mgmt consulting for big corps -> startup), I was very familiar with the ERP concept, but am still super confused by the ERP market. Every so often I look for an ERP for our company, but am always disap
143.
by fovc 6y ago
Another option for showing the trsnsition would be a very brief change in contrast in the table (bg a little darker or text a little lighter). Your eyes can still focus a spot, but you get the visual feedback of a change. In my mind the big
144.
by fovc 6y ago
Shoot meant to say US/Canada/Europe!
145.
by fovc 6y ago
Inc-Query | Operations | Full-time | REMOTE (US/Canada only) | https://inc-query.com Bootstrapped, profitable, very rapidly growing B2B tech company. We program surveys insanely fast for private equity and management consul
146.
by fovc 6y ago
> The result is that we do very few joins in MySQL I realize depending on your data model some of this is unavoidable once you shard, but it sounds like they did this even before sharding. What's the reason to do that? Seems like yo
147.
by fovc 6y ago
You need to factor in frequency of landing and cost to build. Orange is in the sweetspot. IIRC, red gets landed on more often, but the extra $50/house makes it tough to build up. Green is crap on both accounts. Pink is less frequent bu
148.
Are Ideas Getting Harder to Find?(aeaweb.org)
199 points by fovc 6y ago|201 comments
149.
by fovc 7y ago
I did, and I read the linked to papers like https://cmmid.github.io/topics/covid19/severity/global_cfr_e... . The medium piece uses deaths, not cases, to drive the estimate
150.
by fovc 7y ago
Here's an attempt at estimating the true infection rate in NYC. Same math can be applied elsewhere. (e.g.,Chicago is at 5%) https://medium.com/@FasinFoxtrot/stay-the-f-home-d43ffea8b4

More ›