fspeech

23 ms·

271.
by fspeech 4y ago
In developing countries foreigners are often accorded special unwritten privileges. They may be charged more for services but they are also often simply expelled for offences that locals would be severely punished for. They would not like i
272.
by fspeech 4y ago
A crawler should see the web pages as a human would and read the pages as a human would and extract keywords based on the real displayed content. After that the search could be as simple as looking up a book in your library catalog. Think l
273.
by fspeech 4y ago
But in the end it's a monetary phenomenon and it is the government's choice to have inflation instead of other (painful) measures to address a distribution problem. I would say the truly necessary component to the hyperinflation p
274.
by fspeech 4y ago
Maybe. But some are homeowners who sold a property and use the proceeds to pay for another one, in which case there's not much change in net demand. This surely beats their taking out a low interest loan to speculate on an investment p
275.
by fspeech 4y ago
If you look at short term TIPS real yields (4 to 6 month), they are actually higher than the nominal yields of similarly dated T-Bills. While I don't have much confidence of the bond market's ability of predicting long term inflat
276.
by fspeech 4y ago
If they get more piped gas, which will be cheaper, they can sell excess LNG in the open market. So there's no reason to not like additional pipelines, as long as they can be built with reasonable cost.
277.
by fspeech 4y ago
I don't understand the allusion to block chains, but I do appreciate the link to smalltt.
278.
by fspeech 4y ago
Because it is expensive to copy a large container? Which is why you want immutable data structures, in which case copying is superfluous. So the problem with Python is not the aliasing in assignment, rather it is the mutability of the objec
279.
MLPerf Inference v2.1 Results with Lots of New AI Hardware(servethehome.com)
1 points by fspeech 4y ago|0 comments
280.
by fspeech 4y ago
Probably not. More likely US LNG that China was "forced" to buy through Trump trade war.
281.
by fspeech 4y ago
Programming and math both depend on mastering a language, while much simpler than natural languages, that is both rigid and abstract, at least for beginners. While repetition leading to pattern recognition and comprehension works for everyo
282.
by fspeech 4y ago
Congress removed the cap during the pandemic and extended to 2025 recently in the inflation reduction bill https://www.kff.org/policy-watch/five-things-to-know-about-r... . Of course if premium (of Second lowest cost S
283.
by fspeech 4y ago
Right now (till 2025 if Congress doesn't extend it) the premium is limited to 8.5% of income if you buy your insurance through the public ACA exchanges. You do have to reconcile the actual amount through the premium tax credit at tax s
284.
by fspeech 4y ago
China has not deployed or even allocated mmwave yet https://5gobservatory.eu/eu-and-china-lagging-behind-in-mmwa... They are deploying mostly MIMO. MIMO can waste a lot of energy when capacity is not an issue. To save elect
285.
by fspeech 4y ago
Probably for things like replays, commentaries etc.
286.
by fspeech 4y ago
This was recently revealed at Hot Chips: https://www.nextplatform.com/2022/08/25/china-launches-the-i...
287.
Rebuilding the Racket Compiler with Chez Scheme (2020)(notamonadtutorial.com)
1 points by fspeech 4y ago|0 comments
288.
by fspeech 4y ago
Here is an interview talking about the move to ChezScheme https://www.notamonadtutorial.com/rebuilding-the-racket-comp... "Why did you choose Chez Scheme over other Schemes to rebuild Racket? The biggest weakness of th
289.
by fspeech 4y ago
That's because proof calculus (such as natural deduction) specifies how parts of a logic formula can be manipulated without changing its meaning. It's easier to prove and maintain the universal correctness of underlying mechanics
290.
by fspeech 4y ago
Church's work on Lambda calculus preceded the electronic computer.
291.
by fspeech 4y ago
I have not used Sledgehammer but even with a SAT solver we still need to handle quantifier instantiations. And in case the SAT solver fails (I mean time-outs, not finding counter-examples) we won't get clues on how to fix it. SAT solve
292.
by fspeech 4y ago
When Hales started in 2003 the Flyspeck project https://github.com/flyspeck/flyspeck to formally verify his own proof of the Kepler conjecture he likely didn't know that it would take him (and a team of helpers la
293.
by fspeech 4y ago
You may be interested in the Curry-Howard correspondence https://en.m.wikipedia.org/wiki/Curry–Howard_correspondence Tactics can be thought of functions that manipulate proof contexts (e.g. sequent calculi https:&#x2F
294.
by fspeech 4y ago
The tactics still require users to be aware of their existence and using them correctly (a non trivial mental load). And the resulting proof script is brittle and hard to read. This is what the essay attempted to improve over.
295.
by fspeech 4y ago
We need to develope tools that can automatically fill small gaps (ones left as errors in the essay), because the point of having mechanized proofs is to not have gaps. Then practitioners can write lemmas and let the computers do the checkin
296.
by fspeech 4y ago
It just means exporters won't waste their time applying for a license if they aren't pretty sure that their applications will be approved. It shows good communication channels between exporters and the BIS. It does not tell us how
297.
by fspeech 4y ago
Hard to find =/= hard to verify. Indeed that is the point of NP (which stands for "nondeterministic polynomial" time): solutions must be easy to check.
298.
by fspeech 4y ago
Does the DOE have a patent in China?
299.
by fspeech 4y ago
While congratulations are in order for the team I don't know by what standards the writer judges them to be the "greatest". I have not heard of "Mu Alpha Theta" until reading this article. The standard (as in "
300.
by fspeech 4y ago
The headline is inaccurate. This is not an official action of the FCC. NYT phrased it more honestly: "An F.C.C. commissioner pushed Apple and Google to remove TikTok from their app stores." https://www.nytimes.com/

More ›