dannymi

14 ms·

91.
by dannymi 4y ago
The signature of the function on the left hand side is f0(x) and of the one on the right hand side is f(u,v). The latter function signature is not f(u(x),v(x)), that would be a very grave mistake (and it would make the chain rule useless).
92.
by dannymi 4y ago
>there appears to be a third party open source one too Where?
93.
by dannymi 4y ago
Only if the tui doesn’t create pseudoterminals. In 2022, even Windows 10 has them (conpty) and unix has them for like forever (openpty).
94.
by dannymi 4y ago
pytorch is using shaderc_combined.a. There's a shaderc_combined.pc in shaderc, but it doesn't lists glslang or spirv as dependencies, even though shaderc uses glslang and spirv data structures and functions. Errrrr. How's tha
95.
by dannymi 4y ago
Just tried--same problem with pytorch 1.12.1. So that's why it's not enabled.
96.
by dannymi 4y ago
>- the module paths a bit weird (I’d find slash or dot separated more obvious) There's no special syntax for any of those dot slash whatever stuff. (Program item) paths are always lists (like in CSS selectors). Likewise we don'
97.
by dannymi 4y ago
>I guess I wish that the custom install were as easy as guix shell (and that it would also do sensible things like recompiling dependencies if you modified a library). The reason for the seemingly duplicate "foo" in the "-
98.
by dannymi 4y ago
For step 5: guix install foo --with-source=foo=yourfixedversion_src.tar.gz Or: guix install foo --with-patch=foo=yourpatch.patch (note: usually packages are installed as regular user into your user profile) See also section "Package Tr
99.
by dannymi 4y ago
I tried to change Guix to enable vulkan in pytorch and I get a build error. Since I don't use pytorch I didn't investigate further. If you do know the build options to make this work, Guix will gladly consider your patch. The in-p
100.
by dannymi 4y ago
Thanks for the example! Checks linked resources while(!ss.eof()){ ss >> token; Can cause an endless loop (with finite input stream; for example in case of a read error). p >> x; if(!p.fail() &&
101.
by dannymi 4y ago
>At the most basic level, in Rust you cannot overload operators I gave you a working example of operator overloading in Rust a while ago. Why do you still state that Rust doesn't allow that? Is there a problem with the example? I kn
102.
by dannymi 4y ago
If it's an internal (unexpected) error, panic. You get a backtrace and everything--which helps because it was an unexpected internal error, so you probably messed up. You'd like to know where that is. But if it's an actual us
103.
by dannymi 4y ago
>I never understood this obsession with lambda calculus or ycombinator. It's a very foundational thing--at the foundation of theoretical computer science and a lot of programming languages. Understanding it pays a lot of dividends o
104.
by dannymi 4y ago
>The wall was because I could never couldn’t develop an intuition for the physics behind it. On the off chance that you can understand German, check out chapter 9.1.1 Fluidvolumen und Divergenz (until and including chapter 11 Erhaltung d
105.
by dannymi 4y ago
Linux is a trademark owned by Linus Torvalds. So Linus decides.
106.
by dannymi 4y ago
>But then came the physics class, why we could go from dy/dx = f(x) to dy = f(x).dx and integrate both sides remain a mystery. "dx" suddenly became an infinitely small things, when it used to be a notation for a linear for
107.
by dannymi 4y ago
>could be disastrous for a serious work. How so?
108.
by dannymi 4y ago
>all of that we've done nothing to change the situation Everything is encrypted now, even recipe sites. For a chat program, the first question of even laypeople is whether it's encrypted or not. I'd say some things did cha
109.
by dannymi 4y ago
It's not, but sloppy terms are common there. People who use the words "principle of least action" and "the principle of stationary action" usually mean the same thing.
110.
by dannymi 4y ago
>I had a look at your job postings being located in the DACH region myself but I must admit I’m surprised you find anybody willing to work for the salaries listed. Austrian law is funny. The law says that job ads have to list the MINIMUM
111.
by dannymi 4y ago
You can use a simulation program. One of the professional ones that I like is ModelSim. You design your chip in VHDL or Verilog, compile it, and then make a (virtual) testbench in ModelSim. Then you run your design in ModelSim. You can have
112.
by dannymi 4y ago
I've done a toy matrix library with operator overloading in Rust a while ago. Could you be confusing it with Java? #[derive(Debug, PartialEq, Eq)] pub struct ColumnVector<F, const DIM: usize>([F; DIM]); impl<F: Field,
113.
by dannymi 4y ago
>Why do people say things like: "It's better not to dilute the message"? >Better for who? Better for everyone. When talking about a new thing, it would be really silly to emphasize how nice the logo is, how nice the pac
114.
by dannymi 4y ago
To expand: There's a prioritized list of requirements in engineering. Use the right tool for the job. Rust has: (see https://hackmd.io/@rust-ctcft/r1plN4You#/5 ) 1. Safety If you don't need that at the f
115.
by dannymi 4y ago
>a crashed program is a crashed program whether I dereferenced a null pointer or was poking around in a slice with multi-byte Unicode characters in it Most of the biggest advances in software engineering are because of increased modulari
116.
by dannymi 4y ago
>The bad C++ code is in the very first line of the "make_appender" definition: capturing the closure's environment by reference is nonsense: It is equivalent to returning a reference to an argument. If it is so bad, it sho
117.
by dannymi 4y ago
>Oh yeah, allowing values to be nullable by default is bad, that's totally different than just 'including null'. In Rust (and Haskell and OCaml for that matter), there is no built-in null keyword. Option is just an enum in
118.
by dannymi 4y ago
"Transport" is for road transport. Sorry. I edited it now to make it more clear. https://www.easa.europa.eu/eaer/system/files/usr_uploaded/21... section 7.3 for the citation on aviation (gah, i
119.
by dannymi 4y ago
I don't know about the US, but in the EU, aviation only contributes 3% (that is not a typo. Three percent) of the total greenhouse gas emissions (measured just before corona--so there was a shitload of aviation going on). The major gre
120.
by dannymi 4y ago
And then there's mrustc https://github.com/thepowersgang/mrustc , a Rust compiler written in C++, using LLVM.

More ›