sanxiyn

54 ms·

901.
by sanxiyn 5y ago
I mean, same rectangles won't work for different foundries. It is saying we have these IP cores tested and working with the process.
902.
by sanxiyn 5y ago
Re: knowledge transfer. Why do you expect your C knowledge to transfer to Rust? Let me tell you clearly: it doesn't. It's not because Rust uses different terminology. Rather, Rust uses different terminology because underlying conc
903.
by sanxiyn 5y ago
For posterity, this is Rust RFC 2515 type_alias_impl_trait.
904.
by sanxiyn 5y ago
Re: blockchain sponsorship. Minority, yes, but not without weight. For example, current Rust language team leader and library team leader are sponsored by blockchain projects. See https://medium.com/concordium/the-devx-
905.
by sanxiyn 5y ago
This is a demonstration of truly advanced level of technology. I, of lower tech level, appropriately tremble in awe.
906.
by sanxiyn 5y ago
Eh... yes, this post is attacking a straw man, but that's okay, since the post is explicitly about attacking a straw man (spelled "rock" in the post)?
907.
by sanxiyn 5y ago
We aren't any closer, we are already there. Generic Ubuntu image already boots on all ARM SBSA devices, just like x86 PC. In fact, booting generic image on any device is explicitly a goal of SBSA standard.
908.
by sanxiyn 5y ago
Well, ARM has SBSA standard, and it seems to work well.
909.
by sanxiyn 5y ago
I mean, the article's point is that Japan is no different. Basically, Commuting Five Directions Operation bankrupted JNR. JNR built many lines, but Tokyo land is expensive. I think Japan's mistake was funding it by debt. Yes it pa
910.
by sanxiyn 5y ago
It is a very important observation that Yamanote line is off-centre, because it is important to its success. It also matters that Tokyo is at waterfront. This is why I am pretty skeptical about Moscow and Paris' circle lines. Details h
911.
by sanxiyn 5y ago
"Privatising profit but socialising cost" didn't happen. Profit and cost were privatised together. It's rtpg's misunderstanding. See my comments above. From rtpg's reply, rtpg is in fact against privatisation i
912.
by sanxiyn 5y ago
The flowchart shows privatized JR assumed 40% of debt. I don't think "small fraction" is the right description. By the way, the flowchart was the plan, but it didn't go according to the plan. Land sales never happened fo
913.
by sanxiyn 5y ago
Re: Shinkansen debt and privatization. That's not true? Yes, in 1987 privatization, Shinkansen Property Corporation (a public corporation) held Shinkansen debt, but it also held Shinkansen infrastructure. It was not handed to JR (and h
914.
by sanxiyn 5y ago
I think better analogy is parrot speaking English. Certainly no ventriloquism there.
915.
by sanxiyn 5y ago
Shane Legg is a cofounder of DeepMind and an AI researcher. He was pretty casual about predicting human level AGI in 2028. https://www.vetta.org/2011/12/goodbye-2011-hello-2012/ He doesn't say so publicl
916.
by sanxiyn 5y ago
I agree GPT isn't grounded and it is a problem, but that's a weird point to argue against AlphaCode. AlphaCode is ground by actual code execution: its coding experience is no less real than people's. AlphaGo is grounded becau
917.
by sanxiyn 5y ago
I mean, Zoom can change your background of video in real time, and people all over the world do so every day. This was an unimaginable breakthrough 10 years ago.
918.
by sanxiyn 5y ago
Sure, it doesn't think, just as submarines don't swim, as EWD said.
919.
by sanxiyn 5y ago
So, are you buying lottery? I mean, I support scratching this particular lottery ticket, because unlike lottery whose reward (money) is fungible, if it pays off we will get information we won't get any other way. But we shouldn't
920.
by sanxiyn 5y ago
Yes, it should work. You aren't in any disagreement actually. It's just that no one has done it yet, but should have.
921.
by sanxiyn 5y ago
I mean, it is magical, in a sense that we are not sure how and why it works.
922.
by sanxiyn 5y ago
Yes, but we don't have a differentiable climate model. People are working on it, but it's not there yet. See https://clima.caltech.edu/ and https://dj4earth.github.io/ .
923.
by sanxiyn 5y ago
https://lists.reproducible-builds.org/pipermail/rb-general/2... should give you a better idea of what's going on. It's linked in the article. Perl sorting issues in dictionaries-common libxmlb used
924.
by sanxiyn 5y ago
It's funded by donation to Reproducible Builds project, and donation is managed by Software Freedom Conservancy (free software organization which also manages donation for Git, QEMU, Samba, and Wine). It's not like they are paid b
925.
by sanxiyn 5y ago
In fact, 3 years is too lucky that I must predict this is a false alarm. https://www.science.org/content/article/crash-titans-imminen... reports "Fabian says the chance of such a merger taking place so close
926.
by sanxiyn 5y ago
This is basically argument from implementation simplicity. I am of the opinion that implementation simplicity is overrated, and should be essentially ignored, especially for projects as widely used as Go.
927.
by sanxiyn 5y ago
As Knuth opined in an often quoted passage, it is criminally negligent to avoid 10% performance improvement to keep implementation simplicity.
928.
by sanxiyn 5y ago
Read the paper. They did finetune from labeled data and set it as baseline. RL outperformed baseline.
929.
by sanxiyn 5y ago
OPLSS is what education should be: everyone is there to teach and to learn, because it's voluntary and you don't get anything else such as a piece of parchment. What we call education is gross perversion of it.
930.
by sanxiyn 5y ago
> it also gives you a better ability to write error messages This is not true. Instead of trying to use error recovery feature of parser genrator, you can just add error case to your grammar, and it works as well as hand-written parser.

More ›