Onavo

25 ms·

661.
by Onavo 2y ago
> We know that any theorem that is provable at all (in the chosen foundation of mathematics) can be found by patiently enumerating all possible proofs. Which computer science theorem is this from?
662.
by Onavo 2y ago
Yes but it is not very efficient when you have many emails. In Hotmail/Zoho it is two clicks.
663.
by Onavo 2y ago
What I want is more implementations of Hotmail's (outlook online) sweep feature. Zoho has it (called scrub) but most other email clients do not. Essentially it allows you to instantly move/delete mails from a single address en mas
664.
by Onavo 2y ago
Update the model with the new data and recompute it (hopefully the unchanged parts are cached). Most probabilistic programming models are not black boxes like neural nets.
665.
by Onavo 2y ago
Netflix engineers have a cash comp higher than almost any of their peers barring quantitative trading.
666.
by Onavo 2y ago
Insulin is already very cheap, the markup in the US is not due to manufacturing costs.
667.
by Onavo 2y ago
Maybe they can add a backup MHD drive (those are mostly solid state) like ram air turbines on a plane.
668.
by Onavo 2y ago
> I get that this seems like an overreach, but America is incredibly safe for people with allergies and it's because of enforcement like this. Don't worry, if RFJ jr. is to be believed, you won't have a FDA soon. The fre
669.
by Onavo 2y ago
You are not doing any of the fancy table extractor stuff?
670.
by Onavo 2y ago
What language are you using for the backend server? 256MB is pretty tight unless you are using something like Go.
671.
by Onavo 2y ago
What's the PDF parsing like?
672.
by Onavo 2y ago
The answer is simple, mobile and relative layouts. GUI builders are easy when you can just use absolute positioning for everything (see Retool and the dozens of Retool clones). They become insanely complex when you can't.
673.
by Onavo 2y ago
What if the watermark becomes a latent variable that's indirectly learnt by a subsequent model trained on its generated data? They will have to constantly vary the mark to keep it up to date. Are we going to see Merkle tree watermark d
674.
by Onavo 2y ago
Sigh, at this rate you might as well just ask GPT to write the feedback script.
675.
by Onavo 2y ago
> In Japan, home computers never really made sense until it was far, far too late I see your argument and I raise you China and India.
676.
by Onavo 2y ago
Well, the world is on UTF-8 now, they can extend the standard and put the Japanese characters there. There's plenty of space since it's variable length.
677.
by Onavo 2y ago
> Or you can sacrifice the ability to display Chinese correctly for the sake of displaying Japanese correctly, but no international software maker will do that. I am not a speaker of either but aren't kanji and written Chinese the
678.
by Onavo 2y ago
Can you give an example? Say between a wasm component written in Rust and wasm component written in dart.
679.
by Onavo 2y ago
You still need to cross the JS FFI boundary for wasm, I don't think WebAssembly has a specification for cross language FFI directly between WebAssembly languages.
680.
by Onavo 2y ago
The platform you are referring to is called "Reddit", one of YC's portfolio companies.
681.
by Onavo 2y ago
What's the stack like? I love the frontend design, are you using SES to handle the inbound mail?
682.
by Onavo 2y ago
A recent example is the micelle used for mRNA vaccines.
683.
by Onavo 2y ago
What about ScyllaDB
684.
by Onavo 2y ago
> There's a couple Bambu Lab patents that probably should not have been granted with prior art in open source. The open source world should come together and get them invalidated.
685.
by Onavo 2y ago
Stock photography sites don't generally provide nudes and sex videos.
686.
by Onavo 2y ago
> your employer cannot force you to keep working until he's satified with the result. That apply to pretty much any job, but especially to something like porn Yes, but there is no equivalent of a clear cut "at will" empl
687.
by Onavo 2y ago
See my other comment about the "girl do porn" cases. The models signed release forms with the expectation their videos go to private buyers but instead they were sold online, so they turned around and sued the producers for sexual
688.
by Onavo 2y ago
Model release isn't enough, the feds need to actually back it with legislation and perhaps ensure all the signing happen at a police station, so no accusations of consent can be bandied about. Given the amount of revenue the industry g
689.
by Onavo 2y ago
> Quite the horrifying read Not really, if you see the other case law, almost all of these semi-professional "amateur" porn cases come down to he-said, she-said. One party would agree to be filmed/paid for sex, back out
690.
by Onavo 2y ago
There might be some tricks from Row Zero that you can borrow https://news.ycombinator.com/item?id=39551064 https://news.ycombinator.com/item?id=41512270

More ›