fspeech

78 ms·

421.
by fspeech 6y ago
"We have no clue how long the spacecraft will stay in orbit. It will be interesting to see when and where it lands." Hmm, it already returned after a two day stint.
422.
by fspeech 6y ago
Softbank is not financial neophyte for sure. See their long term option deal with Citi to sell their Yahoo stake a decade ago. Their investment in BABA is probably the most successful passive investment ever. But they are very aggressive so
423.
by fspeech 6y ago
Your need for utility will mostly likely be met by a symbolic algebra system not a formal reasoning system.
424.
by fspeech 6y ago
Try to actually formalize some math. Just definitions and constructions without proofs. See the challenge for yourself. You might gain some different perspective and sympathy for the mathematicians you are ridiculing. Consider this question
425.
by fspeech 6y ago
On Windows the easiest is probably through reasonml. You get two runtimes out of the box but you are a few releases behind (depending on Bucklescript). The alternative is to use WSL. Ubuntu stock opam is out of date though. The distribution
426.
by fspeech 6y ago
I am saying that the current generation of leaders may not find the idea of camps abhorrent. Xi was himself a sent-down youth. He probably did not like it at the time but he hasn't displayed any strong resentment of it either.
427.
by fspeech 6y ago
There was https://en.m.wikipedia.org/wiki/May_Seventh_Cadre_School during the Cultural Revolution.
428.
by fspeech 6y ago
I can imagine this being used for a desktop app with limited web access: pages using only html and css will be correctly displayed; pages requiring js would be degraded. This way you can safely extend desktop app with access to web resource
429.
by fspeech 6y ago
What does it take to hook up something like this with nodejs? This just renders the dom while you manipulate dom with js. Would this be a lot smaller and more customizable than electron?
430.
by fspeech 6y ago
He has investment managers who can make independent decisions. Selling out of GS is obviously his move. Buying a gold miner? We can't be sure.
431.
by fspeech 6y ago
It doesn't matter. There will be an oversupply of capacity and talents down the road. When the inevitable downturn comes you will see even more outflow. You are basically trying to fight entropy here.
432.
by fspeech 6y ago
Yes CFIUS is due process but this executive order isn't CFIUS. CFIUS can order the unwinding of the original deal but not some arbitrary action including demanding a sales commission.
433.
by fspeech 6y ago
Reasonml is an alternative syntax for OCaml. From the user's perspective, there is just one language OCaml, with two alternative syntax OCaml or Reason. If you want to interface to Js you need additional annotation for FFI, no matter w
434.
by fspeech 6y ago
Bucklescript extends OCaml syntax. OCaml has good support for language extensions. You need adaptations to interface to js.
435.
Peter Hessler: How China Controlled the Coronavirus(newyorker.com)
7 points by fspeech 6y ago|0 comments
436.
by fspeech 6y ago
Case rate is unreliable due to testing issues. It's highly unlikely NYC only had that many cases with an implied fatality rate of over 10%.
437.
by fspeech 6y ago
When Imperial county hospitals overflowed, patients were transferred to other counties. Stay safe but also know you should still seek care if you need it.
438.
by fspeech 6y ago
Yes that would be nice. Thanks!
439.
by fspeech 6y ago
Cool. I have skimmed through the code base. I will email you with further questions.
440.
by fspeech 6y ago
Thanks! The symbolic computation aspect of your paper is very interesting. I would be very interested in checking out how conditional rewriting is achieved. Do you have more in depth writings on the theory and mechanics of your approach?
441.
by fspeech 6y ago
Pretty cool. Are you aware that there is a content markup part of MathML https://www.w3.org/TR/MathML3/chapter4.html ? There are other efforts geared towards math authoring as well if that is your focus，for exampl
442.
by fspeech 6y ago
This is an area of my interest too, esp. if one can find something that is actually useful for a practicing mathematician. I mentioned Hales' project but based on their github project progress (a postdoc of his did some exploratory wor
443.
by fspeech 6y ago
Documenting mathematics rigorously is actually hard. For example see the Formal Abstracts ( https://formalabstracts.github.io ) project by Thomas Hales. Hales' other writings on the subject may be informative too: https:&#x2
444.
by fspeech 6y ago
The state aggregated data for California doesn't make much sense. San Diego county is still contact tracing at 90% (was 98% earlier) https://www.sandiegocounty.gov/content/dam/sdc/hhsa/programs... S
445.
by fspeech 6y ago
托古 or "attributing to the ancients" was a standard technique used by Chinese writers arguing for their positions, likely appealing to the tradition of ancestry worship. So we really can't take the claim of reverse engineering
446.
by fspeech 6y ago
If someone has a better way to reduce the mental load of reconciling all experimental data physicists will no doubt adopt it. Until then they are wise to mostly just muse about foundation as personal passtime rather than engage in ideologic
447.
by fspeech 6y ago
I wouldn't take seriously some random hack claiming physics ph.d.s don't know QM. Physics is defined by how physicists practice it.
448.
by fspeech 6y ago
There is no "experiment" in a purely quantum world.
449.
by fspeech 6y ago
QM is essentially deterministic. Neither CM or QM allows for true randomness. Maybe at this stage it is only a philosophical issue. In the end Statistical Mechanics and Thermodynamics are what truly rule the world. There is no hard and fast
450.
by fspeech 6y ago
"We have elucidated the transmission pathways of coronavirus disease 2019 (COVID-19) by analyzing the trend and mitigation measures in the three epicenters. Our results show that the airborne transmission route is highly virulent and d

More ›