HackerTrans
TopNewTrendsCommentsPastAskShowJobs

worldeva

no profile record

Submissions

Microsoft Is Hilariously Misinformed with Rust

docs.microsoft.com
3 points·by worldeva·5 ปีที่แล้ว·0 comments

Ask HN: How to Get into Category Theory?

5 points·by worldeva·5 ปีที่แล้ว·3 comments

comments

worldeva
·5 ปีที่แล้ว·discuss
If we're being pedantic, I'll one up you: The removal being arbitrary does not require that the reason is arbitrary; see: selective enforcement. :p
worldeva
·5 ปีที่แล้ว·discuss
Sounds like you're looking for `find` or `fd`

https://man7.org/linux/man-pages/man1/find.1.html (-mindepth -maxdepth can also be added to make it stricter)

  find some/location -type d -wholename '*/January/Photos'
https://github.com/sharkdp/fd

  fd -p '*/January/Photos' some/location
worldeva
·5 ปีที่แล้ว·discuss
For anyone that does know Rust, stop here, its more fun finding them yourself ;p

> crates.io - The Rust I/O library.

This is the first time I've heard that crates.io was a lib.

> structopt - A third-party crate that provides an easy way to define a basic struct.

Apparently... you can't define `struct`s in Rust? Also, the first line of the linked page is:

"Parse command line arguments by defining a struct. It combines clap with custom derive."

Come on, you could've spent the effort to at least read the description of a library you're linking. A copy and paste would've been more correct!

> The playground is an IDE for Rust development

The (rust playground)[play.rust-lang.org] is apparently a IDE now? ~~Don't I wish.~~

> The Rust language requires explicit declarations for types and definitions for actions. __The requirements are more rigorous than C++__, and can involve significant more time and effort to implement.

This is the first time that I found out that `struct`s were somehow more complex than... `struct`s.

> Rust is known to leak memory

What.

The quiz also seems to think that Clippy is somehow a playground specific feature.
worldeva
·5 ปีที่แล้ว·discuss
I'm a moderator of a fairly large, nontechnical subreddit-

Reddit allows you to see your subreddit's statstistics, and the last time I checked, around 1/3 of our traffic is from old reddit. So definitely not just a small minority.

(Then again, it has been around a year since I checked, so perhaps the numbers have shifted.)